[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / LoopStrengthReduce / 2008-08-13-CmpStride.ll
blob394969c9935a783f239d881dca5d3aa332b48a39
1 ; RUN: opt < %s -loop-reduce -S | grep add | count 2
2 ; PR 2662
4 ; Provide legal integer types.
5 target datalayout = "n8:16:32:64"
7 @g_3 = common global i16 0              ; <i16*> [#uses=2]
8 @"\01LC" = internal constant [4 x i8] c"%d\0A\00"               ; <[4 x i8]*> [#uses=1]
10 define void @func_1() nounwind {
11 entry:
12         br label %bb
14 bb:             ; preds = %bb, %entry
15         %l_2.0.reg2mem.0 = phi i16 [ 0, %entry ], [ %t1, %bb ]          ; <i16> [#uses=2]
16         %t0 = shl i16 %l_2.0.reg2mem.0, 1               ; <i16>:0 [#uses=1]
17         store volatile i16 %t0, i16* @g_3, align 2
18         %t1 = add i16 %l_2.0.reg2mem.0, -3              ; <i16>:1 [#uses=2]
19         %t2 = icmp slt i16 %t1, 1               ; <i1>:2 [#uses=1]
20         br i1 %t2, label %bb, label %return
22 return:         ; preds = %bb
23         ret void
26 define i32 @main() nounwind {
27 entry:
28         tail call void @func_1( ) nounwind
29         load volatile i16, i16* @g_3, align 2           ; <i16>:0 [#uses=1]
30         zext i16 %0 to i32              ; <i32>:1 [#uses=1]
31         tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @"\01LC", i32 0, i32 0), i32 %1 ) nounwind             ; <i32>:2 [#uses=0]
32         ret i32 0
35 declare i32 @printf(i8*, ...) nounwind