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 @h2 = constant [3 x i8] c"%%\00"
  11 @percent = constant [2 x i8] c"%\00"
  12 @percent_c = constant [3 x i8] c"%c\00"
  13 @percent_d = constant [3 x i8] c"%d\00"
  14 @percent_f = constant [3 x i8] c"%f\00"
  15 @percent_s = constant [4 x i8] c"%s\0A\00"
  16 @empty = constant [1 x i8] c"\00"
  17 ; CHECK: [[$STR:@[a-z0-9]+]] = private unnamed_addr constant [12 x i8] c"hello world\00", align 1
  18
  19 declare i32 @printf(i8*, ...)
  20
  21 ; Check printf("") -> noop.
  22
  23 define void @test_simplify1() {
  24 ; CHECK-LABEL: @test_simplify1(
  25   %fmt = getelementptr [1 x i8], [1 x i8]* @empty, i32 0, i32 0
  26   call i32 (i8*, ...) @printf(i8* %fmt)
  27   ret void
  28 ; CHECK-NEXT: ret void
  29 }
  30
  31 ; Check printf("x") -> putchar('x'), even for '%'.
  32
  33 define void @test_simplify2() {
  34 ; CHECK-LABEL: @test_simplify2(
  35   %fmt = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0
  36   call i32 (i8*, ...) @printf(i8* %fmt)
  37 ; CHECK-NEXT: call i32 @putchar(i32 104)
  38   ret void
  39 ; CHECK-NEXT: ret void
  40 }
  41
  42 ; Special case: printf("%%") -> putchar('%').
  43
  44 define void @test_simplify2b() {
  45 ; CHECK-LABEL: @test_simplify2b(
  46   %fmt = getelementptr [3 x i8], [3 x i8]* @h2, i32 0, i32 0
  47   call i32 (i8*, ...) @printf(i8* %fmt)
  48 ; CHECK-NEXT: call i32 @putchar(i32 37)
  49   ret void
  50 ; CHECK-NEXT: ret void
  51 }
  52
  53 define void @test_simplify3() {
  54 ; CHECK-LABEL: @test_simplify3(
  55   %fmt = getelementptr [2 x i8], [2 x i8]* @percent, i32 0, i32 0
  56   call i32 (i8*, ...) @printf(i8* %fmt)
  57 ; CHECK-NEXT: call i32 @putchar(i32 37)
  58   ret void
  59 ; CHECK-NEXT: ret void
  60 }
  61
  62 ; Check printf("foo\n") -> puts("foo").
  63
  64 define void @test_simplify4() {
  65 ; CHECK-LABEL: @test_simplify4(
  66   %fmt = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  67   call i32 (i8*, ...) @printf(i8* %fmt)
  68 ; CHECK-NEXT: call i32 @puts(i8* getelementptr inbounds ([12 x i8], [12 x i8]* [[$STR]], i32 0, i32 0))
  69   ret void
  70 ; CHECK-NEXT: ret void
  71 }
  72
  73 ; Check printf("%c", chr) -> putchar(chr).
  74
  75 define void @test_simplify5() {
  76 ; CHECK-LABEL: @test_simplify5(
  77   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_c, i32 0, i32 0
  78   call i32 (i8*, ...) @printf(i8* %fmt, i8 104)
  79 ; CHECK-NEXT: call i32 @putchar(i32 104)
  80   ret void
  81 ; CHECK-NEXT: ret void
  82 }
  83
  84 ; Check printf("%s\n", str) -> puts(str).
  85
  86 define void @test_simplify6() {
  87 ; CHECK-LABEL: @test_simplify6(
  88   %fmt = getelementptr [4 x i8], [4 x i8]* @percent_s, i32 0, i32 0
  89   %str = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  90   call i32 (i8*, ...) @printf(i8* %fmt, i8* %str)
  91 ; CHECK-NEXT: call i32 @puts(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @hello_world, i32 0, i32 0))
  92   ret void
  93 ; CHECK-NEXT: ret void
  94 }
  95
  96 ; Check printf(format, ...) -> iprintf(format, ...) if no floating point.
  97
  98 define void @test_simplify7() {
  99 ; CHECK-IPRINTF-LABEL: @test_simplify7(
 100   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_d, i32 0, i32 0
 101   call i32 (i8*, ...) @printf(i8* %fmt, i32 187)
 102 ; CHECK-IPRINTF-NEXT: call i32 (i8*, ...) @iprintf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @percent_d, i32 0, i32 0), i32 187)
 103   ret void
 104 ; CHECK-IPRINTF-NEXT: ret void
 105 }
 106
 107 define void @test_no_simplify1() {
 108 ; CHECK-IPRINTF-LABEL: @test_no_simplify1(
 109   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_f, i32 0, i32 0
 110   call i32 (i8*, ...) @printf(i8* %fmt, double 1.87)
 111 ; 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)
 112   ret void
 113 ; CHECK-IPRINTF-NEXT: ret void
 114 }
 115
 116 define void @test_no_simplify2(i8* %fmt, double %d) {
 117 ; CHECK-LABEL: @test_no_simplify2(
 118   call i32 (i8*, ...) @printf(i8* %fmt, double %d)
 119 ; CHECK-NEXT: call i32 (i8*, ...) @printf(i8* %fmt, double %d)
 120   ret void
 121 ; CHECK-NEXT: ret void
 122 }
 123
 124 define i32 @test_no_simplify3() {
 125 ; CHECK-LABEL: @test_no_simplify3(
 126   %fmt = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0
 127   %ret = call i32 (i8*, ...) @printf(i8* %fmt)
 128 ; CHECK-NEXT: call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @h, i32 0, i32 0))
 129   ret i32 %ret
 130 ; CHECK-NEXT: ret i32 %ret
 131 }