annotate gcc/testsuite/gcc.dg/atomic-op-3.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Test __atomic routines for existence and proper execution on 4 byte
kono
parents:
diff changeset
2 values with each valid memory model. */
kono
parents:
diff changeset
3 /* { dg-do run } */
kono
parents:
diff changeset
4 /* { dg-require-effective-target sync_int_long } */
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 /* Test the execution of the __atomic_*OP builtin routines for an int. */
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 extern void abort(void);
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 int v, count, res;
kono
parents:
diff changeset
11 const int init = ~0;
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 /* The fetch_op routines return the original value before the operation. */
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 void
kono
parents:
diff changeset
16 test_fetch_add ()
kono
parents:
diff changeset
17 {
kono
parents:
diff changeset
18 v = 0;
kono
parents:
diff changeset
19 count = 1;
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 if (__atomic_fetch_add (&v, count, __ATOMIC_RELAXED) != 0)
kono
parents:
diff changeset
22 abort ();
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 if (__atomic_fetch_add (&v, 1, __ATOMIC_CONSUME) != 1)
kono
parents:
diff changeset
25 abort ();
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 if (__atomic_fetch_add (&v, count, __ATOMIC_ACQUIRE) != 2)
kono
parents:
diff changeset
28 abort ();
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 if (__atomic_fetch_add (&v, 1, __ATOMIC_RELEASE) != 3)
kono
parents:
diff changeset
31 abort ();
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 if (__atomic_fetch_add (&v, count, __ATOMIC_ACQ_REL) != 4)
kono
parents:
diff changeset
34 abort ();
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 if (__atomic_fetch_add (&v, 1, __ATOMIC_SEQ_CST) != 5)
kono
parents:
diff changeset
37 abort ();
kono
parents:
diff changeset
38 }
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 void
kono
parents:
diff changeset
42 test_fetch_sub()
kono
parents:
diff changeset
43 {
kono
parents:
diff changeset
44 v = res = 20;
kono
parents:
diff changeset
45 count = 0;
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 if (__atomic_fetch_sub (&v, count + 1, __ATOMIC_RELAXED) != res--)
kono
parents:
diff changeset
48 abort ();
kono
parents:
diff changeset
49
kono
parents:
diff changeset
50 if (__atomic_fetch_sub (&v, 1, __ATOMIC_CONSUME) != res--)
kono
parents:
diff changeset
51 abort ();
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 if (__atomic_fetch_sub (&v, count + 1, __ATOMIC_ACQUIRE) != res--)
kono
parents:
diff changeset
54 abort ();
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 if (__atomic_fetch_sub (&v, 1, __ATOMIC_RELEASE) != res--)
kono
parents:
diff changeset
57 abort ();
kono
parents:
diff changeset
58
kono
parents:
diff changeset
59 if (__atomic_fetch_sub (&v, count + 1, __ATOMIC_ACQ_REL) != res--)
kono
parents:
diff changeset
60 abort ();
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62 if (__atomic_fetch_sub (&v, 1, __ATOMIC_SEQ_CST) != res--)
kono
parents:
diff changeset
63 abort ();
kono
parents:
diff changeset
64 }
kono
parents:
diff changeset
65
kono
parents:
diff changeset
66 void
kono
parents:
diff changeset
67 test_fetch_and ()
kono
parents:
diff changeset
68 {
kono
parents:
diff changeset
69 v = init;
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 if (__atomic_fetch_and (&v, 0, __ATOMIC_RELAXED) != init)
kono
parents:
diff changeset
72 abort ();
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74 if (__atomic_fetch_and (&v, init, __ATOMIC_CONSUME) != 0)
kono
parents:
diff changeset
75 abort ();
kono
parents:
diff changeset
76
kono
parents:
diff changeset
77 if (__atomic_fetch_and (&v, 0, __ATOMIC_ACQUIRE) != 0)
kono
parents:
diff changeset
78 abort ();
kono
parents:
diff changeset
79
kono
parents:
diff changeset
80 v = ~v;
kono
parents:
diff changeset
81 if (__atomic_fetch_and (&v, init, __ATOMIC_RELEASE) != init)
kono
parents:
diff changeset
82 abort ();
kono
parents:
diff changeset
83
kono
parents:
diff changeset
84 if (__atomic_fetch_and (&v, 0, __ATOMIC_ACQ_REL) != init)
kono
parents:
diff changeset
85 abort ();
kono
parents:
diff changeset
86
kono
parents:
diff changeset
87 if (__atomic_fetch_and (&v, 0, __ATOMIC_SEQ_CST) != 0)
kono
parents:
diff changeset
88 abort ();
kono
parents:
diff changeset
89 }
kono
parents:
diff changeset
90
kono
parents:
diff changeset
91 void
kono
parents:
diff changeset
92 test_fetch_nand ()
kono
parents:
diff changeset
93 {
kono
parents:
diff changeset
94 v = init;
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 if (__atomic_fetch_nand (&v, 0, __ATOMIC_RELAXED) != init)
kono
parents:
diff changeset
97 abort ();
kono
parents:
diff changeset
98
kono
parents:
diff changeset
99 if (__atomic_fetch_nand (&v, init, __ATOMIC_CONSUME) != init)
kono
parents:
diff changeset
100 abort ();
kono
parents:
diff changeset
101
kono
parents:
diff changeset
102 if (__atomic_fetch_nand (&v, 0, __ATOMIC_ACQUIRE) != 0 )
kono
parents:
diff changeset
103 abort ();
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 if (__atomic_fetch_nand (&v, init, __ATOMIC_RELEASE) != init)
kono
parents:
diff changeset
106 abort ();
kono
parents:
diff changeset
107
kono
parents:
diff changeset
108 if (__atomic_fetch_nand (&v, init, __ATOMIC_ACQ_REL) != 0)
kono
parents:
diff changeset
109 abort ();
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 if (__atomic_fetch_nand (&v, 0, __ATOMIC_SEQ_CST) != init)
kono
parents:
diff changeset
112 abort ();
kono
parents:
diff changeset
113 }
kono
parents:
diff changeset
114
kono
parents:
diff changeset
115 void
kono
parents:
diff changeset
116 test_fetch_xor ()
kono
parents:
diff changeset
117 {
kono
parents:
diff changeset
118 v = init;
kono
parents:
diff changeset
119 count = 0;
kono
parents:
diff changeset
120
kono
parents:
diff changeset
121 if (__atomic_fetch_xor (&v, count, __ATOMIC_RELAXED) != init)
kono
parents:
diff changeset
122 abort ();
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 if (__atomic_fetch_xor (&v, ~count, __ATOMIC_CONSUME) != init)
kono
parents:
diff changeset
125 abort ();
kono
parents:
diff changeset
126
kono
parents:
diff changeset
127 if (__atomic_fetch_xor (&v, 0, __ATOMIC_ACQUIRE) != 0)
kono
parents:
diff changeset
128 abort ();
kono
parents:
diff changeset
129
kono
parents:
diff changeset
130 if (__atomic_fetch_xor (&v, ~count, __ATOMIC_RELEASE) != 0)
kono
parents:
diff changeset
131 abort ();
kono
parents:
diff changeset
132
kono
parents:
diff changeset
133 if (__atomic_fetch_xor (&v, 0, __ATOMIC_ACQ_REL) != init)
kono
parents:
diff changeset
134 abort ();
kono
parents:
diff changeset
135
kono
parents:
diff changeset
136 if (__atomic_fetch_xor (&v, ~count, __ATOMIC_SEQ_CST) != init)
kono
parents:
diff changeset
137 abort ();
kono
parents:
diff changeset
138 }
kono
parents:
diff changeset
139
kono
parents:
diff changeset
140 void
kono
parents:
diff changeset
141 test_fetch_or ()
kono
parents:
diff changeset
142 {
kono
parents:
diff changeset
143 v = 0;
kono
parents:
diff changeset
144 count = 1;
kono
parents:
diff changeset
145
kono
parents:
diff changeset
146 if (__atomic_fetch_or (&v, count, __ATOMIC_RELAXED) != 0)
kono
parents:
diff changeset
147 abort ();
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149 count *= 2;
kono
parents:
diff changeset
150 if (__atomic_fetch_or (&v, 2, __ATOMIC_CONSUME) != 1)
kono
parents:
diff changeset
151 abort ();
kono
parents:
diff changeset
152
kono
parents:
diff changeset
153 count *= 2;
kono
parents:
diff changeset
154 if (__atomic_fetch_or (&v, count, __ATOMIC_ACQUIRE) != 3)
kono
parents:
diff changeset
155 abort ();
kono
parents:
diff changeset
156
kono
parents:
diff changeset
157 count *= 2;
kono
parents:
diff changeset
158 if (__atomic_fetch_or (&v, 8, __ATOMIC_RELEASE) != 7)
kono
parents:
diff changeset
159 abort ();
kono
parents:
diff changeset
160
kono
parents:
diff changeset
161 count *= 2;
kono
parents:
diff changeset
162 if (__atomic_fetch_or (&v, count, __ATOMIC_ACQ_REL) != 15)
kono
parents:
diff changeset
163 abort ();
kono
parents:
diff changeset
164
kono
parents:
diff changeset
165 count *= 2;
kono
parents:
diff changeset
166 if (__atomic_fetch_or (&v, count, __ATOMIC_SEQ_CST) != 31)
kono
parents:
diff changeset
167 abort ();
kono
parents:
diff changeset
168 }
kono
parents:
diff changeset
169
kono
parents:
diff changeset
170 /* The OP_fetch routines return the new value after the operation. */
kono
parents:
diff changeset
171
kono
parents:
diff changeset
172 void
kono
parents:
diff changeset
173 test_add_fetch ()
kono
parents:
diff changeset
174 {
kono
parents:
diff changeset
175 v = 0;
kono
parents:
diff changeset
176 count = 1;
kono
parents:
diff changeset
177
kono
parents:
diff changeset
178 if (__atomic_add_fetch (&v, count, __ATOMIC_RELAXED) != 1)
kono
parents:
diff changeset
179 abort ();
kono
parents:
diff changeset
180
kono
parents:
diff changeset
181 if (__atomic_add_fetch (&v, 1, __ATOMIC_CONSUME) != 2)
kono
parents:
diff changeset
182 abort ();
kono
parents:
diff changeset
183
kono
parents:
diff changeset
184 if (__atomic_add_fetch (&v, count, __ATOMIC_ACQUIRE) != 3)
kono
parents:
diff changeset
185 abort ();
kono
parents:
diff changeset
186
kono
parents:
diff changeset
187 if (__atomic_add_fetch (&v, 1, __ATOMIC_RELEASE) != 4)
kono
parents:
diff changeset
188 abort ();
kono
parents:
diff changeset
189
kono
parents:
diff changeset
190 if (__atomic_add_fetch (&v, count, __ATOMIC_ACQ_REL) != 5)
kono
parents:
diff changeset
191 abort ();
kono
parents:
diff changeset
192
kono
parents:
diff changeset
193 if (__atomic_add_fetch (&v, count, __ATOMIC_SEQ_CST) != 6)
kono
parents:
diff changeset
194 abort ();
kono
parents:
diff changeset
195 }
kono
parents:
diff changeset
196
kono
parents:
diff changeset
197
kono
parents:
diff changeset
198 void
kono
parents:
diff changeset
199 test_sub_fetch ()
kono
parents:
diff changeset
200 {
kono
parents:
diff changeset
201 v = res = 20;
kono
parents:
diff changeset
202 count = 0;
kono
parents:
diff changeset
203
kono
parents:
diff changeset
204 if (__atomic_sub_fetch (&v, count + 1, __ATOMIC_RELAXED) != --res)
kono
parents:
diff changeset
205 abort ();
kono
parents:
diff changeset
206
kono
parents:
diff changeset
207 if (__atomic_sub_fetch (&v, 1, __ATOMIC_CONSUME) != --res)
kono
parents:
diff changeset
208 abort ();
kono
parents:
diff changeset
209
kono
parents:
diff changeset
210 if (__atomic_sub_fetch (&v, count + 1, __ATOMIC_ACQUIRE) != --res)
kono
parents:
diff changeset
211 abort ();
kono
parents:
diff changeset
212
kono
parents:
diff changeset
213 if (__atomic_sub_fetch (&v, 1, __ATOMIC_RELEASE) != --res)
kono
parents:
diff changeset
214 abort ();
kono
parents:
diff changeset
215
kono
parents:
diff changeset
216 if (__atomic_sub_fetch (&v, count + 1, __ATOMIC_ACQ_REL) != --res)
kono
parents:
diff changeset
217 abort ();
kono
parents:
diff changeset
218
kono
parents:
diff changeset
219 if (__atomic_sub_fetch (&v, count + 1, __ATOMIC_SEQ_CST) != --res)
kono
parents:
diff changeset
220 abort ();
kono
parents:
diff changeset
221 }
kono
parents:
diff changeset
222
kono
parents:
diff changeset
223 void
kono
parents:
diff changeset
224 test_and_fetch ()
kono
parents:
diff changeset
225 {
kono
parents:
diff changeset
226 v = init;
kono
parents:
diff changeset
227
kono
parents:
diff changeset
228 if (__atomic_and_fetch (&v, 0, __ATOMIC_RELAXED) != 0)
kono
parents:
diff changeset
229 abort ();
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 v = init;
kono
parents:
diff changeset
232 if (__atomic_and_fetch (&v, init, __ATOMIC_CONSUME) != init)
kono
parents:
diff changeset
233 abort ();
kono
parents:
diff changeset
234
kono
parents:
diff changeset
235 if (__atomic_and_fetch (&v, 0, __ATOMIC_ACQUIRE) != 0)
kono
parents:
diff changeset
236 abort ();
kono
parents:
diff changeset
237
kono
parents:
diff changeset
238 v = ~v;
kono
parents:
diff changeset
239 if (__atomic_and_fetch (&v, init, __ATOMIC_RELEASE) != init)
kono
parents:
diff changeset
240 abort ();
kono
parents:
diff changeset
241
kono
parents:
diff changeset
242 if (__atomic_and_fetch (&v, 0, __ATOMIC_ACQ_REL) != 0)
kono
parents:
diff changeset
243 abort ();
kono
parents:
diff changeset
244
kono
parents:
diff changeset
245 v = ~v;
kono
parents:
diff changeset
246 if (__atomic_and_fetch (&v, 0, __ATOMIC_SEQ_CST) != 0)
kono
parents:
diff changeset
247 abort ();
kono
parents:
diff changeset
248 }
kono
parents:
diff changeset
249
kono
parents:
diff changeset
250 void
kono
parents:
diff changeset
251 test_nand_fetch ()
kono
parents:
diff changeset
252 {
kono
parents:
diff changeset
253 v = init;
kono
parents:
diff changeset
254
kono
parents:
diff changeset
255 if (__atomic_nand_fetch (&v, 0, __ATOMIC_RELAXED) != init)
kono
parents:
diff changeset
256 abort ();
kono
parents:
diff changeset
257
kono
parents:
diff changeset
258 if (__atomic_nand_fetch (&v, init, __ATOMIC_CONSUME) != 0)
kono
parents:
diff changeset
259 abort ();
kono
parents:
diff changeset
260
kono
parents:
diff changeset
261 if (__atomic_nand_fetch (&v, 0, __ATOMIC_ACQUIRE) != init)
kono
parents:
diff changeset
262 abort ();
kono
parents:
diff changeset
263
kono
parents:
diff changeset
264 if (__atomic_nand_fetch (&v, init, __ATOMIC_RELEASE) != 0)
kono
parents:
diff changeset
265 abort ();
kono
parents:
diff changeset
266
kono
parents:
diff changeset
267 if (__atomic_nand_fetch (&v, init, __ATOMIC_ACQ_REL) != init)
kono
parents:
diff changeset
268 abort ();
kono
parents:
diff changeset
269
kono
parents:
diff changeset
270 if (__atomic_nand_fetch (&v, 0, __ATOMIC_SEQ_CST) != init)
kono
parents:
diff changeset
271 abort ();
kono
parents:
diff changeset
272 }
kono
parents:
diff changeset
273
kono
parents:
diff changeset
274
kono
parents:
diff changeset
275
kono
parents:
diff changeset
276 void
kono
parents:
diff changeset
277 test_xor_fetch ()
kono
parents:
diff changeset
278 {
kono
parents:
diff changeset
279 v = init;
kono
parents:
diff changeset
280 count = 0;
kono
parents:
diff changeset
281
kono
parents:
diff changeset
282 if (__atomic_xor_fetch (&v, count, __ATOMIC_RELAXED) != init)
kono
parents:
diff changeset
283 abort ();
kono
parents:
diff changeset
284
kono
parents:
diff changeset
285 if (__atomic_xor_fetch (&v, ~count, __ATOMIC_CONSUME) != 0)
kono
parents:
diff changeset
286 abort ();
kono
parents:
diff changeset
287
kono
parents:
diff changeset
288 if (__atomic_xor_fetch (&v, 0, __ATOMIC_ACQUIRE) != 0)
kono
parents:
diff changeset
289 abort ();
kono
parents:
diff changeset
290
kono
parents:
diff changeset
291 if (__atomic_xor_fetch (&v, ~count, __ATOMIC_RELEASE) != init)
kono
parents:
diff changeset
292 abort ();
kono
parents:
diff changeset
293
kono
parents:
diff changeset
294 if (__atomic_xor_fetch (&v, 0, __ATOMIC_ACQ_REL) != init)
kono
parents:
diff changeset
295 abort ();
kono
parents:
diff changeset
296
kono
parents:
diff changeset
297 if (__atomic_xor_fetch (&v, ~count, __ATOMIC_SEQ_CST) != 0)
kono
parents:
diff changeset
298 abort ();
kono
parents:
diff changeset
299 }
kono
parents:
diff changeset
300
kono
parents:
diff changeset
301 void
kono
parents:
diff changeset
302 test_or_fetch ()
kono
parents:
diff changeset
303 {
kono
parents:
diff changeset
304 v = 0;
kono
parents:
diff changeset
305 count = 1;
kono
parents:
diff changeset
306
kono
parents:
diff changeset
307 if (__atomic_or_fetch (&v, count, __ATOMIC_RELAXED) != 1)
kono
parents:
diff changeset
308 abort ();
kono
parents:
diff changeset
309
kono
parents:
diff changeset
310 count *= 2;
kono
parents:
diff changeset
311 if (__atomic_or_fetch (&v, 2, __ATOMIC_CONSUME) != 3)
kono
parents:
diff changeset
312 abort ();
kono
parents:
diff changeset
313
kono
parents:
diff changeset
314 count *= 2;
kono
parents:
diff changeset
315 if (__atomic_or_fetch (&v, count, __ATOMIC_ACQUIRE) != 7)
kono
parents:
diff changeset
316 abort ();
kono
parents:
diff changeset
317
kono
parents:
diff changeset
318 count *= 2;
kono
parents:
diff changeset
319 if (__atomic_or_fetch (&v, 8, __ATOMIC_RELEASE) != 15)
kono
parents:
diff changeset
320 abort ();
kono
parents:
diff changeset
321
kono
parents:
diff changeset
322 count *= 2;
kono
parents:
diff changeset
323 if (__atomic_or_fetch (&v, count, __ATOMIC_ACQ_REL) != 31)
kono
parents:
diff changeset
324 abort ();
kono
parents:
diff changeset
325
kono
parents:
diff changeset
326 count *= 2;
kono
parents:
diff changeset
327 if (__atomic_or_fetch (&v, count, __ATOMIC_SEQ_CST) != 63)
kono
parents:
diff changeset
328 abort ();
kono
parents:
diff changeset
329 }
kono
parents:
diff changeset
330
kono
parents:
diff changeset
331
kono
parents:
diff changeset
332 /* Test the OP routines with a result which isn't used. Use both variations
kono
parents:
diff changeset
333 within each function. */
kono
parents:
diff changeset
334
kono
parents:
diff changeset
335 void
kono
parents:
diff changeset
336 test_add ()
kono
parents:
diff changeset
337 {
kono
parents:
diff changeset
338 v = 0;
kono
parents:
diff changeset
339 count = 1;
kono
parents:
diff changeset
340
kono
parents:
diff changeset
341 __atomic_add_fetch (&v, count, __ATOMIC_RELAXED);
kono
parents:
diff changeset
342 if (v != 1)
kono
parents:
diff changeset
343 abort ();
kono
parents:
diff changeset
344
kono
parents:
diff changeset
345 __atomic_fetch_add (&v, count, __ATOMIC_CONSUME);
kono
parents:
diff changeset
346 if (v != 2)
kono
parents:
diff changeset
347 abort ();
kono
parents:
diff changeset
348
kono
parents:
diff changeset
349 __atomic_add_fetch (&v, 1 , __ATOMIC_ACQUIRE);
kono
parents:
diff changeset
350 if (v != 3)
kono
parents:
diff changeset
351 abort ();
kono
parents:
diff changeset
352
kono
parents:
diff changeset
353 __atomic_fetch_add (&v, 1, __ATOMIC_RELEASE);
kono
parents:
diff changeset
354 if (v != 4)
kono
parents:
diff changeset
355 abort ();
kono
parents:
diff changeset
356
kono
parents:
diff changeset
357 __atomic_add_fetch (&v, count, __ATOMIC_ACQ_REL);
kono
parents:
diff changeset
358 if (v != 5)
kono
parents:
diff changeset
359 abort ();
kono
parents:
diff changeset
360
kono
parents:
diff changeset
361 __atomic_fetch_add (&v, count, __ATOMIC_SEQ_CST);
kono
parents:
diff changeset
362 if (v != 6)
kono
parents:
diff changeset
363 abort ();
kono
parents:
diff changeset
364 }
kono
parents:
diff changeset
365
kono
parents:
diff changeset
366
kono
parents:
diff changeset
367 void
kono
parents:
diff changeset
368 test_sub()
kono
parents:
diff changeset
369 {
kono
parents:
diff changeset
370 v = res = 20;
kono
parents:
diff changeset
371 count = 0;
kono
parents:
diff changeset
372
kono
parents:
diff changeset
373 __atomic_sub_fetch (&v, count + 1, __ATOMIC_RELAXED);
kono
parents:
diff changeset
374 if (v != --res)
kono
parents:
diff changeset
375 abort ();
kono
parents:
diff changeset
376
kono
parents:
diff changeset
377 __atomic_fetch_sub (&v, count + 1, __ATOMIC_CONSUME);
kono
parents:
diff changeset
378 if (v != --res)
kono
parents:
diff changeset
379 abort ();
kono
parents:
diff changeset
380
kono
parents:
diff changeset
381 __atomic_sub_fetch (&v, 1, __ATOMIC_ACQUIRE);
kono
parents:
diff changeset
382 if (v != --res)
kono
parents:
diff changeset
383 abort ();
kono
parents:
diff changeset
384
kono
parents:
diff changeset
385 __atomic_fetch_sub (&v, 1, __ATOMIC_RELEASE);
kono
parents:
diff changeset
386 if (v != --res)
kono
parents:
diff changeset
387 abort ();
kono
parents:
diff changeset
388
kono
parents:
diff changeset
389 __atomic_sub_fetch (&v, count + 1, __ATOMIC_ACQ_REL);
kono
parents:
diff changeset
390 if (v != --res)
kono
parents:
diff changeset
391 abort ();
kono
parents:
diff changeset
392
kono
parents:
diff changeset
393 __atomic_fetch_sub (&v, count + 1, __ATOMIC_SEQ_CST);
kono
parents:
diff changeset
394 if (v != --res)
kono
parents:
diff changeset
395 abort ();
kono
parents:
diff changeset
396 }
kono
parents:
diff changeset
397
kono
parents:
diff changeset
398 void
kono
parents:
diff changeset
399 test_and ()
kono
parents:
diff changeset
400 {
kono
parents:
diff changeset
401 v = init;
kono
parents:
diff changeset
402
kono
parents:
diff changeset
403 __atomic_and_fetch (&v, 0, __ATOMIC_RELAXED);
kono
parents:
diff changeset
404 if (v != 0)
kono
parents:
diff changeset
405 abort ();
kono
parents:
diff changeset
406
kono
parents:
diff changeset
407 v = init;
kono
parents:
diff changeset
408 __atomic_fetch_and (&v, init, __ATOMIC_CONSUME);
kono
parents:
diff changeset
409 if (v != init)
kono
parents:
diff changeset
410 abort ();
kono
parents:
diff changeset
411
kono
parents:
diff changeset
412 __atomic_and_fetch (&v, 0, __ATOMIC_ACQUIRE);
kono
parents:
diff changeset
413 if (v != 0)
kono
parents:
diff changeset
414 abort ();
kono
parents:
diff changeset
415
kono
parents:
diff changeset
416 v = ~v;
kono
parents:
diff changeset
417 __atomic_fetch_and (&v, init, __ATOMIC_RELEASE);
kono
parents:
diff changeset
418 if (v != init)
kono
parents:
diff changeset
419 abort ();
kono
parents:
diff changeset
420
kono
parents:
diff changeset
421 __atomic_and_fetch (&v, 0, __ATOMIC_ACQ_REL);
kono
parents:
diff changeset
422 if (v != 0)
kono
parents:
diff changeset
423 abort ();
kono
parents:
diff changeset
424
kono
parents:
diff changeset
425 v = ~v;
kono
parents:
diff changeset
426 __atomic_fetch_and (&v, 0, __ATOMIC_SEQ_CST);
kono
parents:
diff changeset
427 if (v != 0)
kono
parents:
diff changeset
428 abort ();
kono
parents:
diff changeset
429 }
kono
parents:
diff changeset
430
kono
parents:
diff changeset
431 void
kono
parents:
diff changeset
432 test_nand ()
kono
parents:
diff changeset
433 {
kono
parents:
diff changeset
434 v = init;
kono
parents:
diff changeset
435
kono
parents:
diff changeset
436 __atomic_fetch_nand (&v, 0, __ATOMIC_RELAXED);
kono
parents:
diff changeset
437 if (v != init)
kono
parents:
diff changeset
438 abort ();
kono
parents:
diff changeset
439
kono
parents:
diff changeset
440 __atomic_fetch_nand (&v, init, __ATOMIC_CONSUME);
kono
parents:
diff changeset
441 if (v != 0)
kono
parents:
diff changeset
442 abort ();
kono
parents:
diff changeset
443
kono
parents:
diff changeset
444 __atomic_nand_fetch (&v, 0, __ATOMIC_ACQUIRE);
kono
parents:
diff changeset
445 if (v != init)
kono
parents:
diff changeset
446 abort ();
kono
parents:
diff changeset
447
kono
parents:
diff changeset
448 __atomic_nand_fetch (&v, init, __ATOMIC_RELEASE);
kono
parents:
diff changeset
449 if (v != 0)
kono
parents:
diff changeset
450 abort ();
kono
parents:
diff changeset
451
kono
parents:
diff changeset
452 __atomic_fetch_nand (&v, init, __ATOMIC_ACQ_REL);
kono
parents:
diff changeset
453 if (v != init)
kono
parents:
diff changeset
454 abort ();
kono
parents:
diff changeset
455
kono
parents:
diff changeset
456 __atomic_nand_fetch (&v, 0, __ATOMIC_SEQ_CST);
kono
parents:
diff changeset
457 if (v != init)
kono
parents:
diff changeset
458 abort ();
kono
parents:
diff changeset
459 }
kono
parents:
diff changeset
460
kono
parents:
diff changeset
461
kono
parents:
diff changeset
462
kono
parents:
diff changeset
463 void
kono
parents:
diff changeset
464 test_xor ()
kono
parents:
diff changeset
465 {
kono
parents:
diff changeset
466 v = init;
kono
parents:
diff changeset
467 count = 0;
kono
parents:
diff changeset
468
kono
parents:
diff changeset
469 __atomic_xor_fetch (&v, count, __ATOMIC_RELAXED);
kono
parents:
diff changeset
470 if (v != init)
kono
parents:
diff changeset
471 abort ();
kono
parents:
diff changeset
472
kono
parents:
diff changeset
473 __atomic_fetch_xor (&v, ~count, __ATOMIC_CONSUME);
kono
parents:
diff changeset
474 if (v != 0)
kono
parents:
diff changeset
475 abort ();
kono
parents:
diff changeset
476
kono
parents:
diff changeset
477 __atomic_xor_fetch (&v, 0, __ATOMIC_ACQUIRE);
kono
parents:
diff changeset
478 if (v != 0)
kono
parents:
diff changeset
479 abort ();
kono
parents:
diff changeset
480
kono
parents:
diff changeset
481 __atomic_fetch_xor (&v, ~count, __ATOMIC_RELEASE);
kono
parents:
diff changeset
482 if (v != init)
kono
parents:
diff changeset
483 abort ();
kono
parents:
diff changeset
484
kono
parents:
diff changeset
485 __atomic_fetch_xor (&v, 0, __ATOMIC_ACQ_REL);
kono
parents:
diff changeset
486 if (v != init)
kono
parents:
diff changeset
487 abort ();
kono
parents:
diff changeset
488
kono
parents:
diff changeset
489 __atomic_xor_fetch (&v, ~count, __ATOMIC_SEQ_CST);
kono
parents:
diff changeset
490 if (v != 0)
kono
parents:
diff changeset
491 abort ();
kono
parents:
diff changeset
492 }
kono
parents:
diff changeset
493
kono
parents:
diff changeset
494 void
kono
parents:
diff changeset
495 test_or ()
kono
parents:
diff changeset
496 {
kono
parents:
diff changeset
497 v = 0;
kono
parents:
diff changeset
498 count = 1;
kono
parents:
diff changeset
499
kono
parents:
diff changeset
500 __atomic_or_fetch (&v, count, __ATOMIC_RELAXED);
kono
parents:
diff changeset
501 if (v != 1)
kono
parents:
diff changeset
502 abort ();
kono
parents:
diff changeset
503
kono
parents:
diff changeset
504 count *= 2;
kono
parents:
diff changeset
505 __atomic_fetch_or (&v, count, __ATOMIC_CONSUME);
kono
parents:
diff changeset
506 if (v != 3)
kono
parents:
diff changeset
507 abort ();
kono
parents:
diff changeset
508
kono
parents:
diff changeset
509 count *= 2;
kono
parents:
diff changeset
510 __atomic_or_fetch (&v, 4, __ATOMIC_ACQUIRE);
kono
parents:
diff changeset
511 if (v != 7)
kono
parents:
diff changeset
512 abort ();
kono
parents:
diff changeset
513
kono
parents:
diff changeset
514 count *= 2;
kono
parents:
diff changeset
515 __atomic_fetch_or (&v, 8, __ATOMIC_RELEASE);
kono
parents:
diff changeset
516 if (v != 15)
kono
parents:
diff changeset
517 abort ();
kono
parents:
diff changeset
518
kono
parents:
diff changeset
519 count *= 2;
kono
parents:
diff changeset
520 __atomic_or_fetch (&v, count, __ATOMIC_ACQ_REL);
kono
parents:
diff changeset
521 if (v != 31)
kono
parents:
diff changeset
522 abort ();
kono
parents:
diff changeset
523
kono
parents:
diff changeset
524 count *= 2;
kono
parents:
diff changeset
525 __atomic_fetch_or (&v, count, __ATOMIC_SEQ_CST);
kono
parents:
diff changeset
526 if (v != 63)
kono
parents:
diff changeset
527 abort ();
kono
parents:
diff changeset
528 }
kono
parents:
diff changeset
529
kono
parents:
diff changeset
530 int
kono
parents:
diff changeset
531 main ()
kono
parents:
diff changeset
532 {
kono
parents:
diff changeset
533 test_fetch_add ();
kono
parents:
diff changeset
534 test_fetch_sub ();
kono
parents:
diff changeset
535 test_fetch_and ();
kono
parents:
diff changeset
536 test_fetch_nand ();
kono
parents:
diff changeset
537 test_fetch_xor ();
kono
parents:
diff changeset
538 test_fetch_or ();
kono
parents:
diff changeset
539
kono
parents:
diff changeset
540 test_add_fetch ();
kono
parents:
diff changeset
541 test_sub_fetch ();
kono
parents:
diff changeset
542 test_and_fetch ();
kono
parents:
diff changeset
543 test_nand_fetch ();
kono
parents:
diff changeset
544 test_xor_fetch ();
kono
parents:
diff changeset
545 test_or_fetch ();
kono
parents:
diff changeset
546
kono
parents:
diff changeset
547 test_add ();
kono
parents:
diff changeset
548 test_sub ();
kono
parents:
diff changeset
549 test_and ();
kono
parents:
diff changeset
550 test_nand ();
kono
parents:
diff changeset
551 test_xor ();
kono
parents:
diff changeset
552 test_or ();
kono
parents:
diff changeset
553
kono
parents:
diff changeset
554 return 0;
kono
parents:
diff changeset
555 }