54 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -fsanitize=cfi-mfcall -o - %s -fvisibility=hidden | FileCheck %s2 3#define CFI_UNCHECKED_CALLEE __attribute__((cfi_unchecked_callee))4 5class A {};6 7// CHECK-LABEL: _Z14MemberFuncCallP1AMS_FvvE8void MemberFuncCall(A *s, void (A::*p)()) {9 // CHECK: memptr.virtual:10 // CHECK-NEXT: [[VTABLE:%.*]] = load ptr, ptr {{.*}}, align 811 // CHECK-NEXT: [[OFFSET:%.*]] = sub i64 %memptr.ptr, 112 // CHECK-NEXT: [[FUNC:%.*]] = getelementptr i8, ptr [[VTABLE]], i64 [[OFFSET]]13 // CHECK-NEXT: [[VALID:%.*]] = call i1 @llvm.type.test(ptr [[FUNC]], metadata !"_ZTSM1AFvvE.virtual")14 // CHECK-NEXT: [[FUNC:%.*]] = getelementptr i8, ptr [[VTABLE]], i64 [[OFFSET]]15 // CHECK-NEXT: %memptr.virtualfn = load ptr, ptr [[FUNC]], align 816 // CHECK-NEXT: {{.*}}= call i1 @llvm.type.test(ptr [[VTABLE]], metadata !"all-vtables")17 // CHECK-NEXT: br i1 [[VALID]], label %[[CONT:.*]], label %handler.cfi_check_fail{{.*}}18 19 // CHECK: [[CONT]]:20 // CHECK-NEXT: br label %memptr.end21 22 // CHECK: memptr.nonvirtual:23 // CHECK-NEXT: %memptr.nonvirtualfn = inttoptr i64 %memptr.ptr to ptr24 // CHECK-NEXT: [[VALID:%.*]] = call i1 @llvm.type.test(ptr %memptr.nonvirtualfn, metadata !"_ZTSM1AFvvE")25 // CHECK-NEXT: [[VALID2:%.*]] = or i1 false, [[VALID]]26 // CHECK-NEXT: br i1 [[VALID2]], label %[[CONT2:.*]], label %handler.cfi_check_fail{{.*}}27 28 // CHECK: [[CONT2]]:29 // CHECK-NEXT: br label %memptr.end30 31 // CHECK: memptr.end:32 // CHECK-NEXT: {{.*}} = phi ptr [ %memptr.virtualfn, %[[CONT]] ], [ %memptr.nonvirtualfn, %[[CONT2]] ]33 (s->*p)();34}35 36// CHECK-LABEL: _Z19MemberFuncCallNoCFIP1AMS_FvvE37// CHECK-NOT: llvm.type.test38void MemberFuncCallNoCFI(A *s, void (CFI_UNCHECKED_CALLEE A::*p)()) {39 // CHECK: memptr.virtual:40 // CHECK-NEXT: [[VTABLE:%.*]] = load ptr, ptr {{.*}}, align 841 // CHECK-NEXT: [[OFFSET:%.*]] = sub i64 %memptr.ptr, 142 // CHECK-NEXT: [[FUNC:%.*]] = getelementptr i8, ptr [[VTABLE]], i64 [[OFFSET]]43 // CHECK-NEXT: %memptr.virtualfn = load ptr, ptr [[FUNC]], align 844 // CHECK-NEXT: br label %memptr.end45 46 // CHECK: memptr.nonvirtual:47 // CHECK-NEXT: %memptr.nonvirtualfn = inttoptr i64 %memptr.ptr to ptr48 // CHECK-NEXT: br label %memptr.end49 50 // CHECK: memptr.end:51 // CHECK-NEXT: {{.*}} = phi ptr [ %memptr.virtualfn, %memptr.virtual ], [ %memptr.nonvirtualfn, %memptr.nonvirtual ]52 (s->*p)();53}54