[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Generic / print-mul.ll
blob4b60d759278ac93c0a17caa3fad8415b1d235807
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_mul_str = internal constant [13 x i8] c"a * %d = %d\0A\00"           ; <[13 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_mul_s = getelementptr [13 x i8], [13 x i8]* @a_mul_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 i32 [ 0, %entry ], [ %s_inc, %shl_test ]               ; <i32> [#uses=4]
24         %result = mul i32 %a, %s                ; <i32> [#uses=1]
25         call i32 (i8*, ...) @printf( i8* %a_mul_s, i32 %s, i32 %result )                ; <i32>:2 [#uses=0]
26         %s_inc = add i32 %s, 1          ; <i32> [#uses=1]
27         %done = icmp eq i32 %s, 256             ; <i1> [#uses=1]
28         br i1 %done, label %fini, label %shl_test
30 fini:           ; preds = %shl_test
31         ret i32 0