1 ; RUN: llvm-as < %s | llc -march=thumb -mattr=+thumb2 | FileCheck %s
3 define void @foo(i32 %X, i32 %Y) {
9 ; CHECK: pophi {r7, pc}
10 %tmp1 = icmp ult i32 %X, 4 ; <i1> [#uses=1]
11 %tmp4 = icmp eq i32 %Y, 0 ; <i1> [#uses=1]
12 %tmp7 = or i1 %tmp4, %tmp1 ; <i1> [#uses=1]
13 br i1 %tmp7, label %cond_true, label %UnifiedReturnBlock
15 cond_true: ; preds = %entry
16 %tmp10 = tail call i32 (...)* @bar( ) ; <i32> [#uses=0]
19 UnifiedReturnBlock: ; preds = %entry
25 ; FIXME: Need post-ifcvt branch folding to get rid of the extra br at end of BB1.
27 %struct.quad_struct = type { i32, i32, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct* }
29 define fastcc i32 @CountTree(%struct.quad_struct* %tree) {
40 tailrecurse: ; preds = %bb, %entry
41 %tmp6 = load %struct.quad_struct** null ; <%struct.quad_struct*> [#uses=1]
42 %tmp9 = load %struct.quad_struct** null ; <%struct.quad_struct*> [#uses=2]
43 %tmp12 = load %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
53 bb: ; preds = %tailrecurse
54 %tmp41 = tail call fastcc i32 @CountTree( %struct.quad_struct* %tmp9 ) ; <i32> [#uses=0]
57 return: ; preds = %tailrecurse
61 %struct.SString = type { i8*, i32, i32 }
65 define fastcc void @t1(%struct.SString* %word, i8 signext %c) {
69 ; CHECK: popne {r7, pc}
70 %tmp1 = icmp eq %struct.SString* %word, null ; <i1> [#uses=1]
71 br i1 %tmp1, label %cond_true, label %cond_false
73 cond_true: ; preds = %entry
74 tail call void @abort( )
77 cond_false: ; preds = %entry
81 define fastcc void @t2() nounwind {
86 br i1 undef, label %bb.i.i3, label %growMapping.exit
88 bb.i.i3: ; preds = %entry
91 growMapping.exit: ; preds = %entry