blob: 520153baead49793a85900ac56ff411524bc7120 [file] [log] [blame]
Reid Spencere3ff5ad2007-01-26 08:25:06 +00001; RUN: llvm-as < %s | opt -analyze -scalar-evolution 2>&1 | \
2; RUN: grep '10000 iterations'
Chris Lattnerd8523aa2007-01-14 01:23:43 +00003; PR1101
4
Reid Spencere3ff5ad2007-01-26 08:25:06 +00005@A = weak global [1000 x i32] zeroinitializer, align 32
Chris Lattnerd8523aa2007-01-14 01:23:43 +00006
7implementation ; Functions:
8
Reid Spencere3ff5ad2007-01-26 08:25:06 +00009define void @test(i32 %N) {
Chris Lattnerd8523aa2007-01-14 01:23:43 +000010entry:
11 "alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
12 br label %bb3
13
14bb: ; preds = %bb3
Reid Spencere3ff5ad2007-01-26 08:25:06 +000015 %tmp = getelementptr [1000 x i32]* @A, i32 0, i32 %i.0 ; <i32*> [#uses=1]
Chris Lattnerd8523aa2007-01-14 01:23:43 +000016 store i32 123, i32* %tmp
17 %tmp2 = add i32 %i.0, 1 ; <i32> [#uses=1]
18 br label %bb3
19
20bb3: ; preds = %bb, %entry
21 %i.0 = phi i32 [ 0, %entry ], [ %tmp2, %bb ] ; <i32> [#uses=3]
Reid Spencer90850432007-01-30 16:16:01 +000022 %tmp3 = icmp sle i32 %i.0, 9999 ; <i1> [#uses=1]
23 br i1 %tmp3, label %bb, label %bb5
Chris Lattnerd8523aa2007-01-14 01:23:43 +000024
25bb5: ; preds = %bb3
26 br label %return
27
28return: ; preds = %bb5
29 ret void
30}