test/Transforms/SimplifyLibCalls/Printf.ll

   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 }