33 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; Test that the puts library call simplifier works correctly.3;4; RUN: opt < %s -passes=instcombine -S | FileCheck %s5 6target 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] zeroinitializer9 10declare i32 @puts(ptr)11 12; Check puts("") -> putchar('\n').13 14define void @test_simplify1() {15; CHECK-LABEL: @test_simplify1(16; CHECK-NEXT: [[PUTCHAR:%.*]] = call i32 @putchar(i32 10)17; CHECK-NEXT: ret void18;19 call i32 @puts(ptr @empty)20 ret void21}22 23; Don't simplify if the return value is used.24 25define i32 @test_no_simplify1() {26; CHECK-LABEL: @test_no_simplify1(27; CHECK-NEXT: [[RET:%.*]] = call i32 @puts(ptr noundef nonnull dereferenceable(1) @empty)28; CHECK-NEXT: ret i32 [[RET]]29;30 %ret = call i32 @puts(ptr @empty)31 ret i32 %ret32}33