blob: 7447e6d4d4f02cd4884ea0d0dae38ab8507da0ac [file] [log] [blame]
Dan Gohman3c7d3082009-09-11 18:01:28 +00001; RUN: opt < %s -loop-index-split -stats -disable-output | not grep "loop-index-split"
Devang Patel2da81442008-05-19 22:23:55 +00002;PR2294
3@g_2 = external global i16 ; <i16*> [#uses=4]
4@g_5 = external global i32 ; <i32*> [#uses=1]
5@.str = external constant [4 x i8] ; <[4 x i8]*> [#uses=1]
6
7declare void @func_1() nounwind
8
9define i32 @main() nounwind {
10entry:
11 %tmp101.i = load i16* @g_2, align 2 ; <i16> [#uses=1]
12 %tmp112.i = icmp sgt i16 %tmp101.i, 0 ; <i1> [#uses=1]
13 br i1 %tmp112.i, label %bb.preheader.i, label %func_1.exit
14bb.preheader.i: ; preds = %entry
15 %g_2.promoted.i = load i16* @g_2 ; <i16> [#uses=1]
16 br label %bb.i
17bb.i: ; preds = %bb6.i, %bb.preheader.i
18 %g_2.tmp.0.i = phi i16 [ %g_2.promoted.i, %bb.preheader.i ], [ %tmp8.i, %bb6.i ] ; <i16> [#uses=2]
19 %tmp2.i = icmp eq i16 %g_2.tmp.0.i, 0 ; <i1> [#uses=1]
20 br i1 %tmp2.i, label %bb4.i, label %bb6.i
21bb4.i: ; preds = %bb.i
22 %tmp5.i = volatile load i32* @g_5, align 4 ; <i32> [#uses=0]
23 br label %bb6.i
24bb6.i: ; preds = %bb4.i, %bb.i
25 %tmp8.i = add i16 %g_2.tmp.0.i, 1 ; <i16> [#uses=3]
Devang Patelb0f72f32008-07-09 00:12:01 +000026 %tmp11.i = icmp sgt i16 %tmp8.i, 42 ; <i1> [#uses=1]
Devang Patel2da81442008-05-19 22:23:55 +000027 br i1 %tmp11.i, label %bb.i, label %return.loopexit.i
28return.loopexit.i: ; preds = %bb6.i
29 %tmp8.i.lcssa = phi i16 [ %tmp8.i, %bb6.i ] ; <i16> [#uses=1]
30 store i16 %tmp8.i.lcssa, i16* @g_2
31 br label %func_1.exit
32func_1.exit: ; preds = %return.loopexit.i, %entry
33 %tmp1 = load i16* @g_2, align 2 ; <i16> [#uses=1]
34 %tmp12 = sext i16 %tmp1 to i32 ; <i32> [#uses=1]
35 %tmp3 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @.str, i32 0, i32 0), i32 %tmp12 ) nounwind ; <i32> [#uses=0]
36 ret i32 0
37}
38
39declare i32 @printf(i8*, ...) nounwind
40