1; RUN: opt -S %s -lowertypetests | FileCheck %s
2
3
4; CHECK: define hidden i8* @f2.cfi() !type !0 {
5; CHECK-NEXT:  br label %b
6; CHECK: b:
7; CHECK-NEXT:  ret i8* blockaddress(@f2.cfi, %b)
8; CHECK-NEXT: }
9
10target triple = "x86_64-unknown-linux"
11
12define void @f1() {
13entry:
14  %0 = call i1 @llvm.type.test(i8* bitcast (i8* ()* @f2 to i8*), metadata !"_ZTSFvP3bioE")
15  ret void
16}
17
18declare i1 @llvm.type.test(i8*, metadata)
19
20define i8* @f2() !type !5 {
21  br label %b
22
23b:
24  ret i8* blockaddress(@f2, %b)
25}
26
27!5 = !{i64 0, !"_ZTSFvP3bioE"}
28