test/Transforms/InstCombine/printf-1.ll

   1 ; Test that the printf library call simplifier works correctly.
   2 ;
   3 ; RUN: opt < %s -instcombine -S | FileCheck %s
   4 ; RUN: opt < %s -mtriple xcore-xmos-elf -instcombine -S | FileCheck %s -check-prefix=CHECK-IPRINTF
   5
   6 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
   7
   8 @hello_world = constant [13 x i8] c"hello world\0A\00"
   9 @h = constant [2 x i8] c"h\00"
  10 @percent = constant [2 x i8] c"%\00"
  11 @percent_c = constant [3 x i8] c"%c\00"
  12 @percent_d = constant [3 x i8] c"%d\00"
  13 @percent_f = constant [3 x i8] c"%f\00"
  14 @percent_s = constant [4 x i8] c"%s\0A\00"
  15 @empty = constant [1 x i8] c"\00"
  16 ; CHECK: [[STR:@[a-z0-9]+]] = private unnamed_addr constant [12 x i8] c"hello world\00"
  17
  18 declare i32 @printf(i8*, ...)
  19
  20 ; Check printf("") -> noop.
  21
  22 define void @test_simplify1() {
  23 ; CHECK-LABEL: @test_simplify1(
  24   %fmt = getelementptr [1 x i8], [1 x i8]* @empty, i32 0, i32 0
  25   call i32 (i8*, ...) @printf(i8* %fmt)
  26   ret void
  27 ; CHECK-NEXT: ret void
  28 }
  29
  30 ; Check printf("x") -> putchar('x'), even for '%'.
  31
  32 define void @test_simplify2() {
  33 ; CHECK-LABEL: @test_simplify2(
  34   %fmt = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0
  35   call i32 (i8*, ...) @printf(i8* %fmt)
  36 ; CHECK-NEXT: call i32 @putchar(i32 104)
  37   ret void
  38 ; CHECK-NEXT: ret void
  39 }
  40
  41 define void @test_simplify3() {
  42 ; CHECK-LABEL: @test_simplify3(
  43   %fmt = getelementptr [2 x i8], [2 x i8]* @percent, i32 0, i32 0
  44   call i32 (i8*, ...) @printf(i8* %fmt)
  45 ; CHECK-NEXT: call i32 @putchar(i32 37)
  46   ret void
  47 ; CHECK-NEXT: ret void
  48 }
  49
  50 ; Check printf("foo\n") -> puts("foo").
  51
  52 define void @test_simplify4() {
  53 ; CHECK-LABEL: @test_simplify4(
  54   %fmt = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  55   call i32 (i8*, ...) @printf(i8* %fmt)
  56 ; CHECK-NEXT: call i32 @puts(i8* getelementptr inbounds ([12 x i8], [12 x i8]* [[STR]], i32 0, i32 0))
  57   ret void
  58 ; CHECK-NEXT: ret void
  59 }
  60
  61 ; Check printf("%c", chr) -> putchar(chr).
  62
  63 define void @test_simplify5() {
  64 ; CHECK-LABEL: @test_simplify5(
  65   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_c, i32 0, i32 0
  66   call i32 (i8*, ...) @printf(i8* %fmt, i8 104)
  67 ; CHECK-NEXT: call i32 @putchar(i32 104)
  68   ret void
  69 ; CHECK-NEXT: ret void
  70 }
  71
  72 ; Check printf("%s\n", str) -> puts(str).
  73
  74 define void @test_simplify6() {
  75 ; CHECK-LABEL: @test_simplify6(
  76   %fmt = getelementptr [4 x i8], [4 x i8]* @percent_s, i32 0, i32 0
  77   %str = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  78   call i32 (i8*, ...) @printf(i8* %fmt, i8* %str)
  79 ; CHECK-NEXT: call i32 @puts(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @hello_world, i32 0, i32 0))
  80   ret void
  81 ; CHECK-NEXT: ret void
  82 }
  83
  84 ; Check printf(format, ...) -> iprintf(format, ...) if no floating point.
  85
  86 define void @test_simplify7() {
  87 ; CHECK-IPRINTF-LABEL: @test_simplify7(
  88   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_d, i32 0, i32 0
  89   call i32 (i8*, ...) @printf(i8* %fmt, i32 187)
  90 ; CHECK-IPRINTF-NEXT: call i32 (i8*, ...) @iprintf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @percent_d, i32 0, i32 0), i32 187)
  91   ret void
  92 ; CHECK-IPRINTF-NEXT: ret void
  93 }
  94
  95 define void @test_no_simplify1() {
  96 ; CHECK-IPRINTF-LABEL: @test_no_simplify1(
  97   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_f, i32 0, i32 0
  98   call i32 (i8*, ...) @printf(i8* %fmt, double 1.87)
  99 ; CHECK-IPRINTF-NEXT: call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @percent_f, i32 0, i32 0), double 1.870000e+00)
 100   ret void
 101 ; CHECK-IPRINTF-NEXT: ret void
 102 }
 103
 104 define void @test_no_simplify2(i8* %fmt, double %d) {
 105 ; CHECK-LABEL: @test_no_simplify2(
 106   call i32 (i8*, ...) @printf(i8* %fmt, double %d)
 107 ; CHECK-NEXT: call i32 (i8*, ...) @printf(i8* %fmt, double %d)
 108   ret void
 109 ; CHECK-NEXT: ret void
 110 }
 111
 112 define i32 @test_no_simplify3() {
 113 ; CHECK-LABEL: @test_no_simplify3(
 114   %fmt = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0
 115   %ret = call i32 (i8*, ...) @printf(i8* %fmt)
 116 ; CHECK-NEXT: call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @h, i32 0, i32 0))
 117   ret i32 %ret
 118 ; CHECK-NEXT: ret i32 %ret
 119 }