test/Transforms/InstCombine/puts-1.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; Test that the puts 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 @empty = constant [1 x i8] zeroinitializer
   9
  10 declare i32 @puts(i8*)
  11
  12 ; Check puts("") -> putchar('\n').
  13
  14 define void @test_simplify1() {
  15 ; CHECK-LABEL: @test_simplify1(
  16 ; CHECK-NEXT:    [[PUTCHAR:%.*]] = call i32 @putchar(i32 10)
  17 ; CHECK-NEXT:    ret void
  18 ;
  19   %str = getelementptr [1 x i8], [1 x i8]* @empty, i32 0, i32 0
  20   call i32 @puts(i8* %str)
  21   ret void
  22 }
  23
  24 ; Don't simplify if the return value is used.
  25
  26 define i32 @test_no_simplify1() {
  27 ; CHECK-LABEL: @test_no_simplify1(
  28 ; CHECK-NEXT:    [[RET:%.*]] = call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([1 x i8], [1 x i8]* @empty, i32 0, i32 0))
  29 ; CHECK-NEXT:    ret i32 [[RET]]
  30 ;
  31   %str = getelementptr [1 x i8], [1 x i8]* @empty, i32 0, i32 0
  32   %ret = call i32 @puts(i8* %str)
  33   ret i32 %ret
  34 }