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 3 ; RUN: llc < %s -mtriple=thumbv7 -arm-restrict-it | FileCheck -check-prefix=CHECK-V8 %s 4 ; rdar://13782395 5 6 define i32 @t1(i32 %a, i32 %b, i8** %retaddr) { 7 ; CHECK-LABEL: t1: 8 ; CHECK: Block address taken 9 ; CHECK-NOT: Address of block that was removed by CodeGen 10 store i8* blockaddress(@t1, %cond_true), i8** %retaddr 11 %tmp2 = icmp eq i32 %a, 0 12 br i1 %tmp2, label %cond_false, label %cond_true 13 14 cond_true: 15 %tmp5 = add i32 %b, 1 16 ret i32 %tmp5 17 18 cond_false: 19 %tmp7 = add i32 %b, -1 20 ret i32 %tmp7 21 } 22 23 define i32 @t2(i32 %a, i32 %b, i32 %c, i32 %d, i8** %retaddr) { 24 ; CHECK-LABEL: t2: 25 ; CHECK: Block address taken 26 ; CHECK: %cond_true 27 ; CHECK: add 28 ; CHECK: bx lr 29 store i8* blockaddress(@t2, %cond_true), i8** %retaddr 30 %tmp2 = icmp sgt i32 %c, 10 31 %tmp5 = icmp slt i32 %d, 4 32 %tmp8 = and i1 %tmp5, %tmp2 33 %tmp13 = add i32 %b, %a 34 br i1 %tmp8, label %cond_true, label %UnifiedReturnBlock 35 36 cond_true: 37 %tmp15 = add i32 %tmp13, %c 38 %tmp1821 = sub i32 %tmp15, %d 39 ret i32 %tmp1821 40 41 UnifiedReturnBlock: 42 ret i32 %tmp13 43 } 44 45 define hidden fastcc void @t3(i8** %retaddr, i1 %tst, i8* %p8) { 46 ; CHECK-LABEL: t3: 47 ; CHECK: Block address taken 48 ; CHECK-NOT: Address of block that was removed by CodeGen 49 bb: 50 store i8* blockaddress(@t3, %KBBlockZero_return_1), i8** %retaddr 51 br i1 %tst, label %bb77, label %bb7.i 52 53 bb7.i: ; preds = %bb35 54 br label %bb2.i 55 56 KBBlockZero_return_1: ; preds = %KBBlockZero.exit 57 ret void 58 59 KBBlockZero_return_0: ; preds = %KBBlockZero.exit 60 ret void 61 62 bb77: ; preds = %bb26, %bb12, %bb 63 ret void 64 65 bb2.i: ; preds = %bb6.i350, %bb7.i 66 br i1 %tst, label %bb6.i350, label %KBBlockZero.exit 67 68 bb6.i350: ; preds = %bb2.i 69 br label %bb2.i 70 71 KBBlockZero.exit: ; preds = %bb2.i 72 indirectbr i8* %p8, [label %KBBlockZero_return_1, label %KBBlockZero_return_0] 73 } 74 75 @foo = global i32 ()* null 76 define i32 @t4(i32 %x, i32 ()* %p_foo) { 77 entry: 78 ;CHECK-LABEL: t4: 79 ;CHECK-V8-LABEL: t4: 80 %cmp = icmp slt i32 %x, 60 81 br i1 %cmp, label %if.then, label %if.else 82 83 if.then: ; preds = %entry 84 %tmp.2 = call i32 %p_foo() 85 %sub = add nsw i32 %x, -1 86 br label %return 87 88 if.else: ; preds = %entry 89 %sub1 = add nsw i32 %x, -120 90 br label %return 91 92 return: ; preds = %if.end5, %if.then4, %if.then 93 %retval.0 = phi i32 [ %sub, %if.then ], [ %sub1, %if.else ] 94 ret i32 %retval.0 95 } 96 97 ; If-converter was checking for the wrong predicate subsumes pattern when doing 98 ; nested predicates. 99 ; E.g., Let A be a basic block that flows conditionally into B and B be a 100 ; predicated block. 101 ; B can be predicated with A.BrToBPredicate into A iff B.Predicate is less 102 ; "permissive" than A.BrToBPredicate, i.e., iff A.BrToBPredicate subsumes 103 ; B.Predicate. 104 ; <rdar://problem/14379453> 105 106 ; Hard-coded registers comes from the ABI. 107 ; CHECK-LABEL: wrapDistance: 108 ; CHECK: cmp r1, #59 109 ; CHECK-NEXT: itt le 110 ; CHECK-NEXT: suble r0, r2, #1 111 ; CHECK-NEXT: bxle lr 112 ; CHECK-NEXT: subs [[REG:r[0-9]+]], #120 113 ; CHECK-NEXT: cmp [[REG]], r1 114 ; CHECK-NOT: it lt 115 ; CHECK-NEXT: bge [[LABEL:.+]] 116 ; Next BB 117 ; CHECK-NOT: cmplt 118 ; CHECK: cmp r0, #119 119 ; CHECK-NEXT: itt le 120 ; CHECK-NEXT: addle r0, r1, #1 121 ; CHECK-NEXT: bxle lr 122 ; Next BB 123 ; CHECK: [[LABEL]]: 124 ; CHECK-NEXT: subs r0, r1, r0 125 ; CHECK-NEXT: bx lr 126 127 ; CHECK-V8-LABEL: wrapDistance: 128 ; CHECK-V8: cmp r1, #59 129 ; CHECK-V8-NEXT: bgt 130 ; CHECK-V8-NEXT: %if.then 131 ; CHECK-V8-NEXT: subs r0, r2, #1 132 ; CHECK-V8-NEXT: bx lr 133 ; CHECK-V8-NEXT: %if.else 134 ; CHECK-V8-NEXT: subs [[REG:r[0-9]+]], #120 135 ; CHECK-V8-NEXT: cmp [[REG]], r1 136 ; CHECK-V8-NEXT: bge 137 ; CHECK-V8-NEXT: %if.else 138 ; CHECK-V8-NEXT: cmp r0, #119 139 ; CHECK-V8-NEXT: bgt 140 ; CHECK-V8-NEXT: %if.then4 141 ; CHECK-V8-NEXT: adds r0, r1, #1 142 ; CHECK-V8-NEXT: bx lr 143 ; CHECK-V8-NEXT: %if.end5 144 ; CHECK-V8-NEXT: subs r0, r1, r0 145 ; CHECK-V8-NEXT: bx lr 146 147 define i32 @wrapDistance(i32 %tx, i32 %sx, i32 %w) { 148 entry: 149 %cmp = icmp slt i32 %sx, 60 150 br i1 %cmp, label %if.then, label %if.else 151 152 if.then: ; preds = %entry 153 %sub = add nsw i32 %w, -1 154 br label %return 155 156 if.else: ; preds = %entry 157 %sub1 = add nsw i32 %w, -120 158 %cmp2 = icmp slt i32 %sub1, %sx 159 %cmp3 = icmp slt i32 %tx, 120 160 %or.cond = and i1 %cmp2, %cmp3 161 br i1 %or.cond, label %if.then4, label %if.end5 162 163 if.then4: ; preds = %if.else 164 %add = add nsw i32 %sx, 1 165 br label %return 166 167 if.end5: ; preds = %if.else 168 %sub6 = sub nsw i32 %sx, %tx 169 br label %return 170 171 return: ; preds = %if.end5, %if.then4, %if.then 172 %retval.0 = phi i32 [ %sub, %if.then ], [ %add, %if.then4 ], [ %sub6, %if.end5 ] 173 ret i32 %retval.0 174 } 175
