1*67e74705SXin Li // RUN: %clang_cc1 -flto -triple x86_64-unknown-linux -fsanitize=cfi-vcall -fsanitize-cfi-cross-dso -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=ITANIUM %s
2*67e74705SXin Li // RUN: %clang_cc1 -flto -triple x86_64-pc-windows-msvc -fsanitize=cfi-vcall -fsanitize-cfi-cross-dso -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=MS %s
3*67e74705SXin Li
4*67e74705SXin Li struct A {
5*67e74705SXin Li A();
6*67e74705SXin Li virtual void f();
7*67e74705SXin Li };
8*67e74705SXin Li
A()9*67e74705SXin Li A::A() {}
f()10*67e74705SXin Li void A::f() {}
11*67e74705SXin Li
caller(A * a)12*67e74705SXin Li void caller(A* a) {
13*67e74705SXin Li a->f();
14*67e74705SXin Li }
15*67e74705SXin Li
16*67e74705SXin Li namespace {
17*67e74705SXin Li struct B {
18*67e74705SXin Li virtual void f();
19*67e74705SXin Li };
20*67e74705SXin Li
f()21*67e74705SXin Li void B::f() {}
22*67e74705SXin Li } // namespace
23*67e74705SXin Li
g()24*67e74705SXin Li void g() {
25*67e74705SXin Li B b;
26*67e74705SXin Li b.f();
27*67e74705SXin Li }
28*67e74705SXin Li
29*67e74705SXin Li // MS: @[[B_VTABLE:.*]] = private unnamed_addr constant [2 x i8*] {{.*}}@"\01??_R4B@?A@@6B@"{{.*}}@"\01?f@B@?A@@UEAAXXZ"
30*67e74705SXin Li
31*67e74705SXin Li // CHECK: %[[VT:.*]] = load void (%struct.A*)**, void (%struct.A*)***
32*67e74705SXin Li // CHECK: %[[VT2:.*]] = bitcast {{.*}}%[[VT]] to i8*, !nosanitize
33*67e74705SXin Li // ITANIUM: %[[TEST:.*]] = call i1 @llvm.type.test(i8* %[[VT2]], metadata !"_ZTS1A"), !nosanitize
34*67e74705SXin Li // MS: %[[TEST:.*]] = call i1 @llvm.type.test(i8* %[[VT2]], metadata !"?AUA@@"), !nosanitize
35*67e74705SXin Li // CHECK: br i1 %[[TEST]], label %[[CONT:.*]], label %[[SLOW:.*]], {{.*}} !nosanitize
36*67e74705SXin Li // CHECK: [[SLOW]]
37*67e74705SXin Li // ITANIUM: call void @__cfi_slowpath_diag(i64 7004155349499253778, i8* %[[VT2]], {{.*}}) {{.*}} !nosanitize
38*67e74705SXin Li // MS: call void @__cfi_slowpath_diag(i64 -8005289897957287421, i8* %[[VT2]], {{.*}}) {{.*}} !nosanitize
39*67e74705SXin Li // CHECK: br label %[[CONT]], !nosanitize
40*67e74705SXin Li // CHECK: [[CONT]]
41*67e74705SXin Li // CHECK: call void %{{.*}}(%struct.A* %{{.*}})
42*67e74705SXin Li
43*67e74705SXin Li // No hash-based bit set entry for (anonymous namespace)::B
44*67e74705SXin Li // ITANIUM-NOT: !{i64 {{.*}}, [3 x i8*]* @_ZTVN12_GLOBAL__N_11BE,
45*67e74705SXin Li // MS-NOT: !{i64 {{.*}}, [2 x i8*]* @[[B_VTABLE]],
46