test/Transforms/InstCombine/printf-2.ll

   1 ; Test that the printf library call simplifier works correctly.
   2 ;
   3 ; RUN: opt < %s -instcombine -S | FileCheck %s
   4
   5 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"
   6
   7 @hello_world = constant [13 x i8] c"hello world\0A\00"
   8 @h = constant [2 x i8] c"h\00"
   9 @percent_s = constant [4 x i8] c"%s\0A\00"
  10 @format_str = constant [3 x i8] c"%s\00"
  11 @charstr = constant [2 x i8] c"a\00"
  12
  13 declare void @printf(i8*, ...)
  14
  15 ; Check simplification of printf with void return type.
  16
  17 define void @test_simplify1() {
  18 ; CHECK-LABEL: @test_simplify1(
  19   %fmt = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0
  20   call void (i8*, ...) @printf(i8* %fmt)
  21 ; CHECK-NEXT: call i32 @putchar(i32 104)
  22   ret void
  23 ; CHECK-NEXT: ret void
  24 }
  25
  26 define void @test_simplify2() {
  27 ; CHECK-LABEL: @test_simplify2(
  28   %fmt = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  29   call void (i8*, ...) @printf(i8* %fmt)
  30 ; CHECK-NEXT: call i32 @puts(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @str, i32 0, i32 0))
  31   ret void
  32 ; CHECK-NEXT: ret void
  33 }
  34
  35 define void @test_simplify6() {
  36 ; CHECK-LABEL: @test_simplify6(
  37   %fmt = getelementptr [4 x i8], [4 x i8]* @percent_s, i32 0, i32 0
  38   %str = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
  39   call void (i8*, ...) @printf(i8* %fmt, i8* %str)
  40 ; CHECK-NEXT: call i32 @puts(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @hello_world, i32 0, i32 0))
  41   ret void
  42 ; CHECK-NEXT: ret void
  43 }
  44
  45 define void @test_simplify7() {
  46 ; CHECK-LABEL: @test_simplify7(
  47   %fmt = getelementptr [3 x i8], [3 x i8]* @format_str, i32 0, i32 0
  48   %str = getelementptr [2 x i8], [2 x i8]* @charstr, i32 0, i32 0
  49   call void (i8*, ...) @printf(i8* %fmt, i8* %str)
  50 ; CHECK-NEXT: call i32 @putchar(i32 97)
  51   ret void
  52 ; CHECK-NEXT: ret void
  53 }