1 // RUN: %clang_cc1 %s -emit-llvm -o - -triple=i686-apple-darwin9 | FileCheck %s 2 3 // Also test serialization of atomic operations here, to avoid duplicating the 4 // test. 5 // RUN: %clang_cc1 %s -emit-pch -o %t -triple=i686-apple-darwin9 6 // RUN: %clang_cc1 %s -include-pch %t -triple=i686-apple-darwin9 -emit-llvm -o - | FileCheck %s 7 #ifndef ALREADY_INCLUDED 8 #define ALREADY_INCLUDED 9 10 // Basic IRGen tests for __c11_atomic_* and GNU __atomic_* 11 12 typedef enum memory_order { 13 memory_order_relaxed, memory_order_consume, memory_order_acquire, 14 memory_order_release, memory_order_acq_rel, memory_order_seq_cst 15 } memory_order; 16 17 int fi1(_Atomic(int) *i) { 18 // CHECK-LABEL: @fi1 19 // CHECK: load atomic i32* {{.*}} seq_cst 20 return __c11_atomic_load(i, memory_order_seq_cst); 21 } 22 23 int fi1a(int *i) { 24 // CHECK-LABEL: @fi1a 25 // CHECK: load atomic i32* {{.*}} seq_cst 26 int v; 27 __atomic_load(i, &v, memory_order_seq_cst); 28 return v; 29 } 30 31 int fi1b(int *i) { 32 // CHECK-LABEL: @fi1b 33 // CHECK: load atomic i32* {{.*}} seq_cst 34 return __atomic_load_n(i, memory_order_seq_cst); 35 } 36 37 void fi2(_Atomic(int) *i) { 38 // CHECK-LABEL: @fi2 39 // CHECK: store atomic i32 {{.*}} seq_cst 40 __c11_atomic_store(i, 1, memory_order_seq_cst); 41 } 42 43 void fi2a(int *i) { 44 // CHECK-LABEL: @fi2a 45 // CHECK: store atomic i32 {{.*}} seq_cst 46 int v = 1; 47 __atomic_store(i, &v, memory_order_seq_cst); 48 } 49 50 void fi2b(int *i) { 51 // CHECK-LABEL: @fi2b 52 // CHECK: store atomic i32 {{.*}} seq_cst 53 __atomic_store_n(i, 1, memory_order_seq_cst); 54 } 55 56 int fi3(_Atomic(int) *i) { 57 // CHECK-LABEL: @fi3 58 // CHECK: atomicrmw and 59 // CHECK-NOT: and 60 return __c11_atomic_fetch_and(i, 1, memory_order_seq_cst); 61 } 62 63 int fi3a(int *i) { 64 // CHECK-LABEL: @fi3a 65 // CHECK: atomicrmw xor 66 // CHECK-NOT: xor 67 return __atomic_fetch_xor(i, 1, memory_order_seq_cst); 68 } 69 70 int fi3b(int *i) { 71 // CHECK-LABEL: @fi3b 72 // CHECK: atomicrmw add 73 // CHECK: add 74 return __atomic_add_fetch(i, 1, memory_order_seq_cst); 75 } 76 77 int fi3c(int *i) { 78 // CHECK-LABEL: @fi3c 79 // CHECK: atomicrmw nand 80 // CHECK-NOT: and 81 return __atomic_fetch_nand(i, 1, memory_order_seq_cst); 82 } 83 84 int fi3d(int *i) { 85 // CHECK-LABEL: @fi3d 86 // CHECK: atomicrmw nand 87 // CHECK: and 88 // CHECK: xor 89 return __atomic_nand_fetch(i, 1, memory_order_seq_cst); 90 } 91 92 _Bool fi4(_Atomic(int) *i) { 93 // CHECK-LABEL: @fi4 94 // CHECK: [[PAIR:%[.0-9A-Z_a-z]+]] = cmpxchg i32* [[PTR:%[.0-9A-Z_a-z]+]], i32 [[EXPECTED:%[.0-9A-Z_a-z]+]], i32 [[DESIRED:%[.0-9A-Z_a-z]+]] 95 // CHECK: [[OLD:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 0 96 // CHECK: [[CMP:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 1 97 // CHECK: br i1 [[CMP]], label %[[STORE_EXPECTED:[.0-9A-Z_a-z]+]], label %[[CONTINUE:[.0-9A-Z_a-z]+]] 98 // CHECK: store i32 [[OLD]] 99 int cmp = 0; 100 return __c11_atomic_compare_exchange_strong(i, &cmp, 1, memory_order_acquire, memory_order_acquire); 101 } 102 103 _Bool fi4a(int *i) { 104 // CHECK-LABEL: @fi4 105 // CHECK: [[PAIR:%[.0-9A-Z_a-z]+]] = cmpxchg i32* [[PTR:%[.0-9A-Z_a-z]+]], i32 [[EXPECTED:%[.0-9A-Z_a-z]+]], i32 [[DESIRED:%[.0-9A-Z_a-z]+]] 106 // CHECK: [[OLD:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 0 107 // CHECK: [[CMP:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 1 108 // CHECK: br i1 [[CMP]], label %[[STORE_EXPECTED:[.0-9A-Z_a-z]+]], label %[[CONTINUE:[.0-9A-Z_a-z]+]] 109 // CHECK: store i32 [[OLD]] 110 int cmp = 0; 111 int desired = 1; 112 return __atomic_compare_exchange(i, &cmp, &desired, 0, memory_order_acquire, memory_order_acquire); 113 } 114 115 _Bool fi4b(int *i) { 116 // CHECK-LABEL: @fi4 117 // CHECK: [[PAIR:%[.0-9A-Z_a-z]+]] = cmpxchg weak i32* [[PTR:%[.0-9A-Z_a-z]+]], i32 [[EXPECTED:%[.0-9A-Z_a-z]+]], i32 [[DESIRED:%[.0-9A-Z_a-z]+]] 118 // CHECK: [[OLD:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 0 119 // CHECK: [[CMP:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 1 120 // CHECK: br i1 [[CMP]], label %[[STORE_EXPECTED:[.0-9A-Z_a-z]+]], label %[[CONTINUE:[.0-9A-Z_a-z]+]] 121 // CHECK: store i32 [[OLD]] 122 int cmp = 0; 123 return __atomic_compare_exchange_n(i, &cmp, 1, 1, memory_order_acquire, memory_order_acquire); 124 } 125 126 float ff1(_Atomic(float) *d) { 127 // CHECK-LABEL: @ff1 128 // CHECK: load atomic i32* {{.*}} monotonic 129 return __c11_atomic_load(d, memory_order_relaxed); 130 } 131 132 void ff2(_Atomic(float) *d) { 133 // CHECK-LABEL: @ff2 134 // CHECK: store atomic i32 {{.*}} release 135 __c11_atomic_store(d, 1, memory_order_release); 136 } 137 138 float ff3(_Atomic(float) *d) { 139 return __c11_atomic_exchange(d, 2, memory_order_seq_cst); 140 } 141 142 struct S { 143 double x; 144 }; 145 146 struct S fd1(struct S *a) { 147 // CHECK-LABEL: @fd1 148 // CHECK: [[RETVAL:%.*]] = alloca %struct.S, align 4 149 // CHECK: [[RET:%.*]] = alloca %struct.S, align 4 150 // CHECK: [[CALL:%.*]] = call i64 @__atomic_load_8( 151 // CHECK: [[CAST:%.*]] = bitcast %struct.S* [[RET]] to i64* 152 // CHECK: store i64 [[CALL]], i64* [[CAST]], align 4 153 struct S ret; 154 __atomic_load(a, &ret, memory_order_seq_cst); 155 return ret; 156 } 157 158 void fd2(struct S *a, struct S *b) { 159 // CHECK-LABEL: @fd2 160 // CHECK: [[A_ADDR:%.*]] = alloca %struct.S*, align 4 161 // CHECK-NEXT: [[B_ADDR:%.*]] = alloca %struct.S*, align 4 162 // CHECK-NEXT: store %struct.S* %a, %struct.S** [[A_ADDR]], align 4 163 // CHECK-NEXT: store %struct.S* %b, %struct.S** [[B_ADDR]], align 4 164 // CHECK-NEXT: [[LOAD_A_PTR:%.*]] = load %struct.S** [[A_ADDR]], align 4 165 // CHECK-NEXT: [[LOAD_B_PTR:%.*]] = load %struct.S** [[B_ADDR]], align 4 166 // CHECK-NEXT: [[COERCED_A:%.*]] = bitcast %struct.S* [[LOAD_A_PTR]] to i8* 167 // CHECK-NEXT: [[COERCED_B:%.*]] = bitcast %struct.S* [[LOAD_B_PTR]] to i64* 168 // CHECK-NEXT: [[LOAD_B:%.*]] = load i64* [[COERCED_B]], align 4 169 // CHECK-NEXT: call void @__atomic_store_8(i8* [[COERCED_A]], i64 [[LOAD_B]], 170 // CHECK-NEXT: ret void 171 __atomic_store(a, b, memory_order_seq_cst); 172 } 173 174 void fd3(struct S *a, struct S *b, struct S *c) { 175 // CHECK-LABEL: @fd3 176 // CHECK: [[A_ADDR:%.*]] = alloca %struct.S*, align 4 177 // CHECK-NEXT: [[B_ADDR:%.*]] = alloca %struct.S*, align 4 178 // CHECK-NEXT: [[C_ADDR:%.*]] = alloca %struct.S*, align 4 179 // CHECK-NEXT: store %struct.S* %a, %struct.S** [[A_ADDR]], align 4 180 // CHECK-NEXT: store %struct.S* %b, %struct.S** [[B_ADDR]], align 4 181 // CHECK-NEXT: store %struct.S* %c, %struct.S** [[C_ADDR]], align 4 182 // CHECK-NEXT: [[LOAD_A_PTR:%.*]] = load %struct.S** [[A_ADDR]], align 4 183 // CHECK-NEXT: [[LOAD_B_PTR:%.*]] = load %struct.S** [[B_ADDR]], align 4 184 // CHECK-NEXT: [[LOAD_C_PTR:%.*]] = load %struct.S** [[C_ADDR]], align 4 185 // CHECK-NEXT: [[COERCED_A:%.*]] = bitcast %struct.S* [[LOAD_A_PTR]] to i8* 186 // CHECK-NEXT: [[COERCED_B:%.*]] = bitcast %struct.S* [[LOAD_B_PTR]] to i64* 187 // CHECK-NEXT: [[LOAD_B:%.*]] = load i64* [[COERCED_B]], align 4 188 // CHECK-NEXT: [[CALL:%.*]] = call i64 @__atomic_exchange_8(i8* [[COERCED_A]], i64 [[LOAD_B]], 189 // CHECK-NEXT: [[COERCED_C:%.*]] = bitcast %struct.S* [[LOAD_C_PTR]] to i64* 190 // CHECK-NEXT: store i64 [[CALL]], i64* [[COERCED_C]], align 4 191 192 __atomic_exchange(a, b, c, memory_order_seq_cst); 193 } 194 195 _Bool fd4(struct S *a, struct S *b, struct S *c) { 196 // CHECK-LABEL: @fd4 197 // CHECK: [[A_ADDR:%.*]] = alloca %struct.S*, align 4 198 // CHECK-NEXT: [[B_ADDR:%.*]] = alloca %struct.S*, align 4 199 // CHECK-NEXT: [[C_ADDR:%.*]] = alloca %struct.S*, align 4 200 // CHECK: store %struct.S* %a, %struct.S** [[A_ADDR]], align 4 201 // CHECK-NEXT: store %struct.S* %b, %struct.S** [[B_ADDR]], align 4 202 // CHECK-NEXT: store %struct.S* %c, %struct.S** [[C_ADDR]], align 4 203 // CHECK-NEXT: [[LOAD_A_PTR:%.*]] = load %struct.S** [[A_ADDR]], align 4 204 // CHECK-NEXT: [[LOAD_B_PTR:%.*]] = load %struct.S** [[B_ADDR]], align 4 205 // CHECK-NEXT: [[LOAD_C_PTR:%.*]] = load %struct.S** [[C_ADDR]], align 4 206 // CHECK-NEXT: [[COERCED_A:%.*]] = bitcast %struct.S* [[LOAD_A_PTR]] to i8* 207 // CHECK-NEXT: [[COERCED_B:%.*]] = bitcast %struct.S* [[LOAD_B_PTR]] to i8* 208 // CHECK-NEXT: [[COERCED_C:%.*]] = bitcast %struct.S* [[LOAD_C_PTR]] to i64* 209 // CHECK-NEXT: [[LOAD_C:%.*]] = load i64* [[COERCED_C]], align 4 210 // CHECK-NEXT: [[CALL:%.*]] = call zeroext i1 @__atomic_compare_exchange_8(i8* [[COERCED_A]], i8* [[COERCED_B]], i64 [[LOAD_C]] 211 // CHECK-NEXT: ret i1 [[CALL]] 212 return __atomic_compare_exchange(a, b, c, 1, 5, 5); 213 } 214 215 int* fp1(_Atomic(int*) *p) { 216 // CHECK-LABEL: @fp1 217 // CHECK: load atomic i32* {{.*}} seq_cst 218 return __c11_atomic_load(p, memory_order_seq_cst); 219 } 220 221 int* fp2(_Atomic(int*) *p) { 222 // CHECK-LABEL: @fp2 223 // CHECK: store i32 4 224 // CHECK: atomicrmw add {{.*}} monotonic 225 return __c11_atomic_fetch_add(p, 1, memory_order_relaxed); 226 } 227 228 int *fp2a(int **p) { 229 // CHECK-LABEL: @fp2a 230 // CHECK: store i32 4 231 // CHECK: atomicrmw sub {{.*}} monotonic 232 // Note, the GNU builtins do not multiply by sizeof(T)! 233 return __atomic_fetch_sub(p, 4, memory_order_relaxed); 234 } 235 236 _Complex float fc(_Atomic(_Complex float) *c) { 237 // CHECK-LABEL: @fc 238 // CHECK: atomicrmw xchg i64* 239 return __c11_atomic_exchange(c, 2, memory_order_seq_cst); 240 } 241 242 typedef struct X { int x; } X; 243 X fs(_Atomic(X) *c) { 244 // CHECK-LABEL: @fs 245 // CHECK: atomicrmw xchg i32* 246 return __c11_atomic_exchange(c, (X){2}, memory_order_seq_cst); 247 } 248 249 X fsa(X *c, X *d) { 250 // CHECK-LABEL: @fsa 251 // CHECK: atomicrmw xchg i32* 252 X ret; 253 __atomic_exchange(c, d, &ret, memory_order_seq_cst); 254 return ret; 255 } 256 257 _Bool fsb(_Bool *c) { 258 // CHECK-LABEL: @fsb 259 // CHECK: atomicrmw xchg i8* 260 return __atomic_exchange_n(c, 1, memory_order_seq_cst); 261 } 262 263 char flag1; 264 volatile char flag2; 265 void test_and_set() { 266 // CHECK: atomicrmw xchg i8* @flag1, i8 1 seq_cst 267 __atomic_test_and_set(&flag1, memory_order_seq_cst); 268 // CHECK: atomicrmw volatile xchg i8* @flag2, i8 1 acquire 269 __atomic_test_and_set(&flag2, memory_order_acquire); 270 // CHECK: store atomic volatile i8 0, i8* @flag2 release 271 __atomic_clear(&flag2, memory_order_release); 272 // CHECK: store atomic i8 0, i8* @flag1 seq_cst 273 __atomic_clear(&flag1, memory_order_seq_cst); 274 } 275 276 struct Sixteen { 277 char c[16]; 278 } sixteen; 279 struct Seventeen { 280 char c[17]; 281 } seventeen; 282 283 int lock_free(struct Incomplete *incomplete) { 284 // CHECK-LABEL: @lock_free 285 286 // CHECK: call i32 @__atomic_is_lock_free(i32 3, i8* null) 287 __c11_atomic_is_lock_free(3); 288 289 // CHECK: call i32 @__atomic_is_lock_free(i32 16, i8* {{.*}}@sixteen{{.*}}) 290 __atomic_is_lock_free(16, &sixteen); 291 292 // CHECK: call i32 @__atomic_is_lock_free(i32 17, i8* {{.*}}@seventeen{{.*}}) 293 __atomic_is_lock_free(17, &seventeen); 294 295 // CHECK: call i32 @__atomic_is_lock_free(i32 4, {{.*}}) 296 __atomic_is_lock_free(4, incomplete); 297 298 char cs[20]; 299 // CHECK: call i32 @__atomic_is_lock_free(i32 4, {{.*}}) 300 __atomic_is_lock_free(4, cs+1); 301 302 // CHECK-NOT: call 303 __atomic_always_lock_free(3, 0); 304 __atomic_always_lock_free(16, 0); 305 __atomic_always_lock_free(17, 0); 306 __atomic_always_lock_free(16, &sixteen); 307 __atomic_always_lock_free(17, &seventeen); 308 309 int n; 310 __atomic_is_lock_free(4, &n); 311 312 // CHECK: ret i32 1 313 return __c11_atomic_is_lock_free(sizeof(_Atomic(int))); 314 } 315 316 // Tests for atomic operations on big values. These should call the functions 317 // defined here: 318 // http://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary#The_Library_interface 319 320 struct foo { 321 int big[128]; 322 }; 323 struct bar { 324 char c[3]; 325 }; 326 327 struct bar smallThing, thing1, thing2; 328 struct foo bigThing; 329 _Atomic(struct foo) bigAtomic; 330 331 void structAtomicStore() { 332 // CHECK-LABEL: @structAtomicStore 333 struct foo f = {0}; 334 struct bar b = {0}; 335 __atomic_store(&smallThing, &b, 5); 336 // CHECK: call void @__atomic_store(i32 3, i8* {{.*}} @smallThing 337 338 __atomic_store(&bigThing, &f, 5); 339 // CHECK: call void @__atomic_store(i32 512, i8* {{.*}} @bigThing 340 } 341 void structAtomicLoad() { 342 // CHECK-LABEL: @structAtomicLoad 343 struct bar b; 344 __atomic_load(&smallThing, &b, 5); 345 // CHECK: call void @__atomic_load(i32 3, i8* {{.*}} @smallThing 346 347 struct foo f = {0}; 348 __atomic_load(&bigThing, &f, 5); 349 // CHECK: call void @__atomic_load(i32 512, i8* {{.*}} @bigThing 350 } 351 struct foo structAtomicExchange() { 352 // CHECK-LABEL: @structAtomicExchange 353 struct foo f = {0}; 354 struct foo old; 355 __atomic_exchange(&f, &bigThing, &old, 5); 356 // CHECK: call void @__atomic_exchange(i32 512, {{.*}}, i8* bitcast ({{.*}} @bigThing to i8*), 357 358 return __c11_atomic_exchange(&bigAtomic, f, 5); 359 // CHECK: call void @__atomic_exchange(i32 512, i8* bitcast ({{.*}} @bigAtomic to i8*), 360 } 361 int structAtomicCmpExchange() { 362 // CHECK-LABEL: @structAtomicCmpExchange 363 _Bool x = __atomic_compare_exchange(&smallThing, &thing1, &thing2, 1, 5, 5); 364 // CHECK: call zeroext i1 @__atomic_compare_exchange(i32 3, {{.*}} @smallThing{{.*}} @thing1{{.*}} @thing2 365 366 struct foo f = {0}; 367 struct foo g = {0}; 368 g.big[12] = 12; 369 return x & __c11_atomic_compare_exchange_strong(&bigAtomic, &f, g, 5, 5); 370 // CHECK: call zeroext i1 @__atomic_compare_exchange(i32 512, i8* bitcast ({{.*}} @bigAtomic to i8*), 371 } 372 373 // Check that no atomic operations are used in any initialisation of _Atomic 374 // types. 375 _Atomic(int) atomic_init_i = 42; 376 377 // CHECK-LABEL: @atomic_init_foo 378 void atomic_init_foo() 379 { 380 // CHECK-NOT: } 381 // CHECK-NOT: atomic 382 // CHECK: store 383 _Atomic(int) j = 12; 384 385 // CHECK-NOT: } 386 // CHECK-NOT: atomic 387 // CHECK: store 388 __c11_atomic_init(&j, 42); 389 390 // CHECK-NOT: atomic 391 // CHECK: } 392 } 393 394 // CHECK-LABEL: @failureOrder 395 void failureOrder(_Atomic(int) *ptr, int *ptr2) { 396 __c11_atomic_compare_exchange_strong(ptr, ptr2, 43, memory_order_acquire, memory_order_relaxed); 397 // CHECK: cmpxchg i32* {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z_.]+}} acquire monotonic 398 399 __c11_atomic_compare_exchange_weak(ptr, ptr2, 43, memory_order_seq_cst, memory_order_acquire); 400 // CHECK: cmpxchg weak i32* {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z_.]+}} seq_cst acquire 401 402 // Unknown ordering: conservatively pick strongest valid option (for now!). 403 __atomic_compare_exchange(ptr2, ptr2, ptr2, 0, memory_order_acq_rel, *ptr2); 404 // CHECK: cmpxchg i32* {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z_.]+}} acq_rel acquire 405 406 // Undefined behaviour: don't really care what that last ordering is so leave 407 // it out: 408 __atomic_compare_exchange_n(ptr2, ptr2, 43, 1, memory_order_seq_cst, 42); 409 // CHECK: cmpxchg weak i32* {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z_.]+}} seq_cst 410 } 411 412 // CHECK-LABEL: @generalFailureOrder 413 void generalFailureOrder(_Atomic(int) *ptr, int *ptr2, int success, int fail) { 414 __c11_atomic_compare_exchange_strong(ptr, ptr2, 42, success, fail); 415 // CHECK: switch i32 {{.*}}, label %[[MONOTONIC:[0-9a-zA-Z._]+]] [ 416 // CHECK-NEXT: i32 1, label %[[ACQUIRE:[0-9a-zA-Z._]+]] 417 // CHECK-NEXT: i32 2, label %[[ACQUIRE]] 418 // CHECK-NEXT: i32 3, label %[[RELEASE:[0-9a-zA-Z._]+]] 419 // CHECK-NEXT: i32 4, label %[[ACQREL:[0-9a-zA-Z._]+]] 420 // CHECK-NEXT: i32 5, label %[[SEQCST:[0-9a-zA-Z._]+]] 421 422 // CHECK: [[MONOTONIC]] 423 // CHECK: switch {{.*}}, label %[[MONOTONIC_MONOTONIC:[0-9a-zA-Z._]+]] [ 424 // CHECK-NEXT: ] 425 426 // CHECK: [[ACQUIRE]] 427 // CHECK: switch {{.*}}, label %[[ACQUIRE_MONOTONIC:[0-9a-zA-Z._]+]] [ 428 // CHECK-NEXT: i32 1, label %[[ACQUIRE_ACQUIRE:[0-9a-zA-Z._]+]] 429 // CHECK-NEXT: i32 2, label %[[ACQUIRE_ACQUIRE:[0-9a-zA-Z._]+]] 430 // CHECK-NEXT: ] 431 432 // CHECK: [[RELEASE]] 433 // CHECK: switch {{.*}}, label %[[RELEASE_MONOTONIC:[0-9a-zA-Z._]+]] [ 434 // CHECK-NEXT: ] 435 436 // CHECK: [[ACQREL]] 437 // CHECK: switch {{.*}}, label %[[ACQREL_MONOTONIC:[0-9a-zA-Z._]+]] [ 438 // CHECK-NEXT: i32 1, label %[[ACQREL_ACQUIRE:[0-9a-zA-Z._]+]] 439 // CHECK-NEXT: i32 2, label %[[ACQREL_ACQUIRE:[0-9a-zA-Z._]+]] 440 // CHECK-NEXT: ] 441 442 // CHECK: [[SEQCST]] 443 // CHECK: switch {{.*}}, label %[[SEQCST_MONOTONIC:[0-9a-zA-Z._]+]] [ 444 // CHECK-NEXT: i32 1, label %[[SEQCST_ACQUIRE:[0-9a-zA-Z._]+]] 445 // CHECK-NEXT: i32 2, label %[[SEQCST_ACQUIRE:[0-9a-zA-Z._]+]] 446 // CHECK-NEXT: i32 5, label %[[SEQCST_SEQCST:[0-9a-zA-Z._]+]] 447 // CHECK-NEXT: ] 448 449 // CHECK: [[MONOTONIC_MONOTONIC]] 450 // CHECK: cmpxchg {{.*}} monotonic monotonic 451 // CHECK: br 452 453 // CHECK: [[ACQUIRE_MONOTONIC]] 454 // CHECK: cmpxchg {{.*}} acquire monotonic 455 // CHECK: br 456 457 // CHECK: [[ACQUIRE_ACQUIRE]] 458 // CHECK: cmpxchg {{.*}} acquire acquire 459 // CHECK: br 460 461 // CHECK: [[ACQREL_MONOTONIC]] 462 // CHECK: cmpxchg {{.*}} acq_rel monotonic 463 // CHECK: br 464 465 // CHECK: [[ACQREL_ACQUIRE]] 466 // CHECK: cmpxchg {{.*}} acq_rel acquire 467 // CHECK: br 468 469 // CHECK: [[SEQCST_MONOTONIC]] 470 // CHECK: cmpxchg {{.*}} seq_cst monotonic 471 // CHECK: br 472 473 // CHECK: [[SEQCST_ACQUIRE]] 474 // CHECK: cmpxchg {{.*}} seq_cst acquire 475 // CHECK: br 476 477 // CHECK: [[SEQCST_SEQCST]] 478 // CHECK: cmpxchg {{.*}} seq_cst seq_cst 479 // CHECK: br 480 } 481 482 void generalWeakness(int *ptr, int *ptr2, _Bool weak) { 483 __atomic_compare_exchange_n(ptr, ptr2, 42, weak, memory_order_seq_cst, memory_order_seq_cst); 484 // CHECK: switch i1 {{.*}}, label %[[WEAK:[0-9a-zA-Z._]+]] [ 485 // CHECK-NEXT: i1 false, label %[[STRONG:[0-9a-zA-Z._]+]] 486 487 // CHECK: [[STRONG]] 488 // CHECK-NOT: br 489 // CHECK: cmpxchg {{.*}} seq_cst seq_cst 490 // CHECK: br 491 492 // CHECK: [[WEAK]] 493 // CHECK-NOT: br 494 // CHECK: cmpxchg weak {{.*}} seq_cst seq_cst 495 // CHECK: br 496 } 497 498 // Having checked the flow in the previous two cases, we'll trust clang to 499 // combine them sanely. 500 void EMIT_ALL_THE_THINGS(int *ptr, int *ptr2, int new, _Bool weak, int success, int fail) { 501 __atomic_compare_exchange(ptr, ptr2, &new, weak, success, fail); 502 503 // CHECK: = cmpxchg {{.*}} monotonic monotonic 504 // CHECK: = cmpxchg weak {{.*}} monotonic monotonic 505 // CHECK: = cmpxchg {{.*}} acquire monotonic 506 // CHECK: = cmpxchg {{.*}} acquire acquire 507 // CHECK: = cmpxchg weak {{.*}} acquire monotonic 508 // CHECK: = cmpxchg weak {{.*}} acquire acquire 509 // CHECK: = cmpxchg {{.*}} release monotonic 510 // CHECK: = cmpxchg weak {{.*}} release monotonic 511 // CHECK: = cmpxchg {{.*}} acq_rel monotonic 512 // CHECK: = cmpxchg {{.*}} acq_rel acquire 513 // CHECK: = cmpxchg weak {{.*}} acq_rel monotonic 514 // CHECK: = cmpxchg weak {{.*}} acq_rel acquire 515 // CHECK: = cmpxchg {{.*}} seq_cst monotonic 516 // CHECK: = cmpxchg {{.*}} seq_cst acquire 517 // CHECK: = cmpxchg {{.*}} seq_cst seq_cst 518 // CHECK: = cmpxchg weak {{.*}} seq_cst monotonic 519 // CHECK: = cmpxchg weak {{.*}} seq_cst acquire 520 // CHECK: = cmpxchg weak {{.*}} seq_cst seq_cst 521 } 522 523 #endif 524