399 lines · cpp
1// A meta comment on the prefixes:2// ITANIUM-COMMON-MD prefix is common when the options are either non-relative vtable or relative vtables.3// ITANIUM-NO-RV-MD prefix is used when the options specify non-relative vtables, and RV-MD is used when the options specify relative vtables.4 5// Tests for the cfi-vcall feature:6// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT-NO-RV --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=ITANIUM-NO-RV-MD --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=NDIAG %s7// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fsanitize=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT-NO-RV --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=ITANIUM-NO-RV-MD --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=ITANIUM-NO-RV-MD-DIAG --check-prefix=ITANIUM-DIAG --check-prefix=DIAG --check-prefix=DIAG-ABORT %s8// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fsanitize=cfi-vcall -fsanitize-recover=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT-NO-RV --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=ITANIUM-NO-RV-MD --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=ITANIUM-NO-RV-MD-DIAG --check-prefix=ITANIUM-DIAG --check-prefix=DIAG --check-prefix=DIAG-RECOVER %s9// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-pc-windows-msvc -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT-NO-RV --check-prefix=MS --check-prefix=MS-TYPEMETADATA --check-prefix=TT-MS --check-prefix=NDIAG %s10 11// Tests for the whole-program-vtables feature:12// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=VTABLE-OPT --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=ITANIUM-NO-RV-MD --check-prefix=TT-ITANIUM-HIDDEN %s13// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-unknown-linux -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=VTABLE-OPT --check-prefix=ITANIUM-DEFAULTVIS --check-prefix=TT-ITANIUM-DEFAULT %s14// RUN: %clang_cc1 -O2 -flto -flto-unit -triple x86_64-unknown-linux -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=ITANIUM-OPT --check-prefix=ITANIUM-OPT-LAYOUT %s15// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-pc-windows-msvc -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=VTABLE-OPT --check-prefix=MS --check-prefix=MS-TYPEMETADATA --check-prefix=TT-MS %s16 17// Tests for cfi + whole-program-vtables:18// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-VT --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=TC-ITANIUM --check-prefix=ITANIUM-NO-RV-MD %s19// RUN: %clang_cc1 -flto -flto-unit -triple x86_64-pc-windows-msvc -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-VT --check-prefix=MS --check-prefix=MS-TYPEMETADATA --check-prefix=TC-MS %s20 21// Equivalent tests for above, but with relative-vtables.22// Tests for the cfi-vcall feature:23// RUN: %clang_cc1 -fexperimental-relative-c++-abi-vtables -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT --check-prefix=RV-MD --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=NDIAG --check-prefix=CFI-NVT-RV %s24// RUN: %clang_cc1 -fexperimental-relative-c++-abi-vtables -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fsanitize=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT --check-prefix=CFI-NVT-RV --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=RV-MD --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=ITANIUM-DIAG --check-prefix=RV-MD-DIAG --check-prefix=DIAG --check-prefix=DIAG-ABORT %s25// RUN: %clang_cc1 -fexperimental-relative-c++-abi-vtables -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fsanitize=cfi-vcall -fsanitize-recover=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT --check-prefix=CFI-NVT-RV --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=RV-MD --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=ITANIUM-DIAG --check-prefix=RV-MD-DIAG --check-prefix=DIAG --check-prefix=DIAG-RECOVER %s26 27// Tests for the whole-program-vtables feature:28// RUN: %clang_cc1 -fexperimental-relative-c++-abi-vtables -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=VTABLE-OPT --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD -check-prefix=RV-MD --check-prefix=TT-ITANIUM-HIDDEN %s29// RUN: %clang_cc1 -fexperimental-relative-c++-abi-vtables -flto -flto-unit -triple x86_64-unknown-linux -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=VTABLE-OPT --check-prefix=ITANIUM-DEFAULTVIS --check-prefix=TT-ITANIUM-DEFAULT %s30// RUN: %clang_cc1 -fexperimental-relative-c++-abi-vtables -O2 -flto -flto-unit -triple x86_64-unknown-linux -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=ITANIUM-OPT --check-prefix=RV-OPT-LAYOUT %s31 32// Tests for cfi + whole-program-vtables:33// RUN: %clang_cc1 -fexperimental-relative-c++-abi-vtables -flto -flto-unit -triple x86_64-unknown-linux -fvisibility=hidden -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-VT --check-prefix=ITANIUM-HIDDEN --check-prefix=ITANIUM-COMMON-MD --check-prefix=RV-MD --check-prefix=TC-ITANIUM-RV %s34 35// Tests that type metadata are annotated on vtables with `-profile-instrument=llvm` (which is equivalent to clang driver option `-fprofile-generate` without `-fcs-profile-generate`):36// - In clang driver, `-fprofile-instrument` cc1 option is set to 'llvm' iff clang driver option `-fprofile-generate{,=}` is taking effect.37// RUN: %clang_cc1 -fprofile-instrument=llvm -fno-lto -triple x86_64-unknown-linux -emit-llvm %s -o - | FileCheck %s --check-prefix=ITANIUM-COMMON-MD38// RUN: %clang_cc1 -fprofile-instrument=llvm -fno-lto -triple x86_64-pc-windows-msvc -emit-llvm %s -o - | FileCheck %s --check-prefix=MS-TYPEMETADATA39 40// Tests type metadata are not annotated on vtables if `-fno-lto` is specified and `-fprofile-instrument` is any of {none, clang, csllvm}.41// This is mainly for test coverage; there isn't a fundamental reason type metadata couldn't be annotated with those options.42 43// RUN: %clang_cc1 -fprofile-instrument=none -fno-lto -triple x86_64-unknown-linux -emit-llvm %s -o - | FileCheck %s --implicit-check-not="!type"44// RUN: %clang_cc1 -fprofile-instrument=clang -fno-lto -triple x86_64-unknown-linux -emit-llvm %s -o - | FileCheck %s --implicit-check-not="!type"45// RUN: %clang_cc1 -fprofile-instrument=csllvm -fno-lto -triple x86_64-unknown-linux -emit-llvm %s -o - | FileCheck %s --implicit-check-not="!type"46 47// RUN: %clang_cc1 -fprofile-instrument=none -fno-lto -triple x86_64-pc-windows-msvc -emit-llvm %s -o - | FileCheck %s --implicit-check-not="!type"48// RUN: %clang_cc1 -fprofile-instrument=clang -fno-lto -triple x86_64-pc-windows-msvc -emit-llvm %s -o - | FileCheck %s --implicit-check-not="!type"49// RUN: %clang_cc1 -fprofile-instrument=csllvm -fno-lto -triple x86_64-pc-windows-msvc -emit-llvm %s -o - | FileCheck %s --implicit-check-not="!type"50 51// ITANIUM-COMMON-MD: @_ZTV1A = {{[^!]*}}, !type [[A16:![0-9]+]]52// ITANIUM-DIAG-SAME: !type [[ALL16:![0-9]+]]53// ITANIUM-COMMON-MD-SAME: !type [[AF16:![0-9]+]]54 55// ITANIUM-COMMON-MD: @_ZTV1B = {{[^!]*}}, !type [[A32:![0-9]+]]56// ITANIUM-DIAG-SAME: !type [[ALL32:![0-9]+]]57// ITANIUM-COMMON-MD-SAME: !type [[AF32:![0-9]+]]58// ITANIUM-COMMON-MD-SAME: !type [[AF40:![0-9]+]]59// ITANIUM-COMMON-MD-SAME: !type [[AF48:![0-9]+]]60// ITANIUM-COMMON-MD-SAME: !type [[B32:![0-9]+]]61// ITANIUM-DIAG-SAME: !type [[ALL32]]62// ITANIUM-COMMON-MD-SAME: !type [[BF32:![0-9]+]]63// ITANIUM-COMMON-MD-SAME: !type [[BF40:![0-9]+]]64// ITANIUM-COMMON-MD-SAME: !type [[BF48:![0-9]+]]65 66// ITANIUM-COMMON-MD: @_ZTV1C = {{[^!]*}}, !type [[A32]]67// ITANIUM-DIAG-SAME: !type [[ALL32]]68// ITANIUM-COMMON-MD-SAME: !type [[AF32]]69// ITANIUM-COMMON-MD-SAME: !type [[C32:![0-9]+]]70// ITANIUM-DIAG-SAME: !type [[ALL32]]71// ITANIUM-COMMON-MD-SAME: !type [[CF32:![0-9]+]]72 73// DIAG: @[[SRC:.*]] = private unnamed_addr constant [{{.*}} x i8] c"{{.*}}type-metadata.cpp\00", align 174// DIAG: @[[TYPE:.*]] = private unnamed_addr constant { i16, i16, [4 x i8] } { i16 -1, i16 0, [4 x i8] c"'A'\00" }75// DIAG: @[[BADTYPESTATIC:.*]] = private unnamed_addr global { i8, { ptr, i32, i32 }, ptr } { i8 0, { ptr, i32, i32 } { ptr @[[SRC]], i32 123, i32 3 }, ptr @[[TYPE]] }76 77// ITANIUM-COMMON-MD: @_ZTVN12_GLOBAL__N_11DE = {{[^!]*}}, !type [[A32]]78// ITANIUM-DIAG-SAME: !type [[ALL32]]79// ITANIUM-COMMON-MD-SAME: !type [[AF32]]80// ITANIUM-COMMON-MD-SAME: !type [[AF40]]81// ITANIUM-COMMON-MD-SAME: !type [[AF48]]82// ITANIUM-COMMON-MD-SAME: !type [[B32]]83// ITANIUM-DIAG-SAME: !type [[ALL32]]84// ITANIUM-COMMON-MD-SAME: !type [[BF32]]85// ITANIUM-COMMON-MD-SAME: !type [[BF40]]86// ITANIUM-COMMON-MD-SAME: !type [[BF48]]87// ITANIUM-COMMON-MD-SAME: !type [[C88:![0-9]+]]88// ITANIUM-DIAG-SAME: !type [[ALL88:![0-9]+]]89// ITANIUM-COMMON-MD-SAME: !type [[CF32]]90// ITANIUM-COMMON-MD-SAME: !type [[CF40:![0-9]+]]91// ITANIUM-COMMON-MD-SAME: !type [[CF48:![0-9]+]]92// ITANIUM-COMMON-MD-SAME: !type [[D32:![0-9]+]]93// ITANIUM-DIAG-SAME: !type [[ALL32]]94// ITANIUM-COMMON-MD-SAME: !type [[DF32:![0-9]+]]95// ITANIUM-COMMON-MD-SAME: !type [[DF40:![0-9]+]]96// ITANIUM-COMMON-MD-SAME: !type [[DF48:![0-9]+]]97 98// ITANIUM-COMMON-MD: @_ZTCN12_GLOBAL__N_11DE0_1B = {{[^!]*}}, !type [[A32]]99// ITANIUM-DIAG-SAME: !type [[ALL32]]100// ITANIUM-COMMON-MD-SAME: !type [[B32]]101// ITANIUM-DIAG-SAME: !type [[ALL32]]102 103// ITANIUM-COMMON-MD: @_ZTCN12_GLOBAL__N_11DE8_1C = {{[^!]*}}, !type [[A64:![0-9]+]]104// ITANIUM-DIAG-SAME: !type [[ALL64:![0-9]+]]105// ITANIUM-COMMON-MD-SAME: !type [[AF64:![0-9]+]]106// ITANIUM-COMMON-MD-SAME: !type [[C32]]107// ITANIUM-DIAG-SAME: !type [[ALL32]]108// ITANIUM-COMMON-MD-SAME: !type [[CF64:![0-9]+]]109 110// ITANIUM-COMMON-MD: @_ZTVZ3foovE2FA = {{[^!]*}}, !type [[A16]]111// ITANIUM-DIAG-SAME: !type [[ALL16]]112// ITANIUM-COMMON-MD-SAME: !type [[AF16]]113// ITANIUM-COMMON-MD-SAME: !type [[FA16:![0-9]+]]114// ITANIUM-DIAG-SAME: !type [[ALL16]]115// ITANIUM-COMMON-MD-SAME: !type [[FAF16:![0-9]+]]116 117// ITANIUM-COMMON-MD: @_ZTVN5test31EE = external unnamed_addr constant118// ITANIUM-DEFAULTVIS: @_ZTVN5test31EE = external unnamed_addr constant119// ITANIUM-OPT: @_ZTVN5test31EE = available_externally unnamed_addr constant {{[^!]*}},120// ITANIUM-OPT-SAME: !type [[E16:![0-9]+]],121// ITANIUM-OPT-SAME: !type [[EF16:![0-9]+]]122// ITANIUM-OPT: @llvm.compiler.used = appending global [1 x ptr] [ptr @_ZTVN5test31EE]123 124// MS-TYPEMETADATA: comdat($"??_7A@@6B@"), !type [[A8:![0-9]+]]125// MS-TYPEMETADATA: comdat($"??_7B@@6B0@@"), !type [[B8:![0-9]+]]126// MS-TYPEMETADATA: comdat($"??_7B@@6BA@@@"), !type [[A8]]127// MS-TYPEMETADATA: comdat($"??_7C@@6B@"), !type [[A8]]128// MS-TYPEMETADATA: private unnamed_addr constant { [3 x ptr] } { [3 x ptr] [ptr @"??_R4D@?{{.*}}@@6BB@@@", ptr @"?g@B@@UEAAXXZ", ptr @"?h@D@?{{.*}}@@UEAAXXZ"] }, !type [[B8]], !type [[D8:![0-9]+]]129// MS-TYPEMETADATA: private unnamed_addr constant { [2 x ptr] } { [2 x ptr] [ptr @"??_R4D@?{{.*}}@@6BA@@@", ptr @"?f@D@?{{.*}}@@$4PPPPPPPM@A@EAAXXZ"] }, !type !0130// MS: private unnamed_addr constant { [2 x ptr] } { [2 x ptr] [ptr @"??_R4FA@?1??foo@@YAXXZ@6B@", ptr @"?f@FA@?1??foo@@YAXXZ@UEAAXXZ"] }, !type !0, !type [[FA8:![0-9]+]]131 132struct A {133 A();134 virtual void f();135};136 137struct B : virtual A {138 B();139 virtual void g();140 virtual void h();141};142 143struct C : virtual A {144 C();145};146 147namespace {148 149struct D : B, C {150 D();151 virtual void f();152 virtual void h();153};154 155}156 157A::A() {}158B::B() {}159C::C() {}160D::D() {}161 162void A::f() {163}164 165void B::g() {166}167 168void D::f() {169}170 171void D::h() {172}173 174// ITANIUM-HIDDEN: define hidden void @_Z2afP1A175// ITANIUM-DEFAULTVIS: define{{.*}} void @_Z2afP1A176// MS: define dso_local void @"?af@@YAXPEAUA@@@Z"177void af(A *a) {178 // TT-ITANIUM-HIDDEN: [[P:%[^ ]*]] = call i1 @llvm.type.test(ptr [[VT:%[^ ]*]], metadata !"_ZTS1A")179 // TT-ITANIUM-DEFAULT: [[P:%[^ ]*]] = call i1 @llvm.public.type.test(ptr [[VT:%[^ ]*]], metadata !"_ZTS1A")180 // TT-MS: [[P:%[^ ]*]] = call i1 @llvm.type.test(ptr [[VT:%[^ ]*]], metadata !"?AUA@@")181 // TC-ITANIUM: [[PAIR:%[^ ]*]] = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 0, metadata !"_ZTS1A")182 // TC-ITANIUM-RV: [[PAIR:%[^ ]*]] = call { ptr, i1 } @llvm.type.checked.load.relative(ptr {{%[^ ]*}}, i32 0, metadata !"_ZTS1A")183 // TC-MS: [[PAIR:%[^ ]*]] = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 0, metadata !"?AUA@@")184 // CFI-VT: [[P:%[^ ]*]] = extractvalue { ptr, i1 } [[PAIR]], 1185 // DIAG-NEXT: [[VTVALID0:%[^ ]*]] = call i1 @llvm.type.test(ptr [[VT]], metadata !"all-vtables")186 // VTABLE-OPT: call void @llvm.assume(i1 [[P]])187 // CFI-NEXT: br i1 [[P]], label %[[CONTBB:[^ ,]*]], label %[[TRAPBB:[^ ,]*]]188 // CFI-NEXT: {{^$}}189 190 // CFI: [[TRAPBB]]191 // NDIAG-NEXT: call void @llvm.ubsantrap(i8 2)192 // NDIAG-NEXT: unreachable193 // DIAG-NEXT: [[VTINT:%[^ ]*]] = ptrtoint ptr [[VT]] to i64194 // DIAG-NEXT: [[VTVALID:%[^ ]*]] = zext i1 [[VTVALID0]] to i64195 // DIAG-ABORT-NEXT: call void @__ubsan_handle_cfi_check_fail_abort(ptr @[[BADTYPESTATIC]], i64 [[VTINT]], i64 [[VTVALID]])196 // DIAG-ABORT-NEXT: unreachable197 // DIAG-RECOVER-NEXT: call void @__ubsan_handle_cfi_check_fail(ptr @[[BADTYPESTATIC]], i64 [[VTINT]], i64 [[VTVALID]])198 // DIAG-RECOVER-NEXT: br label %[[CONTBB]]199 200 // CFI: [[CONTBB]]201 // CFI-NVT-NO-RV: [[PTR:%[^ ]*]] = load202 // CFI-NVT-RV: [[PTR:%[^ ]*]] = call ptr @llvm.load.relative.i32203 // CFI-VT: [[PTR:%[^ ]*]] = extractvalue { ptr, i1 } [[PAIR]], 0204 // CFI: call void [[PTR]]205#line 123206 a->f();207}208 209// ITANIUM-HIDDEN: define internal void @_Z3df1PN12_GLOBAL__N_11DE210// MS: define internal void @"?df1@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"211void df1(D *d) {212 // TT-ITANIUM-HIDDEN: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata ![[DTYPE:[0-9]+]])213 // TT-ITANIUM-DEFAULT: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata ![[DTYPE:[0-9]+]])214 // TT-MS: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"?AUA@@")215 // TC-ITANIUM: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 0, metadata ![[DTYPE:[0-9]+]])216 // TC-ITANIUM-RV: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load.relative(ptr {{%[^ ]*}}, i32 0, metadata ![[DTYPE:[0-9]+]])217 // TC-MS: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 0, metadata !"?AUA@@")218 d->f();219}220 221// ITANIUM-HIDDEN: define internal void @_Z3dg1PN12_GLOBAL__N_11DE222// MS: define internal void @"?dg1@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"223void dg1(D *d) {224 // TT-ITANIUM-HIDDEN: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1B")225 // TT-ITANIUM-DEFAULT: {{%[^ ]*}} = call i1 @llvm.public.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1B")226 // TT-MS: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"?AUB@@")227 // TC-ITANIUM: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 8, metadata !"_ZTS1B")228 // TC-ITANIUM-RV: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load.relative(ptr {{%[^ ]*}}, i32 4, metadata !"_ZTS1B")229 // TC-MS: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 0, metadata !"?AUB@@")230 d->g();231}232 233// ITANIUM-HIDDEN: define internal void @_Z3dh1PN12_GLOBAL__N_11DE234// MS: define internal void @"?dh1@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"235void dh1(D *d) {236 // TT-ITANIUM-HIDDEN: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata ![[DTYPE]])237 // TT-ITANIUM-DEFAULT: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata ![[DTYPE]])238 // TT-MS: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata ![[DTYPE:[0-9]+]])239 // TC-ITANIUM: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 16, metadata ![[DTYPE]])240 // TC-ITANIUM-RV: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load.relative(ptr {{%[^ ]*}}, i32 8, metadata ![[DTYPE]])241 // TC-MS: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 8, metadata ![[DTYPE:[0-9]+]])242 d->h();243}244 245// ITANIUM-HIDDEN: define internal void @_Z3df2PN12_GLOBAL__N_11DE246// MS: define internal void @"?df2@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"247__attribute__((no_sanitize("cfi")))248void df2(D *d) {249 // CFI-NVT-NOT: call i1 @llvm.type.test250 // CFI-VT: [[P:%[^ ]*]] = call i1 @llvm.type.test251 // CFI-VT: call void @llvm.assume(i1 [[P]])252 d->f();253}254 255// ITANIUM-HIDDEN: define internal void @_Z3df3PN12_GLOBAL__N_11DE256// MS: define internal void @"?df3@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"257__attribute__((no_sanitize("address"))) __attribute__((no_sanitize("cfi-vcall")))258void df3(D *d) {259 // CFI-NVT-NOT: call i1 @llvm.type.test260 // CFI-VT: [[P:%[^ ]*]] = call i1 @llvm.type.test261 // CFI-VT: call void @llvm.assume(i1 [[P]])262 d->f();263}264 265D d;266 267void foo() {268 df1(&d);269 dg1(&d);270 dh1(&d);271 df2(&d);272 df3(&d);273 274 struct FA : A {275 void f() {}276 } fa;277 af(&fa);278}279 280namespace test2 {281 282struct A {283 virtual void m_fn1();284};285struct B {286 virtual void m_fn2();287};288struct C : B, A {};289struct D : C {290 void m_fn1();291};292 293// ITANIUM-HIDDEN: define hidden void @_ZN5test21fEPNS_1DE294// ITANIUM-DEFAULTVIS: define{{.*}} void @_ZN5test21fEPNS_1DE295// MS: define dso_local void @"?f@test2@@YAXPEAUD@1@@Z"296void f(D *d) {297 // TT-ITANIUM-HIDDEN: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTSN5test21DE")298 // TT-ITANIUM-DEFAULT: {{%[^ ]*}} = call i1 @llvm.public.type.test(ptr {{%[^ ]*}}, metadata !"_ZTSN5test21DE")299 // TT-MS: {{%[^ ]*}} = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"?AUA@test2@@")300 // TC-ITANIUM: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 8, metadata !"_ZTSN5test21DE")301 // TC-ITANIUM-RV: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load.relative(ptr {{%[^ ]*}}, i32 4, metadata !"_ZTSN5test21DE")302 // TC-MS: {{%[^ ]*}} = call { ptr, i1 } @llvm.type.checked.load(ptr {{%[^ ]*}}, i32 0, metadata !"?AUA@test2@@")303 d->m_fn1();304}305 306}307 308namespace test3 {309// All virtual functions are outline, so we can assume that it will310// be generated in translation unit where foo is defined.311struct E {312 virtual void foo();313};314 315void g() {316 E e;317 e.foo();318}319 320} // Test9321 322// RV-MD: [[A16]] = !{i64 8, !"_ZTS1A"}323// RV-MD-DIAG: [[ALL16]] = !{i64 8, !"all-vtables"}324// RV-MD: [[AF16]] = !{i64 8, !"_ZTSM1AFvvE.virtual"}325// RV-MD: [[A32]] = !{i64 16, !"_ZTS1A"}326// RV-MD-DIAG: [[ALL32]] = !{i64 16, !"all-vtables"}327// RV-MD: [[AF32]] = !{i64 16, !"_ZTSM1AFvvE.virtual"}328// RV-MD: [[AF40]] = !{i64 20, !"_ZTSM1AFvvE.virtual"}329// RV-MD: [[AF48]] = !{i64 24, !"_ZTSM1AFvvE.virtual"}330// RV-MD: [[B32]] = !{i64 16, !"_ZTS1B"}331// RV-MD: [[BF32]] = !{i64 16, !"_ZTSM1BFvvE.virtual"}332// RV-MD: [[BF40]] = !{i64 20, !"_ZTSM1BFvvE.virtual"}333// RV-MD: [[BF48]] = !{i64 24, !"_ZTSM1BFvvE.virtual"}334// RV-MD: [[C32]] = !{i64 16, !"_ZTS1C"}335// RV-MD: [[CF32]] = !{i64 16, !"_ZTSM1CFvvE.virtual"}336// RV-MD: [[C88]] = !{i64 44, !"_ZTS1C"}337// RV-MD-DIAG: [[ALL88]] = !{i64 44, !"all-vtables"}338// RV-MD: [[CF40]] = !{i64 20, !"_ZTSM1CFvvE.virtual"}339// RV-MD: [[CF48]] = !{i64 24, !"_ZTSM1CFvvE.virtual"}340// RV-MD: [[D32]] = !{i64 16, [[D_ID:![0-9]+]]}341// RV-MD: [[D_ID]] = distinct !{}342// RV-MD: [[DF32]] = !{i64 16, [[DF_ID:![0-9]+]]}343// RV-MD: [[DF_ID]] = distinct !{}344// RV-MD: [[DF40]] = !{i64 20, [[DF_ID]]}345// RV-MD: [[DF48]] = !{i64 24, [[DF_ID]]}346// RV-MD: [[A64]] = !{i64 32, !"_ZTS1A"}347// RV-MD-DIAG: [[ALL64]] = !{i64 32, !"all-vtables"}348// RV-MD: [[AF64]] = !{i64 32, !"_ZTSM1AFvvE.virtual"}349// RV-MD: [[CF64]] = !{i64 32, !"_ZTSM1CFvvE.virtual"}350// RV-MD: [[FA16]] = !{i64 8, [[FA_ID:![0-9]+]]}351// RV-MD: [[FA_ID]] = distinct !{}352// RV-MD: [[FAF16]] = !{i64 8, [[FAF_ID:![0-9]+]]}353// RV-MD: [[FAF_ID]] = distinct !{}354 355// ITANIUM-NO-RV-MD: [[A16]] = !{i64 16, !"_ZTS1A"}356// ITANIUM-NO-RV-MD-DIAG: [[ALL16]] = !{i64 16, !"all-vtables"}357// ITANIUM-NO-RV-MD: [[AF16]] = !{i64 16, !"_ZTSM1AFvvE.virtual"}358// ITANIUM-NO-RV-MD: [[A32]] = !{i64 32, !"_ZTS1A"}359// ITANIUM-NO-RV-MD-DIAG: [[ALL32]] = !{i64 32, !"all-vtables"}360// ITANIUM-NO-RV-MD: [[AF32]] = !{i64 32, !"_ZTSM1AFvvE.virtual"}361// ITANIUM-NO-RV-MD: [[AF40]] = !{i64 40, !"_ZTSM1AFvvE.virtual"}362// ITANIUM-NO-RV-MD: [[AF48]] = !{i64 48, !"_ZTSM1AFvvE.virtual"}363// ITANIUM-NO-RV-MD: [[B32]] = !{i64 32, !"_ZTS1B"}364// ITANIUM-NO-RV-MD: [[BF32]] = !{i64 32, !"_ZTSM1BFvvE.virtual"}365// ITANIUM-NO-RV-MD: [[BF40]] = !{i64 40, !"_ZTSM1BFvvE.virtual"}366// ITANIUM-NO-RV-MD: [[BF48]] = !{i64 48, !"_ZTSM1BFvvE.virtual"}367// ITANIUM-NO-RV-MD: [[C32]] = !{i64 32, !"_ZTS1C"}368// ITANIUM-NO-RV-MD: [[CF32]] = !{i64 32, !"_ZTSM1CFvvE.virtual"}369// ITANIUM-NO-RV-MD: [[C88]] = !{i64 88, !"_ZTS1C"}370// ITANIUM-NO-RV-MD-DIAG: [[ALL88]] = !{i64 88, !"all-vtables"}371// ITANIUM-NO-RV-MD: [[CF40]] = !{i64 40, !"_ZTSM1CFvvE.virtual"}372// ITANIUM-NO-RV-MD: [[CF48]] = !{i64 48, !"_ZTSM1CFvvE.virtual"}373// ITANIUM-NO-RV-MD: [[D32]] = !{i64 32, [[D_ID:![0-9]+]]}374// ITANIUM-NO-RV-MD: [[D_ID]] = distinct !{}375// ITANIUM-NO-RV-MD: [[DF32]] = !{i64 32, [[DF_ID:![0-9]+]]}376// ITANIUM-NO-RV-MD: [[DF_ID]] = distinct !{}377// ITANIUM-NO-RV-MD: [[DF40]] = !{i64 40, [[DF_ID]]}378// ITANIUM-NO-RV-MD: [[DF48]] = !{i64 48, [[DF_ID]]}379// ITANIUM-NO-RV-MD: [[A64]] = !{i64 64, !"_ZTS1A"}380// ITANIUM-NO-RV-MD-DIAG: [[ALL64]] = !{i64 64, !"all-vtables"}381// ITANIUM-NO-RV-MD: [[AF64]] = !{i64 64, !"_ZTSM1AFvvE.virtual"}382// ITANIUM-NO-RV-MD: [[CF64]] = !{i64 64, !"_ZTSM1CFvvE.virtual"}383// ITANIUM-NO-RV-MD: [[FA16]] = !{i64 16, [[FA_ID:![0-9]+]]}384// ITANIUM-NO-RV-MD: [[FA_ID]] = distinct !{}385// ITANIUM-NO-RV-MD: [[FAF16]] = !{i64 16, [[FAF_ID:![0-9]+]]}386// ITANIUM-NO-RV-MD: [[FAF_ID]] = distinct !{}387 388// ITANIUM-OPT-LAYOUT: [[E16]] = !{i64 16, !"_ZTSN5test31EE"}389// ITANIUM-OPT-LAYOUT: [[EF16]] = !{i64 16, !"_ZTSMN5test31EEFvvE.virtual"}390// RV-OPT-LAYOUT: [[E16]] = !{i64 8, !"_ZTSN5test31EE"}391// RV-OPT-LAYOUT: [[EF16]] = !{i64 8, !"_ZTSMN5test31EEFvvE.virtual"}392 393// MS: [[A8]] = !{i64 8, !"?AUA@@"}394// MS: [[B8]] = !{i64 8, !"?AUB@@"}395// MS: [[D8]] = !{i64 8, [[D_ID:![0-9]+]]}396// MS: [[D_ID]] = distinct !{}397// MS: [[FA8]] = !{i64 8, [[FA_ID:![0-9]+]]}398// MS: [[FA_ID]] = distinct !{}399