1 ; Loop is elimianted. Save last value assignments, including induction variable.
2 ; RUN: llvm-as < %s | opt -loop-index-split -disable-output -stats |& \
3 ; RUN: grep "loop-index-split" | count 1
6 declare i32 @bar(i32, i32)
8 define void @foobar(i32 %a, i32 %b) {
12 bb: ; preds = %cond_next, %entry
13 %i.01.0 = phi i32 [ 0, %entry ], [ %tmp8, %cond_next ] ; <i32> [#uses=3]
14 %tsum.16.0 = phi i32 [ 42, %entry ], [ %tsum.0, %cond_next ] ; <i32> [#uses=2]
15 %tmp1 = icmp eq i32 %i.01.0, 50 ; <i1> [#uses=1]
16 br i1 %tmp1, label %cond_true, label %cond_next
18 cond_true: ; preds = %bb
19 %tmp4 = tail call i32 @foo( i32 %i.01.0 ) ; <i32> [#uses=1]
20 %tmp6 = add i32 %tmp4, %tsum.16.0 ; <i32> [#uses=1]
23 cond_next: ; preds = %bb, %cond_true
24 %tsum.0 = phi i32 [ %tmp6, %cond_true ], [ %tsum.16.0, %bb ] ; <i32> [#uses=2]
25 %tmp8 = add i32 %i.01.0, 1 ; <i32> [#uses=3]
26 %tmp11 = icmp slt i32 %tmp8, 100 ; <i1> [#uses=1]
27 br i1 %tmp11, label %bb, label %bb14
29 bb14: ; preds = %cond_next
30 %tmp8.lcssa = phi i32 [ %tmp8, %cond_next ] ; <i32> [#uses=1]
31 %tsum.0.lcssa = phi i32 [ %tsum.0, %cond_next ] ; <i32> [#uses=1]
32 %tmp17 = tail call i32 @bar( i32 %tmp8.lcssa, i32 %tsum.0.lcssa ) ; <i32> [#uses=0]