[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2008-08-06-CmpStride.ll
blob1b6bd7ec0a4f7a4a0597d8833d2785871f3f29b4
1 ; RUN: llc -mtriple=x86_64-- < %s -o - | grep "cmpl     \$[1], %"
3 @.str = internal constant [4 x i8] c"%d\0A\00"
5 declare i32 @printf(i8* noalias , ...) nounwind
7 define i32 @main() nounwind {
8 entry:
9         br label %forbody
11 forbody:
12         %i.0 = phi i32 [ 0, %entry ], [ %inc, %forbody ]                ; <i32>[#uses=3]
13         %sub14 = sub i32 1027, %i.0             ; <i32> [#uses=1]
14         %mul15 = mul i32 %sub14, 10             ; <i32> [#uses=1]
15         %add166 = or i32 %mul15, 1              ; <i32> [#uses=1] *
16         call i32 (i8*, ...) @printf( i8* noalias  getelementptr ([4 x i8], [4 x i8]* @.str, i32 0, i32 0), i32 %add166 ) nounwind
17         %inc = add i32 %i.0, 1          ; <i32> [#uses=3]
18         %cmp = icmp ne i32 %inc, 1027          ; <i1> [#uses=1]
19         br i1 %cmp, label %forbody, label %afterfor
21 afterfor:               ; preds = %forcond
22         ret i32 0