[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / IndVarSimplify / loop_evaluate_4.ll
blob0bdae114c9c23189c2f2f767ab9839b4434f8c62
1 ; RUN: opt < %s -indvars -S | FileCheck %s
2 ; PR1179
4 define i32 @test4() {
5 ; CHECK-LABEL: @test4(
6 ; CHECK: ret i32 9900
7 entry:
8         br label %bb7
10 bb7:            ; preds = %bb7, %entry
11         %v.01.0 = phi i32 [ 0, %entry ], [ %tmp4, %bb7 ]                ; <i32> [#uses=1]
12         %i.03.0 = phi i32 [ 0, %entry ], [ %tmp6, %bb7 ]                ; <i32> [#uses=2]
13         %tmp2 = shl i32 %i.03.0, 1              ; <i32> [#uses=1]
14         %tmp4 = add i32 %tmp2, %v.01.0          ; <i32> [#uses=2]
15         %tmp6 = add i32 %i.03.0, 1              ; <i32> [#uses=2]
16         icmp slt i32 %tmp6, 100         ; <i1>:0 [#uses=1]
17         br i1 %0, label %bb7, label %bb9
19 bb9:            ; preds = %bb7
20         ret i32 %tmp4