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