1 ; RUN: llc < %s -mtriple=thumbv7-apple-ios -mcpu=cortex-a8 | FileCheck %s
2 ; RUN: llc < %s -mtriple=thumbv8 | FileCheck -check-prefix=CHECK-V8 %s
5 define i32 @t1(i32 %a, i32 %b, i8** %retaddr) {
7 ; CHECK: Block address taken
8 ; CHECK-NOT: Address of block that was removed by CodeGen
9 store i8* blockaddress(@t1, %cond_true), i8** %retaddr
10 %tmp2 = icmp eq i32 %a, 0
11 br i1 %tmp2, label %cond_false, label %cond_true
18 %tmp7 = add i32 %b, -1
22 define i32 @t2(i32 %a, i32 %b, i32 %c, i32 %d, i8** %retaddr) {
24 ; CHECK: Block address taken
28 store i8* blockaddress(@t2, %cond_true), i8** %retaddr
29 %tmp2 = icmp sgt i32 %c, 10
30 %tmp5 = icmp slt i32 %d, 4
31 %tmp8 = and i1 %tmp5, %tmp2
32 %tmp13 = add i32 %b, %a
33 br i1 %tmp8, label %cond_true, label %UnifiedReturnBlock
36 %tmp15 = add i32 %tmp13, %c
37 %tmp1821 = sub i32 %tmp15, %d
44 define hidden fastcc void @t3(i8** %retaddr) {
46 ; CHECK: Block address taken
47 ; CHECK-NOT: Address of block that was removed by CodeGen
49 store i8* blockaddress(@t3, %KBBlockZero_return_1), i8** %retaddr
50 br i1 undef, label %bb77, label %bb7.i
52 bb7.i: ; preds = %bb35
55 KBBlockZero_return_1: ; preds = %KBBlockZero.exit
58 KBBlockZero_return_0: ; preds = %KBBlockZero.exit
61 bb77: ; preds = %bb26, %bb12, %bb
64 bb2.i: ; preds = %bb6.i350, %bb7.i
65 br i1 undef, label %bb6.i350, label %KBBlockZero.exit
67 bb6.i350: ; preds = %bb2.i
70 KBBlockZero.exit: ; preds = %bb2.i
71 indirectbr i8* undef, [label %KBBlockZero_return_1, label %KBBlockZero_return_0]
75 ; If-converter was checking for the wrong predicate subsumes pattern when doing
77 ; E.g., Let A be a basic block that flows conditionally into B and B be a
79 ; B can be predicated with A.BrToBPredicate into A iff B.Predicate is less
80 ; "permissive" than A.BrToBPredicate, i.e., iff A.BrToBPredicate subsumes
82 ; <rdar://problem/14379453>
84 ; Hard-coded registers comes from the ABI.
85 ; CHECK: wrapDistance:
88 ; CHECK-NEXT: suble r0, r2, #1
90 ; CHECK-NEXT: subs [[REG:r[0-9]+]], #120
91 ; CHECK-NEXT: cmp [[REG]], r1
93 ; CHECK-NEXT: bge [[LABEL:.+]]
98 ; CHECK-NEXT: addle r0, r1, #1
102 ; CHECK-NEXT: subs r0, r1, r0
105 ; CHECK-V8-LABEL: wrapDistance:
106 ; CHECK-V8: cmp r1, #59
108 ; CHECK-V8-NEXT: %if.then
109 ; CHECK-V8-NEXT: subs r0, r2, #1
110 ; CHECK-V8-NEXT: bx lr
111 ; CHECK-V8-NEXT: %if.else
112 ; CHECK-V8-NEXT: subs [[REG:r[0-9]+]], #120
113 ; CHECK-V8-NEXT: cmp [[REG]], r1
115 ; CHECK-V8-NEXT: %if.else
116 ; CHECK-V8-NEXT: cmp r0, #119
118 ; CHECK-V8-NEXT: %if.then4
119 ; CHECK-V8-NEXT: adds r0, r1, #1
120 ; CHECK-V8-NEXT: bx lr
121 ; CHECK-V8-NEXT: %if.end5
122 ; CHECK-V8-NEXT: subs r0, r1, r0
123 ; CHECK-V8-NEXT: bx lr
125 define i32 @wrapDistance(i32 %tx, i32 %sx, i32 %w) {
127 %cmp = icmp slt i32 %sx, 60
128 br i1 %cmp, label %if.then, label %if.else
130 if.then: ; preds = %entry
131 %sub = add nsw i32 %w, -1
134 if.else: ; preds = %entry
135 %sub1 = add nsw i32 %w, -120
136 %cmp2 = icmp slt i32 %sub1, %sx
137 %cmp3 = icmp slt i32 %tx, 120
138 %or.cond = and i1 %cmp2, %cmp3
139 br i1 %or.cond, label %if.then4, label %if.end5
141 if.then4: ; preds = %if.else
142 %add = add nsw i32 %sx, 1
145 if.end5: ; preds = %if.else
146 %sub6 = sub nsw i32 %sx, %tx
149 return: ; preds = %if.end5, %if.then4, %if.then
150 %retval.0 = phi i32 [ %sub, %if.then ], [ %add, %if.then4 ], [ %sub6, %if.end5 ]