test/Transforms/InstCombine/sprintf-1.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; Test that the sprintf library call simplifier works correctly.
   3 ;
   4 ; RUN: opt < %s -instcombine -S | FileCheck %s
   5 ; RUN: opt < %s -mtriple xcore-xmos-elf -instcombine -S | FileCheck %s -check-prefix=CHECK-IPRINTF
   6
   7 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"
   8
   9 @hello_world = constant [13 x i8] c"hello world\0A\00"
  10 @null = constant [1 x i8] zeroinitializer
  11 @null_hello = constant [7 x i8] c"\00hello\00"
  12 @h = constant [2 x i8] c"h\00"
  13 @percent_c = constant [3 x i8] c"%c\00"
  14 @percent_d = constant [3 x i8] c"%d\00"
  15 @percent_f = constant [3 x i8] c"%f\00"
  16 @percent_s = constant [3 x i8] c"%s\00"
  17
  18 declare i32 @sprintf(i8*, i8*, ...)
  19
  20 ; Check sprintf(dst, fmt) -> llvm.memcpy(str, fmt, strlen(fmt) + 1, 1).
  21
  22 define void @test_simplify1(i8* %dst) {
  23 ; CHECK-LABEL: @test_simplify1(
  24 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 dereferenceable(13) [[DST:%.*]], i8* align 1 dereferenceable(13) getelementptr inbounds ([13 x i8], [13 x i8]* @hello_world, i32 0, i32 0), i32 13, i1 false)
  25 ; CHECK-NEXT:    ret void
  26 ;
  27 ; CHECK-IPRINTF-LABEL: @test_simplify1(
  28 ; CHECK-IPRINTF-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 dereferenceable(13) [[DST:%.*]], i8* align 1 dereferenceable(13) getelementptr inbounds ([13 x i8], [13 x i8]* @hello_world, i32 0, i32 0), i32 13, i1 false)
  29 ; CHECK-IPRINTF-NEXT:    ret void
  30 ;
  31   %fmt = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  32   call i32 (i8*, i8*, ...) @sprintf(i8* %dst, i8* %fmt)
  33   ret void
  34 }
  35
  36 define void @test_simplify2(i8* %dst) {
  37 ; CHECK-LABEL: @test_simplify2(
  38 ; CHECK-NEXT:    store i8 0, i8* [[DST:%.*]], align 1
  39 ; CHECK-NEXT:    ret void
  40 ;
  41 ; CHECK-IPRINTF-LABEL: @test_simplify2(
  42 ; CHECK-IPRINTF-NEXT:    store i8 0, i8* [[DST:%.*]], align 1
  43 ; CHECK-IPRINTF-NEXT:    ret void
  44 ;
  45   %fmt = getelementptr [1 x i8], [1 x i8]* @null, i32 0, i32 0
  46   call i32 (i8*, i8*, ...) @sprintf(i8* %dst, i8* %fmt)
  47   ret void
  48 }
  49
  50 define void @test_simplify3(i8* %dst) {
  51 ; CHECK-LABEL: @test_simplify3(
  52 ; CHECK-NEXT:    store i8 0, i8* [[DST:%.*]], align 1
  53 ; CHECK-NEXT:    ret void
  54 ;
  55 ; CHECK-IPRINTF-LABEL: @test_simplify3(
  56 ; CHECK-IPRINTF-NEXT:    store i8 0, i8* [[DST:%.*]], align 1
  57 ; CHECK-IPRINTF-NEXT:    ret void
  58 ;
  59   %fmt = getelementptr [7 x i8], [7 x i8]* @null_hello, i32 0, i32 0
  60   call i32 (i8*, i8*, ...) @sprintf(i8* %dst, i8* %fmt)
  61   ret void
  62 }
  63
  64 ; Check sprintf(dst, "%c", chr) -> *(i8*)dst = chr; *((i8*)dst + 1) = 0.
  65
  66 define void @test_simplify4(i8* %dst) {
  67 ; CHECK-LABEL: @test_simplify4(
  68 ; CHECK-NEXT:    store i8 104, i8* [[DST:%.*]], align 1
  69 ; CHECK-NEXT:    [[NUL:%.*]] = getelementptr i8, i8* [[DST]], i32 1
  70 ; CHECK-NEXT:    store i8 0, i8* [[NUL]], align 1
  71 ; CHECK-NEXT:    ret void
  72 ;
  73 ; CHECK-IPRINTF-LABEL: @test_simplify4(
  74 ; CHECK-IPRINTF-NEXT:    store i8 104, i8* [[DST:%.*]], align 1
  75 ; CHECK-IPRINTF-NEXT:    [[NUL:%.*]] = getelementptr i8, i8* [[DST]], i32 1
  76 ; CHECK-IPRINTF-NEXT:    store i8 0, i8* [[NUL]], align 1
  77 ; CHECK-IPRINTF-NEXT:    ret void
  78 ;
  79   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_c, i32 0, i32 0
  80   call i32 (i8*, i8*, ...) @sprintf(i8* %dst, i8* %fmt, i8 104)
  81   ret void
  82 }
  83
  84 ; Check sprintf(dst, "%s", str) -> llvm.memcpy(dest, str, strlen(str) + 1, 1).
  85
  86 define void @test_simplify5(i8* %dst, i8* %str) {
  87 ; CHECK-LABEL: @test_simplify5(
  88 ; CHECK-NEXT:    [[STRLEN:%.*]] = call i32 @strlen(i8* [[STR:%.*]])
  89 ; CHECK-NEXT:    [[LENINC:%.*]] = add i32 [[STRLEN]], 1
  90 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 [[DST:%.*]], i8* align 1 [[STR]], i32 [[LENINC]], i1 false)
  91 ; CHECK-NEXT:    ret void
  92 ;
  93 ; CHECK-IPRINTF-LABEL: @test_simplify5(
  94 ; CHECK-IPRINTF-NEXT:    [[STRLEN:%.*]] = call i32 @strlen(i8* [[STR:%.*]])
  95 ; CHECK-IPRINTF-NEXT:    [[LENINC:%.*]] = add i32 [[STRLEN]], 1
  96 ; CHECK-IPRINTF-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 [[DST:%.*]], i8* align 1 [[STR]], i32 [[LENINC]], i1 false)
  97 ; CHECK-IPRINTF-NEXT:    ret void
  98 ;
  99   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_s, i32 0, i32 0
 100   call i32 (i8*, i8*, ...) @sprintf(i8* %dst, i8* %fmt, i8* %str)
 101   ret void
 102 }
 103
 104 ; Check sprintf(dst, format, ...) -> siprintf(str, format, ...) if no floating.
 105
 106 define void @test_simplify6(i8* %dst) {
 107 ; CHECK-LABEL: @test_simplify6(
 108 ; CHECK-NEXT:    [[TMP1:%.*]] = call i32 (i8*, i8*, ...) @sprintf(i8* [[DST:%.*]], i8* getelementptr inbounds ([3 x i8], [3 x i8]* @percent_d, i32 0, i32 0), i32 187)
 109 ; CHECK-NEXT:    ret void
 110 ;
 111 ; CHECK-IPRINTF-LABEL: @test_simplify6(
 112 ; CHECK-IPRINTF-NEXT:    [[TMP1:%.*]] = call i32 (i8*, i8*, ...) @siprintf(i8* [[DST:%.*]], i8* getelementptr inbounds ([3 x i8], [3 x i8]* @percent_d, i32 0, i32 0), i32 187)
 113 ; CHECK-IPRINTF-NEXT:    ret void
 114 ;
 115   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_d, i32 0, i32 0
 116   call i32 (i8*, i8*, ...) @sprintf(i8* %dst, i8* %fmt, i32 187)
 117   ret void
 118 }
 119
 120 define void @test_no_simplify1(i8* %dst) {
 121 ; CHECK-LABEL: @test_no_simplify1(
 122 ; CHECK-NEXT:    [[TMP1:%.*]] = call i32 (i8*, i8*, ...) @sprintf(i8* [[DST:%.*]], i8* getelementptr inbounds ([3 x i8], [3 x i8]* @percent_f, i32 0, i32 0), double 1.870000e+00)
 123 ; CHECK-NEXT:    ret void
 124 ;
 125 ; CHECK-IPRINTF-LABEL: @test_no_simplify1(
 126 ; CHECK-IPRINTF-NEXT:    [[TMP1:%.*]] = call i32 (i8*, i8*, ...) @sprintf(i8* [[DST:%.*]], i8* getelementptr inbounds ([3 x i8], [3 x i8]* @percent_f, i32 0, i32 0), double 1.870000e+00)
 127 ; CHECK-IPRINTF-NEXT:    ret void
 128 ;
 129   %fmt = getelementptr [3 x i8], [3 x i8]* @percent_f, i32 0, i32 0
 130   call i32 (i8*, i8*, ...) @sprintf(i8* %dst, i8* %fmt, double 1.87)
 131   ret void
 132 }
 133
 134 define void @test_no_simplify2(i8* %dst, i8* %fmt, double %d) {
 135 ; CHECK-LABEL: @test_no_simplify2(
 136 ; CHECK-NEXT:    [[TMP1:%.*]] = call i32 (i8*, i8*, ...) @sprintf(i8* [[DST:%.*]], i8* [[FMT:%.*]], double [[D:%.*]])
 137 ; CHECK-NEXT:    ret void
 138 ;
 139 ; CHECK-IPRINTF-LABEL: @test_no_simplify2(
 140 ; CHECK-IPRINTF-NEXT:    [[TMP1:%.*]] = call i32 (i8*, i8*, ...) @sprintf(i8* [[DST:%.*]], i8* [[FMT:%.*]], double [[D:%.*]])
 141 ; CHECK-IPRINTF-NEXT:    ret void
 142 ;
 143   call i32 (i8*, i8*, ...) @sprintf(i8* %dst, i8* %fmt, double %d)
 144   ret void
 145 }