1 ; RUN: opt < %s -simplify-libcalls -S -o %t 2 ; RUN: FileCheck < %t %s 3 4 @str = internal constant [13 x i8] c"hello world\0A\00" ; <[13 x i8]*> [#uses=1] 5 @str1 = internal constant [2 x i8] c"h\00" ; <[2 x i8]*> [#uses=1] 6 7 declare i32 @printf(i8*, ...) 8 9 ; CHECK: define void @f0 10 ; CHECK-NOT: printf 11 ; CHECK: } 12 define void @f0() { 13 entry: 14 %tmp1 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([13 x i8]* @str, i32 0, i32 0) ) ; <i32> [#uses=0] 15 ret void 16 } 17 18 ; CHECK: define void @f1 19 ; CHECK-NOT: printf 20 ; CHECK: } 21 define void @f1() { 22 entry: 23 %tmp1 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([2 x i8]* @str1, i32 0, i32 0) ) ; <i32> [#uses=0] 24 ret void 25 } 26 27 ; Verify that we don't turn this into a putchar call (thus changing the return 28 ; value). 29 ; 30 ; CHECK: define i32 @f2 31 ; CHECK: printf 32 ; CHECK: } 33 define i32 @f2() { 34 %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([2 x i8]* @str1, i32 0, i32 0)) 35 ret i32 %call 36 } 37
