591 lines · cpp
1// RUN: %clang_cc1 -triple arm64-apple-ios -fptrauth-calls -emit-llvm -std=c++11 %s -o - | FileCheck --check-prefixes=CHECK,DARWIN %s2// RUN: %clang_cc1 -triple aarch64-linux-gnu -fptrauth-calls -emit-llvm -std=c++11 %s -o - | FileCheck --check-prefixes=CHECK,ELF %s3 4// Check virtual function pointers in vtables are signed.5 6// CHECK: %[[CLASS_B1:.*]] = type { ptr }7 8// CHECK: @_ZTV2B1 = unnamed_addr constant { [3 x ptr] } { [3 x ptr] [ptr null, ptr @_ZTI2B1, ptr ptrauth (ptr @_ZN2B12m0Ev, i32 0, i64 58196, ptr getelementptr inbounds ({ [3 x ptr] }, ptr @_ZTV2B1, i32 0, i32 0, i32 2))] }, align 89 10// CHECK: @g_B1 = global %class.B1 { ptr ptrauth (ptr getelementptr inbounds inrange(-16, 8) ({ [3 x ptr] }, ptr @_ZTV2B1, i32 0, i32 0, i32 2), i32 2) }, align 811 12// CHECK: @_ZTV2B0 = unnamed_addr constant { [7 x ptr] } { [7 x ptr] [ptr null, ptr @_ZTI2B0,13// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m0Ev, i32 0, i64 53119, ptr getelementptr inbounds ({ [7 x ptr] }, ptr @_ZTV2B0, i32 0, i32 0, i32 2)),14// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m1Ev, i32 0, i64 15165, ptr getelementptr inbounds ({ [7 x ptr] }, ptr @_ZTV2B0, i32 0, i32 0, i32 3)),15// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m2Ev, i32 0, i64 43073, ptr getelementptr inbounds ({ [7 x ptr] }, ptr @_ZTV2B0, i32 0, i32 0, i32 4)),16// CHECK-SAME: ptr ptrauth (ptr @_ZN2B0D1Ev, i32 0, i64 25525, ptr getelementptr inbounds ({ [7 x ptr] }, ptr @_ZTV2B0, i32 0, i32 0, i32 5)),17// CHECK-SAME: ptr ptrauth (ptr @_ZN2B0D0Ev, i32 0, i64 21295, ptr getelementptr inbounds ({ [7 x ptr] }, ptr @_ZTV2B0, i32 0, i32 0, i32 6))] }, align 818 19// CHECK: @_ZTV2D0 = unnamed_addr constant { [9 x ptr] } { [9 x ptr] [ptr null, ptr @_ZTI2D0,20// CHECK-SAME: ptr ptrauth (ptr @_ZN2D02m0Ev, i32 0, i64 53119, ptr getelementptr inbounds ({ [9 x ptr] }, ptr @_ZTV2D0, i32 0, i32 0, i32 2)),21// CHECK-SAME: ptr ptrauth (ptr @_ZTch0_h4_N2D02m1Ev, i32 0, i64 15165, ptr getelementptr inbounds ({ [9 x ptr] }, ptr @_ZTV2D0, i32 0, i32 0, i32 3)),22// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m2Ev, i32 0, i64 43073, ptr getelementptr inbounds ({ [9 x ptr] }, ptr @_ZTV2D0, i32 0, i32 0, i32 4)),23// CHECK-SAME: ptr ptrauth (ptr @_ZN2D0D1Ev, i32 0, i64 25525, ptr getelementptr inbounds ({ [9 x ptr] }, ptr @_ZTV2D0, i32 0, i32 0, i32 5)),24// CHECK-SAME: ptr ptrauth (ptr @_ZN2D0D0Ev, i32 0, i64 21295, ptr getelementptr inbounds ({ [9 x ptr] }, ptr @_ZTV2D0, i32 0, i32 0, i32 6)),25// CHECK-SAME: ptr ptrauth (ptr @_ZN2D02m1Ev, i32 0, i64 35045, ptr getelementptr inbounds ({ [9 x ptr] }, ptr @_ZTV2D0, i32 0, i32 0, i32 7)),26// CHECK-SAME: ptr ptrauth (ptr @_ZN2D02m3Ev, i32 0, i64 10565, ptr getelementptr inbounds ({ [9 x ptr] }, ptr @_ZTV2D0, i32 0, i32 0, i32 8))] }, align 827 28// CHECK: @_ZTV2D1 = unnamed_addr constant { [8 x ptr] } { [8 x ptr] [ptr null, ptr @_ZTI2D1,29// CHECK-SAME: ptr ptrauth (ptr @_ZN2D12m0Ev, i32 0, i64 53119, ptr getelementptr inbounds ({ [8 x ptr] }, ptr @_ZTV2D1, i32 0, i32 0, i32 2)),30// CHECK-SAME: ptr ptrauth (ptr @_ZTch0_h4_N2D12m1Ev, i32 0, i64 15165, ptr getelementptr inbounds ({ [8 x ptr] }, ptr @_ZTV2D1, i32 0, i32 0, i32 3)),31// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m2Ev, i32 0, i64 43073, ptr getelementptr inbounds ({ [8 x ptr] }, ptr @_ZTV2D1, i32 0, i32 0, i32 4)),32// CHECK-SAME: ptr ptrauth (ptr @_ZN2D1D1Ev, i32 0, i64 25525, ptr getelementptr inbounds ({ [8 x ptr] }, ptr @_ZTV2D1, i32 0, i32 0, i32 5)),33// CHECK-SAME: ptr ptrauth (ptr @_ZN2D1D0Ev, i32 0, i64 21295, ptr getelementptr inbounds ({ [8 x ptr] }, ptr @_ZTV2D1, i32 0, i32 0, i32 6)),34// CHECK-SAME: ptr ptrauth (ptr @_ZN2D12m1Ev, i32 0, i64 52864, ptr getelementptr inbounds ({ [8 x ptr] }, ptr @_ZTV2D1, i32 0, i32 0, i32 7))] }, align 835 36// CHECK: @_ZTV2D2 = unnamed_addr constant { [9 x ptr], [8 x ptr] } { [9 x ptr] [ptr null, ptr @_ZTI2D2,37// CHECK-SAME: ptr ptrauth (ptr @_ZN2D22m0Ev, i32 0, i64 53119, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 0, i32 2)),38// CHECK-SAME: ptr ptrauth (ptr @_ZTch0_h4_N2D22m1Ev, i32 0, i64 15165, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 0, i32 3)),39// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m2Ev, i32 0, i64 43073, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 0, i32 4)),40// CHECK-SAME: ptr ptrauth (ptr @_ZN2D2D1Ev, i32 0, i64 25525, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 0, i32 5)),41// CHECK-SAME: ptr ptrauth (ptr @_ZN2D2D0Ev, i32 0, i64 21295, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 0, i32 6)),42// CHECK-SAME: ptr ptrauth (ptr @_ZN2D22m1Ev, i32 0, i64 35045, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 0, i32 7)),43// CHECK-SAME: ptr ptrauth (ptr @_ZN2D22m3Ev, i32 0, i64 10565, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 0, i32 8))],44// CHECK-SAME: [8 x ptr] [ptr inttoptr (i64 -16 to ptr), ptr @_ZTI2D2,45// CHECK-SAME: ptr ptrauth (ptr @_ZThn16_N2D22m0Ev, i32 0, i64 53119, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 1, i32 2)),46// CHECK-SAME: ptr ptrauth (ptr @_ZTchn16_h4_N2D22m1Ev, i32 0, i64 15165, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 1, i32 3)),47// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m2Ev, i32 0, i64 43073, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 1, i32 4)),48// CHECK-SAME: ptr ptrauth (ptr @_ZThn16_N2D2D1Ev, i32 0, i64 25525, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 1, i32 5)),49// CHECK-SAME: ptr ptrauth (ptr @_ZThn16_N2D2D0Ev, i32 0, i64 21295, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 1, i32 6)),50// CHECK-SAME: ptr ptrauth (ptr @_ZThn16_N2D22m1Ev, i32 0, i64 52864, ptr getelementptr inbounds ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 1, i32 7))] }, align 851 52// CHECK: @_ZTV2D3 = unnamed_addr constant { [7 x ptr], [7 x ptr], [11 x ptr] } { [7 x ptr] [ptr inttoptr (i64 32 to ptr), ptr null, ptr @_ZTI2D3,53// CHECK-SAME: ptr ptrauth (ptr @_ZN2D32m0Ev, i32 0, i64 44578, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 0, i32 3)),54// CHECK-SAME: ptr ptrauth (ptr @_ZN2D32m1Ev, i32 0, i64 30766, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 0, i32 4)),55// CHECK-SAME: ptr ptrauth (ptr @_ZN2D3D1Ev, i32 0, i64 57279, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 0, i32 5)),56// CHECK-SAME: ptr ptrauth (ptr @_ZN2D3D0Ev, i32 0, i64 62452, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 0, i32 6))],57// CHECK-SAME: [7 x ptr] [ptr inttoptr (i64 16 to ptr), ptr inttoptr (i64 -16 to ptr), ptr @_ZTI2D3,58// CHECK-SAME: ptr ptrauth (ptr @_ZThn16_N2D32m0Ev, i32 0, i64 49430, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 1, i32 3)),59// CHECK-SAME: ptr ptrauth (ptr @_ZThn16_N2D32m1Ev, i32 0, i64 57119, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 1, i32 4)),60// CHECK-SAME: ptr ptrauth (ptr @_ZThn16_N2D3D1Ev, i32 0, i64 60799, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 1, i32 5)),61// CHECK-SAME: ptr ptrauth (ptr @_ZThn16_N2D3D0Ev, i32 0, i64 52565, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 1, i32 6))],62// CHECK-SAME: [11 x ptr] [ptr inttoptr (i64 -32 to ptr), ptr null, ptr inttoptr (i64 -32 to ptr), ptr inttoptr (i64 -32 to ptr), ptr inttoptr (i64 -32 to ptr), ptr @_ZTI2D3,63// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n24_N2D32m0Ev, i32 0, i64 53119, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 2, i32 6)),64// CHECK-SAME: ptr ptrauth (ptr @_ZTcv0_n32_h4_N2D32m1Ev, i32 0, i64 15165, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 2, i32 7)),65// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m2Ev, i32 0, i64 43073, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 2, i32 8)),66// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n48_N2D3D1Ev, i32 0, i64 25525, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 2, i32 9)),67// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n48_N2D3D0Ev, i32 0, i64 21295, ptr getelementptr inbounds ({ [7 x ptr], [7 x ptr], [11 x ptr] }, ptr @_ZTV2D3, i32 0, i32 2, i32 10))] }, align 868 69// CHECK: @_ZTC2D30_2V0 = unnamed_addr constant { [7 x ptr], [11 x ptr] } { [7 x ptr] [ptr inttoptr (i64 32 to ptr), ptr null, ptr @_ZTI2V0,70// CHECK-SAME: ptr ptrauth (ptr @_ZN2V02m0Ev, i32 0, i64 44578, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 0, i32 3)),71// CHECK-SAME: ptr ptrauth (ptr @_ZN2V02m1Ev, i32 0, i64 30766, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 0, i32 4)),72// CHECK-SAME: ptr ptrauth (ptr @_ZN2V0D1Ev, i32 0, i64 57279, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 0, i32 5)),73// CHECK-SAME: ptr ptrauth (ptr @_ZN2V0D0Ev, i32 0, i64 62452, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 0, i32 6))],74// CHECK-SAME: [11 x ptr] [ptr inttoptr (i64 -32 to ptr), ptr null, ptr inttoptr (i64 -32 to ptr), ptr inttoptr (i64 -32 to ptr), ptr inttoptr (i64 -32 to ptr), ptr @_ZTI2V0,75// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n24_N2V02m0Ev, i32 0, i64 53119, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 1, i32 6)),76// CHECK-SAME: ptr ptrauth (ptr @_ZTcv0_n32_h4_N2V02m1Ev, i32 0, i64 15165, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 1, i32 7)),77// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m2Ev, i32 0, i64 43073, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 1, i32 8)),78// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n48_N2V0D1Ev, i32 0, i64 25525, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 1, i32 9)),79// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n48_N2V0D0Ev, i32 0, i64 21295, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D30_2V0, i32 0, i32 1, i32 10))] }, align 880 81// CHECK: @_ZTC2D316_2V1 = unnamed_addr constant { [7 x ptr], [11 x ptr] } { [7 x ptr] [ptr inttoptr (i64 16 to ptr), ptr null, ptr @_ZTI2V1,82// CHECK-SAME: ptr ptrauth (ptr @_ZN2V12m0Ev, i32 0, i64 49430, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 0, i32 3)),83// CHECK-SAME: ptr ptrauth (ptr @_ZN2V12m1Ev, i32 0, i64 57119, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 0, i32 4)),84// CHECK-SAME: ptr ptrauth (ptr @_ZN2V1D1Ev, i32 0, i64 60799, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 0, i32 5)),85// CHECK-SAME: ptr ptrauth (ptr @_ZN2V1D0Ev, i32 0, i64 52565, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 0, i32 6))],86// CHECK-SAME: [11 x ptr] [ptr inttoptr (i64 -16 to ptr), ptr null, ptr inttoptr (i64 -16 to ptr), ptr inttoptr (i64 -16 to ptr), ptr inttoptr (i64 -16 to ptr), ptr @_ZTI2V1,87// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n24_N2V12m0Ev, i32 0, i64 53119, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 1, i32 6)),88// CHECK-SAME: ptr ptrauth (ptr @_ZTcv0_n32_h4_N2V12m1Ev, i32 0, i64 15165, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 1, i32 7)),89// CHECK-SAME: ptr ptrauth (ptr @_ZN2B02m2Ev, i32 0, i64 43073, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 1, i32 8)),90// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n48_N2V1D1Ev, i32 0, i64 25525, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 1, i32 9)),91// CHECK-SAME: ptr ptrauth (ptr @_ZTv0_n48_N2V1D0Ev, i32 0, i64 21295, ptr getelementptr inbounds ({ [7 x ptr], [11 x ptr] }, ptr @_ZTC2D316_2V1, i32 0, i32 1, i32 10))] }, align 892 93 94struct S0 {95 int f;96};97 98struct S1 {99 int f;100};101 102struct S2 : S0, S1 {103 int f;104};105 106class B0 {107public:108 virtual void m0();109 virtual S1 *m1();110 virtual void m2();111 virtual ~B0();112 int f;113};114 115class B1 {116public:117 virtual void m0();118};119 120class D0 : public B0 {121public:122 void m0() override;123 S2 *m1() override;124 virtual void m3();125 int f;126};127 128class D1 : public B0 {129public:130 void m0() override;131 S2 *m1() override;132 int f;133};134 135class D2 : public D0, public D1 {136public:137 void m0() override;138 S2 *m1() override;139 void m3() override;140 int f;141};142 143class V0 : public virtual B0 {144public:145 void m0() override;146 S2 *m1() override;147 int f;148};149 150class V1 : public virtual B0 {151public:152 void m0() override;153 S2 *m1() override;154 ~V1();155 int f;156};157 158class D3 : public V0, public V1 {159public:160 void m0() override;161 S2 *m1() override;162 int f;163};164 165B1 g_B1;166 167void B0::m0() {}168 169void B1::m0() {}170 171void D0::m0() {}172 173void D1::m0() {}174 175void D2::m0() {}176 177void D3::m0() {}178 179V1::~V1() {180 m1();181}182 183// Check sign/authentication of vtable pointers and authentication of virtual184// functions.185 186// DARWIN-LABEL: define noundef ptr @_ZN2V1D2Ev(187// ELF-LABEL: define dso_local void @_ZN2V1D2Ev(188// CHECK: %[[THIS1:.*]] = load ptr, ptr %{{.*}}189// CHECK: %[[T0:[0-9]+]] = load ptr, ptr %{{.*}}190// CHECK: %[[T1:[0-9]+]] = ptrtoint ptr %[[T0]] to i64191// CHECK: %[[T2:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T1]], i32 2, i64 0)192// CHECK: %[[T3:[0-9]+]] = inttoptr i64 %[[T2]] to ptr193// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[T3]] to i64194// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.sign(i64 %[[T6]], i32 2, i64 0)195// CHECK: %[[SIGNED_VTADDR:[0-9]+]] = inttoptr i64 %[[T7]] to ptr196// CHECK: store ptr %[[SIGNED_VTADDR]], ptr %[[THIS1]]197 198// CHECK-LABEL: define{{.*}} void @_Z8testB0m0P2B0(199// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}200// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64201// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)202// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr203// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 0204// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]205// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64206// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 53119)207// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(12) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]208 209void testB0m0(B0 *a) {210 a->m0();211}212 213// CHECK-LABEL: define{{.*}} void @_Z8testB0m1P2B0(214// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}215// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64216// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)217// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr218// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 1219// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]220// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64221// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 15165)222// CHECK: call noundef ptr %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(12) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]223 224void testB0m1(B0 *a) {225 a->m1();226}227 228// CHECK-LABEL: define{{.*}} void @_Z8testB0m2P2B0(229// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}230// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64231// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)232// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr233// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 2234// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]235// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64236// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 43073)237// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(12) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]238 239void testB0m2(B0 *a) {240 a->m2();241}242 243// CHECK-LABEL: define{{.*}} void @_Z8testD0m0P2D0(244// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}245// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64246// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)247// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr248// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 0249// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]250// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64251// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 53119)252// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(16) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]253 254void testD0m0(D0 *a) {255 a->m0();256}257 258// CHECK-LABEL: define{{.*}} void @_Z8testD0m1P2D0(259// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}260// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64261// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)262// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr263// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 5264// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]265// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64266// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 35045)267// CHECK: call noundef ptr %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(16) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]268 269void testD0m1(D0 *a) {270 a->m1();271}272 273// CHECK-LABEL: define{{.*}} void @_Z8testD0m2P2D0(274// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}275// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64276// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)277// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr278// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 2279// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]280// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64281// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 43073)282// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(12) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]283 284void testD0m2(D0 *a) {285 a->m2();286}287 288// CHECK-LABEL: define{{.*}} void @_Z8testD0m3P2D0(289// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}290// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64291// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)292// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr293// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 6294// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]295// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64296// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 10565)297// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(16) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]298 299void testD0m3(D0 *a) {300 a->m3();301}302 303 304// CHECK-LABEL: define{{.*}} void @_Z8testD1m0P2D1(305// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}306// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64307// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)308// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr309// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 0310// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]311// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64312// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 53119)313// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(16) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]314 315void testD1m0(D1 *a) {316 a->m0();317}318 319// CHECK-LABEL: define{{.*}} void @_Z8testD1m1P2D1(320// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}321// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64322// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)323// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr324// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 5325// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]326// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64327// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 52864)328// CHECK: call noundef ptr %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(16) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]329 330void testD1m1(D1 *a) {331 a->m1();332}333 334// CHECK-LABEL: define{{.*}} void @_Z8testD1m2P2D1(335// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}336// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64337// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)338// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr339// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 2340// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]341// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64342// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 43073)343// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(12) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]344 345void testD1m2(D1 *a) {346 a->m2();347}348 349 350// CHECK-LABEL: define{{.*}} void @_Z8testD2m0P2D2(351// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}352// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64353// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)354// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr355// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 0356// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]357// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64358// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 53119)359// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(36) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]360 361void testD2m0(D2 *a) {362 a->m0();363}364 365// CHECK-LABEL: define{{.*}} void @_Z8testD2m1P2D2(366// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}367// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64368// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)369// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr370// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 5371// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]372// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64373// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 35045)374// CHECK: call noundef ptr %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(36) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]375 376void testD2m1(D2 *a) {377 a->m1();378}379 380// CHECK-LABEL: define{{.*}} void @_Z10testD2m2D0P2D2(381// CHECK: call void @_ZN2B02m2Ev(ptr noundef nonnull align {{[0-9]+}} dereferenceable(12) %{{.*}}){{$}}382 383void testD2m2D0(D2 *a) {384 a->D0::m2();385}386 387// CHECK-LABEL: define{{.*}} void @_Z10testD2m2D1P2D2(388// CHECK: call void @_ZN2B02m2Ev(ptr noundef nonnull align {{[0-9]+}} dereferenceable(12) %{{.*}}){{$}}389 390void testD2m2D1(D2 *a) {391 a->D1::m2();392}393 394// CHECK-LABEL: define{{.*}} void @_Z8testD2m3P2D2(395// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}396// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64397// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)398// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr399// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 6400// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]401// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64402// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 10565)403// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(36) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]404 405void testD2m3(D2 *a) {406 a->m3();407}408 409// CHECK-LABEL: define{{.*}} void @_Z8testD3m0P2D3(410// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}411// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64412// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)413// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr414// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 0415// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]416// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64417// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 44578)418// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(32) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]419 420void testD3m0(D3 *a) {421 a->m0();422}423 424// CHECK-LABEL: define{{.*}} void @_Z8testD3m1P2D3(425// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %{{.*}}426// CHECK: %[[T0:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64427// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T0]], i32 2, i64 0)428// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr429// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 1430// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]431// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64432// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 30766)433// CHECK: call noundef ptr %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(32) %{{.*}}) [ "ptrauth"(i32 0, i64 %[[T7]]) ]434 435void testD3m1(D3 *a) {436 a->m1();437}438 439// CHECK: define{{.*}} void @_Z8testD3m2P2D3(ptr noundef %[[A:.*]])440// CHECK: %[[A_ADDR:.*]] = alloca ptr, align 8441// CHECK: store ptr %[[A]], ptr %[[A_ADDR]], align 8442// CHECK: %[[V0:.*]] = load ptr, ptr %[[A_ADDR]], align 8443// CHECK: %[[VTABLE:.*]] = load ptr, ptr %[[V0]], align 8444// CHECK: %[[V1:.*]] = ptrtoint ptr %[[VTABLE]] to i64445// CHECK: %[[V2:.*]] = call i64 @llvm.ptrauth.auth(i64 %[[V1]], i32 2, i64 0)446// CHECK: %[[V3:.*]] = inttoptr i64 %[[V2]] to ptr447// CHECK: %[[VBASE_OFFSET_PTR:.*]] = getelementptr i8, ptr %[[V3]], i64 -24448// CHECK: %[[VBASE_OFFSET:.*]] = load i64, ptr %[[VBASE_OFFSET_PTR]], align 8449// CHECK: %[[ADD_PTR:.*]] = getelementptr inbounds i8, ptr %[[V0]], i64 %[[VBASE_OFFSET]]450// CHECK: %[[VTABLE1:.*]] = load ptr, ptr %[[ADD_PTR]], align 8451// CHECK: %[[V4:.*]] = ptrtoint ptr %[[VTABLE1]] to i64452// CHECK: %[[V5:.*]] = call i64 @llvm.ptrauth.auth(i64 %[[V4]], i32 2, i64 0)453// CHECK: %[[V6:.*]] = inttoptr i64 %[[V5]] to ptr454// CHECK: %[[VFN:.*]] = getelementptr inbounds ptr, ptr %[[V6]], i64 2455// CHECK: %[[V7:.*]] = load ptr, ptr %[[VFN]], align 8456// CHECK: %[[V8:.*]] = ptrtoint ptr %[[VFN]] to i64457// CHECK: %[[V9:.*]] = call i64 @llvm.ptrauth.blend(i64 %[[V8]], i64 43073)458// CHECK: call void %[[V7]](ptr noundef nonnull align 8 dereferenceable(12) %[[ADD_PTR]]) [ "ptrauth"(i32 0, i64 %[[V9]]) ]459 460void testD3m2(D3 *a) {461 a->m2();462}463 464// CHECK-LABEL: define{{.*}} void @_Z17testD3Destructor0P2D3(465// CHECK: load ptr, ptr466// CHECK: %[[VTABLE:.*]] = load ptr, ptr %{{.*}}467// CHECK: %[[T2:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64468// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T2]], i32 2, i64 0)469// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr470// CHECK: %[[VFN:[a-z]+]] = getelementptr inbounds ptr, ptr %[[T4]], i64 3471// CHECK: %[[T5:[0-9]+]] = load ptr, ptr %[[VFN]]472// CHECK: %[[T6:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64473// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 62452)474// CHECK: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(32) %{{.*}}) #{{.*}} [ "ptrauth"(i32 0, i64 %[[T7]]) ]475 476void testD3Destructor0(D3 *a) {477 delete a;478}479 480// CHECK-LABEL: define{{.*}} void @_Z17testD3Destructor1P2D3(481// CHECK: %[[T6:.*]] = load ptr, ptr %482// CHECK: %[[VTABLE0:[a-z0-9]+]] = load ptr, ptr %483// CHECK: %[[T2:[0-9]+]] = ptrtoint ptr %[[VTABLE0]] to i64484// CHECK: %[[T3:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T2]], i32 2, i64 0)485// CHECK: %[[T4:[0-9]+]] = inttoptr i64 %[[T3]] to ptr486// CHECK: %[[COMPLETE_OFFSET_PTR:.*]] = getelementptr inbounds i64, ptr %[[T4]], i64 -2487// CHECK: %[[T5:[0-9]+]] = load i64, ptr %[[COMPLETE_OFFSET_PTR]]488// CHECK: %[[T7:[0-9]+]] = getelementptr inbounds i8, ptr %[[T6]], i64 %[[T5]]489// CHECK: %[[VTABLE1:[a-z0-9]+]] = load ptr, ptr %[[T6]]490// CHECK: %[[T9:[0-9]+]] = ptrtoint ptr %[[VTABLE1]] to i64491// CHECK: %[[T10:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T9]], i32 2, i64 0)492// CHECK: %[[T11:[0-9]+]] = inttoptr i64 %[[T10]] to ptr493// CHECK: %[[VFN:[a-z0-9]+]] = getelementptr inbounds ptr, ptr %[[T11]], i64 2494// CHECK: %[[T12:[0-9]+]] = load ptr, ptr %[[VFN]]495// CHECK: %[[T13:[0-9]+]] = ptrtoint ptr %[[VFN]] to i64496// CHECK: %[[T14:[0-9]+]] = call i64 @llvm.ptrauth.blend(i64 %[[T13]], i64 57279)497// DARWIN: %call = call noundef ptr %[[T12]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(32) %{{.*}}) #{{.*}} [ "ptrauth"(i32 0, i64 %[[T14]]) ]498// ELF: call void %[[T12]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(32) %{{.*}}) #{{.*}} [ "ptrauth"(i32 0, i64 %[[T14]]) ]499// CHECK: call void @_ZdlPv(ptr noundef %[[T7]])500 501void testD3Destructor1(D3 *a) {502 ::delete a;503}504 505// CHECK-LABEL: define{{.*}} void @_Z17testD3Destructor2P2D3(506// CHECK: load ptr, ptr507// CHECK: %[[VTABLE:.*]] = load ptr, ptr %508// CHECK: %[[T2:.*]] = ptrtoint ptr %[[VTABLE]] to i64509// CHECK: %[[T3:.*]] = call i64 @llvm.ptrauth.auth(i64 %[[T2]], i32 2, i64 0)510// CHECK: %[[T4:.*]] = inttoptr i64 %[[T3]] to ptr511// CHECK: %[[VFN:.*]] = getelementptr inbounds ptr, ptr %[[T4]], i64 2512// CHECK: %[[T5:.*]] = load ptr, ptr %[[VFN]]513// CHECK: %[[T6:.*]] = ptrtoint ptr %[[VFN]] to i64514// CHECK: %[[T7:.*]] = call i64 @llvm.ptrauth.blend(i64 %[[T6]], i64 57279)515// DARWIN: %call = call noundef ptr %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(32) %{{.*}}) #{{.*}} [ "ptrauth"(i32 0, i64 %[[T7]]) ]516// ELF: call void %[[T5]](ptr noundef nonnull align {{[0-9]+}} dereferenceable(32) %{{.*}}) #{{.*}} [ "ptrauth"(i32 0, i64 %[[T7]]) ]517 518void testD3Destructor2(D3 *a) {519 a->~D3();520}521 522void materializeConstructors() {523 B0 B0;524 B1 B1;525 D0 D0;526 D1 D1;527 D2 D2;528 D3 D3;529 V0 V0;530 V1 V1;531}532 533// DARWIN-LABEL: define linkonce_odr noundef ptr @_ZN2B0C2Ev(534// ELF-LABEL: define linkonce_odr void @_ZN2B0C2Ev(535// CHECK: %[[THIS:.*]] = load ptr, ptr %536// CHECK: %[[T0:[0-9]+]] = call i64 @llvm.ptrauth.sign(i64 ptrtoint (ptr getelementptr inbounds inrange(-16, 40) ({ [7 x ptr] }, ptr @_ZTV2B0, i32 0, i32 0, i32 2) to i64), i32 2, i64 0)537// CHECK: %[[SIGNED_VTADDR:[0-9]+]] = inttoptr i64 %[[T0]] to ptr538// CHECK: store ptr %[[SIGNED_VTADDR]], ptr %[[THIS]]539 540// DARWIN-LABEL: define linkonce_odr noundef ptr @_ZN2D0C2Ev(541// ELF-LABEL: define linkonce_odr void @_ZN2D0C2Ev(542// CHECK: %[[T0:[0-9]+]] = call i64 @llvm.ptrauth.sign(i64 ptrtoint (ptr getelementptr inbounds inrange(-16, 56) ({ [9 x ptr] }, ptr @_ZTV2D0, i32 0, i32 0, i32 2) to i64), i32 2, i64 0)543// CHECK: %[[SIGNED_VTADDR:[0-9]+]] = inttoptr i64 %[[T0]] to ptr544// CHECK: store ptr %[[SIGNED_VTADDR]], ptr %[[THIS]]545 546// DARWIN-LABEL: define linkonce_odr noundef ptr @_ZN2D1C2Ev(547// ELF-LABEL: define linkonce_odr void @_ZN2D1C2Ev(548// CHECK: %[[T0:[0-9]+]] = call i64 @llvm.ptrauth.sign(i64 ptrtoint (ptr getelementptr inbounds inrange(-16, 48) ({ [8 x ptr] }, ptr @_ZTV2D1, i32 0, i32 0, i32 2) to i64), i32 2, i64 0)549// CHECK: %[[SIGNED_VTADDR:[0-9]+]] = inttoptr i64 %[[T0]] to ptr550// CHECK: store ptr %[[SIGNED_VTADDR]], ptr %[[THIS]]551 552// DARWIN-LABEL: define linkonce_odr noundef ptr @_ZN2D2C2Ev(553// ELF-LABEL: define linkonce_odr void @_ZN2D2C2Ev(554// CHECK: %[[SLOT0:.*]] = load ptr, ptr555// CHECK: %[[SIGN_VTADDR0:[0-9]+]] = call i64 @llvm.ptrauth.sign(i64 ptrtoint (ptr getelementptr inbounds inrange(-16, 56) ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 0, i32 2) to i64), i32 2, i64 0)556// CHECK: %[[T1:[0-9]+]] = inttoptr i64 %[[SIGN_VTADDR0]] to ptr557// CHECK: store ptr %[[T1]], ptr %[[SLOT0]]558// CHECK: %[[T3:[a-z0-9.]+]] = getelementptr inbounds i8, ptr %[[SLOT0]], i64 16559// CHECK: %[[SIGN_VTADDR1:[0-9]+]] = call i64 @llvm.ptrauth.sign(i64 ptrtoint (ptr getelementptr inbounds inrange(-16, 48) ({ [9 x ptr], [8 x ptr] }, ptr @_ZTV2D2, i32 0, i32 1, i32 2) to i64), i32 2, i64 0)560// CHECK: %[[T5:[0-9]+]] = inttoptr i64 %[[SIGN_VTADDR1]] to ptr561// CHECK: store ptr %[[T5]], ptr %[[T3]]562 563// DARWIN-LABEL: define linkonce_odr noundef ptr @_ZN2V0C2Ev(564// ELF-LABEL: define linkonce_odr void @_ZN2V0C2Ev(565// CHECK: %[[THIS1]] = load ptr, ptr %566// CHECK: %[[VTT:[a-z0-9]+]] = load ptr, ptr %{{.*}}567// CHECK: %[[T0:[0-9]+]] = load ptr, ptr %[[VTT]]568// CHECK: %[[T1:[0-9]+]] = ptrtoint ptr %[[T0]] to i64569// CHECK: %[[T2:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T1]], i32 2, i64 0)570// CHECK: %[[T3:[0-9]+]] = inttoptr i64 %[[T2]] to ptr571// CHECK: %[[VTADDR0:[0-9]+]] = ptrtoint ptr %[[T3]] to i64572// CHECK: %[[T7:[0-9]+]] = call i64 @llvm.ptrauth.sign(i64 %[[VTADDR0]], i32 2, i64 0)573// CHECK: %[[SIGN_VTADDR0:[0-9]+]] = inttoptr i64 %[[T7]] to ptr574// CHECK: store ptr %[[SIGN_VTADDR0]], ptr %[[SLOT0]]575// CHECK: %[[T9:[0-9]+]] = getelementptr inbounds ptr, ptr %[[VTT]], i64 1576// CHECK: %[[T10:[0-9]+]] = load ptr, ptr %[[T9]]577// CHECK: %[[T11:[0-9]+]] = ptrtoint ptr %[[T10]] to i64578// CHECK: %[[T12:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T11]], i32 2, i64 0)579// CHECK: %[[T13:[0-9]+]] = inttoptr i64 %[[T12]] to ptr580// CHECK: %[[VTABLE:[a-z]+]] = load ptr, ptr %[[THIS1]]581// CHECK: %[[T15:[0-9]+]] = ptrtoint ptr %[[VTABLE]] to i64582// CHECK: %[[T16:[0-9]+]] = call i64 @llvm.ptrauth.auth(i64 %[[T15]], i32 2, i64 0)583// CHECK: %[[T17:[0-9]+]] = inttoptr i64 %[[T16]] to ptr584// CHECK: %[[VBASE_OFFSET_PTR:[a-z.]+]] = getelementptr i8, ptr %[[T17]], i64 -24585// CHECK: %[[VBASE_OFFSET:[a-z.]+]] = load i64, ptr %[[VBASE_OFFSET_PTR]]586// CHECK: %[[T20:[a-z.]+]] = getelementptr inbounds i8, ptr %[[THIS1]], i64 %[[VBASE_OFFSET]]587// CHECK: %[[VTADDR1:[0-9]+]] = ptrtoint ptr %[[T13]] to i64588// CHECK: %[[T23:[0-9]+]] = call i64 @llvm.ptrauth.sign(i64 %[[VTADDR1]], i32 2, i64 0)589// CHECK: %[[SIGN_VTADDR1:[0-9]+]] = inttoptr i64 %[[T23]] to ptr590// CHECK: store ptr %[[SIGN_VTADDR1]], ptr %[[T20]]591