llvm/test/Transforms/InstCombine/printf-2.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals
   2 ; Test that the printf library call simplifier works correctly.
   3 ;
   4 ; RUN: opt < %s -instcombine -S | FileCheck %s
   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_s = constant [4 x i8] c"%s\0A\00"
  11 @format_str = constant [3 x i8] c"%s\00"
  12 @charstr = constant [2 x i8] c"a\00"
  13 @empty = constant [1 x i8] c"\00"
  14
  15 declare void @printf(i8*, ...)
  16
  17 ; Check simplification of printf with void return type.
  18
  19 ;.
  20 ; CHECK: @[[HELLO_WORLD:[a-zA-Z0-9_$"\\.-]+]] = constant [13 x i8] c"hello world\0A\00"
  21 ; CHECK: @[[H:[a-zA-Z0-9_$"\\.-]+]] = constant [2 x i8] c"h\00"
  22 ; CHECK: @[[PERCENT_S:[a-zA-Z0-9_$"\\.-]+]] = constant [4 x i8] c"%s\0A\00"
  23 ; CHECK: @[[FORMAT_STR:[a-zA-Z0-9_$"\\.-]+]] = constant [3 x i8] c"%s\00"
  24 ; CHECK: @[[CHARSTR:[a-zA-Z0-9_$"\\.-]+]] = constant [2 x i8] c"a\00"
  25 ; CHECK: @[[EMPTY:[a-zA-Z0-9_$"\\.-]+]] = constant [1 x i8] zeroinitializer
  26 ; CHECK: @[[STR:[a-zA-Z0-9_$"\\.-]+]] = private unnamed_addr constant [12 x i8] c"hello world\00", align 1
  27 ; CHECK: @[[STR_1:[a-zA-Z0-9_$"\\.-]+]] = private unnamed_addr constant [12 x i8] c"hello world\00", align 1
  28 ; CHECK: @[[STR_2:[a-zA-Z0-9_$"\\.-]+]] = private unnamed_addr constant [12 x i8] c"hello world\00", align 1
  29 ;.
  30 define void @test_simplify1() {
  31 ; CHECK-LABEL: @test_simplify1(
  32 ; CHECK-NEXT:    [[PUTCHAR:%.*]] = call i32 @putchar(i32 104)
  33 ; CHECK-NEXT:    ret void
  34 ;
  35   %fmt = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0
  36   call void (i8*, ...) @printf(i8* %fmt)
  37   ret void
  38 }
  39
  40 define void @test_simplify2() {
  41 ; CHECK-LABEL: @test_simplify2(
  42 ; CHECK-NEXT:    [[PUTS:%.*]] = call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str, i32 0, i32 0))
  43 ; CHECK-NEXT:    ret void
  44 ;
  45   %fmt = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  46   call void (i8*, ...) @printf(i8* %fmt)
  47   ret void
  48 }
  49
  50 define void @test_simplify6() {
  51 ; CHECK-LABEL: @test_simplify6(
  52 ; CHECK-NEXT:    [[PUTS:%.*]] = call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @hello_world, i32 0, i32 0))
  53 ; CHECK-NEXT:    ret void
  54 ;
  55   %fmt = getelementptr [4 x i8], [4 x i8]* @percent_s, i32 0, i32 0
  56   %str = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  57   call void (i8*, ...) @printf(i8* %fmt, i8* %str)
  58   ret void
  59 }
  60
  61 define void @test_simplify7() {
  62 ; CHECK-LABEL: @test_simplify7(
  63 ; CHECK-NEXT:    [[PUTCHAR:%.*]] = call i32 @putchar(i32 97)
  64 ; CHECK-NEXT:    ret void
  65 ;
  66   %fmt = getelementptr [3 x i8], [3 x i8]* @format_str, i32 0, i32 0
  67   %str = getelementptr [2 x i8], [2 x i8]* @charstr, i32 0, i32 0
  68   call void (i8*, ...) @printf(i8* %fmt, i8* %str)
  69   ret void
  70 }
  71
  72 ; printf("%s", "") --> noop
  73
  74 define void @test_simplify8() {
  75 ; CHECK-LABEL: @test_simplify8(
  76 ; CHECK-NEXT:    ret void
  77 ;
  78   %fmt = getelementptr [3 x i8], [3 x i8]* @format_str, i32 0, i32 0
  79   %str = getelementptr [1 x i8], [1 x i8]* @empty, i32 0, i32 0
  80   call void (i8*, ...) @printf(i8* %fmt, i8* %str)
  81   ret void
  82 }
  83
  84 ; printf("%s", str"\n") --> puts(str)
  85
  86 define void @test_simplify9() {
  87 ; CHECK-LABEL: @test_simplify9(
  88 ; CHECK-NEXT:    [[PUTS:%.*]] = call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.1, i32 0, i32 0))
  89 ; CHECK-NEXT:    ret void
  90 ;
  91   %fmt = getelementptr [3 x i8], [3 x i8]* @format_str, i32 0, i32 0
  92   %str = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  93   call void (i8*, ...) @printf(i8* %fmt, i8* %str)
  94   ret void
  95 }
  96
  97 ; printf("%s", "", ...) --> noop
  98 ; printf("%s", "a", ...) --> putchar('a')
  99 ; printf("%s", str"\n", ...) --> puts(str)
 100
 101 define void @test_simplify10() {
 102 ; CHECK-LABEL: @test_simplify10(
 103 ; CHECK-NEXT:    [[PUTCHAR:%.*]] = call i32 @putchar(i32 97)
 104 ; CHECK-NEXT:    [[PUTS:%.*]] = call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.2, i32 0, i32 0))
 105 ; CHECK-NEXT:    ret void
 106 ;
 107   %fmt = getelementptr [3 x i8], [3 x i8]* @format_str, i32 0, i32 0
 108   %str1 = getelementptr [1 x i8], [1 x i8]* @empty, i32 0, i32 0
 109   call void (i8*, ...) @printf(i8* %fmt, i8* %str1, i32 42, double 0x40091EB860000000)
 110   %str2 = getelementptr [2 x i8], [2 x i8]* @charstr, i32 0, i32 0
 111   call void (i8*, ...) @printf(i8* %fmt, i8* %str2, i32 42, double 0x40091EB860000000)
 112   %str3 = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
 113   call void (i8*, ...) @printf(i8* %fmt, i8* %str3, i32 42, double 0x40091EB860000000)
 114   ret void
 115 }
 116 ;.
 117 ; CHECK: attributes #[[ATTR0:[0-9]+]] = { nofree nounwind }
 118 ;.