xref: /llvm-project/llvm/test/Linker/funcimport_appending_global_used.ll (revision b67c16ff6af557174e498d6d82df9936e333f3d6)
1; RUN: opt -module-summary %s -o %t.bc
2; RUN: opt -module-summary %p/Inputs/funcimport_appending_global_used.ll -o %t2.bc
3; RUN: llvm-lto -thinlto -o %t3 %t.bc %t2.bc
4
5; Do the import now
6; RUN: llvm-link %t.bc -summary-index=%t3.thinlto.bc -import=foo:%t2.bc -S | FileCheck %s
7
8; Test case where the verifier would fail if checking use_empty
9; instead of materialized_use_empty on llvm.used.
10
11; CHECK: @llvm.used = appending global [1 x ptr] [ptr @f]
12
13declare void @f()
14@llvm.used = appending global [1 x ptr] [ptr @f]
15
16define i32 @main() {
17entry:
18  call void @foo()
19  ret i32 0
20}
21
22declare void @foo()
23