blob: 5533038fb8280eb1a17352b9f85209f138c30c13 [file] [log] [blame]
Bob Wilson6819dbb2011-01-06 19:24:41 +00001; RUN: llc < %s -mtriple=armv5t-apple-darwin | FileCheck %s
Evan Cheng02b985c2007-01-19 09:20:23 +00002
Evan Chengc7954662007-03-08 19:27:32 +00003define void @test(i32 %Ptr, i8* %L) {
Evan Cheng02b985c2007-01-19 09:20:23 +00004entry:
5 br label %bb1
6
Evan Chengc7954662007-03-08 19:27:32 +00007bb: ; preds = %bb1
8 %gep.upgrd.1 = zext i32 %indvar to i64 ; <i64> [#uses=1]
9 %tmp7 = getelementptr 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]
Evan Cheng02b985c2007-01-19 09:20:23 +000012 br label %bb1
13
Evan Chengc7954662007-03-08 19:27:32 +000014bb1: ; 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
Evan Cheng02b985c2007-01-19 09:20:23 +000024
Evan Chengc7954662007-03-08 19:27:32 +000025bb18: ; preds = %bb1
Bob Wilson6819dbb2011-01-06 19:24:41 +000026; CHECK-NOT: bx
Jim Grosbachdd119882011-03-11 22:51:41 +000027; CHECK: pop
Evan Cheng02b985c2007-01-19 09:20:23 +000028 ret void
29}
Evan Chengc7954662007-03-08 19:27:32 +000030
31declare i32 @bar(...)