283 lines · c
1// RUN: %clang_cc1 %s -emit-llvm -o - -triple=armv7-apple-ios -std=c11 | FileCheck %s2 3// There isn't really anything special about iOS; it just happens to4// only deploy on processors with native atomics support, so it's a good5// way to test those code-paths.6 7// CHECK-LABEL: define{{.*}} void @testFloat(ptr8void testFloat(_Atomic(float) *fp) {9// CHECK: [[FP:%.*]] = alloca ptr10// CHECK-NEXT: [[X:%.*]] = alloca float11// CHECK-NEXT: [[F:%.*]] = alloca float12// CHECK-NEXT: store ptr {{%.*}}, ptr [[FP]]13 14// CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[FP]]15// CHECK-NEXT: store float 1.000000e+00, ptr [[T0]], align 416 __c11_atomic_init(fp, 1.0f);17 18// CHECK-NEXT: store float 2.000000e+00, ptr [[X]], align 419 _Atomic(float) x = 2.0f;20 21// CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[FP]]22// CHECK-NEXT: [[T2:%.*]] = load atomic float, ptr [[T0]] seq_cst, align 423// CHECK-NEXT: store float [[T2]], ptr [[F]]24 float f = *fp;25 26// CHECK-NEXT: [[T0:%.*]] = load float, ptr [[F]], align 427// CHECK-NEXT: [[T1:%.*]] = load ptr, ptr [[FP]], align 428// CHECK-NEXT: store atomic float [[T0]], ptr [[T1]] seq_cst, align 429 *fp = f;30 31// CHECK-NEXT: ret void32}33 34// CHECK: define{{.*}} void @testComplexFloat(ptr35void testComplexFloat(_Atomic(_Complex float) *fp) {36// CHECK: [[FP:%.*]] = alloca ptr, align 437// CHECK-NEXT: [[X:%.*]] = alloca [[CF:{ float, float }]], align 838// CHECK-NEXT: [[F:%.*]] = alloca [[CF]], align 439// CHECK-NEXT: [[TMP0:%.*]] = alloca [[CF]], align 840// CHECK-NEXT: [[TMP1:%.*]] = alloca [[CF]], align 841// CHECK-NEXT: store ptr42 43// CHECK-NEXT: [[P:%.*]] = load ptr, ptr [[FP]]44// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[P]], i32 0, i32 045// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[P]], i32 0, i32 146// CHECK-NEXT: store float 1.000000e+00, ptr [[T0]]47// CHECK-NEXT: store float 0.000000e+00, ptr [[T1]]48 __c11_atomic_init(fp, 1.0f);49 50// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[X]], i32 0, i32 051// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[X]], i32 0, i32 152// CHECK-NEXT: store float 2.000000e+00, ptr [[T0]]53// CHECK-NEXT: store float 0.000000e+00, ptr [[T1]]54 _Atomic(_Complex float) x = 2.0f;55 56// CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[FP]]57// CHECK-NEXT: [[T2:%.*]] = load atomic i64, ptr [[T0]] seq_cst, align 858// CHECK-NEXT: store i64 [[T2]], ptr [[TMP0]], align 859// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[TMP0]], i32 0, i32 060// CHECK-NEXT: [[R:%.*]] = load float, ptr [[T0]]61// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[TMP0]], i32 0, i32 162// CHECK-NEXT: [[I:%.*]] = load float, ptr [[T0]]63// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[F]], i32 0, i32 064// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[F]], i32 0, i32 165// CHECK-NEXT: store float [[R]], ptr [[T0]]66// CHECK-NEXT: store float [[I]], ptr [[T1]]67 _Complex float f = *fp;68 69// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[F]], i32 0, i32 070// CHECK-NEXT: [[R:%.*]] = load float, ptr [[T0]]71// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[F]], i32 0, i32 172// CHECK-NEXT: [[I:%.*]] = load float, ptr [[T0]]73// CHECK-NEXT: [[DEST:%.*]] = load ptr, ptr [[FP]], align 474// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[TMP1]], i32 0, i32 075// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[CF]], ptr [[TMP1]], i32 0, i32 176// CHECK-NEXT: store float [[R]], ptr [[T0]]77// CHECK-NEXT: store float [[I]], ptr [[T1]]78// CHECK-NEXT: [[T1:%.*]] = load i64, ptr [[TMP1]], align 879// CHECK-NEXT: store atomic i64 [[T1]], ptr [[DEST]] seq_cst, align 880 *fp = f;81 82// CHECK-NEXT: ret void83}84 85typedef struct { short x, y, z, w; } S;86// CHECK: define{{.*}} void @testStruct(ptr87void testStruct(_Atomic(S) *fp) {88// CHECK: [[FP:%.*]] = alloca ptr, align 489// CHECK-NEXT: [[X:%.*]] = alloca [[S:.*]], align 890// CHECK-NEXT: [[F:%.*]] = alloca [[S:%.*]], align 291// CHECK-NEXT: [[TMP0:%.*]] = alloca [[S]], align 892// CHECK-NEXT: store ptr93 94// CHECK-NEXT: [[P:%.*]] = load ptr, ptr [[FP]]95// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[S]], ptr [[P]], i32 0, i32 096// CHECK-NEXT: store i16 1, ptr [[T0]], align 897// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[S]], ptr [[P]], i32 0, i32 198// CHECK-NEXT: store i16 2, ptr [[T0]], align 299// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[S]], ptr [[P]], i32 0, i32 2100// CHECK-NEXT: store i16 3, ptr [[T0]], align 4101// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[S]], ptr [[P]], i32 0, i32 3102// CHECK-NEXT: store i16 4, ptr [[T0]], align 2103 __c11_atomic_init(fp, (S){1,2,3,4});104 105// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[S]], ptr [[X]], i32 0, i32 0106// CHECK-NEXT: store i16 1, ptr [[T0]], align 8107// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[S]], ptr [[X]], i32 0, i32 1108// CHECK-NEXT: store i16 2, ptr [[T0]], align 2109// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[S]], ptr [[X]], i32 0, i32 2110// CHECK-NEXT: store i16 3, ptr [[T0]], align 4111// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[S]], ptr [[X]], i32 0, i32 3112// CHECK-NEXT: store i16 4, ptr [[T0]], align 2113 _Atomic(S) x = (S){1,2,3,4};114 115// CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[FP]]116// CHECK-NEXT: [[T2:%.*]] = load atomic i64, ptr [[T0]] seq_cst, align 8117// CHECK-NEXT: store i64 [[T2]], ptr [[F]], align 2118 S f = *fp;119 120// CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[FP]]121// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 8 [[TMP0]], ptr align 2 [[F]], i32 8, i1 false)122// CHECK-NEXT: [[T4:%.*]] = load i64, ptr [[TMP0]], align 8123// CHECK-NEXT: store atomic i64 [[T4]], ptr [[T0]] seq_cst, align 8124 *fp = f;125 126// CHECK-NEXT: ret void127}128 129typedef struct { short x, y, z; } PS;130// CHECK: define{{.*}} void @testPromotedStruct(ptr131void testPromotedStruct(_Atomic(PS) *fp) {132// CHECK: [[FP:%.*]] = alloca ptr, align 4133// CHECK-NEXT: [[X:%.*]] = alloca [[APS:.*]], align 8134// CHECK-NEXT: [[F:%.*]] = alloca [[PS:%.*]], align 2135// CHECK-NEXT: [[TMP0:%.*]] = alloca [[APS]], align 8136// CHECK-NEXT: [[TMP1:%.*]] = alloca [[APS]], align 8137// CHECK-NEXT: store ptr138 139// CHECK-NEXT: [[P:%.*]] = load ptr, ptr [[FP]]140// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 8 [[P]], i8 0, i64 8, i1 false)141// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[APS]], ptr [[P]], i32 0, i32 0142// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[PS]], ptr [[T0]], i32 0, i32 0143// CHECK-NEXT: store i16 1, ptr [[T1]], align 8144// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[PS]], ptr [[T0]], i32 0, i32 1145// CHECK-NEXT: store i16 2, ptr [[T1]], align 2146// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[PS]], ptr [[T0]], i32 0, i32 2147// CHECK-NEXT: store i16 3, ptr [[T1]], align 4148 __c11_atomic_init(fp, (PS){1,2,3});149 150// CHECK-NEXT: call void @llvm.memset.p0.i32(ptr align 8 [[X]], i8 0, i32 8, i1 false)151// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[APS]], ptr [[X]], i32 0, i32 0152// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[PS]], ptr [[T0]], i32 0, i32 0153// CHECK-NEXT: store i16 1, ptr [[T1]], align 8154// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[PS]], ptr [[T0]], i32 0, i32 1155// CHECK-NEXT: store i16 2, ptr [[T1]], align 2156// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[PS]], ptr [[T0]], i32 0, i32 2157// CHECK-NEXT: store i16 3, ptr [[T1]], align 4158 _Atomic(PS) x = (PS){1,2,3};159 160// CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[FP]]161// CHECK-NEXT: [[T2:%.*]] = load atomic i64, ptr [[T0]] seq_cst, align 8162// CHECK-NEXT: store i64 [[T2]], ptr [[TMP0]], align 8163// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds nuw [[APS]], ptr [[TMP0]], i32 0, i32 0164// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 2 [[F]], ptr align 8 [[T0]], i32 6, i1 false)165 PS f = *fp;166 167// CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[FP]]168// CHECK-NEXT: call void @llvm.memset.p0.i32(ptr align 8 [[TMP1]], i8 0, i32 8, i1 false)169// CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds nuw [[APS]], ptr [[TMP1]], i32 0, i32 0170// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 8 [[T1]], ptr align 2 [[F]], i32 6, i1 false)171// CHECK-NEXT: [[T5:%.*]] = load i64, ptr [[TMP1]], align 8172// CHECK-NEXT: store atomic i64 [[T5]], ptr [[T0]] seq_cst, align 8173 *fp = f;174 175// CHECK-NEXT: ret void176}177 178PS test_promoted_load(_Atomic(PS) *addr) {179 // CHECK-LABEL: @test_promoted_load(ptr dead_on_unwind noalias writable sret(%struct.PS) align 2 %agg.result, ptr noundef %addr)180 // CHECK: [[ADDR_ARG:%.*]] = alloca ptr, align 4181 // CHECK: [[ATOMIC_RES:%.*]] = alloca { %struct.PS, [2 x i8] }, align 8182 // CHECK: store ptr %addr, ptr [[ADDR_ARG]], align 4183 // CHECK: [[ADDR:%.*]] = load ptr, ptr [[ADDR_ARG]], align 4184 // CHECK: [[VAL:%.*]] = load atomic i64, ptr [[ADDR]] seq_cst, align 8185 // CHECK: store i64 [[VAL]], ptr [[ATOMIC_RES]], align 8186 // CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 2 %agg.result, ptr align 8 [[ATOMIC_RES]], i32 6, i1 false)187 188 return __c11_atomic_load(addr, 5);189}190 191void test_promoted_store(_Atomic(PS) *addr, PS *val) {192 // CHECK-LABEL: @test_promoted_store(ptr noundef %addr, ptr noundef %val)193 // CHECK: [[ADDR_ARG:%.*]] = alloca ptr, align 4194 // CHECK: [[VAL_ARG:%.*]] = alloca ptr, align 4195 // CHECK: [[NONATOMIC_TMP:%.*]] = alloca %struct.PS, align 2196 // CHECK: [[ATOMIC_VAL:%.*]] = alloca { %struct.PS, [2 x i8] }, align 8197 // CHECK: store ptr %addr, ptr [[ADDR_ARG]], align 4198 // CHECK: store ptr %val, ptr [[VAL_ARG]], align 4199 // CHECK: [[ADDR:%.*]] = load ptr, ptr [[ADDR_ARG]], align 4200 // CHECK: [[VAL:%.*]] = load ptr, ptr [[VAL_ARG]], align 4201 // CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 2 [[NONATOMIC_TMP]], ptr align 2 [[VAL]], i32 6, i1 false)202 // CHECK: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[ATOMIC_VAL]], ptr align 2 [[NONATOMIC_TMP]], i64 6, i1 false)203 // CHECK: [[VAL64:%.*]] = load i64, ptr [[ATOMIC_VAL]], align 8204 // CHECK: store atomic i64 [[VAL64]], ptr [[ADDR]] seq_cst, align 8205 206 __c11_atomic_store(addr, *val, 5);207}208 209PS test_promoted_exchange(_Atomic(PS) *addr, PS *val) {210 // CHECK-LABEL: @test_promoted_exchange(ptr dead_on_unwind noalias writable sret(%struct.PS) align 2 %agg.result, ptr noundef %addr, ptr noundef %val)211 // CHECK: [[ADDR_ARG:%.*]] = alloca ptr, align 4212 // CHECK: [[VAL_ARG:%.*]] = alloca ptr, align 4213 // CHECK: [[NONATOMIC_TMP:%.*]] = alloca %struct.PS, align 2214 // CHECK: [[ATOMIC_VAL:%.*]] = alloca { %struct.PS, [2 x i8] }, align 8215 // CHECK: [[ATOMIC_RES:%.*]] = alloca { %struct.PS, [2 x i8] }, align 8216 // CHECK: store ptr %addr, ptr [[ADDR_ARG]], align 4217 // CHECK: store ptr %val, ptr [[VAL_ARG]], align 4218 // CHECK: [[ADDR:%.*]] = load ptr, ptr [[ADDR_ARG]], align 4219 // CHECK: [[VAL:%.*]] = load ptr, ptr [[VAL_ARG]], align 4220 // CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 2 [[NONATOMIC_TMP]], ptr align 2 [[VAL]], i32 6, i1 false)221 // CHECK: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[ATOMIC_VAL]], ptr align 2 [[NONATOMIC_TMP]], i64 6, i1 false)222 // CHECK: [[VAL64:%.*]] = load i64, ptr [[ATOMIC_VAL]], align 8223 // CHECK: [[RES:%.*]] = atomicrmw xchg ptr [[ADDR]], i64 [[VAL64]] seq_cst, align 8224 // CHECK: store i64 [[RES]], ptr [[ATOMIC_RES]], align 8225 // CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 2 %agg.result, ptr align 8 [[ATOMIC_RES]], i32 6, i1 false)226 return __c11_atomic_exchange(addr, *val, 5);227}228 229_Bool test_promoted_cmpxchg(_Atomic(PS) *addr, PS *desired, PS *new) {230 // CHECK: define{{.*}} zeroext i1 @test_promoted_cmpxchg(ptr noundef %addr, ptr noundef %desired, ptr noundef %new) #0 {231 // CHECK: [[ADDR_ARG:%.*]] = alloca ptr, align 4232 // CHECK: [[DESIRED_ARG:%.*]] = alloca ptr, align 4233 // CHECK: [[NEW_ARG:%.*]] = alloca ptr, align 4234 // CHECK: [[NONATOMIC_TMP:%.*]] = alloca %struct.PS, align 2235 // CHECK: [[ATOMIC_DESIRED:%.*]] = alloca { %struct.PS, [2 x i8] }, align 8236 // CHECK: [[ATOMIC_NEW:%.*]] = alloca { %struct.PS, [2 x i8] }, align 8237 // CHECK: [[RES_ADDR:%.*]] = alloca i8, align 1238 // CHECK: [[OLD_TMP:%.*]] = alloca i64, align 8239 // CHECK: store ptr %addr, ptr [[ADDR_ARG]], align 4240 // CHECK: store ptr %desired, ptr [[DESIRED_ARG]], align 4241 // CHECK: store ptr %new, ptr [[NEW_ARG]], align 4242 // CHECK: [[ADDR:%.*]] = load ptr, ptr [[ADDR_ARG]], align 4243 // CHECK: [[DESIRED:%.*]] = load ptr, ptr [[DESIRED_ARG]], align 4244 // CHECK: [[NEW:%.*]] = load ptr, ptr [[NEW_ARG]], align 4245 // CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 2 [[NONATOMIC_TMP]], ptr align 2 [[NEW]], i32 6, i1 false)246 // CHECK: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[ATOMIC_DESIRED:%.*]], ptr align 2 [[DESIRED]], i64 6, i1 false)247 // CHECK: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[ATOMIC_NEW]], ptr align 2 [[NONATOMIC_TMP]], i64 6, i1 false)248 // CHECK: [[ATOMIC_DESIRED_VAL64:%.*]] = load i64, ptr [[ATOMIC_DESIRED:%.*]], align 8249 // CHECK: [[ATOMIC_NEW_VAL64:%.*]] = load i64, ptr [[ATOMIC_NEW]], align 8250 // CHECK: [[RES:%.*]] = cmpxchg ptr [[ADDR]], i64 [[ATOMIC_DESIRED_VAL64]], i64 [[ATOMIC_NEW_VAL64]] seq_cst seq_cst, align 8251 // CHECK: [[RES_VAL64:%.*]] = extractvalue { i64, i1 } [[RES]], 0252 // CHECK: [[RES_BOOL:%.*]] = extractvalue { i64, i1 } [[RES]], 1253 // CHECK: br i1 [[RES_BOOL]], label {{%.*}}, label {{%.*}}254 255 // CHECK: store i64 [[RES_VAL64]], ptr [[OLD_TMP]], align 8256 // CHECK: call void @llvm.memcpy.p0.p0.i64(ptr align 2 [[DESIRED_ARG:%.*]], ptr align 8 [[OLD_TMP]], i64 6, i1 false)257 // CHECK: br label {{%.*}}258 259 // CHECK: [[RES_BOOL8:%.*]] = zext i1 [[RES_BOOL]] to i8260 // CHECK: store i8 [[RES_BOOL8]], ptr [[RES_ADDR]], align 1261 // CHECK: [[RES_BOOL8:%.*]] = load i8, ptr [[RES_ADDR]], align 1262 // CHECK: [[RETVAL:%.*]] = trunc i8 [[RES_BOOL8]] to i1263 // CHECK: ret i1 [[RETVAL]]264 265 return __c11_atomic_compare_exchange_strong(addr, desired, *new, 5, 5);266}267 268struct Empty {};269 270struct Empty testEmptyStructLoad(_Atomic(struct Empty)* empty) {271 // CHECK-LABEL: @testEmptyStructLoad(272 // CHECK-NOT: @__atomic_load273 // CHECK: load atomic i8, ptr %{{.*}} seq_cst, align 1274 return *empty;275}276 277void testEmptyStructStore(_Atomic(struct Empty)* empty, struct Empty value) {278 // CHECK-LABEL: @testEmptyStructStore(279 // CHECK-NOT: @__atomic_store280 // CHECK: store atomic i8 %{{.*}}, ptr %{{.*}} seq_cst, align 1281 *empty = value;282}283