1; RUN: opt -module-summary %s -o %t.o
2; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s
3; RUN: llvm-lto -thinlto -o %t2 %t.o
4; RUN: llvm-bcanalyzer -dump %t2.thinlto.bc | FileCheck --check-prefix=COMBINED %s
5
6; COMBINED: <TYPE_TESTS op0=-2012135647395072713/>
7; COMBINED: <TYPE_TESTS op0=6699318081062747564 op1=-2012135647395072713/>
8; COMBINED: <TYPE_TESTS op0=6699318081062747564/>
9
10; CHECK: <TYPE_TESTS op0=6699318081062747564/>
11define i1 @f() {
12  %p = call i1 @llvm.type.test(i8* null, metadata !"foo")
13  ret i1 %p
14}
15
16; CHECK: <TYPE_TESTS op0=6699318081062747564 op1=-2012135647395072713/>
17define i1 @g() {
18  %p = call i1 @llvm.type.test(i8* null, metadata !"foo")
19  %q = call i1 @llvm.type.test(i8* null, metadata !"bar")
20  %pq = and i1 %p, %q
21  ret i1 %pq
22}
23
24; CHECK: <TYPE_TESTS op0=-2012135647395072713/>
25define i1 @h() {
26  %p = call i1 @llvm.type.test(i8* null, metadata !"bar")
27  ret i1 %p
28}
29
30declare i1 @llvm.type.test(i8*, metadata) nounwind readnone
31