1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc --mtriple=loongarch64 -mattr=+d < %s | FileCheck %s
;; Perform tail call optimization for duplicate returns.
declare i32 @test()
declare i32 @test1()
declare i32 @test2()
declare i32 @test3()
define i32 @duplicate_returns(i32 %a, i32 %b) nounwind {
; CHECK-LABEL: duplicate_returns:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: addi.w $a0, $a0, 0
; CHECK-NEXT: beqz $a0, .LBB0_4
; CHECK-NEXT: # %bb.1: # %if.else
; CHECK-NEXT: addi.w $a1, $a1, 0
; CHECK-NEXT: beqz $a1, .LBB0_5
; CHECK-NEXT: # %bb.2: # %if.else2
; CHECK-NEXT: bge $a1, $a0, .LBB0_6
; CHECK-NEXT: # %bb.3: # %if.then3
; CHECK-NEXT: pcaddu18i $t8, %call36(test2)
; CHECK-NEXT: jr $t8
; CHECK-NEXT: .LBB0_4: # %if.then
; CHECK-NEXT: pcaddu18i $t8, %call36(test)
; CHECK-NEXT: jr $t8
; CHECK-NEXT: .LBB0_5: # %if.then2
; CHECK-NEXT: pcaddu18i $t8, %call36(test1)
; CHECK-NEXT: jr $t8
; CHECK-NEXT: .LBB0_6: # %if.else3
; CHECK-NEXT: pcaddu18i $t8, %call36(test3)
; CHECK-NEXT: jr $t8
entry:
%cmp = icmp eq i32 %a, 0
br i1 %cmp, label %if.then, label %if.else
if.then:
%call = tail call i32 @test()
br label %return
if.else:
%cmp1 = icmp eq i32 %b, 0
br i1 %cmp1, label %if.then2, label %if.else2
if.then2:
%call1 = tail call i32 @test1()
br label %return
if.else2:
%cmp5 = icmp sgt i32 %a, %b
br i1 %cmp5, label %if.then3, label %if.else3
if.then3:
%call2 = tail call i32 @test2()
br label %return
if.else3:
%call3 = tail call i32 @test3()
br label %return
return:
%retval = phi i32 [ %call, %if.then ], [ %call1, %if.then2 ], [ %call2, %if.then3 ], [ %call3, %if.else3 ]
ret i32 %retval
}
|
