Clang Project

clang_source_code/test/CodeGen/Atomics.c
1// Test frontend handling of __sync builtins.
2// Modified from a gcc testcase.
3// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm %s -o - | FileCheck %s
4
5signed char sc;
6unsigned char uc;
7signed short ss;
8unsigned short us;
9signed int si;
10unsigned int ui;
11signed long long sll;
12unsigned long long ull;
13
14void test_op_ignore (void) // CHECK-LABEL: define void @test_op_ignore
15{
16  (void) __sync_fetch_and_add (&sc, 1); // CHECK: atomicrmw add i8
17  (void) __sync_fetch_and_add (&uc, 1); // CHECK: atomicrmw add i8
18  (void) __sync_fetch_and_add (&ss, 1); // CHECK: atomicrmw add i16
19  (void) __sync_fetch_and_add (&us, 1); // CHECK: atomicrmw add i16
20  (void) __sync_fetch_and_add (&si, 1); // CHECK: atomicrmw add i32
21  (void) __sync_fetch_and_add (&ui, 1); // CHECK: atomicrmw add i32
22  (void) __sync_fetch_and_add (&sll, 1); // CHECK: atomicrmw add i64
23  (void) __sync_fetch_and_add (&ull, 1); // CHECK: atomicrmw add i64
24
25  (void) __sync_fetch_and_sub (&sc, 1); // CHECK: atomicrmw sub i8
26  (void) __sync_fetch_and_sub (&uc, 1); // CHECK: atomicrmw sub i8
27  (void) __sync_fetch_and_sub (&ss, 1); // CHECK: atomicrmw sub i16
28  (void) __sync_fetch_and_sub (&us, 1); // CHECK: atomicrmw sub i16
29  (void) __sync_fetch_and_sub (&si, 1); // CHECK: atomicrmw sub i32
30  (void) __sync_fetch_and_sub (&ui, 1); // CHECK: atomicrmw sub i32
31  (void) __sync_fetch_and_sub (&sll, 1); // CHECK: atomicrmw sub i64
32  (void) __sync_fetch_and_sub (&ull, 1); // CHECK: atomicrmw sub i64
33
34  (void) __sync_fetch_and_or (&sc, 1); // CHECK: atomicrmw or i8
35  (void) __sync_fetch_and_or (&uc, 1); // CHECK: atomicrmw or i8
36  (void) __sync_fetch_and_or (&ss, 1); // CHECK: atomicrmw or i16
37  (void) __sync_fetch_and_or (&us, 1); // CHECK: atomicrmw or i16
38  (void) __sync_fetch_and_or (&si, 1); // CHECK: atomicrmw or i32
39  (void) __sync_fetch_and_or (&ui, 1); // CHECK: atomicrmw or i32
40  (void) __sync_fetch_and_or (&sll, 1); // CHECK: atomicrmw or i64
41  (void) __sync_fetch_and_or (&ull, 1); // CHECK: atomicrmw or i64
42
43  (void) __sync_fetch_and_xor (&sc, 1); // CHECK: atomicrmw xor i8
44  (void) __sync_fetch_and_xor (&uc, 1); // CHECK: atomicrmw xor i8
45  (void) __sync_fetch_and_xor (&ss, 1); // CHECK: atomicrmw xor i16
46  (void) __sync_fetch_and_xor (&us, 1); // CHECK: atomicrmw xor i16
47  (void) __sync_fetch_and_xor (&si, 1); // CHECK: atomicrmw xor i32
48  (void) __sync_fetch_and_xor (&ui, 1); // CHECK: atomicrmw xor i32
49  (void) __sync_fetch_and_xor (&sll, 1); // CHECK: atomicrmw xor i64
50  (void) __sync_fetch_and_xor (&ull, 1); // CHECK: atomicrmw xor i64
51
52  (void) __sync_fetch_and_nand (&sc, 1); // CHECK: atomicrmw nand i8
53  (void) __sync_fetch_and_nand (&uc, 1); // CHECK: atomicrmw nand i8
54  (void) __sync_fetch_and_nand (&ss, 1); // CHECK: atomicrmw nand i16
55  (void) __sync_fetch_and_nand (&us, 1); // CHECK: atomicrmw nand i16
56  (void) __sync_fetch_and_nand (&si, 1); // CHECK: atomicrmw nand i32
57  (void) __sync_fetch_and_nand (&ui, 1); // CHECK: atomicrmw nand i32
58  (void) __sync_fetch_and_nand (&sll, 1); // CHECK: atomicrmw nand i64
59  (void) __sync_fetch_and_nand (&ull, 1); // CHECK: atomicrmw nand i64
60
61  (void) __sync_fetch_and_and (&sc, 1); // CHECK: atomicrmw and i8
62  (void) __sync_fetch_and_and (&uc, 1); // CHECK: atomicrmw and i8
63  (void) __sync_fetch_and_and (&ss, 1); // CHECK: atomicrmw and i16
64  (void) __sync_fetch_and_and (&us, 1); // CHECK: atomicrmw and i16
65  (void) __sync_fetch_and_and (&si, 1); // CHECK: atomicrmw and i32
66  (void) __sync_fetch_and_and (&ui, 1); // CHECK: atomicrmw and i32
67  (void) __sync_fetch_and_and (&sll, 1); // CHECK: atomicrmw and i64
68  (void) __sync_fetch_and_and (&ull, 1); // CHECK: atomicrmw and i64
69
70}
71
72void test_fetch_and_op (void) // CHECK-LABEL: define void @test_fetch_and_op
73{
74  sc = __sync_fetch_and_add (&sc, 11); // CHECK: atomicrmw add
75  uc = __sync_fetch_and_add (&uc, 11); // CHECK: atomicrmw add
76  ss = __sync_fetch_and_add (&ss, 11); // CHECK: atomicrmw add
77  us = __sync_fetch_and_add (&us, 11); // CHECK: atomicrmw add
78  si = __sync_fetch_and_add (&si, 11); // CHECK: atomicrmw add
79  ui = __sync_fetch_and_add (&ui, 11); // CHECK: atomicrmw add
80  sll = __sync_fetch_and_add (&sll, 11); // CHECK: atomicrmw add
81  ull = __sync_fetch_and_add (&ull, 11); // CHECK: atomicrmw add
82
83  sc = __sync_fetch_and_sub (&sc, 11); // CHECK: atomicrmw sub
84  uc = __sync_fetch_and_sub (&uc, 11); // CHECK: atomicrmw sub
85  ss = __sync_fetch_and_sub (&ss, 11); // CHECK: atomicrmw sub
86  us = __sync_fetch_and_sub (&us, 11); // CHECK: atomicrmw sub
87  si = __sync_fetch_and_sub (&si, 11); // CHECK: atomicrmw sub
88  ui = __sync_fetch_and_sub (&ui, 11); // CHECK: atomicrmw sub
89  sll = __sync_fetch_and_sub (&sll, 11); // CHECK: atomicrmw sub
90  ull = __sync_fetch_and_sub (&ull, 11); // CHECK: atomicrmw sub
91
92  sc = __sync_fetch_and_or (&sc, 11); // CHECK: atomicrmw or
93  uc = __sync_fetch_and_or (&uc, 11); // CHECK: atomicrmw or
94  ss = __sync_fetch_and_or (&ss, 11); // CHECK: atomicrmw or
95  us = __sync_fetch_and_or (&us, 11); // CHECK: atomicrmw or
96  si = __sync_fetch_and_or (&si, 11); // CHECK: atomicrmw or
97  ui = __sync_fetch_and_or (&ui, 11); // CHECK: atomicrmw or
98  sll = __sync_fetch_and_or (&sll, 11); // CHECK: atomicrmw or
99  ull = __sync_fetch_and_or (&ull, 11); // CHECK: atomicrmw or
100
101  sc = __sync_fetch_and_xor (&sc, 11); // CHECK: atomicrmw xor
102  uc = __sync_fetch_and_xor (&uc, 11); // CHECK: atomicrmw xor
103  ss = __sync_fetch_and_xor (&ss, 11); // CHECK: atomicrmw xor
104  us = __sync_fetch_and_xor (&us, 11); // CHECK: atomicrmw xor
105  si = __sync_fetch_and_xor (&si, 11); // CHECK: atomicrmw xor
106  ui = __sync_fetch_and_xor (&ui, 11); // CHECK: atomicrmw xor
107  sll = __sync_fetch_and_xor (&sll, 11); // CHECK: atomicrmw xor
108  ull = __sync_fetch_and_xor (&ull, 11); // CHECK: atomicrmw xor
109
110  sc = __sync_fetch_and_nand (&sc, 11); // CHECK: atomicrmw nand
111  uc = __sync_fetch_and_nand (&uc, 11); // CHECK: atomicrmw nand
112  ss = __sync_fetch_and_nand (&ss, 11); // CHECK: atomicrmw nand
113  us = __sync_fetch_and_nand (&us, 11); // CHECK: atomicrmw nand
114  si = __sync_fetch_and_nand (&si, 11); // CHECK: atomicrmw nand
115  ui = __sync_fetch_and_nand (&ui, 11); // CHECK: atomicrmw nand
116  sll = __sync_fetch_and_nand (&sll, 11); // CHECK: atomicrmw nand
117  ull = __sync_fetch_and_nand (&ull, 11); // CHECK: atomicrmw nand
118
119  sc = __sync_fetch_and_and (&sc, 11); // CHECK: atomicrmw and
120  uc = __sync_fetch_and_and (&uc, 11); // CHECK: atomicrmw and
121  ss = __sync_fetch_and_and (&ss, 11); // CHECK: atomicrmw and
122  us = __sync_fetch_and_and (&us, 11); // CHECK: atomicrmw and
123  si = __sync_fetch_and_and (&si, 11); // CHECK: atomicrmw and
124  ui = __sync_fetch_and_and (&ui, 11); // CHECK: atomicrmw and
125  sll = __sync_fetch_and_and (&sll, 11); // CHECK: atomicrmw and
126  ull = __sync_fetch_and_and (&ull, 11); // CHECK: atomicrmw and
127
128}
129
130void test_op_and_fetch (void)
131{
132  sc = __sync_add_and_fetch (&sc, uc); // CHECK: atomicrmw add
133  uc = __sync_add_and_fetch (&uc, uc); // CHECK: atomicrmw add
134  ss = __sync_add_and_fetch (&ss, uc); // CHECK: atomicrmw add
135  us = __sync_add_and_fetch (&us, uc); // CHECK: atomicrmw add
136  si = __sync_add_and_fetch (&si, uc); // CHECK: atomicrmw add
137  ui = __sync_add_and_fetch (&ui, uc); // CHECK: atomicrmw add
138  sll = __sync_add_and_fetch (&sll, uc); // CHECK: atomicrmw add
139  ull = __sync_add_and_fetch (&ull, uc); // CHECK: atomicrmw add
140
141  sc = __sync_sub_and_fetch (&sc, uc); // CHECK: atomicrmw sub
142  uc = __sync_sub_and_fetch (&uc, uc); // CHECK: atomicrmw sub
143  ss = __sync_sub_and_fetch (&ss, uc); // CHECK: atomicrmw sub
144  us = __sync_sub_and_fetch (&us, uc); // CHECK: atomicrmw sub
145  si = __sync_sub_and_fetch (&si, uc); // CHECK: atomicrmw sub
146  ui = __sync_sub_and_fetch (&ui, uc); // CHECK: atomicrmw sub
147  sll = __sync_sub_and_fetch (&sll, uc); // CHECK: atomicrmw sub
148  ull = __sync_sub_and_fetch (&ull, uc); // CHECK: atomicrmw sub
149
150  sc = __sync_or_and_fetch (&sc, uc); // CHECK: atomicrmw or
151  uc = __sync_or_and_fetch (&uc, uc); // CHECK: atomicrmw or
152  ss = __sync_or_and_fetch (&ss, uc); // CHECK: atomicrmw or
153  us = __sync_or_and_fetch (&us, uc); // CHECK: atomicrmw or
154  si = __sync_or_and_fetch (&si, uc); // CHECK: atomicrmw or
155  ui = __sync_or_and_fetch (&ui, uc); // CHECK: atomicrmw or
156  sll = __sync_or_and_fetch (&sll, uc); // CHECK: atomicrmw or
157  ull = __sync_or_and_fetch (&ull, uc); // CHECK: atomicrmw or
158
159  sc = __sync_xor_and_fetch (&sc, uc); // CHECK: atomicrmw xor
160  uc = __sync_xor_and_fetch (&uc, uc); // CHECK: atomicrmw xor
161  ss = __sync_xor_and_fetch (&ss, uc); // CHECK: atomicrmw xor
162  us = __sync_xor_and_fetch (&us, uc); // CHECK: atomicrmw xor
163  si = __sync_xor_and_fetch (&si, uc); // CHECK: atomicrmw xor
164  ui = __sync_xor_and_fetch (&ui, uc); // CHECK: atomicrmw xor
165  sll = __sync_xor_and_fetch (&sll, uc); // CHECK: atomicrmw xor
166  ull = __sync_xor_and_fetch (&ull, uc); // CHECK: atomicrmw xor
167
168  sc = __sync_nand_and_fetch (&sc, uc); // CHECK: atomicrmw nand
169                                        // CHECK: and
170                                        // CHECK: xor
171  uc = __sync_nand_and_fetch (&uc, uc); // CHECK: atomicrmw nand
172                                        // CHECK: and
173                                        // CHECK: xor
174  ss = __sync_nand_and_fetch (&ss, uc); // CHECK: atomicrmw nand
175                                        // CHECK: and
176                                        // CHECK: xor
177  us = __sync_nand_and_fetch (&us, uc); // CHECK: atomicrmw nand
178                                        // CHECK: and
179                                        // CHECK: xor
180  si = __sync_nand_and_fetch (&si, uc); // CHECK: atomicrmw nand
181                                        // CHECK: and
182                                        // CHECK: xor
183  ui = __sync_nand_and_fetch (&ui, uc); // CHECK: atomicrmw nand
184                                        // CHECK: and
185                                        // CHECK: xor
186  sll = __sync_nand_and_fetch (&sll, uc); // CHECK: atomicrmw nand
187                                          // CHECK: and
188                                          // CHECK: xor
189  ull = __sync_nand_and_fetch (&ull, uc); // CHECK: atomicrmw nand
190                                          // CHECK: and
191                                          // CHECK: xor
192
193  sc = __sync_and_and_fetch (&sc, uc); // CHECK: atomicrmw and
194  uc = __sync_and_and_fetch (&uc, uc); // CHECK: atomicrmw and
195  ss = __sync_and_and_fetch (&ss, uc); // CHECK: atomicrmw and
196  us = __sync_and_and_fetch (&us, uc); // CHECK: atomicrmw and
197  si = __sync_and_and_fetch (&si, uc); // CHECK: atomicrmw and
198  ui = __sync_and_and_fetch (&ui, uc); // CHECK: atomicrmw and
199  sll = __sync_and_and_fetch (&sll, uc); // CHECK: atomicrmw and
200  ull = __sync_and_and_fetch (&ull, uc); // CHECK: atomicrmw and
201
202}
203
204void test_compare_and_swap (void)
205{
206  sc = __sync_val_compare_and_swap (&sc, uc, sc);
207  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
208  // CHECK: extractvalue { i8, i1 } [[PAIR]], 0
209
210  uc = __sync_val_compare_and_swap (&uc, uc, sc);
211  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
212  // CHECK: extractvalue { i8, i1 } [[PAIR]], 0
213
214  ss = __sync_val_compare_and_swap (&ss, uc, sc);
215  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
216  // CHECK: extractvalue { i16, i1 } [[PAIR]], 0
217
218  us = __sync_val_compare_and_swap (&us, uc, sc);
219  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
220  // CHECK: extractvalue { i16, i1 } [[PAIR]], 0
221
222  si = __sync_val_compare_and_swap (&si, uc, sc);
223  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
224  // CHECK: extractvalue { i32, i1 } [[PAIR]], 0
225
226  ui = __sync_val_compare_and_swap (&ui, uc, sc);
227  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
228  // CHECK: extractvalue { i32, i1 } [[PAIR]], 0
229
230  sll = __sync_val_compare_and_swap (&sll, uc, sc);
231  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
232  // CHECK: extractvalue { i64, i1 } [[PAIR]], 0
233
234  ull = __sync_val_compare_and_swap (&ull, uc, sc);
235  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
236  // CHECK: extractvalue { i64, i1 } [[PAIR]], 0
237
238
239  ui = __sync_bool_compare_and_swap (&sc, uc, sc);
240  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
241  // CHECK: extractvalue { i8, i1 } [[PAIR]], 1
242
243  ui = __sync_bool_compare_and_swap (&uc, uc, sc);
244  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
245  // CHECK: extractvalue { i8, i1 } [[PAIR]], 1
246
247  ui = __sync_bool_compare_and_swap (&ss, uc, sc);
248  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
249  // CHECK: extractvalue { i16, i1 } [[PAIR]], 1
250
251  ui = __sync_bool_compare_and_swap (&us, uc, sc);
252  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
253  // CHECK: extractvalue { i16, i1 } [[PAIR]], 1
254
255  ui = __sync_bool_compare_and_swap (&si, uc, sc);
256  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
257  // CHECK: extractvalue { i32, i1 } [[PAIR]], 1
258
259  ui = __sync_bool_compare_and_swap (&ui, uc, sc);
260  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
261  // CHECK: extractvalue { i32, i1 } [[PAIR]], 1
262
263  ui = __sync_bool_compare_and_swap (&sll, uc, sc);
264  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
265  // CHECK: extractvalue { i64, i1 } [[PAIR]], 1
266
267  ui = __sync_bool_compare_and_swap (&ull, uc, sc);
268  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
269  // CHECK: extractvalue { i64, i1 } [[PAIR]], 1
270}
271
272void test_lock (void)
273{
274  sc = __sync_lock_test_and_set (&sc, 1); // CHECK: atomicrmw xchg i8
275  uc = __sync_lock_test_and_set (&uc, 1); // CHECK: atomicrmw xchg i8
276  ss = __sync_lock_test_and_set (&ss, 1); // CHECK: atomicrmw xchg i16
277  us = __sync_lock_test_and_set (&us, 1); // CHECK: atomicrmw xchg i16
278  si = __sync_lock_test_and_set (&si, 1); // CHECK: atomicrmw xchg i32
279  ui = __sync_lock_test_and_set (&ui, 1); // CHECK: atomicrmw xchg i32
280  sll = __sync_lock_test_and_set (&sll, 1); // CHECK: atomicrmw xchg i64
281  ull = __sync_lock_test_and_set (&ull, 1); // CHECK: atomicrmw xchg i64
282
283  __sync_synchronize (); // CHECK: fence seq_cst
284
285  __sync_lock_release (&sc); // CHECK: store atomic {{.*}} release, align 1
286  __sync_lock_release (&uc); // CHECK: store atomic {{.*}} release, align 1
287  __sync_lock_release (&ss); // CHECK: store atomic {{.*}} release, align 2
288  __sync_lock_release (&us); /// CHECK: store atomic {{.*}} release, align 2
289  __sync_lock_release (&si); // CHECK: store atomic {{.*}} release, align 4
290  __sync_lock_release (&ui); // CHECK: store atomic {{.*}} release, align 4
291  __sync_lock_release (&sll); // CHECK: store atomic {{.*}} release, align 8
292  __sync_lock_release (&ull); // CHECK: store atomic {{.*}} release, align 8
293}
294
295void test_atomic(void) {
296  ui = __atomic_fetch_min(&ui, 5, __ATOMIC_RELAXED); // CHECK: atomicrmw umin {{.*}} monotonic
297  si = __atomic_fetch_min(&si, 5, __ATOMIC_SEQ_CST); // CHECK: atomicrmw min {{.*}} seq_cst
298  ui = __atomic_fetch_max(&ui, 5, __ATOMIC_ACQUIRE); // CHECK: atomicrmw umax {{.*}} acquire
299  si = __atomic_fetch_max(&si, 5, __ATOMIC_RELEASE); // CHECK: atomicrmw max {{.*}} release
300}
301
CodeThinker, Enjoy your reading code