[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Generic / print-shift.ll
blob56b3ec1df760d8dd8da9618508171e06bf628719
1 ; RUN: llc < %s
3 @a_str = internal constant [8 x i8] c"a = %d\0A\00"             ; <[8 x i8]*> [#uses=1]
4 @b_str = internal constant [8 x i8] c"b = %d\0A\00"             ; <[8 x i8]*> [#uses=1]
5 @a_shl_str = internal constant [14 x i8] c"a << %d = %d\0A\00"          ; <[14 x i8]*> [#uses=1]
6 @A = global i32 2               ; <i32*> [#uses=1]
7 @B = global i32 5               ; <i32*> [#uses=1]
9 declare i32 @printf(i8*, ...)
11 define i32 @main() {
12 entry:
13         %a = load i32, i32* @A               ; <i32> [#uses=2]
14         %b = load i32, i32* @B               ; <i32> [#uses=1]
15         %a_s = getelementptr [8 x i8], [8 x i8]* @a_str, i64 0, i64 0             ; <i8*> [#uses=1]
16         %b_s = getelementptr [8 x i8], [8 x i8]* @b_str, i64 0, i64 0             ; <i8*> [#uses=1]
17         %a_shl_s = getelementptr [14 x i8], [14 x i8]* @a_shl_str, i64 0, i64 0            ; <i8*> [#uses=1]
18         call i32 (i8*, ...) @printf( i8* %a_s, i32 %a )                ; <i32>:0 [#uses=0]
19         call i32 (i8*, ...) @printf( i8* %b_s, i32 %b )                ; <i32>:1 [#uses=0]
20         br label %shl_test
22 shl_test:               ; preds = %shl_test, %entry
23         %s = phi i8 [ 0, %entry ], [ %s_inc, %shl_test ]                ; <i8> [#uses=4]
24         %shift.upgrd.1 = zext i8 %s to i32              ; <i32> [#uses=1]
25         %result = shl i32 %a, %shift.upgrd.1            ; <i32> [#uses=1]
26         call i32 (i8*, ...) @printf( i8* %a_shl_s, i8 %s, i32 %result )                ; <i32>:2 [#uses=0]
27         %s_inc = add i8 %s, 1           ; <i8> [#uses=1]
28         %done = icmp eq i8 %s, 32               ; <i1> [#uses=1]
29         br i1 %done, label %fini, label %shl_test
31 fini:           ; preds = %shl_test
32         ret i32 0