[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / IndVarSimplify / 2004-03-10-PHIInsertionBug.ll
blobc49819e27af453b023a879c9718ea42243bcad78
1 ; RUN: opt < %s -indvars -disable-output
3 define void @test() {
4         br label %endif.0.i
6 endif.0.i:              ; preds = %0
7         br i1 false, label %then.3.i, label %endif.3.i
9 then.3.i:               ; preds = %endif.0.i
10         br label %endif.3.i
12 endif.3.i:              ; preds = %then.3.i, %endif.0.i
13         %inxm.0.i = phi i32 [ 8, %then.3.i ], [ 0, %endif.0.i ]         ; <i32> [#uses=1]
14         %doinner.1.i = phi i32 [ 0, %then.3.i ], [ 0, %endif.0.i ]              ; <i32> [#uses=0]
15         br label %loopentry.2.i
17 loopentry.2.i:          ; preds = %no_exit.2.i, %endif.3.i
18         %inxk.0.i = phi i32 [ %tmp.210.i, %no_exit.2.i ], [ 0, %endif.3.i ]             ; <i32> [#uses=1]
19         br label %no_exit.2.i
21 no_exit.2.i:            ; preds = %loopentry.2.i
22         %tmp.210.i = sub i32 %inxk.0.i, %inxm.0.i               ; <i32> [#uses=2]
23         %tmp.213.i = add i32 %tmp.210.i, 0              ; <i32> [#uses=0]
24         br label %loopentry.2.i