146 lines · c
1// RUN: %clang_cc1 %s -fptrauth-function-pointer-type-discrimination -triple arm64-apple-ios13 -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck --check-prefixes=CHECK,TYPE %s2// RUN: %clang_cc1 %s -fptrauth-function-pointer-type-discrimination -triple aarch64-linux-gnu -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck --check-prefixes=CHECK,TYPE %s3// RUN: %clang_cc1 %s -triple arm64-apple-ios13 -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck --check-prefixes=CHECK,ZERO %s4// RUN: %clang_cc1 %s -triple aarch64-linux-gnu -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck --check-prefixes=CHECK,ZERO %s5// RUN: %clang_cc1 -xc++ %s -fptrauth-function-pointer-type-discrimination -triple arm64-apple-ios13 -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck --check-prefixes=CHECK,TYPE,CHECK-CXX %s6// RUN: %clang_cc1 -xc++ %s -fptrauth-function-pointer-type-discrimination -triple aarch64-linux-gnu -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck --check-prefixes=CHECK,TYPE,CHECK-CXX %s7 8#ifdef __cplusplus9extern "C" {10#endif11 12void (*fptr)(void);13void (* __ptrauth(0, 0, 42) f2ptr_42_discm)(int);14void f(int);15void (* const __ptrauth(0, 0, 42) f_const_ptr)(int) = &f;16 17// CHECK-LABEL: define {{.*}}void @test_assign_to_qualified18void test_assign_to_qualified() {19 f2ptr_42_discm = (void (*)(int))fptr;20 21 // CHECK: [[ENTRY:.*]]:{{$}}22 // CHECK: [[FPTR:%.*]] = load ptr, ptr @fptr23 // CHECK-NEXT: [[CMP:%.*]] = icmp ne ptr [[FPTR]], null24 // TYPE-NEXT: br i1 [[CMP]], label %[[RESIGN1:.*]], label %[[JOIN1:.*]]25 // ZERO-NEXT: br i1 [[CMP]], label %[[RESIGN2:.*]], label %[[JOIN2:.*]]26 27 // TYPE: [[RESIGN1]]:28 // TYPE-NEXT: [[FPTR2:%.*]] = ptrtoint ptr [[FPTR]] to i6429 // TYPE-NEXT: [[FPTR4:%.*]] = call i64 @llvm.ptrauth.resign(i64 [[FPTR2]], i32 0, i64 18983, i32 0, i64 2712)30 // TYPE-NEXT: [[FPTR5:%.*]] = inttoptr i64 [[FPTR4]] to ptr31 // TYPE-NEXT: br label %[[JOIN1]]32 33 // TYPE: [[JOIN1]]:34 // TYPE-NEXT: [[FPTR6:%.*]] = phi ptr [ null, %[[ENTRY]] ], [ [[FPTR5]], %[[RESIGN1]] ]35 // TYPE-NEXT: [[CMP:%.*]] = icmp ne ptr [[FPTR6]], null36 // TYPE-NEXT: br i1 [[CMP]], label %[[RESIGN2:.*]], label %[[JOIN2:.*]]37 38 // CHECK: [[RESIGN2]]:39 // TYPE-NEXT: [[FPTR7:%.*]] = ptrtoint ptr [[FPTR6]] to i6440 // TYPE-NEXT: [[FPTR8:%.*]] = call i64 @llvm.ptrauth.resign(i64 [[FPTR7]], i32 0, i64 2712, i32 0, i64 42)41 // ZERO-NEXT: [[FPTR7:%.*]] = ptrtoint ptr [[FPTR]] to i6442 // ZERO-NEXT: [[FPTR8:%.*]] = call i64 @llvm.ptrauth.resign(i64 [[FPTR7]], i32 0, i64 0, i32 0, i64 42)43 // CHECK-NEXT: [[FPTR9:%.*]] = inttoptr i64 [[FPTR8]] to ptr44 // CHECK-NEXT: br label %[[JOIN2]]45 46 // CHECK: [[JOIN2]]47 // TYPE-NEXT: [[FPTR10:%.*]] = phi ptr [ null, %[[JOIN1]] ], [ [[FPTR9]], %[[RESIGN2]] ]48 // ZERO-NEXT: [[FPTR10:%.*]] = phi ptr [ null, %[[ENTRY]] ], [ [[FPTR9]], %[[RESIGN2]] ]49 // CHECK-NEXT store void (i32)* [[FPTR10]], void (i32)** @f2ptr_42_discm50}51 52// CHECK-LABEL: define {{.*}}void @test_assign_from_qualified53void test_assign_from_qualified() {54 fptr = (void (*)(void))f2ptr_42_discm;55 56 // CHECK: [[ENTRY:.*]]:{{$}}57 // CHECK: [[FPTR:%.*]] = load ptr, ptr @f2ptr_42_discm58 // CHECK-NEXT: [[CMP:%.*]] = icmp ne ptr [[FPTR]], null59 // TYPE-NEXT: br i1 [[CMP]], label %[[RESIGN1:.*]], label %[[JOIN1:.*]]60 // ZERO-NEXT: br i1 [[CMP]], label %[[RESIGN2:.*]], label %[[JOIN2:.*]]61 62 // TYPE: [[RESIGN1]]:63 // TYPE-NEXT: [[FPTR1:%.*]] = ptrtoint ptr [[FPTR]] to i6464 // TYPE-NEXT: [[FPTR2:%.*]] = call i64 @llvm.ptrauth.resign(i64 [[FPTR1]], i32 0, i64 42, i32 0, i64 2712)65 // TYPE-NEXT: [[FPTR3:%.*]] = inttoptr i64 [[FPTR2]] to ptr66 // TYPE-NEXT: br label %[[JOIN1]]67 68 // TYPE: [[JOIN1]]:69 // TYPE-NEXT: [[FPTR4:%.*]] = phi ptr [ null, %[[ENTRY]] ], [ [[FPTR3]], %[[RESIGN1]] ]70 // TYPE-NEXT: [[CMP:%.*]] = icmp ne ptr [[FPTR4]], null71 // TYPE-NEXT: br i1 [[CMP]], label %[[RESIGN2:.*]], label %[[JOIN2:.*]]72 73 // CHECK: [[RESIGN2]]:74 // TYPE-NEXT: [[FPTR6:%.*]] = ptrtoint ptr [[FPTR4]] to i6475 // TYPE-NEXT: [[FPTR7:%.*]] = call i64 @llvm.ptrauth.resign(i64 [[FPTR6]], i32 0, i64 2712, i32 0, i64 18983)76 // ZERO-NEXT: [[FPTR6:%.*]] = ptrtoint ptr [[FPTR]] to i6477 // ZERO-NEXT: [[FPTR7:%.*]] = call i64 @llvm.ptrauth.resign(i64 [[FPTR6]], i32 0, i64 42, i32 0, i64 0)78 // CHECK-NEXT: [[FPTR8:%.*]] = inttoptr i64 [[FPTR7]] to ptr79 // CHECK-NEXT: br label %[[JOIN2]]80 81 // CHECK: [[JOIN2]]82 // TYPE-NEXT: [[FPTR9:%.*]] = phi ptr [ null, %[[JOIN1]] ], [ [[FPTR8]], %[[RESIGN2]] ]83 // ZERO-NEXT: [[FPTR9:%.*]] = phi ptr [ null, %[[ENTRY]] ], [ [[FPTR8]], %[[RESIGN2]] ]84 // CHECK-NEXT store void ()* [[FPTR10]], void ()** @f2ptr_42_discm85}86 87// CHECK-LABEL: define {{.*}}void @test_const_ptr_function_call()88void test_const_ptr_function_call(void) {89 f_const_ptr(1);90 91 // TYPE: call void ptrauth (ptr @f, i32 0, i64 2712)(i32 noundef 1) [ "ptrauth"(i32 0, i64 2712) ]92 // ZERO: call void ptrauth (ptr @f, i32 0)(i32 noundef 1) [ "ptrauth"(i32 0, i64 0) ]93}94 95#ifdef __cplusplus96void (* get_fptr(void))(int);97void (* __ptrauth(0, 0, 42) f_const_ptr2)(int) = get_fptr();98void (* const __ptrauth(0, 1, 43) &f_ref)(int) = f_const_ptr2;99 100// CHECK-CXX-LABEL: define {{.*}}internal void @__cxx_global_var_init()101// CHECK-CXX: [[ENTRY:.*]]:102// CHECK-CXX: %[[CALL:.*]] = call ptr @get_fptr()103// CHECK-CXX: %[[V0:.*]] = icmp ne ptr %[[CALL]], null104// CHECK-CXX: br i1 %[[V0]], label %[[RESIGN_NONNULL:.*]], label %[[RESIGN_CONT:.*]]105 106// CHECK-CXX: [[RESIGN_NONNULL]]:107// CHECK-CXX: %[[V1:.*]] = ptrtoint ptr %[[CALL]] to i64108// CHECK-CXX: %[[V2:.*]] = call i64 @llvm.ptrauth.resign(i64 %[[V1]], i32 0, i64 2712, i32 0, i64 42)109// CHECK-CXX: %[[V3:.*]] = inttoptr i64 %[[V2]] to ptr110// CHECK-CXX: br label %[[RESIGN_CONT]]111 112// CHECK-CXX: [[RESIGN_CONT]]:113// CHECK-CXX: %[[V4:.*]] = phi ptr [ null, %[[ENTRY]] ], [ %[[V3]], %[[RESIGN_NONNULL]] ]114// CHECK-CXX: store ptr %[[V4]], ptr @f_const_ptr2, align 8115 116// CHECK-CXX-LABEL: define {{.*}}internal void @__cxx_global_var_init.1()117// CHECK-CXX: [[ENTRY:.*]]:118// CHECK-CXX: %[[V0:.*]] = load ptr, ptr @f_const_ptr2, align 8119// CHECK-CXX: %[[V1:.*]] = call i64 @llvm.ptrauth.blend(i64 ptrtoint (ptr @_ZGR5f_ref_ to i64), i64 43)120// CHECK-CXX: %[[V2:.*]] = icmp ne ptr %[[V0]], null121// CHECK-CXX: br i1 %[[V2]], label %[[RESIGN_NONNULL:.*]], label %[[RESIGN_CONT:.*]]122 123// CHECK-CXX: [[RESIGN_NONNULL]]:124// CHECK-CXX: %[[V3:.*]] = ptrtoint ptr %[[V0]] to i64125// CHECK-CXX: %[[V4:.*]] = call i64 @llvm.ptrauth.resign(i64 %[[V3]], i32 0, i64 42, i32 0, i64 %[[V1]])126// CHECK-CXX: %[[V5:.*]] = inttoptr i64 %[[V4]] to ptr127// CHECK-CXX: br label %[[RESIGN_CONT]]128 129// CHECK-CXX: [[RESIGN_CONT]]:130// CHECK-CXX: %[[V6:.*]] = phi ptr [ null, %[[ENTRY]] ], [ %[[V5]], %[[RESIGN_NONNULL]] ]131// CHECK-CXX: store ptr %[[V6]], ptr @_ZGR5f_ref_, align 8132// CHECK-CXX: store ptr @_ZGR5f_ref_, ptr @f_ref, align 8133 134// CHECK-CXX-LABEL: define {{.*}}void @test_const_ptr_ref_function_call()135void test_const_ptr_ref_function_call(void) {136 f_ref(1);137 138 // CHECK-CXX: %[[V0:.*]] = load ptr, ptr @f_ref, align 8139 // CHECK-CXX: %[[V1:.*]] = load ptr, ptr %[[V0]], align 8140 // CHECK-CXX: %[[V2:.*]] = ptrtoint ptr %[[V0]] to i64141 // CHECK-CXX: %[[V3:.*]] = call i64 @llvm.ptrauth.blend(i64 %[[V2]], i64 43)142 // CHECK-CXX: call void %[[V1]](i32 noundef 1) [ "ptrauth"(i32 0, i64 %[[V3]]) ]143}144}145#endif146