blob: a3608de6e0838def86838bf70d171a45c7ee18d8 [file] [log] [blame]
Eli Friedman276b0612011-10-11 02:20:01 +00001// RUN: %clang_cc1 %s -emit-llvm -o - -triple=i686-apple-darwin9 | FileCheck %s
2
3// Basic IRGen tests for __atomic_*
4
5// FIXME: Need to implement __atomic_is_lock_free
6
7typedef enum memory_order {
8 memory_order_relaxed, memory_order_consume, memory_order_acquire,
9 memory_order_release, memory_order_acq_rel, memory_order_seq_cst
10} memory_order;
11
12int fi1(_Atomic(int) *i) {
13 // CHECK: @fi1
14 // CHECK: load atomic i32* {{.*}} seq_cst
15 return __atomic_load(i, memory_order_seq_cst);
16}
17
18void fi2(_Atomic(int) *i) {
19 // CHECK: @fi2
20 // CHECK: store atomic i32 {{.*}} seq_cst
21 __atomic_store(i, 1, memory_order_seq_cst);
22}
23
24void fi3(_Atomic(int) *i) {
25 // CHECK: @fi3
26 // CHECK: atomicrmw and
27 __atomic_fetch_and(i, 1, memory_order_seq_cst);
28}
29
30void fi4(_Atomic(int) *i) {
31 // CHECK: @fi4
32 // CHECK: cmpxchg i32*
33 int cmp = 0;
34 __atomic_compare_exchange_strong(i, &cmp, 1, memory_order_acquire, memory_order_acquire);
35}
36
37float ff1(_Atomic(float) *d) {
38 // CHECK: @ff1
39 // CHECK: load atomic i32* {{.*}} monotonic
40 return __atomic_load(d, memory_order_relaxed);
41}
42
43void ff2(_Atomic(float) *d) {
44 // CHECK: @ff2
45 // CHECK: store atomic i32 {{.*}} release
46 __atomic_store(d, 1, memory_order_release);
47}
48
49float ff3(_Atomic(float) *d) {
50 return __atomic_exchange(d, 2, memory_order_seq_cst);
51}
52
53int* fp1(_Atomic(int*) *p) {
54 // CHECK: @fp1
55 // CHECK: load atomic i32* {{.*}} seq_cst
56 return __atomic_load(p, memory_order_seq_cst);
57}
58
59int* fp2(_Atomic(int*) *p) {
60 // CHECK: @fp2
61 // CHECK: store i32 4
62 // CHECK: atomicrmw add {{.*}} monotonic
63 return __atomic_fetch_add(p, 1, memory_order_relaxed);
64}
65
Eli Friedman2be46072011-10-14 20:59:01 +000066_Complex float fc(_Atomic(_Complex float) *c) {
Eli Friedman276b0612011-10-11 02:20:01 +000067 // CHECK: @fc
68 // CHECK: atomicrmw xchg i64*
69 return __atomic_exchange(c, 2, memory_order_seq_cst);
70}
71
72typedef struct X { int x; } X;
73X fs(_Atomic(X) *c) {
74 // CHECK: @fs
75 // CHECK: atomicrmw xchg i32*
76 return __atomic_exchange(c, (X){2}, memory_order_seq_cst);
77}
Eli Friedman454b57a2011-10-17 21:44:23 +000078
79int lock_free() {
80 // CHECK: @lock_free
81 // CHECK: ret i32 1
82 return __atomic_is_lock_free(sizeof(_Atomic(int)));
Eli Friedman7f20c7c2011-10-17 21:48:31 +000083}
David Chisnall3a7d69b2012-03-29 18:01:11 +000084
85// Tests for atomic operations on big values. These should call the functions
86// defined here:
87// http://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary#The_Library_interface
88
89struct foo {
90 int big[128];
91};
92
93_Atomic(struct foo) bigAtomic;
94
95void structAtomicStore() {
96 // CHECK: @structAtomicStore
97 struct foo f = {0};
98 __atomic_store(&bigAtomic, f, 5);
99 // CHECK: call void @__atomic_store(i32 512, i8* bitcast (%struct.foo* @bigAtomic to i8*), i8* %3, i32 5)
100}
101void structAtomicLoad() {
102 // CHECK: @structAtomicLoad
103 struct foo f = __atomic_load(&bigAtomic, 5);
104 // CHECK: call void @__atomic_load(i32 512, i8* bitcast (%struct.foo* @bigAtomic to i8*), i8* %0, i32 5)
105}
106struct foo structAtomicExchange() {
107 // CHECK: @structAtomicExchange
108 struct foo f = {0};
109 return __atomic_exchange(&bigAtomic, f, 5);
110 // CHECK: call void @__atomic_exchange(i32 512, i8* bitcast (%struct.foo* @bigAtomic to i8*), i8* %3, i8* %4, i32 5)
111}
112int structAtomicCmpExchange() {
113 // CHECK: @structAtomicCmpExchange
114 struct foo f = {0};
115 struct foo g = {0};
116 g.big[12] = 12;
117 return __atomic_compare_exchange_strong(&bigAtomic, &f, g, 5, 5);
118 // CHECK: call zeroext i1 @__atomic_compare_exchange(i32 512, i8* bitcast (%struct.foo* @bigAtomic to i8*), i8* %4, i8* %5, i32 5, i32 5)
119}