81 lines · plain
1// RUN: %clang_cc1 -triple arm64-apple-ios -fptrauth-calls -emit-llvm -fexceptions -fptrauth-intrinsics -o - %s | FileCheck %s2 3typedef void (*func)();4 5__attribute__((objc_root_class))6@interface Root {7 Class isa;8 void *__ptrauth(1, 1, 1) _field1;9 void *__ptrauth(1, 1, 1) _field2;10 func __ptrauth(1, 1, 1) _field3;11 func __ptrauth(1, 1, 123) _field4;12}13 14@property void *field1;15@property(nonatomic) void *field2;16@property func field3;17@property(nonatomic) func field4;18@end19 20@implementation Root21@end22 23// CHECK-LABEL: define internal ptr @"\01-[Root field1]"24// CHECK: [[LOAD:%.*]] = load atomic i64, ptr [[ADDR:%.*]] unordered25// CHECK: [[CAST_ADDR:%.*]] = ptrtoint ptr [[ADDR]] to i6426// CHECK: [[BLEND:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[CAST_ADDR]], i64 1)27// CHECK: [[RESULT:%.*]] = call i64 @llvm.ptrauth.auth(i64 [[LOAD]], i32 1, i64 [[BLEND]])28 29// CHECK-LABEL: define internal void @"\01-[Root setField1:]"30// CHECK: [[CAST_ADDR:%.*]] = ptrtoint ptr [[ADDR:%.*]] to i6431// CHECK: [[BLEND:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[CAST_ADDR]], i64 1)32// CHECK: [[RESULT:%.*]] = call i64 @llvm.ptrauth.sign(i64 [[VALUE:%.*]], i32 1, i64 [[BLEND]])33// CHECK: [[PHI:%.*]] = phi i64 [ 0, {{%.*}} ], [ [[RESULT]], {{%.*}} ]34// CHECK: store atomic i64 [[PHI]], ptr [[ADDR]] unordered35 36// CHECK-LABEL: define internal ptr @"\01-[Root field2]"37// CHECK: load ptr, ptr38// CHECK: [[LOAD:%.*]] = load ptr, ptr [[ADDR:%.*]],39// CHECK: [[CAST_ADDR:%.*]] = ptrtoint ptr [[ADDR]] to i6440// CHECK: [[BLEND:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[CAST_ADDR:%.*]], i64 1)41// CHECK: [[VALUE:%.*]] = ptrtoint ptr [[LOAD]] to i6442// CHECK: [[RESULT:%.*]] = call i64 @llvm.ptrauth.auth(i64 [[VALUE]], i32 1, i64 [[BLEND]])43 44// CHECK-LABEL: define internal void @"\01-[Root setField2:]"45// CHECK: [[CAST_ADDR:%.*]] = ptrtoint ptr [[ADDR:%.*]] to i6446// CHECK: [[BLEND:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[CAST_ADDR]], i64 1)47// CHECK: [[CAST_VALUE:%.*]] = ptrtoint ptr [[VALUE:%.*]] to i6448// CHECK: [[SIGNED:%.*]] = call i64 @llvm.ptrauth.sign(i64 [[CAST_VALUE]], i32 1, i64 [[BLEND]])49// CHECK: [[RESULT:%.*]] = inttoptr i64 [[SIGNED]] to ptr50// CHECK: [[PHI:%.*]] = phi ptr [ null, {{%.*}} ], [ [[RESULT]], {{%.*}} ]51// CHECK: store ptr [[PHI]], ptr [[ADDR]]52 53// CHECK-LABEL: define internal ptr @"\01-[Root field3]"54// CHECK: [[VALUE:%.*]] = load atomic i64, ptr [[ADDR:%.*]] unordered, align 855// CHECK: [[CASTED_ADDR:%.*]] = ptrtoint ptr [[ADDR]] to i6456// CHECK: [[BLENDED:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[CASTED_ADDR]], i64 1)57// CHECK: {{%.*}} = call i64 @llvm.ptrauth.resign(i64 [[VALUE]], i32 1, i64 [[BLENDED]], i32 0, i64 058 59// CHECK-LABEL: define internal void @"\01-[Root setField3:]"60// CHECK: [[VALUE:%.*]] = load i64, ptr {{%.*}}, align 861// CHECK: [[CASTED_ADDR:%.*]] = ptrtoint ptr {{%.*}} to i6462// CHECK: [[BLENDED:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[CASTED_ADDR]], i64 1)63// CHECK: {{%.*}} = call i64 @llvm.ptrauth.resign(i64 [[VALUE]], i32 0, i64 0, i32 1, i64 [[BLENDED]])64// CHECK: store atomic i6465 66// CHECK-LABEL: define internal ptr @"\01-[Root field4]"67// CHECK: load ptr, ptr68// CHECK: [[VALUE:%.*]] = load ptr, ptr [[ADDR:%.*]],69// CHECK: [[CASTED_ADDR:%.*]] = ptrtoint ptr [[ADDR]] to i6470// CHECK: [[BLENDED:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[CASTED_ADDR]], i64 123)71// CHECK: [[CAST_VALUE:%.*]] = ptrtoint ptr [[VALUE]] to i6472// CHECK: {{%.*}} = call i64 @llvm.ptrauth.resign(i64 [[CAST_VALUE]], i32 1, i64 [[BLENDED]], i32 0, i64 0)73 74// CHECK-LABEL: define internal void @"\01-[Root setField4:]"75// CHECK: [[CAST_ADDR:%.*]] = ptrtoint ptr {{%.*}} to i6476// CHECK: [[BLENDED:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[CAST_ADDR]], i64 123)77// CHECK: resign.nonnull:78// CHECK: [[VALUE:%.*]] = ptrtoint ptr %1 to i6479// CHECK: {{%.*}} = call i64 @llvm.ptrauth.resign(i64 [[VALUE]], i32 0, i64 0, i32 1, i64 [[BLENDED]])80 81