[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / IndVarSimplify / 2005-06-15-InstMoveCrash.ll
blob0862f1131b5a0d90cbe54c712c341c4628f533b3
1 ; RUN: opt < %s -indvars -disable-output
3 define void @main() {
4 entry:
5         br label %no_exit.1.outer
7 no_exit.1.outer:                ; preds = %endif.0, %entry
8         %l_14237116.1.0.ph = phi i8 [ -46, %entry ], [ 0, %endif.0 ]            ; <i8> [#uses=1]
9         %i.0.0.0.ph = phi i32 [ 0, %entry ], [ %inc.1, %endif.0 ]               ; <i32> [#uses=1]
10         br label %no_exit.1
12 no_exit.1:              ; preds = %_Z13func_47880058cc.exit, %no_exit.1.outer
13         br i1 false, label %_Z13func_47880058cc.exit, label %then.i
15 then.i:         ; preds = %no_exit.1
16         br label %_Z13func_47880058cc.exit
18 _Z13func_47880058cc.exit:               ; preds = %then.i, %no_exit.1
19         br i1 false, label %then.0, label %no_exit.1
21 then.0:         ; preds = %_Z13func_47880058cc.exit
22         %tmp.6 = bitcast i8 %l_14237116.1.0.ph to i8            ; <i8> [#uses=1]
23         br i1 false, label %endif.0, label %then.1
25 then.1:         ; preds = %then.0
26         br label %endif.0
28 endif.0:                ; preds = %then.1, %then.0
29         %inc.1 = add i32 %i.0.0.0.ph, 1         ; <i32> [#uses=2]
30         %tmp.2 = icmp sgt i32 %inc.1, 99                ; <i1> [#uses=1]
31         br i1 %tmp.2, label %loopexit.0, label %no_exit.1.outer
33 loopexit.0:             ; preds = %endif.0
34         %tmp.28 = zext i8 %tmp.6 to i32         ; <i32> [#uses=0]
35         ret void