1*1b4137a7SPeter Collingbourne; RUN: opt -module-summary %s -o %t.o
2*1b4137a7SPeter Collingbourne; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s
3*1b4137a7SPeter Collingbourne
4*1b4137a7SPeter Collingbourne; CHECK-NOT: <TYPE_TESTS
5*1b4137a7SPeter Collingbournedefine void @f() {
6*1b4137a7SPeter Collingbourne  %p = call i1 @llvm.type.test(i8* null, metadata !"foo")
7*1b4137a7SPeter Collingbourne  %q = call i1 @llvm.type.test(i8* null, metadata !"bar")
8*1b4137a7SPeter Collingbourne  call void @llvm.assume(i1 %q)
9*1b4137a7SPeter Collingbourne  ret void
10*1b4137a7SPeter Collingbourne}
11*1b4137a7SPeter Collingbourne
12*1b4137a7SPeter Collingbournedeclare i1 @llvm.type.test(i8*, metadata) nounwind readnone
13*1b4137a7SPeter Collingbournedeclare void @llvm.assume(i1)
14