[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / IndVarSimplify / 2003-12-10-RemoveInstrCrash.ll
blob75363314750b94ce051eecc000b9e412afd43dd8
1 ; RUN: opt < %s -indvars -disable-output
3 define void @test() {
4 entry:
5         %inc.2 = add i32 1, 1           ; <i32> [#uses=1]
6         br i1 false, label %no_exit, label %loopexit
8 no_exit:                ; preds = %no_exit, %entry
9         %j.0.pn = phi i32 [ %inc.3, %no_exit ], [ %inc.2, %entry ]              ; <i32> [#uses=1]
10         %k.0.pn = phi i32 [ %inc.4, %no_exit ], [ 1, %entry ]           ; <i32> [#uses=1]
11         %inc.3 = add i32 %j.0.pn, 1             ; <i32> [#uses=1]
12         %inc.4 = add i32 %k.0.pn, 1             ; <i32> [#uses=1]
13         br i1 undef, label %no_exit, label %loopexit
15 loopexit:               ; preds = %no_exit, %entry
16         ret void