xref: /llvm-project/llvm/test/Bitcode/thinlto-unused-type-tests.ll (revision 1b4137a7f902d9e67bad20c4d71fbf05c41c7855)
1; RUN: opt -module-summary %s -o %t.o
2; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s
3
4; CHECK-NOT: <TYPE_TESTS
5define void @f() {
6  %p = call i1 @llvm.type.test(i8* null, metadata !"foo")
7  %q = call i1 @llvm.type.test(i8* null, metadata !"bar")
8  call void @llvm.assume(i1 %q)
9  ret void
10}
11
12declare i1 @llvm.type.test(i8*, metadata) nounwind readnone
13declare void @llvm.assume(i1)
14