1; RUN: opt -S %s -passes=lowertypetests | FileCheck %s
2
3; CHECK: @badfileops = internal global %struct.f { void ()* @bad_f, void ()* @bad_f }
4; CHECK: @bad_f = internal alias void (), void ()* @.cfi.jumptable
5; CHECK: define internal void @bad_f.cfi() !type !0 {
6; CHECK-NEXT:  ret void
7
8target triple = "x86_64-unknown-linux"
9
10%struct.f = type { void ()*, void ()* }
11@badfileops = internal global %struct.f { void ()* @bad_f, void ()* @bad_f }, align 8
12
13declare i1 @llvm.type.test(i8*, metadata)
14
15define internal void @bad_f() !type !1 {
16  ret void
17}
18
19define internal fastcc void @do_f() unnamed_addr !type !2 {
20  %1 = tail call i1 @llvm.type.test(i8* undef, metadata !"_ZTSFiP4fileP3uioP5ucrediP6threadE"), !nosanitize !3
21  ret void
22}
23
24!1 = !{i64 0, !"_ZTSFiP4fileP3uioP5ucrediP6threadE"}
25!2 = !{i64 0, !"_ZTSFiP6threadiP4fileP3uioliE"}
26!3 = !{}
27