1 ; RUN: llc < %s -mtriple=thumbv7-apple-ios -arm-atomic-cfg-tidy=0 | FileCheck %s 2 ; RUN: llc < %s -mtriple=thumbv7-apple-ios -arm-atomic-cfg-tidy=0 -arm-default-it | FileCheck %s 3 ; RUN: llc < %s -mtriple=thumbv8-apple-ios -arm-atomic-cfg-tidy=0 -arm-no-restrict-it | FileCheck %s 4 5 define void @foo(i32 %X, i32 %Y) { 6 entry: 7 ; CHECK-LABEL: foo: 8 ; CHECK: it ne 9 ; CHECK: cmpne 10 ; CHECK: it hi 11 ; CHECK: bxhi lr 12 %tmp1 = icmp ult i32 %X, 4 ; <i1> [#uses=1] 13 %tmp4 = icmp eq i32 %Y, 0 ; <i1> [#uses=1] 14 %tmp7 = or i1 %tmp4, %tmp1 ; <i1> [#uses=1] 15 br i1 %tmp7, label %cond_true, label %UnifiedReturnBlock 16 17 cond_true: ; preds = %entry 18 %tmp10 = call i32 (...) @bar( ) ; <i32> [#uses=0] 19 ret void 20 21 UnifiedReturnBlock: ; preds = %entry 22 ret void 23 } 24 25 declare i32 @bar(...) 26 27 ; FIXME: Need post-ifcvt branch folding to get rid of the extra br at end of BB1. 28 29 %struct.quad_struct = type { i32, i32, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct* } 30 31 define fastcc i32 @CountTree(%struct.quad_struct* %tree) { 32 entry: 33 ; CHECK-LABEL: CountTree: 34 ; CHECK: bne 35 ; CHECK: cmp 36 ; CHECK: it eq 37 ; CHECK: cmpeq 38 br label %tailrecurse 39 40 tailrecurse: ; preds = %bb, %entry 41 %tmp6 = load %struct.quad_struct*, %struct.quad_struct** null ; <%struct.quad_struct*> [#uses=1] 42 %tmp9 = load %struct.quad_struct*, %struct.quad_struct** null ; <%struct.quad_struct*> [#uses=2] 43 %tmp12 = load %struct.quad_struct*, %struct.quad_struct** null ; <%struct.quad_struct*> [#uses=1] 44 %tmp14 = icmp eq %struct.quad_struct* null, null ; <i1> [#uses=1] 45 %tmp17 = icmp eq %struct.quad_struct* %tmp6, null ; <i1> [#uses=1] 46 %tmp23 = icmp eq %struct.quad_struct* %tmp9, null ; <i1> [#uses=1] 47 %tmp29 = icmp eq %struct.quad_struct* %tmp12, null ; <i1> [#uses=1] 48 %bothcond = and i1 %tmp17, %tmp14 ; <i1> [#uses=1] 49 %bothcond1 = and i1 %bothcond, %tmp23 ; <i1> [#uses=1] 50 %bothcond2 = and i1 %bothcond1, %tmp29 ; <i1> [#uses=1] 51 br i1 %bothcond2, label %return, label %bb 52 53 bb: ; preds = %tailrecurse 54 %tmp41 = tail call fastcc i32 @CountTree( %struct.quad_struct* %tmp9 ) ; <i32> [#uses=0] 55 br label %tailrecurse 56 57 return: ; preds = %tailrecurse 58 ret i32 0 59 } 60 61 %struct.SString = type { i8*, i32, i32 } 62 63 declare void @abort() 64 65 define fastcc void @t1(%struct.SString* %word, i8 signext %c) { 66 entry: 67 ; CHECK-LABEL: t1: 68 ; CHECK: it ne 69 ; CHECK: bxne lr 70 %tmp1 = icmp eq %struct.SString* %word, null ; <i1> [#uses=1] 71 br i1 %tmp1, label %cond_true, label %cond_false 72 73 cond_true: ; preds = %entry 74 tail call void @abort( ) 75 ret void 76 77 cond_false: ; preds = %entry 78 ret void 79 } 80 81 define fastcc void @t2() nounwind { 82 entry: 83 ; CHECK-LABEL: t2: 84 ; CHECK: cmp r0, #0 85 ; CHECK: trap 86 br i1 undef, label %bb.i.i3, label %growMapping.exit 87 88 bb.i.i3: ; preds = %entry 89 unreachable 90 91 growMapping.exit: ; preds = %entry 92 unreachable 93 } 94
