1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; Check if "RtLibUseGOT" works correctly when lib calls are simplified.
3 ; RUN: opt < %s -instcombine -S | FileCheck %s
5 @percent_s = constant [4 x i8] c"%s\0A\00"
6 @hello_world = constant [13 x i8] c"hello world\0A\00"
7 declare i32 @printf(i8*, ...)
8 define void @printf_call() {
9 ; CHECK-LABEL: @printf_call(
10 ; CHECK-NEXT: [[PUTS:%.*]] = call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @hello_world, i64 0, i64 0))
11 ; CHECK-NEXT: ret void
13 %fmt = getelementptr [4 x i8], [4 x i8]* @percent_s, i32 0, i32 0
14 %str = getelementptr [13 x i8], [13 x i8]* @hello_world, i32 0, i32 0
15 call i32 (i8*, ...) @printf(i8* %fmt, i8* %str)
19 ; CHECK: Function Attrs: nofree nounwind nonlazybind
20 ; CHECK-NEXT: declare i32 @puts(i8* nocapture readonly)
22 !llvm.module.flags = !{!0}
23 !0 = !{i32 7, !"RtLibUseGOT", i32 1}