xref: /llvm-project/llvm/test/Transforms/InstCombine/pr39177.ll (revision 4ab40eca080965c65802710e39adbb78c4ce7bde)
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s
2;
3; Check that SimplifyLibCalls do not (crash or) emit a library call if user
4; has made a function alias with the same name.
5
6%struct._IO_FILE = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i64, i16, i8, [1 x i8], ptr, i64, ptr, ptr, ptr, ptr, i64, i32, [20 x i8] }
7%struct._IO_marker = type { ptr, ptr, i32 }
8
9@stderr = external global ptr, align 8
10@.str = private constant [8 x i8] c"crash!\0A\00", align 1
11
12@fwrite = alias i64 (ptr, i64, i64, ptr), ptr @__fwrite_alias
13
14define i64 @__fwrite_alias(ptr %ptr, i64 %size, i64 %n, ptr %s) {
15; CHECK-LABEL: @__fwrite_alias(
16; CHECK-NEXT:  entry:
17; CHECK-NEXT:    ret i64 0
18;
19entry:
20  %ptr.addr = alloca ptr, align 8
21  %size.addr = alloca i64, align 8
22  %n.addr = alloca i64, align 8
23  %s.addr = alloca ptr, align 8
24  store ptr %ptr, ptr %ptr.addr, align 8
25  store i64 %size, ptr %size.addr, align 8
26  store i64 %n, ptr %n.addr, align 8
27  store ptr %s, ptr %s.addr, align 8
28  ret i64 0
29}
30
31define void @foo() {
32; CHECK-LABEL: @foo(
33; CHECK-NOT:    call i64 @fwrite(
34; CHECK:        call {{.*}} @fprintf(
35;
36entry:
37  %retval = alloca i32, align 4
38  store i32 0, ptr %retval, align 4
39  %0 = load ptr, ptr @stderr, align 8
40  %call = call i32 (ptr, ptr, ...) @fprintf(ptr %0, ptr @.str)
41  ret void
42}
43
44declare i32 @fprintf(ptr, ptr, ...)
45