19eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// RUN: %clang_cc1 %s -emit-llvm -o - -triple=armv7-apple-ios -std=c11 | FileCheck %s 29eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 39eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// There isn't really anything special about iOS; it just happens to 49eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// only deploy on processors with native atomics support, so it's a good 59eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// way to test those code-paths. 69eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 79eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// This work was done in pursuit of <rdar://13338582>. 89eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 993ab6bf534fb6c26563c00f28a8fc5581bb71dfdStephen Lin// CHECK-LABEL: define arm_aapcscc void @testFloat(float* 109eda3abe7e183b05834947391c0cdc291f4ee0d8John McCallvoid testFloat(_Atomic(float) *fp) { 119eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK: [[FP:%.*]] = alloca float* 129eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[X:%.*]] = alloca float 139eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[F:%.*]] = alloca float 149eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float* {{%.*}}, float** [[FP]] 159eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 169eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = load float** [[FP]] 179eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float 1.000000e+00, float* [[T0]], align 4 189eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall __c11_atomic_init(fp, 1.0f); 199eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 209eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float 2.000000e+00, float* [[X]], align 4 219eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall _Atomic(float) x = 2.0f; 229eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 239eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = load float** [[FP]] 249eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = bitcast float* [[T0]] to i32* 259eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = load atomic i32* [[T1]] seq_cst, align 4 269eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T3:%.*]] = bitcast i32 [[T2]] to float 279eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float [[T3]], float* [[F]] 289eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall float f = *fp; 299eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 309eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = load float* [[F]], align 4 319eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = load float** [[FP]], align 4 329eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = bitcast float [[T0]] to i32 339eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T3:%.*]] = bitcast float* [[T1]] to i32* 349eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store atomic i32 [[T2]], i32* [[T3]] seq_cst, align 4 359eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall *fp = f; 369eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 379eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: ret void 389eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall} 399eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 409eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK: define arm_aapcscc void @testComplexFloat([[CF:{ float, float }]]* 419eda3abe7e183b05834947391c0cdc291f4ee0d8John McCallvoid testComplexFloat(_Atomic(_Complex float) *fp) { 429eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK: [[FP:%.*]] = alloca [[CF]]*, align 4 439eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[X:%.*]] = alloca [[CF]], align 8 449eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[F:%.*]] = alloca [[CF]], align 4 459eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[TMP0:%.*]] = alloca [[CF]], align 8 469eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[TMP1:%.*]] = alloca [[CF]], align 8 479eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store [[CF]]* 489eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 499eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[P:%.*]] = load [[CF]]** [[FP]] 509eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[CF]]* [[P]], i32 0, i32 0 519eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[CF]]* [[P]], i32 0, i32 1 529eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float 1.000000e+00, float* [[T0]] 539eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float 0.000000e+00, float* [[T1]] 549eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall __c11_atomic_init(fp, 1.0f); 559eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 569eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[CF]]* [[X]], i32 0, i32 0 579eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[CF]]* [[X]], i32 0, i32 1 589eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float 2.000000e+00, float* [[T0]] 599eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float 0.000000e+00, float* [[T1]] 609eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall _Atomic(_Complex float) x = 2.0f; 619eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 629eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = load [[CF]]** [[FP]] 639eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = bitcast [[CF]]* [[T0]] to i64* 649eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = load atomic i64* [[T1]] seq_cst, align 8 659eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T3:%.*]] = bitcast [[CF]]* [[TMP0]] to i64* 669eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i64 [[T2]], i64* [[T3]], align 8 679eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[CF]]* [[TMP0]], i32 0, i32 0 689eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[R:%.*]] = load float* [[T0]] 699eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[CF]]* [[TMP0]], i32 0, i32 1 709eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[I:%.*]] = load float* [[T0]] 719eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[CF]]* [[F]], i32 0, i32 0 729eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[CF]]* [[F]], i32 0, i32 1 739eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float [[R]], float* [[T0]] 749eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float [[I]], float* [[T1]] 759eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall _Complex float f = *fp; 769eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 779eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[CF]]* [[F]], i32 0, i32 0 789eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[R:%.*]] = load float* [[T0]] 799eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[CF]]* [[F]], i32 0, i32 1 809eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[I:%.*]] = load float* [[T0]] 819eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[DEST:%.*]] = load [[CF]]** [[FP]], align 4 829eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[CF]]* [[TMP1]], i32 0, i32 0 839eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[CF]]* [[TMP1]], i32 0, i32 1 849eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float [[R]], float* [[T0]] 859eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store float [[I]], float* [[T1]] 869eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = bitcast [[CF]]* [[TMP1]] to i64* 879eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = load i64* [[T0]], align 8 889eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = bitcast [[CF]]* [[DEST]] to i64* 899eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store atomic i64 [[T1]], i64* [[T2]] seq_cst, align 8 909eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall *fp = f; 919eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 929eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: ret void 939eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall} 949eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 959eda3abe7e183b05834947391c0cdc291f4ee0d8John McCalltypedef struct { short x, y, z, w; } S; 969eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK: define arm_aapcscc void @testStruct([[S:.*]]* 979eda3abe7e183b05834947391c0cdc291f4ee0d8John McCallvoid testStruct(_Atomic(S) *fp) { 989eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK: [[FP:%.*]] = alloca [[S]]*, align 4 999eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[X:%.*]] = alloca [[S]], align 8 1009eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[F:%.*]] = alloca [[S:%.*]], align 2 1019eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[TMP0:%.*]] = alloca [[S]], align 8 1029eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store [[S]]* 1039eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1049eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[P:%.*]] = load [[S]]** [[FP]] 1059eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[S]]* [[P]], i32 0, i32 0 1069eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 1, i16* [[T0]], align 2 1079eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[S]]* [[P]], i32 0, i32 1 1089eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 2, i16* [[T0]], align 2 1099eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[S]]* [[P]], i32 0, i32 2 1109eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 3, i16* [[T0]], align 2 1119eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[S]]* [[P]], i32 0, i32 3 1129eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 4, i16* [[T0]], align 2 1139eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall __c11_atomic_init(fp, (S){1,2,3,4}); 1149eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1159eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[S]]* [[X]], i32 0, i32 0 1169eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 1, i16* [[T0]], align 2 1179eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[S]]* [[X]], i32 0, i32 1 1189eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 2, i16* [[T0]], align 2 1199eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[S]]* [[X]], i32 0, i32 2 1209eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 3, i16* [[T0]], align 2 1219eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[S]]* [[X]], i32 0, i32 3 1229eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 4, i16* [[T0]], align 2 1239eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall _Atomic(S) x = (S){1,2,3,4}; 1249eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1259eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = load [[S]]** [[FP]] 1269eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = bitcast [[S]]* [[T0]] to i64* 1279eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = load atomic i64* [[T1]] seq_cst, align 8 1289eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T3:%.*]] = bitcast [[S]]* [[F]] to i64* 1299eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i64 [[T2]], i64* [[T3]], align 2 1309eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall S f = *fp; 1319eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1329eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = load [[S]]** [[FP]] 1339eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = bitcast [[S]]* [[TMP0]] to i8* 1349eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = bitcast [[S]]* [[F]] to i8* 1359eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* [[T1]], i8* [[T2]], i32 8, i32 2, i1 false) 1369eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T3:%.*]] = bitcast [[S]]* [[TMP0]] to i64* 1379eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T4:%.*]] = load i64* [[T3]], align 8 1389eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T5:%.*]] = bitcast [[S]]* [[T0]] to i64* 1399eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store atomic i64 [[T4]], i64* [[T5]] seq_cst, align 8 1409eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall *fp = f; 1419eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1429eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: ret void 1439eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall} 1449eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1459eda3abe7e183b05834947391c0cdc291f4ee0d8John McCalltypedef struct { short x, y, z; } PS; 1469eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK: define arm_aapcscc void @testPromotedStruct([[APS:.*]]* 1479eda3abe7e183b05834947391c0cdc291f4ee0d8John McCallvoid testPromotedStruct(_Atomic(PS) *fp) { 1489eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK: [[FP:%.*]] = alloca [[APS]]*, align 4 1499eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[X:%.*]] = alloca [[APS]], align 8 1509eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[F:%.*]] = alloca [[PS:%.*]], align 2 1519eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[TMP0:%.*]] = alloca [[APS]], align 8 1529eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[TMP1:%.*]] = alloca [[APS]], align 8 1539eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store [[APS]]* 1549eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1559eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[P:%.*]] = load [[APS]]** [[FP]] 1569eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = bitcast [[APS]]* [[P]] to i8* 1579eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* [[T0]], i8 0, i64 8, i32 8, i1 false) 1589eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[APS]]* [[P]], i32 0, i32 0 1599eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[PS]]* [[T0]], i32 0, i32 0 1609eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 1, i16* [[T1]], align 2 1619eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[PS]]* [[T0]], i32 0, i32 1 1629eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 2, i16* [[T1]], align 2 1639eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[PS]]* [[T0]], i32 0, i32 2 1649eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 3, i16* [[T1]], align 2 1659eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall __c11_atomic_init(fp, (PS){1,2,3}); 1669eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1679eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = bitcast [[APS]]* [[X]] to i8* 168336d9df5e628279425344d754dc68047fa5b00a7Eli Friedman// CHECK-NEXT: call void @llvm.memset.p0i8.i32(i8* [[T0]], i8 0, i32 8, i32 8, i1 false) 1699eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[APS]]* [[X]], i32 0, i32 0 1709eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[PS]]* [[T0]], i32 0, i32 0 1719eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 1, i16* [[T1]], align 2 1729eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[PS]]* [[T0]], i32 0, i32 1 1739eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 2, i16* [[T1]], align 2 1749eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[PS]]* [[T0]], i32 0, i32 2 1759eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store i16 3, i16* [[T1]], align 2 1769eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall _Atomic(PS) x = (PS){1,2,3}; 1779eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1789eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = load [[APS]]** [[FP]] 1799eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = bitcast [[APS]]* [[T0]] to i64* 1809eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = load atomic i64* [[T1]] seq_cst, align 8 1819eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T3:%.*]] = bitcast [[APS]]* [[TMP0]] to i64* 182336d9df5e628279425344d754dc68047fa5b00a7Eli Friedman// CHECK-NEXT: store i64 [[T2]], i64* [[T3]], align 2 1839eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[APS]]* [[TMP0]], i32 0, i32 0 1849eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = bitcast [[PS]]* [[F]] to i8* 1859eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = bitcast [[PS]]* [[T0]] to i8* 1869eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* [[T1]], i8* [[T2]], i32 6, i32 2, i1 false) 1879eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall PS f = *fp; 1889eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 1899eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T0:%.*]] = load [[APS]]** [[FP]] 190336d9df5e628279425344d754dc68047fa5b00a7Eli Friedman// CHECK-NEXT: [[T1:%.*]] = bitcast { %struct.PS, [2 x i8] }* [[TMP1]] to i8* 191336d9df5e628279425344d754dc68047fa5b00a7Eli Friedman// CHECK-NEXT: call void @llvm.memset.p0i8.i32(i8* [[T1]], i8 0, i32 8, i32 8, i1 false) 1929eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[APS]]* [[TMP1]], i32 0, i32 0 1939eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T2:%.*]] = bitcast [[PS]]* [[T1]] to i8* 1949eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T3:%.*]] = bitcast [[PS]]* [[F]] to i8* 1959eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* [[T2]], i8* [[T3]], i32 6, i32 2, i1 false) 1969eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T4:%.*]] = bitcast [[APS]]* [[TMP1]] to i64* 1979eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T5:%.*]] = load i64* [[T4]], align 8 1989eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: [[T6:%.*]] = bitcast [[APS]]* [[T0]] to i64* 1999eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: store atomic i64 [[T5]], i64* [[T6]] seq_cst, align 8 2009eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall *fp = f; 2019eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 2029eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall// CHECK-NEXT: ret void 2039eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall} 2049eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 2059eda3abe7e183b05834947391c0cdc291f4ee0d8John McCallvoid testPromotedStructOps(_Atomic(PS) *p) { 2069eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall PS a = __c11_atomic_load(p, 5); 2079eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall __c11_atomic_store(p, a, 5); 2089eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall PS b = __c11_atomic_exchange(p, a, 5); 2099eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall 2109eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall _Bool v = __c11_atomic_compare_exchange_strong(p, &b, a, 5, 5); 2119eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall v = __c11_atomic_compare_exchange_weak(p, &b, a, 5, 5); 2129eda3abe7e183b05834947391c0cdc291f4ee0d8John McCall} 213