1; RUN: llc < %s -mtriple=thumbv8 | FileCheck %s
2; RUN: llc < %s -mtriple=thumbv7 -arm-restrict-it | FileCheck %s
3
4	%struct.quad_struct = type { i32, i32, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct* }
5
6define fastcc i32 @CountTree(%struct.quad_struct* %tree) {
7entry:
8; CHECK-LABEL: CountTree:
9; CHECK: bne
10; CHECK: cmp
11; CHECK: it eq
12; CHECK: cmpeq
13; CHECK: bne
14; CHECK: mov
15; CHECK: pop
16	br label %tailrecurse
17
18tailrecurse:		; preds = %bb, %entry
19	%tmp6 = load %struct.quad_struct*, %struct.quad_struct** null		; <%struct.quad_struct*> [#uses=1]
20	%tmp9 = load %struct.quad_struct*, %struct.quad_struct** null		; <%struct.quad_struct*> [#uses=2]
21	%tmp12 = load %struct.quad_struct*, %struct.quad_struct** null		; <%struct.quad_struct*> [#uses=1]
22	%tmp14 = icmp eq %struct.quad_struct* null, null		; <i1> [#uses=1]
23	%tmp17 = icmp eq %struct.quad_struct* %tmp6, null		; <i1> [#uses=1]
24	%tmp23 = icmp eq %struct.quad_struct* %tmp9, null		; <i1> [#uses=1]
25	%tmp29 = icmp eq %struct.quad_struct* %tmp12, null		; <i1> [#uses=1]
26	%bothcond = and i1 %tmp17, %tmp14		; <i1> [#uses=1]
27	%bothcond1 = and i1 %bothcond, %tmp23		; <i1> [#uses=1]
28	%bothcond2 = and i1 %bothcond1, %tmp29		; <i1> [#uses=1]
29	br i1 %bothcond2, label %return, label %bb
30
31bb:		; preds = %tailrecurse
32	%tmp41 = tail call fastcc i32 @CountTree( %struct.quad_struct* %tmp9 )		; <i32> [#uses=0]
33	br label %tailrecurse
34
35return:		; preds = %tailrecurse
36	ret i32 0
37}
38
39