1; RUN: llc < %s -mtriple=armv5t-apple-darwin | FileCheck %s
2
3define void @test(i32 %Ptr, i8* %L) {
4entry:
5	br label %bb1
6
7bb:		; preds = %bb1
8	%gep.upgrd.1 = zext i32 %indvar to i64		; <i64> [#uses=1]
9	%tmp7 = getelementptr i8, i8* %L, i64 %gep.upgrd.1		; <i8*> [#uses=1]
10	store i8 0, i8* %tmp7
11	%indvar.next = add i32 %indvar, 1		; <i32> [#uses=1]
12	br label %bb1
13
14bb1:		; preds = %bb, %entry
15	%indvar = phi i32 [ 0, %entry ], [ %indvar.next, %bb ]		; <i32> [#uses=3]
16	%i.0 = bitcast i32 %indvar to i32		; <i32> [#uses=2]
17	%tmp = tail call i32 (...) @bar( )		; <i32> [#uses=1]
18	%tmp2 = add i32 %i.0, %tmp		; <i32> [#uses=1]
19	%Ptr_addr.0 = sub i32 %Ptr, %tmp2		; <i32> [#uses=0]
20	%tmp12 = icmp eq i32 %i.0, %Ptr		; <i1> [#uses=1]
21	%tmp12.not = xor i1 %tmp12, true		; <i1> [#uses=1]
22	%bothcond = and i1 %tmp12.not, false		; <i1> [#uses=1]
23	br i1 %bothcond, label %bb, label %bb18
24
25bb18:		; preds = %bb1
26; CHECK-NOT: bx
27; CHECK: pop
28	ret void
29}
30
31declare i32 @bar(...)
32