diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-01-02 19:17:04 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-01-02 19:17:04 +0000 |
| commit | b915e9e0fc85ba6f398b3fab0db6a81a8913af94 (patch) | |
| tree | 98b8f811c7aff2547cab8642daf372d6c59502fb /test/Bitcode/thinlto-unused-type-tests.ll | |
| parent | 6421cca32f69ac849537a3cff78c352195e99f1b (diff) | |
Notes
Diffstat (limited to 'test/Bitcode/thinlto-unused-type-tests.ll')
| -rw-r--r-- | test/Bitcode/thinlto-unused-type-tests.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/Bitcode/thinlto-unused-type-tests.ll b/test/Bitcode/thinlto-unused-type-tests.ll new file mode 100644 index 000000000000..c2c5dd2f9a30 --- /dev/null +++ b/test/Bitcode/thinlto-unused-type-tests.ll @@ -0,0 +1,13 @@ +; RUN: opt -module-summary %s -o %t.o +; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s + +; CHECK-NOT: <TYPE_TESTS +define void @f() { + %p = call i1 @llvm.type.test(i8* null, metadata !"foo") + %q = call i1 @llvm.type.test(i8* null, metadata !"bar") + call void @llvm.assume(i1 %q) + ret void +} + +declare i1 @llvm.type.test(i8*, metadata) nounwind readnone +declare void @llvm.assume(i1) |