test/Transforms/SimplifyLibCalls/Printf.ll

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