[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / IndVarSimplify / 2006-06-16-Indvar-LCSSA-Crash.ll
blob2d40f88d0d0b7050437b81b599b0595abceaa922
1 ; RUN: opt < %s -indvars -disable-output
3 define void @get_block() {
4 endif.0:
5         br label %no_exit.30
7 no_exit.30:             ; preds = %no_exit.30, %endif.0
8         %x.12.0 = phi i32 [ %inc.28, %no_exit.30 ], [ -2, %endif.0 ]            ; <i32> [#uses=1]
9         %tmp.583 = load i16, i16* null               ; <i16> [#uses=1]
10         %tmp.584 = zext i16 %tmp.583 to i32             ; <i32> [#uses=1]
11         %tmp.588 = load i32, i32* null               ; <i32> [#uses=1]
12         %tmp.589 = mul i32 %tmp.584, %tmp.588           ; <i32> [#uses=1]
13         %tmp.591 = add i32 %tmp.589, 0          ; <i32> [#uses=1]
14         %inc.28 = add i32 %x.12.0, 1            ; <i32> [#uses=2]
15         %tmp.565 = icmp sgt i32 %inc.28, 3              ; <i1> [#uses=1]
16         br i1 %tmp.565, label %loopexit.30, label %no_exit.30
18 loopexit.30:            ; preds = %no_exit.30
19         %tmp.591.lcssa = phi i32 [ %tmp.591, %no_exit.30 ]              ; <i32> [#uses=0]
20         ret void