129 lines · cpp
1// RUN: %clang_cc1 -I%S %s -triple arm64e-apple-darwin10 -O1 -fptrauth-calls -fptrauth-vtable-pointer-address-discrimination -fptrauth-vtable-pointer-type-discrimination -emit-llvm -std=c++11 -o - | FileCheck %s --check-prefixes=CHECK2 3struct A {4 virtual ~A();5};6struct B {7 int foo;8 virtual ~B();9};10struct C final : A, B {11 virtual void f(){};12};13struct D final : B, A {14 virtual void f(){};15};16 17struct Offset {18 virtual ~Offset();19};20struct E {21 virtual ~E();22};23struct F final : Offset, E {24};25struct G {26 virtual ~G();27 int g;28};29struct H : E {30 int h;31};32struct I : E {33 int i;34};35struct J : virtual E {36 int j;37};38struct K : virtual E {39 int k;40};41struct L final : G, H, I, J, K {42 int l;43};44struct M final: G, private H { int m; };45 46// CHECK-LABEL: @_Z10exact_to_CP1A47C *exact_to_C(A *a) {48 // CHECK: [[UNAUTHED_VPTR:%.*]] = load ptr, ptr %a, align 849 // CHECK: [[VPTR_ADDRI:%.*]] = ptrtoint ptr %a to i6450 // CHECK: [[VPTR_ADDR_DISC:%.*]] = tail call i64 @llvm.ptrauth.blend(i64 [[VPTR_ADDRI]], i64 62866)51 // CHECK: [[UNAUTHED_VPTRI:%.*]] = ptrtoint ptr [[UNAUTHED_VPTR]] to i6452 // CHECK: [[AUTHED_VPTRI:%.*]] = tail call i64 @llvm.ptrauth.auth(i64 [[UNAUTHED_VPTRI]], i32 2, i64 [[VPTR_ADDR_DISC]])53 // CHECK: [[IS_EXPECTED:%.*]] = icmp eq i64 [[AUTHED_VPTRI]], ptrtoint (ptr getelementptr inbounds nuw inrange(-16, 24) (i8, ptr @_ZTV1C, i64 16) to i64)54 // CHECK: br i1 [[IS_EXPECTED]], label %dynamic_cast.end, label %dynamic_cast.null55 // CHECK: [[NULL_CHECKED_RESULT:%.*]] = phi ptr [ %a, %dynamic_cast.notnull ], [ null, %dynamic_cast.null ]56 // CHECK: ret ptr [[NULL_CHECKED_RESULT]]57 return dynamic_cast<C*>(a);58}59 60// CHECK-LABEL: @_Z9exact_t_DP1A61D *exact_t_D(A *a) {62 // CHECK: dynamic_cast.notnull:63 // CHECK: [[SRC_UNAUTHED_VPTR:%.*]] = load ptr, ptr %a64 // CHECK: [[SRC_VPTR_ADDRI:%.*]] = ptrtoint ptr %a to i6465 // CHECK: [[SRC_VPTR_DISC:%.*]] = tail call i64 @llvm.ptrauth.blend(i64 [[SRC_VPTR_ADDRI]], i64 62866)66 // CHECK: [[SRC_UNAUTHED_VPTRI:%.*]] = ptrtoint ptr [[SRC_UNAUTHED_VPTR]] to i6467 // CHECK: [[SRC_AUTHED_VPTRI:%.*]] = tail call i64 @llvm.ptrauth.auth(i64 [[SRC_UNAUTHED_VPTRI]], i32 2, i64 [[SRC_VPTR_DISC]])68 // CHECK: [[SUCCESS:%.*]] = icmp eq i64 [[SRC_AUTHED_VPTRI]], ptrtoint (ptr getelementptr inbounds nuw inrange(-16, 16) (i8, ptr @_ZTV1D, i64 56) to i64)69 // CHECK: br i1 [[SUCCESS]], label %dynamic_cast.postauth.success, label %dynamic_cast.postauth.complete70 // CHECK: dynamic_cast.postauth.success:71 // CHECK: [[ADJUSTED_THIS:%.*]] = getelementptr inbounds i8, ptr %a, i64 -1672 // CHECK: [[ADJUSTED_UNAUTHED_VPTR:%.*]] = load ptr, ptr [[ADJUSTED_THIS]]73 // CHECK: [[ADJUSTED_VPTR_ADDRI:%.*]] = ptrtoint ptr [[ADJUSTED_THIS]] to i6474 // CHECK: [[ADJUSTED_VPTR_DISC:%.*]] = tail call i64 @llvm.ptrauth.blend(i64 [[ADJUSTED_VPTR_ADDRI]], i64 28965)75 // CHECK: [[ADJUSTED_UNAUTHED_VPTRI:%.*]] = ptrtoint ptr [[ADJUSTED_UNAUTHED_VPTR]] to i6476 // CHECK: [[ADJUSTED_AUTHED_VPTRI:%.*]] = tail call i64 @llvm.ptrauth.auth(i64 [[ADJUSTED_UNAUTHED_VPTRI]], i32 2, i64 [[ADJUSTED_VPTR_DISC]])77 // CHECK: [[ADJUSTED_AUTHED_VPTR:%.*]] = inttoptr i64 [[ADJUSTED_AUTHED_VPTRI]] to ptr78 // CHECK: br label %dynamic_cast.postauth.complete79 // CHECK: dynamic_cast.postauth.complete:80 // CHECK: [[AUTHED_ADJUSTED_THIS:%.*]] = phi ptr [ [[ADJUSTED_THIS]], %dynamic_cast.postauth.success ], [ null, %dynamic_cast.notnull ]81 // CHECK: br i1 [[SUCCESS]], label %dynamic_cast.end, label %dynamic_cast.null82 // CHECK: dynamic_cast.null:83 // CHECK: br label %dynamic_cast.end84 // CHECK: dynamic_cast.end:85 // CHECK: [[RESULT:%.*]] = phi ptr [ [[AUTHED_ADJUSTED_THIS]], %dynamic_cast.postauth.complete ], [ null, %dynamic_cast.null ]86 // CHECK: ret ptr [[RESULT]]87 return dynamic_cast<D*>(a);88}89 90// CHECK-LABEL: @_Z11exact_multiP1E91L *exact_multi(E *e) {92 // CHECK: dynamic_cast.notnull:93 // CHECK: [[VTABLE_ADDR:%.*]] = load ptr, ptr %e, align 894 // CHECK: [[THIS_ADDRI:%.*]] = ptrtoint ptr %e to i6495 // CHECK: [[VTABLE_DISC:%.*]] = tail call i64 @llvm.ptrauth.blend(i64 [[THIS_ADDRI]], i64 12810)96 // CHECK: [[VTABLE_ADDRI:%.*]] = ptrtoint ptr [[VTABLE_ADDR]] to i6497 // CHECK: [[AUTHED_VTABLEI:%.*]] = tail call i64 @llvm.ptrauth.auth(i64 [[VTABLE_ADDRI]], i32 2, i64 [[VTABLE_DISC]])98 // CHECK: [[AUTHED_VTABLE:%.*]] = inttoptr i64 [[AUTHED_VTABLEI]] to ptr99 // CHECK: [[PRIMARY_BASE_OFFSET:%.*]] = getelementptr inbounds i8, ptr [[AUTHED_VTABLE]], i64 -16100 // CHECK: %offset.to.top = load i64, ptr [[PRIMARY_BASE_OFFSET]]101 // CHECK: [[ADJUSTED_THIS:%.*]] = getelementptr inbounds i8, ptr %e, i64 %offset.to.top102 // CHECK: [[ADJUSTED_THIS_VTABLE:%.*]] = load ptr, ptr [[ADJUSTED_THIS]]103 // CHECK: [[ADJUSTED_THIS_VTABLEI:%.*]] = ptrtoint ptr [[ADJUSTED_THIS_VTABLE]] to i64104 // CHECK: [[ADJUSTED_THIS_STRIPPED_VTABLEI:%.*]] = tail call i64 @llvm.ptrauth.strip(i64 [[ADJUSTED_THIS_VTABLEI]], i32 0)105 // CHECK: [[SUCCESS:%.*]] = icmp eq i64 [[ADJUSTED_THIS_STRIPPED_VTABLEI]], ptrtoint (ptr getelementptr inbounds nuw inrange(-24, 16) (i8, ptr @_ZTV1L, i64 24) to i64)106 // CHECK: br i1 [[SUCCESS]], label %dynamic_cast.postauth.success, label %dynamic_cast.postauth.complete107 // CHECK: dynamic_cast.postauth.success:108 // CHECK: [[ADJUSTED_THISI:%.*]] = ptrtoint ptr [[ADJUSTED_THIS]] to i64109 // CHECK: [[DEST_DISC:%.*]] = tail call i64 @llvm.ptrauth.blend(i64 [[ADJUSTED_THISI]], i64 41434)110 // CHECK: tail call i64 @llvm.ptrauth.auth(i64 [[ADJUSTED_THIS_VTABLEI]], i32 2, i64 [[DEST_DISC]])111 // CHECK: br label %dynamic_cast.postauth.complete112 // CHECK: dynamic_cast.postauth.complete:113 // CHECK: [[AUTHED_ADJUSTED_THIS:%.*]] = phi ptr [ [[ADJUSTED_THIS]], %dynamic_cast.postauth.success ], [ null, %dynamic_cast.notnull ]114 // CHECK: br i1 [[SUCCESS]], label %dynamic_cast.end, label %dynamic_cast.null115 // CHECK: dynamic_cast.null:116 // CHECK: br label %dynamic_cast.end117 // CHECK: dynamic_cast.end:118 // CHECK: [[RESULT:%.*]] = phi ptr [ [[AUTHED_ADJUSTED_THIS]], %dynamic_cast.postauth.complete ], [ null, %dynamic_cast.null ]119 // CHECK: ret ptr [[RESULT]]120 return dynamic_cast<L*>(e);121}122 123// CHECK-LABEL: @_Z19exact_invalid_multiP1H124M *exact_invalid_multi(H* d) {125 // CHECK: entry:126 // CHECK-NEXT: ret ptr null127 return dynamic_cast<M*>(d);128}129