60 lines · plain
1// RUN: %clang_cc1 -triple arm64e-apple-ios18 -fptrauth-calls -fptrauth-intrinsics -fobjc-arc -emit-llvm -o - %s | FileCheck %s2 3// CHECK: %[[STRUCT_S0:.*]] = type { i32, i32, ptr }4// CHECK: %[[STRUCT_S1:.*]] = type { ptr, ptr }5 6// This struct isn't POD because it has an address-discriminated ptrauth7// field.8typedef struct {9 int f0, f1;10 int * __ptrauth(1,1,50) f2;11} S0;12 13// This struct isn't POD because it has an address-discriminated ptrauth14// field and an ARC ObjC pointer field.15typedef struct {16 id f0;17 int * __ptrauth(1,1,50) f1;18} S1;19 20// CHECK: define void @compound_literal_assignment0(ptr noundef %[[P:.*]])21// CHECK: %[[P_ADDR:.*]] = alloca ptr, align 822// CHECK-NEXT: %[[_COMPOUNDLITERAL:.*]] = alloca %[[STRUCT_S0]], align 823// CHECK-NEXT: store ptr %[[P]], ptr %[[P_ADDR]], align 824// CHECK-NEXT: %[[V0:.*]] = load ptr, ptr %[[P_ADDR]], align 825// CHECK-NEXT: %[[F0:.*]] = getelementptr inbounds nuw %[[STRUCT_S0]], ptr %[[_COMPOUNDLITERAL]], i32 0, i32 026// CHECK-NEXT: %[[V1:.*]] = load ptr, ptr %[[P_ADDR]], align 827// CHECK-NEXT: %[[F1:.*]] = getelementptr inbounds nuw %[[STRUCT_S0]], ptr %[[V1]], i32 0, i32 128// CHECK-NEXT: %[[V2:.*]] = load i32, ptr %[[F1]], align 429// CHECK-NEXT: store i32 %[[V2]], ptr %[[F0]], align 830// CHECK-NEXT: %[[F11:.*]] = getelementptr inbounds nuw %[[STRUCT_S0]], ptr %[[_COMPOUNDLITERAL]], i32 0, i32 131// CHECK-NEXT: %[[V3:.*]] = load ptr, ptr %[[P_ADDR]], align 832// CHECK-NEXT: %[[F02:.*]] = getelementptr inbounds nuw %[[STRUCT_S0]], ptr %[[V3]], i32 0, i32 033// CHECK-NEXT: %[[V4:.*]] = load i32, ptr %[[F02]], align 834// CHECK-NEXT: store i32 %[[V4]], ptr %[[F11]], align 435// CHECK-NEXT: %[[F2:.*]] = getelementptr inbounds nuw %[[STRUCT_S0]], ptr %[[_COMPOUNDLITERAL]], i32 0, i32 236// CHECK-NEXT: store ptr null, ptr %[[F2]], align 837// CHECK-NEXT: call void @__copy_assignment_8_8_t0w8_pa1_50_8(ptr %[[V0]], ptr %[[_COMPOUNDLITERAL]])38// CHECK-NEXT: ret void39 40void compound_literal_assignment0(S0 *p) {41 *p = (S0){.f0 = p->f1, .f1 = p->f0};42}43 44// CHECK: define void @compound_literal_assignment1(ptr noundef %[[P:.*]])45// CHECK: %[[P_ADDR:.*]] = alloca ptr, align 846// CHECK-NEXT: %[[_COMPOUNDLITERAL:.*]] = alloca %[[STRUCT_S1]], align 847// CHECK-NEXT: store ptr %[[P]], ptr %[[P_ADDR]], align 848// CHECK-NEXT: %[[V0:.*]] = load ptr, ptr %[[P_ADDR]], align 849// CHECK-NEXT: %[[F0:.*]] = getelementptr inbounds nuw %[[STRUCT_S1]], ptr %[[_COMPOUNDLITERAL]], i32 0, i32 050// CHECK-NEXT: store ptr null, ptr %[[F0]], align 851// CHECK-NEXT: %[[F1:.*]] = getelementptr inbounds nuw %[[STRUCT_S1]], ptr %[[_COMPOUNDLITERAL]], i32 0, i32 152// CHECK-NEXT: store ptr null, ptr %[[F1]], align 853// CHECK-NEXT: call void @__copy_assignment_8_8_s0_pa1_50_8(ptr %[[V0]], ptr %[[_COMPOUNDLITERAL]])54// CHECK-NEXT: call void @__destructor_8_s0(ptr %[[_COMPOUNDLITERAL]])55// CHECK-NEXT: ret void56 57void compound_literal_assignment1(S1 *p) {58 *p = (S1){};59}60