[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / no-plt-libcalls.ll
blob615b7bc33090373ff7dcccae9d460c9c074ad898
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)
16   ret void
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}