source: libcfa/prelude/sync-builtins.cf@ 8519fac

ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 8519fac was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 5 years ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.
  • Property mode set to 100644
File size: 43.5 KB
RevLine 
[13073be]1char __sync_fetch_and_add(volatile char *, char,...);
[56fba87]2signed char __sync_fetch_and_add(volatile signed char *, signed char,...);
3unsigned char __sync_fetch_and_add(volatile unsigned char *, unsigned char,...);
4signed short __sync_fetch_and_add(volatile signed short *, signed short,...);
5unsigned short __sync_fetch_and_add(volatile unsigned short *, unsigned short,...);
6signed int __sync_fetch_and_add(volatile signed int *, signed int,...);
7unsigned int __sync_fetch_and_add(volatile unsigned int *, unsigned int,...);
[c701332a]8signed long int __sync_fetch_and_add(volatile signed long int *, signed long int,...);
9unsigned long int __sync_fetch_and_add(volatile unsigned long int *, unsigned long int,...);
[56fba87]10signed long long int __sync_fetch_and_add(volatile signed long long int *, signed long long int,...);
11unsigned long long int __sync_fetch_and_add(volatile unsigned long long int *, unsigned long long int,...);
12#if defined(__SIZEOF_INT128__)
13signed __int128 __sync_fetch_and_add(volatile signed __int128 *, signed __int128,...);
14unsigned __int128 __sync_fetch_and_add(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]15#endif
[13073be]16
17char __sync_fetch_and_sub(volatile char *, char,...);
[56fba87]18signed char __sync_fetch_and_sub(volatile signed char *, signed char,...);
19unsigned char __sync_fetch_and_sub(volatile unsigned char *, unsigned char,...);
20signed short __sync_fetch_and_sub(volatile signed short *, signed short,...);
21unsigned short __sync_fetch_and_sub(volatile unsigned short *, unsigned short,...);
22signed int __sync_fetch_and_sub(volatile signed int *, signed int,...);
23unsigned int __sync_fetch_and_sub(volatile unsigned int *, unsigned int,...);
[c701332a]24signed long int __sync_fetch_and_sub(volatile signed long int *, signed long int,...);
25unsigned long int __sync_fetch_and_sub(volatile unsigned long int *, unsigned long int,...);
[56fba87]26signed long long int __sync_fetch_and_sub(volatile signed long long int *, signed long long int,...);
27unsigned long long int __sync_fetch_and_sub(volatile unsigned long long int *, unsigned long long int,...);
28#if defined(__SIZEOF_INT128__)
29signed __int128 __sync_fetch_and_sub(volatile signed __int128 *, signed __int128,...);
30unsigned __int128 __sync_fetch_and_sub(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]31#endif
[13073be]32
33char __sync_fetch_and_or(volatile char *, char,...);
[56fba87]34signed char __sync_fetch_and_or(volatile signed char *, signed char,...);
35unsigned char __sync_fetch_and_or(volatile unsigned char *, unsigned char,...);
36signed short __sync_fetch_and_or(volatile signed short *, signed short,...);
37unsigned short __sync_fetch_and_or(volatile unsigned short *, unsigned short,...);
38signed int __sync_fetch_and_or(volatile signed int *, signed int,...);
39unsigned int __sync_fetch_and_or(volatile unsigned int *, unsigned int,...);
[c701332a]40signed long int __sync_fetch_and_or(volatile signed long int *, signed long int,...);
41unsigned long int __sync_fetch_and_or(volatile unsigned long int *, unsigned long int,...);
[56fba87]42signed long long int __sync_fetch_and_or(volatile signed long long int *, signed long long int,...);
43unsigned long long int __sync_fetch_and_or(volatile unsigned long long int *, unsigned long long int,...);
44#if defined(__SIZEOF_INT128__)
45signed __int128 __sync_fetch_and_or(volatile signed __int128 *, signed __int128,...);
46unsigned __int128 __sync_fetch_and_or(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]47#endif
[13073be]48
49char __sync_fetch_and_and(volatile char *, char,...);
[56fba87]50signed char __sync_fetch_and_and(volatile signed char *, signed char,...);
51unsigned char __sync_fetch_and_and(volatile unsigned char *, unsigned char,...);
52signed short __sync_fetch_and_and(volatile signed short *, signed short,...);
53unsigned short __sync_fetch_and_and(volatile unsigned short *, unsigned short,...);
54signed int __sync_fetch_and_and(volatile signed int *, signed int,...);
55unsigned int __sync_fetch_and_and(volatile unsigned int *, unsigned int,...);
[c701332a]56signed long int __sync_fetch_and_and(volatile signed long int *, signed long int,...);
57unsigned long int __sync_fetch_and_and(volatile unsigned long int *, unsigned long int,...);
[56fba87]58signed long long int __sync_fetch_and_and(volatile signed long long int *, signed long long int,...);
59unsigned long long int __sync_fetch_and_and(volatile unsigned long long int *, unsigned long long int,...);
60#if defined(__SIZEOF_INT128__)
61signed __int128 __sync_fetch_and_and(volatile signed __int128 *, signed __int128,...);
62unsigned __int128 __sync_fetch_and_and(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]63#endif
[13073be]64
65char __sync_fetch_and_xor(volatile char *, char,...);
[56fba87]66signed char __sync_fetch_and_xor(volatile signed char *, signed char,...);
67unsigned char __sync_fetch_and_xor(volatile unsigned char *, unsigned char,...);
68signed short __sync_fetch_and_xor(volatile signed short *, signed short,...);
69unsigned short __sync_fetch_and_xor(volatile unsigned short *, unsigned short,...);
70signed int __sync_fetch_and_xor(volatile signed int *, signed int,...);
71unsigned int __sync_fetch_and_xor(volatile unsigned int *, unsigned int,...);
[c701332a]72signed long int __sync_fetch_and_xor(volatile signed long int *, signed long int,...);
73unsigned long int __sync_fetch_and_xor(volatile unsigned long int *, unsigned long int,...);
[56fba87]74signed long long int __sync_fetch_and_xor(volatile signed long long int *, signed long long int,...);
75unsigned long long int __sync_fetch_and_xor(volatile unsigned long long int *, unsigned long long int,...);
76#if defined(__SIZEOF_INT128__)
77signed __int128 __sync_fetch_and_xor(volatile signed __int128 *, signed __int128,...);
78unsigned __int128 __sync_fetch_and_xor(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]79#endif
[13073be]80
81char __sync_fetch_and_nand(volatile char *, char,...);
[56fba87]82signed char __sync_fetch_and_nand(volatile signed char *, signed char,...);
83unsigned char __sync_fetch_and_nand(volatile unsigned char *, unsigned char,...);
84signed short __sync_fetch_and_nand(volatile signed short *, signed short,...);
85unsigned short __sync_fetch_and_nand(volatile unsigned short *, unsigned short,...);
86signed int __sync_fetch_and_nand(volatile signed int *, signed int,...);
87unsigned int __sync_fetch_and_nand(volatile unsigned int *, unsigned int,...);
[c701332a]88signed long int __sync_fetch_and_nand(volatile signed long int *, signed long int,...);
89unsigned long int __sync_fetch_and_nand(volatile unsigned long int *, unsigned long int,...);
[56fba87]90signed long long int __sync_fetch_and_nand(volatile signed long long int *, signed long long int,...);
91unsigned long long int __sync_fetch_and_nand(volatile unsigned long long int *, unsigned long long int,...);
92#if defined(__SIZEOF_INT128__)
93signed __int128 __sync_fetch_and_nand(volatile signed __int128 *, signed __int128,...);
94unsigned __int128 __sync_fetch_and_nand(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]95#endif
[13073be]96
97char __sync_add_and_fetch(volatile char *, char,...);
[56fba87]98signed char __sync_add_and_fetch(volatile signed char *, signed char,...);
99unsigned char __sync_add_and_fetch(volatile unsigned char *, unsigned char,...);
100signed short __sync_add_and_fetch(volatile signed short *, signed short,...);
101unsigned short __sync_add_and_fetch(volatile unsigned short *, unsigned short,...);
102signed int __sync_add_and_fetch(volatile signed int *, signed int,...);
103signed int __sync_add_and_fetch(volatile signed int *, signed int,...);
[c701332a]104signed long int __sync_add_and_fetch(volatile signed long int *, signed long int,...);
105unsigned long int __sync_add_and_fetch(volatile unsigned long int *, unsigned long int,...);
[56fba87]106signed long long int __sync_add_and_fetch(volatile signed long long int *, signed long long int,...);
107unsigned long long int __sync_add_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
108#if defined(__SIZEOF_INT128__)
109signed __int128 __sync_add_and_fetch(volatile signed __int128 *, signed __int128,...);
110unsigned __int128 __sync_add_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]111#endif
[13073be]112
113char __sync_sub_and_fetch(volatile char *, char,...);
[56fba87]114signed char __sync_sub_and_fetch(volatile signed char *, signed char,...);
115unsigned char __sync_sub_and_fetch(volatile unsigned char *, unsigned char,...);
116signed short __sync_sub_and_fetch(volatile signed short *, signed short,...);
117unsigned short __sync_sub_and_fetch(volatile unsigned short *, unsigned short,...);
118signed int __sync_sub_and_fetch(volatile signed int *, signed int,...);
119unsigned int __sync_sub_and_fetch(volatile unsigned int *, unsigned int,...);
[c701332a]120signed long int __sync_sub_and_fetch(volatile signed long int *, signed long int,...);
121unsigned long int __sync_sub_and_fetch(volatile unsigned long int *, unsigned long int,...);
[56fba87]122signed long long int __sync_sub_and_fetch(volatile signed long long int *, signed long long int,...);
123unsigned long long int __sync_sub_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
124#if defined(__SIZEOF_INT128__)
125signed __int128 __sync_sub_and_fetch(volatile signed __int128 *, signed __int128,...);
126unsigned __int128 __sync_sub_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]127#endif
[13073be]128
129char __sync_or_and_fetch(volatile char *, char,...);
[56fba87]130signed char __sync_or_and_fetch(volatile signed char *, signed char,...);
131unsigned char __sync_or_and_fetch(volatile unsigned char *, unsigned char,...);
132signed short __sync_or_and_fetch(volatile signed short *, signed short,...);
133unsigned short __sync_or_and_fetch(volatile unsigned short *, unsigned short,...);
134signed int __sync_or_and_fetch(volatile signed int *, signed int,...);
135unsigned int __sync_or_and_fetch(volatile unsigned int *, unsigned int,...);
[c701332a]136signed long int __sync_or_and_fetch(volatile signed long int *, signed long int,...);
137unsigned long int __sync_or_and_fetch(volatile unsigned long int *, unsigned long int,...);
[56fba87]138signed long long int __sync_or_and_fetch(volatile signed long long int *, signed long long int,...);
139unsigned long long int __sync_or_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
140#if defined(__SIZEOF_INT128__)
141signed __int128 __sync_or_and_fetch(volatile signed __int128 *, signed __int128,...);
142unsigned __int128 __sync_or_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]143#endif
[13073be]144
145char __sync_and_and_fetch(volatile char *, char,...);
[56fba87]146signed char __sync_and_and_fetch(volatile signed char *, signed char,...);
147unsigned char __sync_and_and_fetch(volatile unsigned char *, unsigned char,...);
148signed short __sync_and_and_fetch(volatile signed short *, signed short,...);
149unsigned short __sync_and_and_fetch(volatile unsigned short *, unsigned short,...);
150signed int __sync_and_and_fetch(volatile signed int *, signed int,...);
151unsigned int __sync_and_and_fetch(volatile unsigned int *, unsigned int,...);
[c701332a]152signed long int __sync_and_and_fetch(volatile signed long int *, signed long int,...);
153unsigned long int __sync_and_and_fetch(volatile unsigned long int *, unsigned long int,...);
[56fba87]154signed long long int __sync_and_and_fetch(volatile signed long long int *, signed long long int,...);
155unsigned long long int __sync_and_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
156#if defined(__SIZEOF_INT128__)
157signed __int128 __sync_and_and_fetch(volatile signed __int128 *, signed __int128,...);
158unsigned __int128 __sync_and_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]159#endif
[13073be]160
161char __sync_xor_and_fetch(volatile char *, char,...);
[56fba87]162signed char __sync_xor_and_fetch(volatile signed char *, signed char,...);
163unsigned char __sync_xor_and_fetch(volatile unsigned char *, unsigned char,...);
164signed short __sync_xor_and_fetch(volatile signed short *, signed short,...);
165unsigned short __sync_xor_and_fetch(volatile unsigned short *, unsigned short,...);
166signed int __sync_xor_and_fetch(volatile signed int *, signed int,...);
167unsigned int __sync_xor_and_fetch(volatile unsigned int *, unsigned int,...);
[c701332a]168signed long int __sync_xor_and_fetch(volatile signed long int *, signed long int,...);
169unsigned long int __sync_xor_and_fetch(volatile unsigned long int *, unsigned long int,...);
[56fba87]170signed long long int __sync_xor_and_fetch(volatile signed long long int *, signed long long int,...);
171unsigned long long int __sync_xor_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
172#if defined(__SIZEOF_INT128__)
173signed __int128 __sync_xor_and_fetch(volatile signed __int128 *, signed __int128,...);
174unsigned __int128 __sync_xor_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]175#endif
[13073be]176
177char __sync_nand_and_fetch(volatile char *, char,...);
[56fba87]178signed char __sync_nand_and_fetch(volatile signed char *, signed char,...);
179unsigned char __sync_nand_and_fetch(volatile unsigned char *, unsigned char,...);
180signed short __sync_nand_and_fetch(volatile signed short *, signed short,...);
181unsigned short __sync_nand_and_fetch(volatile unsigned short *, unsigned short,...);
182signed int __sync_nand_and_fetch(volatile signed int *, signed int,...);
183unsigned int __sync_nand_and_fetch(volatile unsigned int *, unsigned int,...);
[c701332a]184signed long int __sync_nand_and_fetch(volatile signed long int *, signed long int,...);
185unsigned long int __sync_nand_and_fetch(volatile unsigned long int *, unsigned long int,...);
[56fba87]186signed long long int __sync_nand_and_fetch(volatile signed long long int *, signed long long int,...);
187unsigned long long int __sync_nand_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
188#if defined(__SIZEOF_INT128__)
189signed __int128 __sync_nand_and_fetch(volatile signed __int128 *, signed __int128,...);
190unsigned __int128 __sync_nand_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]191#endif
[13073be]192
193_Bool __sync_bool_compare_and_swap(volatile char *, char, char,...);
[56fba87]194_Bool __sync_bool_compare_and_swap(volatile signed char *, signed char, signed char,...);
195_Bool __sync_bool_compare_and_swap(volatile unsigned char *, unsigned char, unsigned char,...);
196_Bool __sync_bool_compare_and_swap(volatile short *, signed short, signed short,...);
197_Bool __sync_bool_compare_and_swap(volatile short *, unsigned short, unsigned short,...);
198_Bool __sync_bool_compare_and_swap(volatile signed int *, signed int, signed int,...);
199_Bool __sync_bool_compare_and_swap(volatile unsigned int *, unsigned int, unsigned int,...);
[c701332a]200_Bool __sync_bool_compare_and_swap(volatile signed long int *, signed long int, signed long int,...);
201_Bool __sync_bool_compare_and_swap(volatile unsigned long int *, unsigned long int, unsigned long int,...);
[56fba87]202_Bool __sync_bool_compare_and_swap(volatile signed long long int *, signed long long int, signed long long int,...);
203_Bool __sync_bool_compare_and_swap(volatile unsigned long long int *, unsigned long long int, unsigned long long int,...);
204#if defined(__SIZEOF_INT128__)
205_Bool __sync_bool_compare_and_swap(volatile signed __int128 *, signed __int128, signed __int128,...);
206_Bool __sync_bool_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
[1f81d61]207#endif
[fd54fef]208forall(T &) _Bool __sync_bool_compare_and_swap(T * volatile *, T *, T*, ...);
[13073be]209
210char __sync_val_compare_and_swap(volatile char *, char, char,...);
[56fba87]211signed char __sync_val_compare_and_swap(volatile signed char *, signed char, signed char,...);
212unsigned char __sync_val_compare_and_swap(volatile unsigned char *, unsigned char, unsigned char,...);
213signed short __sync_val_compare_and_swap(volatile signed short *, signed short, signed short,...);
214unsigned short __sync_val_compare_and_swap(volatile unsigned short *, unsigned short, unsigned short,...);
215signed int __sync_val_compare_and_swap(volatile signed int *, signed int, signed int,...);
216unsigned int __sync_val_compare_and_swap(volatile unsigned int *, unsigned int, unsigned int,...);
[c701332a]217signed long int __sync_val_compare_and_swap(volatile signed long int *, signed long int, signed long int,...);
218unsigned long int __sync_val_compare_and_swap(volatile unsigned long int *, unsigned long int, unsigned long int,...);
[56fba87]219signed long long int __sync_val_compare_and_swap(volatile signed long long int *, signed long long int, signed long long int,...);
220unsigned long long int __sync_val_compare_and_swap(volatile unsigned long long int *, unsigned long long int, unsigned long long int,...);
221#if defined(__SIZEOF_INT128__)
222signed __int128 __sync_val_compare_and_swap(volatile signed __int128 *, signed __int128, signed __int128,...);
223unsigned __int128 __sync_val_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
[1f81d61]224#endif
[fd54fef]225forall(T &) T * __sync_val_compare_and_swap(T * volatile *, T *, T*,...);
[13073be]226
227char __sync_lock_test_and_set(volatile char *, char,...);
[56fba87]228signed char __sync_lock_test_and_set(volatile signed char *, signed char,...);
229unsigned char __sync_lock_test_and_set(volatile unsigned char *, unsigned char,...);
230signed short __sync_lock_test_and_set(volatile signed short *, signed short,...);
231unsigned short __sync_lock_test_and_set(volatile unsigned short *, unsigned short,...);
232signed int __sync_lock_test_and_set(volatile signed int *, signed int,...);
233unsigned int __sync_lock_test_and_set(volatile unsigned int *, unsigned int,...);
[c701332a]234signed long int __sync_lock_test_and_set(volatile signed long int *, signed long int,...);
235unsigned long int __sync_lock_test_and_set(volatile unsigned long int *, unsigned long int,...);
[56fba87]236signed long long int __sync_lock_test_and_set(volatile signed long long int *, signed long long int,...);
237unsigned long long int __sync_lock_test_and_set(volatile unsigned long long int *, unsigned long long int,...);
238#if defined(__SIZEOF_INT128__)
239signed __int128 __sync_lock_test_and_set(volatile signed __int128 *, signed __int128,...);
240unsigned __int128 __sync_lock_test_and_set(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]241#endif
[13073be]242
243void __sync_lock_release(volatile char *,...);
[56fba87]244void __sync_lock_release(volatile signed char *,...);
245void __sync_lock_release(volatile unsigned char *,...);
246void __sync_lock_release(volatile signed short *,...);
247void __sync_lock_release(volatile unsigned short *,...);
248void __sync_lock_release(volatile signed int *,...);
249void __sync_lock_release(volatile unsigned int *,...);
[c701332a]250void __sync_lock_release(volatile signed long int *,...);
251void __sync_lock_release(volatile unsigned long int *,...);
[56fba87]252void __sync_lock_release(volatile signed long long int *,...);
253void __sync_lock_release(volatile unsigned long long int *,...);
254#if defined(__SIZEOF_INT128__)
255void __sync_lock_release(volatile signed __int128 *,...);
256void __sync_lock_release(volatile unsigned __int128 *,...);
[1f81d61]257#endif
[13073be]258
259void __sync_synchronize();
260
261
262
263
264_Bool __atomic_test_and_set(volatile _Bool *, int);
265_Bool __atomic_test_and_set(volatile char *, int);
[56fba87]266_Bool __atomic_test_and_set(volatile signed char *, int);
267_Bool __atomic_test_and_set(volatile unsigned char *, int);
268_Bool __atomic_test_and_set(volatile signed short *, int);
269_Bool __atomic_test_and_set(volatile unsigned short *, int);
270_Bool __atomic_test_and_set(volatile signed int *, int);
271_Bool __atomic_test_and_set(volatile unsigned int *, int);
[c701332a]272_Bool __atomic_test_and_set(volatile signed long int *, int);
273_Bool __atomic_test_and_set(volatile unsigned long int *, int);
[56fba87]274_Bool __atomic_test_and_set(volatile signed long long int *, int);
275_Bool __atomic_test_and_set(volatile unsigned long long int *, int);
[1f81d61]276#if defined(__SIZEOF_INT128__)
[56fba87]277_Bool __atomic_test_and_set(volatile signed __int128 *, int);
278_Bool __atomic_test_and_set(volatile unsigned __int128 *, int);
[1f81d61]279#endif
280
[13073be]281void __atomic_clear(volatile _Bool *, int);
282void __atomic_clear(volatile char *, int);
[56fba87]283void __atomic_clear(volatile signed char *, int);
284void __atomic_clear(volatile unsigned char *, int);
285void __atomic_clear(volatile signed short *, int);
286void __atomic_clear(volatile unsigned short *, int);
287void __atomic_clear(volatile signed int *, int);
288void __atomic_clear(volatile unsigned int *, int);
[c701332a]289void __atomic_clear(volatile signed long int *, int);
290void __atomic_clear(volatile unsigned long int *, int);
[56fba87]291void __atomic_clear(volatile signed long long int *, int);
292void __atomic_clear(volatile unsigned long long int *, int);
[1f81d61]293#if defined(__SIZEOF_INT128__)
[56fba87]294void __atomic_clear(volatile signed __int128 *, int);
295void __atomic_clear(volatile unsigned __int128 *, int);
[1f81d61]296#endif
[13073be]297
[c701332a]298_Bool __atomic_exchange_n(volatile _Bool *, _Bool, int);
299void __atomic_exchange(volatile _Bool *, volatile _Bool *, volatile _Bool *, int);
[c64e979]300char __atomic_exchange_n(volatile char *, char, int);
[13073be]301void __atomic_exchange(volatile char *, volatile char *, volatile char *, int);
[c64e979]302signed char __atomic_exchange_n(volatile signed char *, signed char, int);
[56fba87]303void __atomic_exchange(volatile signed char *, volatile signed char *, volatile signed char *, int);
[c64e979]304unsigned char __atomic_exchange_n(volatile unsigned char *, unsigned char, int);
[56fba87]305void __atomic_exchange(volatile unsigned char *, volatile unsigned char *, volatile unsigned char *, int);
[c64e979]306signed short __atomic_exchange_n(volatile signed short *, signed short, int);
[56fba87]307void __atomic_exchange(volatile signed short *, volatile signed short *, volatile signed short *, int);
[c64e979]308unsigned short __atomic_exchange_n(volatile unsigned short *, unsigned short, int);
[56fba87]309void __atomic_exchange(volatile unsigned short *, volatile unsigned short *, volatile unsigned short *, int);
[c64e979]310signed int __atomic_exchange_n(volatile signed int *, signed int, int);
[56fba87]311void __atomic_exchange(volatile signed int *, volatile signed int *, volatile signed int *, int);
[c64e979]312unsigned int __atomic_exchange_n(volatile unsigned int *, unsigned int, int);
[56fba87]313void __atomic_exchange(volatile unsigned int *, volatile unsigned int *, volatile unsigned int *, int);
[c701332a]314signed long int __atomic_exchange_n(volatile signed long int *, signed long int, int);
315void __atomic_exchange(volatile signed long int *, volatile signed long int *, volatile signed long int *, int);
316unsigned long int __atomic_exchange_n(volatile unsigned long int *, unsigned long int, int);
317void __atomic_exchange(volatile unsigned long int *, volatile unsigned long int *, volatile unsigned long int *, int);
[c64e979]318signed long long int __atomic_exchange_n(volatile signed long long int *, signed long long int, int);
[56fba87]319void __atomic_exchange(volatile signed long long int *, volatile signed long long int *, volatile signed long long int *, int);
[c64e979]320unsigned long long int __atomic_exchange_n(volatile unsigned long long int *, unsigned long long int, int);
[56fba87]321void __atomic_exchange(volatile unsigned long long int *, volatile unsigned long long int *, volatile unsigned long long int *, int);
322#if defined(__SIZEOF_INT128__)
[c64e979]323signed __int128 __atomic_exchange_n(volatile signed __int128 *, signed __int128, int);
[56fba87]324void __atomic_exchange(volatile signed __int128 *, volatile signed __int128 *, volatile signed __int128 *, int);
[c64e979]325unsigned __int128 __atomic_exchange_n(volatile unsigned __int128 *, unsigned __int128, int);
[56fba87]326void __atomic_exchange(volatile unsigned __int128 *, volatile unsigned __int128 *, volatile unsigned __int128 *, int);
[1f81d61]327#endif
[fd54fef]328forall(T &) T * __atomic_exchange_n(T * volatile *, T *, int);
329forall(T &) void __atomic_exchange(T * volatile *, T * volatile *, T * volatile *, int);
[13073be]330
[ea8b2f7]331_Bool __atomic_load_n(const volatile _Bool *, int);
332void __atomic_load(const volatile _Bool *, volatile _Bool *, int);
[13073be]333char __atomic_load_n(const volatile char *, int);
334void __atomic_load(const volatile char *, volatile char *, int);
[56fba87]335signed char __atomic_load_n(const volatile signed char *, int);
336void __atomic_load(const volatile signed char *, volatile signed char *, int);
337unsigned char __atomic_load_n(const volatile unsigned char *, int);
338void __atomic_load(const volatile unsigned char *, volatile unsigned char *, int);
339signed short __atomic_load_n(const volatile signed short *, int);
340void __atomic_load(const volatile signed short *, volatile signed short *, int);
341unsigned short __atomic_load_n(const volatile unsigned short *, int);
342void __atomic_load(const volatile unsigned short *, volatile unsigned short *, int);
343signed int __atomic_load_n(const volatile signed int *, int);
344void __atomic_load(const volatile signed int *, volatile signed int *, int);
345unsigned int __atomic_load_n(const volatile unsigned int *, int);
346void __atomic_load(const volatile unsigned int *, volatile unsigned int *, int);
[c701332a]347signed long int __atomic_load_n(const volatile signed long int *, int);
348void __atomic_load(const volatile signed long int *, volatile signed long int *, int);
349unsigned long int __atomic_load_n(const volatile unsigned long int *, int);
350void __atomic_load(const volatile unsigned long int *, volatile unsigned long int *, int);
[56fba87]351signed long long int __atomic_load_n(const volatile signed long long int *, int);
352void __atomic_load(const volatile signed long long int *, volatile signed long long int *, int);
353unsigned long long int __atomic_load_n(const volatile unsigned long long int *, int);
354void __atomic_load(const volatile unsigned long long int *, volatile unsigned long long int *, int);
355#if defined(__SIZEOF_INT128__)
356signed __int128 __atomic_load_n(const volatile signed __int128 *, int);
357void __atomic_load(const volatile signed __int128 *, volatile signed __int128 *, int);
358unsigned __int128 __atomic_load_n(const volatile unsigned __int128 *, int);
359void __atomic_load(const volatile unsigned __int128 *, volatile unsigned __int128 *, int);
[1f81d61]360#endif
[fd54fef]361forall(T &) T * __atomic_load_n(T * const volatile *, int);
362forall(T &) void __atomic_load(T * const volatile *, T **, int);
[13073be]363
364_Bool __atomic_compare_exchange_n(volatile char *, char *, char, _Bool, int, int);
365_Bool __atomic_compare_exchange (volatile char *, char *, char *, _Bool, int, int);
[56fba87]366_Bool __atomic_compare_exchange_n(volatile signed char *, signed char *, signed char, _Bool, int, int);
367_Bool __atomic_compare_exchange (volatile signed char *, signed char *, signed char *, _Bool, int, int);
368_Bool __atomic_compare_exchange_n(volatile unsigned char *, unsigned char *, unsigned char, _Bool, int, int);
369_Bool __atomic_compare_exchange (volatile unsigned char *, unsigned char *, unsigned char *, _Bool, int, int);
370_Bool __atomic_compare_exchange_n(volatile signed short *, signed short *, signed short, _Bool, int, int);
371_Bool __atomic_compare_exchange (volatile signed short *, signed short *, signed short *, _Bool, int, int);
372_Bool __atomic_compare_exchange_n(volatile unsigned short *, unsigned short *, unsigned short, _Bool, int, int);
373_Bool __atomic_compare_exchange (volatile unsigned short *, unsigned short *, unsigned short *, _Bool, int, int);
374_Bool __atomic_compare_exchange_n(volatile signed int *, signed int *, signed int, _Bool, int, int);
375_Bool __atomic_compare_exchange (volatile signed int *, signed int *, signed int *, _Bool, int, int);
376_Bool __atomic_compare_exchange_n(volatile unsigned int *, unsigned int *, unsigned int, _Bool, int, int);
377_Bool __atomic_compare_exchange (volatile unsigned int *, unsigned int *, unsigned int *, _Bool, int, int);
[c701332a]378_Bool __atomic_compare_exchange_n(volatile signed long int *, signed long int *, signed long int, _Bool, int, int);
379_Bool __atomic_compare_exchange (volatile signed long int *, signed long int *, signed long int *, _Bool, int, int);
380_Bool __atomic_compare_exchange_n(volatile unsigned long int *, unsigned long int *, unsigned long int, _Bool, int, int);
381_Bool __atomic_compare_exchange (volatile unsigned long int *, unsigned long int *, unsigned long int *, _Bool, int, int);
[56fba87]382_Bool __atomic_compare_exchange_n(volatile signed long long int *, signed long long int *, signed long long int, _Bool, int, int);
383_Bool __atomic_compare_exchange (volatile signed long long int *, signed long long int *, signed long long int *, _Bool, int, int);
384_Bool __atomic_compare_exchange_n(volatile unsigned long long int *, unsigned long long int *, unsigned long long int, _Bool, int, int);
385_Bool __atomic_compare_exchange (volatile unsigned long long int *, unsigned long long int *, unsigned long long int *, _Bool, int, int);
386#if defined(__SIZEOF_INT128__)
387_Bool __atomic_compare_exchange_n (volatile signed __int128 *, signed __int128 *, signed __int128, _Bool, int, int);
388_Bool __atomic_compare_exchange (volatile signed __int128 *, signed __int128 *, signed __int128 *, _Bool, int, int);
389_Bool __atomic_compare_exchange_n (volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128, _Bool, int, int);
390_Bool __atomic_compare_exchange (volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128 *, _Bool, int, int);
[1f81d61]391#endif
[fd54fef]392forall(T &) _Bool __atomic_compare_exchange_n (T * volatile *, T **, T*, _Bool, int, int);
393forall(T &) _Bool __atomic_compare_exchange (T * volatile *, T **, T**, _Bool, int, int);
[13073be]394
395void __atomic_store_n(volatile _Bool *, _Bool, int);
396void __atomic_store(volatile _Bool *, _Bool *, int);
397void __atomic_store_n(volatile char *, char, int);
398void __atomic_store(volatile char *, char *, int);
[56fba87]399void __atomic_store_n(volatile signed char *, signed char, int);
400void __atomic_store(volatile signed char *, signed char *, int);
401void __atomic_store_n(volatile unsigned char *, unsigned char, int);
402void __atomic_store(volatile unsigned char *, unsigned char *, int);
403void __atomic_store_n(volatile signed short *, signed short, int);
404void __atomic_store(volatile signed short *, signed short *, int);
405void __atomic_store_n(volatile unsigned short *, unsigned short, int);
406void __atomic_store(volatile unsigned short *, unsigned short *, int);
407void __atomic_store_n(volatile signed int *, signed int, int);
408void __atomic_store(volatile signed int *, signed int *, int);
409void __atomic_store_n(volatile unsigned int *, unsigned int, int);
410void __atomic_store(volatile unsigned int *, unsigned int *, int);
[c701332a]411void __atomic_store_n(volatile signed long int *, signed long int, int);
412void __atomic_store(volatile signed long int *, signed long int *, int);
413void __atomic_store_n(volatile unsigned long int *, unsigned long int, int);
414void __atomic_store(volatile unsigned long int *, unsigned long int *, int);
[56fba87]415void __atomic_store_n(volatile signed long long int *, signed long long int, int);
416void __atomic_store(volatile signed long long int *, signed long long int *, int);
417void __atomic_store_n(volatile unsigned long long int *, unsigned long long int, int);
418void __atomic_store(volatile unsigned long long int *, unsigned long long int *, int);
419#if defined(__SIZEOF_INT128__)
420void __atomic_store_n(volatile signed __int128 *, signed __int128, int);
421void __atomic_store(volatile signed __int128 *, signed __int128 *, int);
422void __atomic_store_n(volatile unsigned __int128 *, unsigned __int128, int);
423void __atomic_store(volatile unsigned __int128 *, unsigned __int128 *, int);
[1f81d61]424#endif
[fd54fef]425forall(T &) void __atomic_store_n(T * volatile *, T *, int);
426forall(T &) void __atomic_store(T * volatile *, T **, int);
[13073be]427
428char __atomic_add_fetch (volatile char *, char, int);
[56fba87]429signed char __atomic_add_fetch (volatile signed char *, signed char, int);
430unsigned char __atomic_add_fetch (volatile unsigned char *, unsigned char, int);
431signed short __atomic_add_fetch (volatile signed short *, signed short, int);
432unsigned short __atomic_add_fetch (volatile unsigned short *, unsigned short, int);
433signed int __atomic_add_fetch (volatile signed int *, signed int, int);
434unsigned int __atomic_add_fetch (volatile unsigned int *, unsigned int, int);
[c701332a]435signed long int __atomic_add_fetch (volatile signed long int *, signed long int, int);
436unsigned long int __atomic_add_fetch (volatile unsigned long int *, unsigned long int, int);
[56fba87]437signed long long int __atomic_add_fetch (volatile signed long long int *, signed long long int, int);
438unsigned long long int __atomic_add_fetch (volatile unsigned long long int *, unsigned long long int, int);
439#if defined(__SIZEOF_INT128__)
440signed __int128 __atomic_add_fetch (volatile signed __int128 *, signed __int128, int);
441unsigned __int128 __atomic_add_fetch (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]442#endif
[13073be]443
444char __atomic_sub_fetch (volatile char *, char, int);
[56fba87]445signed char __atomic_sub_fetch (volatile signed char *, signed char, int);
446unsigned char __atomic_sub_fetch (volatile unsigned char *, unsigned char, int);
447signed short __atomic_sub_fetch (volatile signed short *, signed short, int);
448unsigned short __atomic_sub_fetch (volatile unsigned short *, unsigned short, int);
449signed int __atomic_sub_fetch (volatile signed int *, signed int, int);
450unsigned int __atomic_sub_fetch (volatile unsigned int *, unsigned int, int);
[c701332a]451signed long long int __atomic_sub_fetch (volatile signed long int *, signed long int, int);
452unsigned long long int __atomic_sub_fetch (volatile unsigned long int *, unsigned long int, int);
[56fba87]453signed long long int __atomic_sub_fetch (volatile signed long long int *, signed long long int, int);
454unsigned long long int __atomic_sub_fetch (volatile unsigned long long int *, unsigned long long int, int);
455#if defined(__SIZEOF_INT128__)
456signed __int128 __atomic_sub_fetch (volatile signed __int128 *, signed __int128, int);
457unsigned __int128 __atomic_sub_fetch (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]458#endif
[13073be]459
460char __atomic_and_fetch (volatile char *, char, int);
[56fba87]461signed char __atomic_and_fetch (volatile signed char *, signed char, int);
462unsigned char __atomic_and_fetch (volatile unsigned char *, unsigned char, int);
463signed short __atomic_and_fetch (volatile signed short *, signed short, int);
464unsigned short __atomic_and_fetch (volatile unsigned short *, unsigned short, int);
465signed int __atomic_and_fetch (volatile signed int *, signed int, int);
466unsigned int __atomic_and_fetch (volatile unsigned int *, unsigned int, int);
[c701332a]467signed long int __atomic_and_fetch (volatile signed long int *, signed long int, int);
468unsigned long int __atomic_and_fetch (volatile unsigned long int *, unsigned long int, int);
[56fba87]469signed long long int __atomic_and_fetch (volatile signed long long int *, signed long long int, int);
470unsigned long long int __atomic_and_fetch (volatile unsigned long long int *, unsigned long long int, int);
471#if defined(__SIZEOF_INT128__)
472signed __int128 __atomic_and_fetch (volatile signed __int128 *, signed __int128, int);
473unsigned __int128 __atomic_and_fetch (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]474#endif
[13073be]475
476char __atomic_nand_fetch (volatile char *, char, int);
[56fba87]477signed char __atomic_nand_fetch (volatile signed char *, signed char, int);
478unsigned char __atomic_nand_fetch (volatile unsigned char *, unsigned char, int);
479signed short __atomic_nand_fetch (volatile signed short *, signed short, int);
480unsigned short __atomic_nand_fetch (volatile unsigned short *, unsigned short, int);
481signed int __atomic_nand_fetch (volatile signed int *, signed int, int);
482unsigned int __atomic_nand_fetch (volatile unsigned int *, unsigned int, int);
[c701332a]483signed long int __atomic_nand_fetch (volatile signed long int *, signed long int, int);
484unsigned long int __atomic_nand_fetch (volatile unsigned long int *, unsigned long int, int);
[56fba87]485signed long long int __atomic_nand_fetch (volatile signed long long int *, signed long long int, int);
486unsigned long long int __atomic_nand_fetch (volatile unsigned long long int *, unsigned long long int, int);
487#if defined(__SIZEOF_INT128__)
488signed __int128 __atomic_nand_fetch (volatile signed __int128 *, signed __int128, int);
489unsigned __int128 __atomic_nand_fetch (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]490#endif
[13073be]491
492char __atomic_xor_fetch (volatile char *, char, int);
[56fba87]493signed char __atomic_xor_fetch (volatile signed char *, signed char, int);
494unsigned char __atomic_xor_fetch (volatile unsigned char *, unsigned char, int);
495signed short __atomic_xor_fetch (volatile signed short *, signed short, int);
496unsigned short __atomic_xor_fetch (volatile unsigned short *, unsigned short, int);
497signed int __atomic_xor_fetch (volatile signed int *, signed int, int);
498unsigned int __atomic_xor_fetch (volatile unsigned int *, unsigned int, int);
[c701332a]499signed long int __atomic_xor_fetch (volatile signed long int *, signed long int, int);
500unsigned long int __atomic_xor_fetch (volatile unsigned long int *, unsigned long int, int);
[56fba87]501signed long long int __atomic_xor_fetch (volatile signed long long int *, signed long long int, int);
502unsigned long long int __atomic_xor_fetch (volatile unsigned long long int *, unsigned long long int, int);
503#if defined(__SIZEOF_INT128__)
504signed __int128 __atomic_xor_fetch (volatile signed __int128 *, signed __int128, int);
505unsigned __int128 __atomic_xor_fetch (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]506#endif
[13073be]507
508char __atomic_or_fetch (volatile char *, char, int);
[56fba87]509signed char __atomic_or_fetch (volatile signed char *, signed char, int);
510unsigned char __atomic_or_fetch (volatile unsigned char *, unsigned char, int);
511signed short __atomic_or_fetch (volatile signed short *, signed short, int);
512unsigned short __atomic_or_fetch (volatile unsigned short *, unsigned short, int);
513signed int __atomic_or_fetch (volatile signed int *, signed int, int);
514unsigned int __atomic_or_fetch (volatile unsigned int *, unsigned int, int);
[c701332a]515signed long int __atomic_or_fetch (volatile signed long int *, signed long int, int);
516unsigned long int __atomic_or_fetch (volatile unsigned long int *, unsigned long int, int);
[56fba87]517signed long long int __atomic_or_fetch (volatile signed long long int *, signed long long int, int);
518unsigned long long int __atomic_or_fetch (volatile unsigned long long int *, unsigned long long int, int);
519#if defined(__SIZEOF_INT128__)
520signed __int128 __atomic_or_fetch (volatile signed __int128 *, signed __int128, int);
521unsigned __int128 __atomic_or_fetch (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]522#endif
[13073be]523
524char __atomic_fetch_add (volatile char *, char, int);
[56fba87]525signed char __atomic_fetch_add (volatile signed char *, signed char, int);
526unsigned char __atomic_fetch_add (volatile unsigned char *, unsigned char, int);
527signed short __atomic_fetch_add (volatile signed short *, signed short, int);
528unsigned short __atomic_fetch_add (volatile unsigned short *, unsigned short, int);
529signed int __atomic_fetch_add (volatile signed int *, signed int, int);
530unsigned int __atomic_fetch_add (volatile unsigned int *, unsigned int, int);
[c701332a]531signed long int __atomic_fetch_add (volatile signed long int *, signed long int, int);
532unsigned long int __atomic_fetch_add (volatile unsigned long int *, unsigned long int, int);
[56fba87]533signed long long int __atomic_fetch_add (volatile signed long long int *, signed long long int, int);
534unsigned long long int __atomic_fetch_add (volatile unsigned long long int *, unsigned long long int, int);
535#if defined(__SIZEOF_INT128__)
536signed __int128 __atomic_fetch_add (volatile signed __int128 *, signed __int128, int);
537unsigned __int128 __atomic_fetch_add (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]538#endif
[13073be]539
540char __atomic_fetch_sub (volatile char *, char, int);
[56fba87]541signed char __atomic_fetch_sub (volatile signed char *, signed char, int);
542unsigned char __atomic_fetch_sub (volatile unsigned char *, unsigned char, int);
543signed short __atomic_fetch_sub (volatile signed short *, signed short, int);
544unsigned short __atomic_fetch_sub (volatile unsigned short *, unsigned short, int);
545signed int __atomic_fetch_sub (volatile signed int *, signed int, int);
546unsigned int __atomic_fetch_sub (volatile unsigned int *, unsigned int, int);
[c701332a]547signed long int __atomic_fetch_sub (volatile signed long int *, signed long int, int);
548unsigned long int __atomic_fetch_sub (volatile unsigned long int *, unsigned long int, int);
[56fba87]549signed long long int __atomic_fetch_sub (volatile signed long long int *, signed long long int, int);
550unsigned long long int __atomic_fetch_sub (volatile unsigned long long int *, unsigned long long int, int);
551#if defined(__SIZEOF_INT128__)
552signed __int128 __atomic_fetch_sub (volatile signed __int128 *, signed __int128, int);
553unsigned __int128 __atomic_fetch_sub (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]554#endif
[13073be]555
556char __atomic_fetch_and (volatile char *, char, int);
[56fba87]557signed char __atomic_fetch_and (volatile signed char *, signed char, int);
558unsigned char __atomic_fetch_and (volatile unsigned char *, unsigned char, int);
559signed short __atomic_fetch_and (volatile signed short *, signed short, int);
560unsigned short __atomic_fetch_and (volatile unsigned short *, unsigned short, int);
561signed int __atomic_fetch_and (volatile signed int *, signed int, int);
562unsigned int __atomic_fetch_and (volatile unsigned int *, unsigned int, int);
[c701332a]563signed long int __atomic_fetch_and (volatile signed long int *, signed long int, int);
564unsigned long int __atomic_fetch_and (volatile unsigned long int *, unsigned long int, int);
[56fba87]565signed long long int __atomic_fetch_and (volatile signed long long int *, signed long long int, int);
566unsigned long long int __atomic_fetch_and (volatile unsigned long long int *, unsigned long long int, int);
567#if defined(__SIZEOF_INT128__)
568signed __int128 __atomic_fetch_and (volatile signed __int128 *, signed __int128, int);
569unsigned __int128 __atomic_fetch_and (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]570#endif
[13073be]571
572char __atomic_fetch_nand (volatile char *, char, int);
[56fba87]573signed char __atomic_fetch_nand (volatile signed char *, signed char, int);
574unsigned char __atomic_fetch_nand (volatile unsigned char *, unsigned char, int);
575signed short __atomic_fetch_nand (volatile signed short *, signed short, int);
576unsigned short __atomic_fetch_nand (volatile unsigned short *, unsigned short, int);
577signed int __atomic_fetch_nand (volatile signed int *, signed int, int);
578unsigned int __atomic_fetch_nand (volatile unsigned int *, unsigned int, int);
[c701332a]579signed long int __atomic_fetch_nand (volatile signed long int *, signed long int, int);
580unsigned long int __atomic_fetch_nand (volatile unsigned long int *, unsigned long int, int);
[56fba87]581signed long long int __atomic_fetch_nand (volatile signed long long int *, signed long long int, int);
582unsigned long long int __atomic_fetch_nand (volatile unsigned long long int *, unsigned long long int, int);
583#if defined(__SIZEOF_INT128__)
584signed __int128 __atomic_fetch_nand (volatile signed __int128 *, signed __int128, int);
585unsigned __int128 __atomic_fetch_nand (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]586#endif
[13073be]587
588char __atomic_fetch_xor (volatile char *, char, int);
[56fba87]589signed char __atomic_fetch_xor (volatile signed char *, signed char, int);
590unsigned char __atomic_fetch_xor (volatile unsigned char *, unsigned char, int);
591signed short __atomic_fetch_xor (volatile signed short *, signed short, int);
592unsigned short __atomic_fetch_xor (volatile unsigned short *, unsigned short, int);
593signed int __atomic_fetch_xor (volatile signed int *, signed int, int);
594unsigned int __atomic_fetch_xor (volatile unsigned int *, unsigned int, int);
[c701332a]595signed long int __atomic_fetch_xor (volatile signed long int *, signed long int, int);
596unsigned long int __atomic_fetch_xor (volatile unsigned long int *, unsigned long int, int);
[56fba87]597signed long long int __atomic_fetch_xor (volatile signed long long int *, signed long long int, int);
598unsigned long long int __atomic_fetch_xor (volatile unsigned long long int *, unsigned long long int, int);
599#if defined(__SIZEOF_INT128__)
600signed __int128 __atomic_fetch_xor (volatile signed __int128 *, signed __int128, int);
601unsigned __int128 __atomic_fetch_xor (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]602#endif
[13073be]603
604char __atomic_fetch_or (volatile char *, char, int);
[56fba87]605signed char __atomic_fetch_or (volatile signed char *, signed char, int);
606unsigned char __atomic_fetch_or (volatile unsigned char *, unsigned char, int);
607signed short __atomic_fetch_or (volatile signed short *, signed short, int);
608unsigned short __atomic_fetch_or (volatile unsigned short *, unsigned short, int);
609signed int __atomic_fetch_or (volatile signed int *, signed int, int);
610unsigned int __atomic_fetch_or (volatile unsigned int *, unsigned int, int);
[c701332a]611signed long int __atomic_fetch_or (volatile signed long int *, signed long int, int);
612unsigned long int __atomic_fetch_or (volatile unsigned long int *, unsigned long int, int);
[56fba87]613signed long long int __atomic_fetch_or (volatile signed long long int *, signed long long int, int);
614unsigned long long int __atomic_fetch_or (volatile unsigned long long int *, unsigned long long int, int);
615#if defined(__SIZEOF_INT128__)
616signed __int128 __atomic_fetch_or (volatile signed __int128 *, signed __int128, int);
617unsigned __int128 __atomic_fetch_or (volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]618#endif
[13073be]619
620_Bool __atomic_always_lock_free(unsigned long, const volatile void *);
621_Bool __atomic_is_lock_free(unsigned long, const volatile void *);
622
623void __atomic_thread_fence (int);
624void __atomic_signal_fence (int);
625void __atomic_feraiseexcept(int);
Note: See TracBrowser for help on using the repository browser.