summaryrefslogtreecommitdiff
path: root/llvm/test/Bitcode/thinlto-unused-type-tests.ll
blob: a5fc4b0c55754d2a78dba0b05232fd98f5f47dca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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(ptr null, metadata !"foo")
  %q = call i1 @llvm.type.test(ptr null, metadata !"bar")
  call void @llvm.assume(i1 %q)
  ret void
}

declare i1 @llvm.type.test(ptr, metadata) nounwind readnone
declare void @llvm.assume(i1)