source: libcfa/prelude/sync-builtins.cf @ 8a30423

ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 8a30423 was bf71cfd, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Moved up many directories in source
  • Property mode set to 100644
File size: 65.3 KB
RevLine 
[13073be]1char __sync_fetch_and_add(volatile char *, char,...);
2char __sync_fetch_and_add_1(volatile char *, char,...);
[56fba87]3signed char __sync_fetch_and_add(volatile signed char *, signed char,...);
4signed char __sync_fetch_and_add_1(volatile signed char *, signed char,...);
5unsigned char __sync_fetch_and_add(volatile unsigned char *, unsigned char,...);
6unsigned char __sync_fetch_and_add_1(volatile unsigned char *, unsigned char,...);
7signed short __sync_fetch_and_add(volatile signed short *, signed short,...);
8signed short __sync_fetch_and_add_2(volatile signed short *, signed short,...);
9unsigned short __sync_fetch_and_add(volatile unsigned short *, unsigned short,...);
10unsigned short __sync_fetch_and_add_2(volatile unsigned short *, unsigned short,...);
11signed int __sync_fetch_and_add(volatile signed int *, signed int,...);
12signed int __sync_fetch_and_add_4(volatile signed int *, signed int,...);
13unsigned int __sync_fetch_and_add(volatile unsigned int *, unsigned int,...);
14unsigned int __sync_fetch_and_add_4(volatile unsigned int *, unsigned int,...);
15signed long long int __sync_fetch_and_add(volatile signed long long int *, signed long long int,...);
16signed long long int __sync_fetch_and_add_8(volatile signed long long int *, signed long long int,...);
17unsigned long long int __sync_fetch_and_add(volatile unsigned long long int *, unsigned long long int,...);
18unsigned long long int __sync_fetch_and_add_8(volatile unsigned long long int *, unsigned long long int,...);
19#if defined(__SIZEOF_INT128__)
20signed __int128 __sync_fetch_and_add(volatile signed __int128 *, signed __int128,...);
21signed __int128 __sync_fetch_and_add_16(volatile signed __int128 *, signed __int128,...);
22unsigned __int128 __sync_fetch_and_add(volatile unsigned __int128 *, unsigned __int128,...);
23unsigned __int128 __sync_fetch_and_add_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]24#endif
[13073be]25
26char __sync_fetch_and_sub(volatile char *, char,...);
27char __sync_fetch_and_sub_1(volatile char *, char,...);
[56fba87]28signed char __sync_fetch_and_sub(volatile signed char *, signed char,...);
29signed char __sync_fetch_and_sub_1(volatile signed char *, signed char,...);
30unsigned char __sync_fetch_and_sub(volatile unsigned char *, unsigned char,...);
31unsigned char __sync_fetch_and_sub_1(volatile unsigned char *, unsigned char,...);
32signed short __sync_fetch_and_sub(volatile signed short *, signed short,...);
33signed short __sync_fetch_and_sub_2(volatile signed short *, signed short,...);
34unsigned short __sync_fetch_and_sub(volatile unsigned short *, unsigned short,...);
35unsigned short __sync_fetch_and_sub_2(volatile unsigned short *, unsigned short,...);
36signed int __sync_fetch_and_sub(volatile signed int *, signed int,...);
37signed int __sync_fetch_and_sub_4(volatile signed int *, signed int,...);
38unsigned int __sync_fetch_and_sub(volatile unsigned int *, unsigned int,...);
39unsigned int __sync_fetch_and_sub_4(volatile unsigned int *, unsigned int,...);
40signed long long int __sync_fetch_and_sub(volatile signed long long int *, signed long long int,...);
41signed long long int __sync_fetch_and_sub_8(volatile signed long long int *, signed long long int,...);
42unsigned long long int __sync_fetch_and_sub(volatile unsigned long long int *, unsigned long long int,...);
43unsigned long long int __sync_fetch_and_sub_8(volatile unsigned long long int *, unsigned long long int,...);
44#if defined(__SIZEOF_INT128__)
45signed __int128 __sync_fetch_and_sub(volatile signed __int128 *, signed __int128,...);
46signed __int128 __sync_fetch_and_sub_16(volatile signed __int128 *, signed __int128,...);
47unsigned __int128 __sync_fetch_and_sub(volatile unsigned __int128 *, unsigned __int128,...);
48unsigned __int128 __sync_fetch_and_sub_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]49#endif
[13073be]50
51char __sync_fetch_and_or(volatile char *, char,...);
52char __sync_fetch_and_or_1(volatile char *, char,...);
[56fba87]53signed char __sync_fetch_and_or(volatile signed char *, signed char,...);
54signed char __sync_fetch_and_or_1(volatile signed char *, signed char,...);
55unsigned char __sync_fetch_and_or(volatile unsigned char *, unsigned char,...);
56unsigned char __sync_fetch_and_or_1(volatile unsigned char *, unsigned char,...);
57signed short __sync_fetch_and_or(volatile signed short *, signed short,...);
58signed short __sync_fetch_and_or_2(volatile signed short *, signed short,...);
59unsigned short __sync_fetch_and_or(volatile unsigned short *, unsigned short,...);
60unsigned short __sync_fetch_and_or_2(volatile unsigned short *, unsigned short,...);
61signed int __sync_fetch_and_or(volatile signed int *, signed int,...);
62signed int __sync_fetch_and_or_4(volatile signed int *, signed int,...);
63unsigned int __sync_fetch_and_or(volatile unsigned int *, unsigned int,...);
64unsigned int __sync_fetch_and_or_4(volatile unsigned int *, unsigned int,...);
65signed long long int __sync_fetch_and_or(volatile signed long long int *, signed long long int,...);
66signed long long int __sync_fetch_and_or_8(volatile signed long long int *, signed long long int,...);
67unsigned long long int __sync_fetch_and_or(volatile unsigned long long int *, unsigned long long int,...);
68unsigned long long int __sync_fetch_and_or_8(volatile unsigned long long int *, unsigned long long int,...);
69#if defined(__SIZEOF_INT128__)
70signed __int128 __sync_fetch_and_or(volatile signed __int128 *, signed __int128,...);
71signed __int128 __sync_fetch_and_or_16(volatile signed __int128 *, signed __int128,...);
72unsigned __int128 __sync_fetch_and_or(volatile unsigned __int128 *, unsigned __int128,...);
73unsigned __int128 __sync_fetch_and_or_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]74#endif
[13073be]75
76char __sync_fetch_and_and(volatile char *, char,...);
77char __sync_fetch_and_and_1(volatile char *, char,...);
[56fba87]78signed char __sync_fetch_and_and(volatile signed char *, signed char,...);
79signed char __sync_fetch_and_and_1(volatile signed char *, signed char,...);
80unsigned char __sync_fetch_and_and(volatile unsigned char *, unsigned char,...);
81unsigned char __sync_fetch_and_and_1(volatile unsigned char *, unsigned char,...);
82signed short __sync_fetch_and_and(volatile signed short *, signed short,...);
83signed short __sync_fetch_and_and_2(volatile signed short *, signed short,...);
84unsigned short __sync_fetch_and_and(volatile unsigned short *, unsigned short,...);
85unsigned short __sync_fetch_and_and_2(volatile unsigned short *, unsigned short,...);
86signed int __sync_fetch_and_and(volatile signed int *, signed int,...);
87signed int __sync_fetch_and_and_4(volatile signed int *, signed int,...);
88unsigned int __sync_fetch_and_and(volatile unsigned int *, unsigned int,...);
89unsigned int __sync_fetch_and_and_4(volatile unsigned int *, unsigned int,...);
90signed long long int __sync_fetch_and_and(volatile signed long long int *, signed long long int,...);
91signed long long int __sync_fetch_and_and_8(volatile signed long long int *, signed long long int,...);
92unsigned long long int __sync_fetch_and_and(volatile unsigned long long int *, unsigned long long int,...);
93unsigned long long int __sync_fetch_and_and_8(volatile unsigned long long int *, unsigned long long int,...);
94#if defined(__SIZEOF_INT128__)
95signed __int128 __sync_fetch_and_and(volatile signed __int128 *, signed __int128,...);
96signed __int128 __sync_fetch_and_and_16(volatile signed __int128 *, signed __int128,...);
97unsigned __int128 __sync_fetch_and_and(volatile unsigned __int128 *, unsigned __int128,...);
98unsigned __int128 __sync_fetch_and_and_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]99#endif
[13073be]100
101char __sync_fetch_and_xor(volatile char *, char,...);
102char __sync_fetch_and_xor_1(volatile char *, char,...);
[56fba87]103signed char __sync_fetch_and_xor(volatile signed char *, signed char,...);
104signed char __sync_fetch_and_xor_1(volatile signed char *, signed char,...);
105unsigned char __sync_fetch_and_xor(volatile unsigned char *, unsigned char,...);
106unsigned char __sync_fetch_and_xor_1(volatile unsigned char *, unsigned char,...);
107signed short __sync_fetch_and_xor(volatile signed short *, signed short,...);
108signed short __sync_fetch_and_xor_2(volatile signed short *, signed short,...);
109unsigned short __sync_fetch_and_xor(volatile unsigned short *, unsigned short,...);
110unsigned short __sync_fetch_and_xor_2(volatile unsigned short *, unsigned short,...);
111signed int __sync_fetch_and_xor(volatile signed int *, signed int,...);
112signed int __sync_fetch_and_xor_4(volatile signed int *, signed int,...);
113unsigned int __sync_fetch_and_xor(volatile unsigned int *, unsigned int,...);
114unsigned int __sync_fetch_and_xor_4(volatile unsigned int *, unsigned int,...);
115signed long long int __sync_fetch_and_xor(volatile signed long long int *, signed long long int,...);
116signed long long int __sync_fetch_and_xor_8(volatile signed long long int *, signed long long int,...);
117unsigned long long int __sync_fetch_and_xor(volatile unsigned long long int *, unsigned long long int,...);
118unsigned long long int __sync_fetch_and_xor_8(volatile unsigned long long int *, unsigned long long int,...);
119#if defined(__SIZEOF_INT128__)
120signed __int128 __sync_fetch_and_xor(volatile signed __int128 *, signed __int128,...);
121signed __int128 __sync_fetch_and_xor_16(volatile signed __int128 *, signed __int128,...);
122unsigned __int128 __sync_fetch_and_xor(volatile unsigned __int128 *, unsigned __int128,...);
123unsigned __int128 __sync_fetch_and_xor_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]124#endif
[13073be]125
126char __sync_fetch_and_nand(volatile char *, char,...);
127char __sync_fetch_and_nand_1(volatile char *, char,...);
[56fba87]128signed char __sync_fetch_and_nand(volatile signed char *, signed char,...);
129signed char __sync_fetch_and_nand_1(volatile signed char *, signed char,...);
130unsigned char __sync_fetch_and_nand(volatile unsigned char *, unsigned char,...);
131unsigned char __sync_fetch_and_nand_1(volatile unsigned char *, unsigned char,...);
132signed short __sync_fetch_and_nand(volatile signed short *, signed short,...);
133signed short __sync_fetch_and_nand_2(volatile signed short *, signed short,...);
134unsigned short __sync_fetch_and_nand(volatile unsigned short *, unsigned short,...);
135unsigned short __sync_fetch_and_nand_2(volatile unsigned short *, unsigned short,...);
136signed int __sync_fetch_and_nand(volatile signed int *, signed int,...);
137signed int __sync_fetch_and_nand_4(volatile signed int *, signed int,...);
138unsigned int __sync_fetch_and_nand(volatile unsigned int *, unsigned int,...);
139unsigned int __sync_fetch_and_nand_4(volatile unsigned int *, unsigned int,...);
140signed long long int __sync_fetch_and_nand(volatile signed long long int *, signed long long int,...);
141signed long long int __sync_fetch_and_nand_8(volatile signed long long int *, signed long long int,...);
142unsigned long long int __sync_fetch_and_nand(volatile unsigned long long int *, unsigned long long int,...);
143unsigned long long int __sync_fetch_and_nand_8(volatile unsigned long long int *, unsigned long long int,...);
144#if defined(__SIZEOF_INT128__)
145signed __int128 __sync_fetch_and_nand(volatile signed __int128 *, signed __int128,...);
146signed __int128 __sync_fetch_and_nand_16(volatile signed __int128 *, signed __int128,...);
147unsigned __int128 __sync_fetch_and_nand(volatile unsigned __int128 *, unsigned __int128,...);
148unsigned __int128 __sync_fetch_and_nand_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]149#endif
[13073be]150
151char __sync_add_and_fetch(volatile char *, char,...);
152char __sync_add_and_fetch_1(volatile char *, char,...);
[56fba87]153signed char __sync_add_and_fetch(volatile signed char *, signed char,...);
154signed char __sync_add_and_fetch_1(volatile signed char *, signed char,...);
155unsigned char __sync_add_and_fetch(volatile unsigned char *, unsigned char,...);
156unsigned char __sync_add_and_fetch_1(volatile unsigned char *, unsigned char,...);
157signed short __sync_add_and_fetch(volatile signed short *, signed short,...);
158signed short __sync_add_and_fetch_2(volatile signed short *, signed short,...);
159unsigned short __sync_add_and_fetch(volatile unsigned short *, unsigned short,...);
160unsigned short __sync_add_and_fetch_2(volatile unsigned short *, unsigned short,...);
161signed int __sync_add_and_fetch(volatile signed int *, signed int,...);
162signed int __sync_add_and_fetch_4(volatile signed int *, signed int,...);
163signed int __sync_add_and_fetch(volatile signed int *, signed int,...);
164signed int __sync_add_and_fetch_4(volatile signed int *, signed int,...);
165signed long long int __sync_add_and_fetch(volatile signed long long int *, signed long long int,...);
166signed long long int __sync_add_and_fetch_8(volatile signed long long int *, signed long long int,...);
167unsigned long long int __sync_add_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
168unsigned long long int __sync_add_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
169#if defined(__SIZEOF_INT128__)
170signed __int128 __sync_add_and_fetch(volatile signed __int128 *, signed __int128,...);
171signed __int128 __sync_add_and_fetch_16(volatile signed __int128 *, signed __int128,...);
172unsigned __int128 __sync_add_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
173unsigned __int128 __sync_add_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]174#endif
[13073be]175
176char __sync_sub_and_fetch(volatile char *, char,...);
177char __sync_sub_and_fetch_1(volatile char *, char,...);
[56fba87]178signed char __sync_sub_and_fetch(volatile signed char *, signed char,...);
179signed char __sync_sub_and_fetch_1(volatile signed char *, signed char,...);
180unsigned char __sync_sub_and_fetch(volatile unsigned char *, unsigned char,...);
181unsigned char __sync_sub_and_fetch_1(volatile unsigned char *, unsigned char,...);
182signed short __sync_sub_and_fetch(volatile signed short *, signed short,...);
183signed short __sync_sub_and_fetch_2(volatile signed short *, signed short,...);
184unsigned short __sync_sub_and_fetch(volatile unsigned short *, unsigned short,...);
185unsigned short __sync_sub_and_fetch_2(volatile unsigned short *, unsigned short,...);
186signed int __sync_sub_and_fetch(volatile signed int *, signed int,...);
187signed int __sync_sub_and_fetch_4(volatile signed int *, signed int,...);
188unsigned int __sync_sub_and_fetch(volatile unsigned int *, unsigned int,...);
189unsigned int __sync_sub_and_fetch_4(volatile unsigned int *, unsigned int,...);
190signed long long int __sync_sub_and_fetch(volatile signed long long int *, signed long long int,...);
191signed long long int __sync_sub_and_fetch_8(volatile signed long long int *, signed long long int,...);
192unsigned long long int __sync_sub_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
193unsigned long long int __sync_sub_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
194#if defined(__SIZEOF_INT128__)
195signed __int128 __sync_sub_and_fetch(volatile signed __int128 *, signed __int128,...);
196signed __int128 __sync_sub_and_fetch_16(volatile signed __int128 *, signed __int128,...);
197unsigned __int128 __sync_sub_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
198unsigned __int128 __sync_sub_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]199#endif
[13073be]200
201char __sync_or_and_fetch(volatile char *, char,...);
202char __sync_or_and_fetch_1(volatile char *, char,...);
[56fba87]203signed char __sync_or_and_fetch(volatile signed char *, signed char,...);
204signed char __sync_or_and_fetch_1(volatile signed char *, signed char,...);
205unsigned char __sync_or_and_fetch(volatile unsigned char *, unsigned char,...);
206unsigned char __sync_or_and_fetch_1(volatile unsigned char *, unsigned char,...);
207signed short __sync_or_and_fetch(volatile signed short *, signed short,...);
208signed short __sync_or_and_fetch_2(volatile signed short *, signed short,...);
209unsigned short __sync_or_and_fetch(volatile unsigned short *, unsigned short,...);
210unsigned short __sync_or_and_fetch_2(volatile unsigned short *, unsigned short,...);
211signed int __sync_or_and_fetch(volatile signed int *, signed int,...);
212signed int __sync_or_and_fetch_4(volatile signed int *, signed int,...);
213unsigned int __sync_or_and_fetch(volatile unsigned int *, unsigned int,...);
214unsigned int __sync_or_and_fetch_4(volatile unsigned int *, unsigned int,...);
215signed long long int __sync_or_and_fetch(volatile signed long long int *, signed long long int,...);
216signed long long int __sync_or_and_fetch_8(volatile signed long long int *, signed long long int,...);
217unsigned long long int __sync_or_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
218unsigned long long int __sync_or_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
219#if defined(__SIZEOF_INT128__)
220signed __int128 __sync_or_and_fetch(volatile signed __int128 *, signed __int128,...);
221signed __int128 __sync_or_and_fetch_16(volatile signed __int128 *, signed __int128,...);
222unsigned __int128 __sync_or_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
223unsigned __int128 __sync_or_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]224#endif
[13073be]225
226char __sync_and_and_fetch(volatile char *, char,...);
227char __sync_and_and_fetch_1(volatile char *, char,...);
[56fba87]228signed char __sync_and_and_fetch(volatile signed char *, signed char,...);
229signed char __sync_and_and_fetch_1(volatile signed char *, signed char,...);
230unsigned char __sync_and_and_fetch(volatile unsigned char *, unsigned char,...);
231unsigned char __sync_and_and_fetch_1(volatile unsigned char *, unsigned char,...);
232signed short __sync_and_and_fetch(volatile signed short *, signed short,...);
233signed short __sync_and_and_fetch_2(volatile signed short *, signed short,...);
234unsigned short __sync_and_and_fetch(volatile unsigned short *, unsigned short,...);
235unsigned short __sync_and_and_fetch_2(volatile unsigned short *, unsigned short,...);
236signed int __sync_and_and_fetch(volatile signed int *, signed int,...);
237signed int __sync_and_and_fetch_4(volatile signed int *, signed int,...);
238unsigned int __sync_and_and_fetch(volatile unsigned int *, unsigned int,...);
239unsigned int __sync_and_and_fetch_4(volatile unsigned int *, unsigned int,...);
240signed long long int __sync_and_and_fetch(volatile signed long long int *, signed long long int,...);
241signed long long int __sync_and_and_fetch_8(volatile signed long long int *, signed long long int,...);
242unsigned long long int __sync_and_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
243unsigned long long int __sync_and_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
244#if defined(__SIZEOF_INT128__)
245signed __int128 __sync_and_and_fetch(volatile signed __int128 *, signed __int128,...);
246signed __int128 __sync_and_and_fetch_16(volatile signed __int128 *, signed __int128,...);
247unsigned __int128 __sync_and_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
248unsigned __int128 __sync_and_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]249#endif
[13073be]250
251char __sync_xor_and_fetch(volatile char *, char,...);
252char __sync_xor_and_fetch_1(volatile char *, char,...);
[56fba87]253signed char __sync_xor_and_fetch(volatile signed char *, signed char,...);
254signed char __sync_xor_and_fetch_1(volatile signed char *, signed char,...);
255unsigned char __sync_xor_and_fetch(volatile unsigned char *, unsigned char,...);
256unsigned char __sync_xor_and_fetch_1(volatile unsigned char *, unsigned char,...);
257signed short __sync_xor_and_fetch(volatile signed short *, signed short,...);
258signed short __sync_xor_and_fetch_2(volatile signed short *, signed short,...);
259unsigned short __sync_xor_and_fetch(volatile unsigned short *, unsigned short,...);
260unsigned short __sync_xor_and_fetch_2(volatile unsigned short *, unsigned short,...);
261signed int __sync_xor_and_fetch(volatile signed int *, signed int,...);
262signed int __sync_xor_and_fetch_4(volatile signed int *, signed int,...);
263unsigned int __sync_xor_and_fetch(volatile unsigned int *, unsigned int,...);
264unsigned int __sync_xor_and_fetch_4(volatile unsigned int *, unsigned int,...);
265signed long long int __sync_xor_and_fetch(volatile signed long long int *, signed long long int,...);
266signed long long int __sync_xor_and_fetch_8(volatile signed long long int *, signed long long int,...);
267unsigned long long int __sync_xor_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
268unsigned long long int __sync_xor_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
269#if defined(__SIZEOF_INT128__)
270signed __int128 __sync_xor_and_fetch(volatile signed __int128 *, signed __int128,...);
271signed __int128 __sync_xor_and_fetch_16(volatile signed __int128 *, signed __int128,...);
272unsigned __int128 __sync_xor_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
273unsigned __int128 __sync_xor_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]274#endif
[13073be]275
276char __sync_nand_and_fetch(volatile char *, char,...);
277char __sync_nand_and_fetch_1(volatile char *, char,...);
[56fba87]278signed char __sync_nand_and_fetch(volatile signed char *, signed char,...);
279signed char __sync_nand_and_fetch_1(volatile signed char *, signed char,...);
280unsigned char __sync_nand_and_fetch(volatile unsigned char *, unsigned char,...);
281unsigned char __sync_nand_and_fetch_1(volatile unsigned char *, unsigned char,...);
282signed short __sync_nand_and_fetch(volatile signed short *, signed short,...);
283signed short __sync_nand_and_fetch_2(volatile signed short *, signed short,...);
284unsigned short __sync_nand_and_fetch(volatile unsigned short *, unsigned short,...);
285unsigned short __sync_nand_and_fetch_2(volatile unsigned short *, unsigned short,...);
286signed int __sync_nand_and_fetch(volatile signed int *, signed int,...);
287signed int __sync_nand_and_fetch_4(volatile signed int *, signed int,...);
288unsigned int __sync_nand_and_fetch(volatile unsigned int *, unsigned int,...);
289unsigned int __sync_nand_and_fetch_4(volatile unsigned int *, unsigned int,...);
290signed long long int __sync_nand_and_fetch(volatile signed long long int *, signed long long int,...);
291signed long long int __sync_nand_and_fetch_8(volatile signed long long int *, signed long long int,...);
292unsigned long long int __sync_nand_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
293unsigned long long int __sync_nand_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
294#if defined(__SIZEOF_INT128__)
295signed __int128 __sync_nand_and_fetch(volatile signed __int128 *, signed __int128,...);
296signed __int128 __sync_nand_and_fetch_16(volatile signed __int128 *, signed __int128,...);
297unsigned __int128 __sync_nand_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
298unsigned __int128 __sync_nand_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]299#endif
[13073be]300
301_Bool __sync_bool_compare_and_swap(volatile char *, char, char,...);
302_Bool __sync_bool_compare_and_swap_1(volatile char *, char, char,...);
[56fba87]303_Bool __sync_bool_compare_and_swap(volatile signed char *, signed char, signed char,...);
304_Bool __sync_bool_compare_and_swap_1(volatile signed char *, signed char, signed char,...);
305_Bool __sync_bool_compare_and_swap(volatile unsigned char *, unsigned char, unsigned char,...);
306_Bool __sync_bool_compare_and_swap_1(volatile unsigned char *, unsigned char, unsigned char,...);
307_Bool __sync_bool_compare_and_swap(volatile short *, signed short, signed short,...);
308_Bool __sync_bool_compare_and_swap_2(volatile short *, signed short, signed short,...);
309_Bool __sync_bool_compare_and_swap(volatile short *, unsigned short, unsigned short,...);
310_Bool __sync_bool_compare_and_swap_2(volatile short *, unsigned short, unsigned short,...);
311_Bool __sync_bool_compare_and_swap(volatile signed int *, signed int, signed int,...);
312_Bool __sync_bool_compare_and_swap_4(volatile signed int *, signed int, signed int,...);
313_Bool __sync_bool_compare_and_swap(volatile unsigned int *, unsigned int, unsigned int,...);
314_Bool __sync_bool_compare_and_swap_4(volatile unsigned int *, unsigned int, unsigned int,...);
315_Bool __sync_bool_compare_and_swap(volatile signed long long int *, signed long long int, signed long long int,...);
316_Bool __sync_bool_compare_and_swap_8(volatile signed long long int *, signed long long int, signed long long int,...);
317_Bool __sync_bool_compare_and_swap(volatile unsigned long long int *, unsigned long long int, unsigned long long int,...);
318_Bool __sync_bool_compare_and_swap_8(volatile unsigned long long int *, unsigned long long int, unsigned long long int,...);
319#if defined(__SIZEOF_INT128__)
320_Bool __sync_bool_compare_and_swap(volatile signed __int128 *, signed __int128, signed __int128,...);
321_Bool __sync_bool_compare_and_swap_16(volatile signed __int128 *, signed __int128, signed __int128,...);
322_Bool __sync_bool_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
323_Bool __sync_bool_compare_and_swap_16(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
[1f81d61]324#endif
[13073be]325
326char __sync_val_compare_and_swap(volatile char *, char, char,...);
327char __sync_val_compare_and_swap_1(volatile char *, char, char,...);
[56fba87]328signed char __sync_val_compare_and_swap(volatile signed char *, signed char, signed char,...);
329signed char __sync_val_compare_and_swap_1(volatile signed char *, signed char, signed char,...);
330unsigned char __sync_val_compare_and_swap(volatile unsigned char *, unsigned char, unsigned char,...);
331unsigned char __sync_val_compare_and_swap_1(volatile unsigned char *, unsigned char, unsigned char,...);
332signed short __sync_val_compare_and_swap(volatile signed short *, signed short, signed short,...);
333signed short __sync_val_compare_and_swap_2(volatile signed short *, signed short, signed short,...);
334unsigned short __sync_val_compare_and_swap(volatile unsigned short *, unsigned short, unsigned short,...);
335unsigned short __sync_val_compare_and_swap_2(volatile unsigned short *, unsigned short, unsigned short,...);
336signed int __sync_val_compare_and_swap(volatile signed int *, signed int, signed int,...);
337signed int __sync_val_compare_and_swap_4(volatile signed int *, signed int, signed int,...);
338unsigned int __sync_val_compare_and_swap(volatile unsigned int *, unsigned int, unsigned int,...);
339unsigned int __sync_val_compare_and_swap_4(volatile unsigned int *, unsigned int, unsigned int,...);
340signed long long int __sync_val_compare_and_swap(volatile signed long long int *, signed long long int, signed long long int,...);
341signed long long int __sync_val_compare_and_swap_8(volatile signed long long int *, signed long long int, signed long long int,...);
342unsigned long long int __sync_val_compare_and_swap(volatile unsigned long long int *, unsigned long long int, unsigned long long int,...);
343unsigned long long int __sync_val_compare_and_swap_8(volatile unsigned long long int *, unsigned long long int, unsigned long long int,...);
344#if defined(__SIZEOF_INT128__)
345signed __int128 __sync_val_compare_and_swap(volatile signed __int128 *, signed __int128, signed __int128,...);
346signed __int128 __sync_val_compare_and_swap_16(volatile signed __int128 *, signed __int128, signed __int128,...);
347unsigned __int128 __sync_val_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
348unsigned __int128 __sync_val_compare_and_swap_16(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
[1f81d61]349#endif
[13073be]350
351char __sync_lock_test_and_set(volatile char *, char,...);
352char __sync_lock_test_and_set_1(volatile char *, char,...);
[56fba87]353signed char __sync_lock_test_and_set(volatile signed char *, signed char,...);
354signed char __sync_lock_test_and_set_1(volatile signed char *, signed char,...);
355unsigned char __sync_lock_test_and_set(volatile unsigned char *, unsigned char,...);
356unsigned char __sync_lock_test_and_set_1(volatile unsigned char *, unsigned char,...);
357signed short __sync_lock_test_and_set(volatile signed short *, signed short,...);
358signed short __sync_lock_test_and_set_2(volatile signed short *, signed short,...);
359unsigned short __sync_lock_test_and_set(volatile unsigned short *, unsigned short,...);
360unsigned short __sync_lock_test_and_set_2(volatile unsigned short *, unsigned short,...);
361signed int __sync_lock_test_and_set(volatile signed int *, signed int,...);
362signed int __sync_lock_test_and_set_4(volatile signed int *, signed int,...);
363unsigned int __sync_lock_test_and_set(volatile unsigned int *, unsigned int,...);
364unsigned int __sync_lock_test_and_set_4(volatile unsigned int *, unsigned int,...);
365signed long long int __sync_lock_test_and_set(volatile signed long long int *, signed long long int,...);
366signed long long int __sync_lock_test_and_set_8(volatile signed long long int *, signed long long int,...);
367unsigned long long int __sync_lock_test_and_set(volatile unsigned long long int *, unsigned long long int,...);
368unsigned long long int __sync_lock_test_and_set_8(volatile unsigned long long int *, unsigned long long int,...);
369#if defined(__SIZEOF_INT128__)
370signed __int128 __sync_lock_test_and_set(volatile signed __int128 *, signed __int128,...);
371signed __int128 __sync_lock_test_and_set_16(volatile signed __int128 *, signed __int128,...);
372unsigned __int128 __sync_lock_test_and_set(volatile unsigned __int128 *, unsigned __int128,...);
373unsigned __int128 __sync_lock_test_and_set_16(volatile unsigned __int128 *, unsigned __int128,...);
[1f81d61]374#endif
[13073be]375
376void __sync_lock_release(volatile char *,...);
377void __sync_lock_release_1(volatile char *,...);
[56fba87]378void __sync_lock_release(volatile signed char *,...);
379void __sync_lock_release_1(volatile signed char *,...);
380void __sync_lock_release(volatile unsigned char *,...);
381void __sync_lock_release_1(volatile unsigned char *,...);
382void __sync_lock_release(volatile signed short *,...);
383void __sync_lock_release_2(volatile signed short *,...);
384void __sync_lock_release(volatile unsigned short *,...);
385void __sync_lock_release_2(volatile unsigned short *,...);
386void __sync_lock_release(volatile signed int *,...);
387void __sync_lock_release_4(volatile signed int *,...);
388void __sync_lock_release(volatile unsigned int *,...);
389void __sync_lock_release_4(volatile unsigned int *,...);
390void __sync_lock_release(volatile signed long long int *,...);
391void __sync_lock_release_8(volatile signed long long int *,...);
392void __sync_lock_release(volatile unsigned long long int *,...);
393void __sync_lock_release_8(volatile unsigned long long int *,...);
394#if defined(__SIZEOF_INT128__)
395void __sync_lock_release(volatile signed __int128 *,...);
396void __sync_lock_release_16(volatile signed __int128 *,...);
397void __sync_lock_release(volatile unsigned __int128 *,...);
398void __sync_lock_release_16(volatile unsigned __int128 *,...);
[1f81d61]399#endif
[13073be]400
401void __sync_synchronize();
402
403
404
405
406_Bool __atomic_test_and_set(volatile _Bool *, int);
407_Bool __atomic_test_and_set(volatile char *, int);
[56fba87]408_Bool __atomic_test_and_set(volatile signed char *, int);
409_Bool __atomic_test_and_set(volatile unsigned char *, int);
410_Bool __atomic_test_and_set(volatile signed short *, int);
411_Bool __atomic_test_and_set(volatile unsigned short *, int);
412_Bool __atomic_test_and_set(volatile signed int *, int);
413_Bool __atomic_test_and_set(volatile unsigned int *, int);
414_Bool __atomic_test_and_set(volatile signed long long int *, int);
415_Bool __atomic_test_and_set(volatile unsigned long long int *, int);
[1f81d61]416#if defined(__SIZEOF_INT128__)
[56fba87]417_Bool __atomic_test_and_set(volatile signed __int128 *, int);
418_Bool __atomic_test_and_set(volatile unsigned __int128 *, int);
[1f81d61]419#endif
420
[13073be]421void __atomic_clear(volatile _Bool *, int);
422void __atomic_clear(volatile char *, int);
[56fba87]423void __atomic_clear(volatile signed char *, int);
424void __atomic_clear(volatile unsigned char *, int);
425void __atomic_clear(volatile signed short *, int);
426void __atomic_clear(volatile unsigned short *, int);
427void __atomic_clear(volatile signed int *, int);
428void __atomic_clear(volatile unsigned int *, int);
429void __atomic_clear(volatile signed long long int *, int);
430void __atomic_clear(volatile unsigned long long int *, int);
[1f81d61]431#if defined(__SIZEOF_INT128__)
[56fba87]432void __atomic_clear(volatile signed __int128 *, int);
433void __atomic_clear(volatile unsigned __int128 *, int);
[1f81d61]434#endif
[13073be]435
436char __atomic_exchange_n(volatile char *, volatile char *, int);
437char __atomic_exchange_1(volatile char *, char, int);
438void __atomic_exchange(volatile char *, volatile char *, volatile char *, int);
[56fba87]439signed char __atomic_exchange_n(volatile signed char *, volatile signed char *, int);
440signed char __atomic_exchange_1(volatile signed char *, signed char, int);
441void __atomic_exchange(volatile signed char *, volatile signed char *, volatile signed char *, int);
442unsigned char __atomic_exchange_n(volatile unsigned char *, volatile unsigned char *, int);
443unsigned char __atomic_exchange_1(volatile unsigned char *, unsigned char, int);
444void __atomic_exchange(volatile unsigned char *, volatile unsigned char *, volatile unsigned char *, int);
445signed short __atomic_exchange_n(volatile signed short *, volatile signed short *, int);
446signed short __atomic_exchange_2(volatile signed short *, signed short, int);
447void __atomic_exchange(volatile signed short *, volatile signed short *, volatile signed short *, int);
448unsigned short __atomic_exchange_n(volatile unsigned short *, volatile unsigned short *, int);
449unsigned short __atomic_exchange_2(volatile unsigned short *, unsigned short, int);
450void __atomic_exchange(volatile unsigned short *, volatile unsigned short *, volatile unsigned short *, int);
451signed int __atomic_exchange_n(volatile signed int *, volatile signed int *, int);
452signed int __atomic_exchange_4(volatile signed int *, signed int, int);
453void __atomic_exchange(volatile signed int *, volatile signed int *, volatile signed int *, int);
454unsigned int __atomic_exchange_n(volatile unsigned int *, volatile unsigned int *, int);
455unsigned int __atomic_exchange_4(volatile unsigned int *, unsigned int, int);
456void __atomic_exchange(volatile unsigned int *, volatile unsigned int *, volatile unsigned int *, int);
457signed long long int __atomic_exchange_n(volatile signed long long int *, volatile signed long long int *, int);
458signed long long int __atomic_exchange_8(volatile signed long long int *, signed long long int, int);
459void __atomic_exchange(volatile signed long long int *, volatile signed long long int *, volatile signed long long int *, int);
460unsigned long long int __atomic_exchange_n(volatile unsigned long long int *, volatile unsigned long long int *, int);
461unsigned long long int __atomic_exchange_8(volatile unsigned long long int *, unsigned long long int, int);
462void __atomic_exchange(volatile unsigned long long int *, volatile unsigned long long int *, volatile unsigned long long int *, int);
463#if defined(__SIZEOF_INT128__)
464signed __int128 __atomic_exchange_n(volatile signed __int128 *, volatile signed __int128 *, int);
465signed __int128 __atomic_exchange_16(volatile signed __int128 *, signed __int128, int);
466void __atomic_exchange(volatile signed __int128 *, volatile signed __int128 *, volatile signed __int128 *, int);
467unsigned __int128 __atomic_exchange_n(volatile unsigned __int128 *, volatile unsigned __int128 *, int);
468unsigned __int128 __atomic_exchange_16(volatile unsigned __int128 *, unsigned __int128, int);
469void __atomic_exchange(volatile unsigned __int128 *, volatile unsigned __int128 *, volatile unsigned __int128 *, int);
[1f81d61]470#endif
[13073be]471
[ea8b2f7]472_Bool __atomic_load_n(const volatile _Bool *, int);
473void __atomic_load(const volatile _Bool *, volatile _Bool *, int);
[13073be]474char __atomic_load_n(const volatile char *, int);
475char __atomic_load_1(const volatile char *, int);
476void __atomic_load(const volatile char *, volatile char *, int);
[56fba87]477signed char __atomic_load_n(const volatile signed char *, int);
478signed char __atomic_load_1(const volatile signed char *, int);
479void __atomic_load(const volatile signed char *, volatile signed char *, int);
480unsigned char __atomic_load_n(const volatile unsigned char *, int);
481unsigned char __atomic_load_1(const volatile unsigned char *, int);
482void __atomic_load(const volatile unsigned char *, volatile unsigned char *, int);
483signed short __atomic_load_n(const volatile signed short *, int);
484signed short __atomic_load_2(const volatile signed short *, int);
485void __atomic_load(const volatile signed short *, volatile signed short *, int);
486unsigned short __atomic_load_n(const volatile unsigned short *, int);
487unsigned short __atomic_load_2(const volatile unsigned short *, int);
488void __atomic_load(const volatile unsigned short *, volatile unsigned short *, int);
489signed int __atomic_load_n(const volatile signed int *, int);
490signed int __atomic_load_4(const volatile signed int *, int);
491void __atomic_load(const volatile signed int *, volatile signed int *, int);
492unsigned int __atomic_load_n(const volatile unsigned int *, int);
493unsigned int __atomic_load_4(const volatile unsigned int *, int);
494void __atomic_load(const volatile unsigned int *, volatile unsigned int *, int);
495signed long long int __atomic_load_n(const volatile signed long long int *, int);
496signed long long int __atomic_load_8(const volatile signed long long int *, int);
497void __atomic_load(const volatile signed long long int *, volatile signed long long int *, int);
498unsigned long long int __atomic_load_n(const volatile unsigned long long int *, int);
499unsigned long long int __atomic_load_8(const volatile unsigned long long int *, int);
500void __atomic_load(const volatile unsigned long long int *, volatile unsigned long long int *, int);
501#if defined(__SIZEOF_INT128__)
502signed __int128 __atomic_load_n(const volatile signed __int128 *, int);
503signed __int128 __atomic_load_16(const volatile signed __int128 *, int);
504void __atomic_load(const volatile signed __int128 *, volatile signed __int128 *, int);
505unsigned __int128 __atomic_load_n(const volatile unsigned __int128 *, int);
506unsigned __int128 __atomic_load_16(const volatile unsigned __int128 *, int);
507void __atomic_load(const volatile unsigned __int128 *, volatile unsigned __int128 *, int);
[1f81d61]508#endif
[13073be]509
510_Bool __atomic_compare_exchange_n(volatile char *, char *, char, _Bool, int, int);
511_Bool __atomic_compare_exchange_1(volatile char *, char *, char, _Bool, int, int);
512_Bool __atomic_compare_exchange  (volatile char *, char *, char *, _Bool, int, int);
[56fba87]513_Bool __atomic_compare_exchange_n(volatile signed char *, signed char *, signed char, _Bool, int, int);
514_Bool __atomic_compare_exchange_1(volatile signed char *, signed char *, signed char, _Bool, int, int);
515_Bool __atomic_compare_exchange  (volatile signed char *, signed char *, signed char *, _Bool, int, int);
516_Bool __atomic_compare_exchange_n(volatile unsigned char *, unsigned char *, unsigned char, _Bool, int, int);
517_Bool __atomic_compare_exchange_1(volatile unsigned char *, unsigned char *, unsigned char, _Bool, int, int);
518_Bool __atomic_compare_exchange  (volatile unsigned char *, unsigned char *, unsigned char *, _Bool, int, int);
519_Bool __atomic_compare_exchange_n(volatile signed short *, signed short *, signed short, _Bool, int, int);
520_Bool __atomic_compare_exchange_2(volatile signed short *, signed short *, signed short, _Bool, int, int);
521_Bool __atomic_compare_exchange  (volatile signed short *, signed short *, signed short *, _Bool, int, int);
522_Bool __atomic_compare_exchange_n(volatile unsigned short *, unsigned short *, unsigned short, _Bool, int, int);
523_Bool __atomic_compare_exchange_2(volatile unsigned short *, unsigned short *, unsigned short, _Bool, int, int);
524_Bool __atomic_compare_exchange  (volatile unsigned short *, unsigned short *, unsigned short *, _Bool, int, int);
525_Bool __atomic_compare_exchange_n(volatile signed int *, signed int *, signed int, _Bool, int, int);
526_Bool __atomic_compare_exchange_4(volatile signed int *, signed int *, signed int, _Bool, int, int);
527_Bool __atomic_compare_exchange  (volatile signed int *, signed int *, signed int *, _Bool, int, int);
528_Bool __atomic_compare_exchange_n(volatile unsigned int *, unsigned int *, unsigned int, _Bool, int, int);
529_Bool __atomic_compare_exchange_4(volatile unsigned int *, unsigned int *, unsigned int, _Bool, int, int);
530_Bool __atomic_compare_exchange  (volatile unsigned int *, unsigned int *, unsigned int *, _Bool, int, int);
531_Bool __atomic_compare_exchange_n(volatile signed long long int *, signed long long int *, signed long long int, _Bool, int, int);
532_Bool __atomic_compare_exchange_8(volatile signed long long int *, signed long long int *, signed long long int, _Bool, int, int);
533_Bool __atomic_compare_exchange  (volatile signed long long int *, signed long long int *, signed long long int *, _Bool, int, int);
534_Bool __atomic_compare_exchange_n(volatile unsigned long long int *, unsigned long long int *, unsigned long long int, _Bool, int, int);
535_Bool __atomic_compare_exchange_8(volatile unsigned long long int *, unsigned long long int *, unsigned long long int, _Bool, int, int);
536_Bool __atomic_compare_exchange  (volatile unsigned long long int *, unsigned long long int *, unsigned long long int *, _Bool, int, int);
537#if defined(__SIZEOF_INT128__)
538_Bool __atomic_compare_exchange_n (volatile signed __int128 *, signed __int128 *, signed __int128, _Bool, int, int);
539_Bool __atomic_compare_exchange_16(volatile signed __int128 *, signed __int128 *, signed __int128, _Bool, int, int);
540_Bool __atomic_compare_exchange   (volatile signed __int128 *, signed __int128 *, signed __int128 *, _Bool, int, int);
541_Bool __atomic_compare_exchange_n (volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128, _Bool, int, int);
542_Bool __atomic_compare_exchange_16(volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128, _Bool, int, int);
543_Bool __atomic_compare_exchange   (volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128 *, _Bool, int, int);
[1f81d61]544#endif
[13073be]545
546void __atomic_store_n(volatile _Bool *, _Bool, int);
547void __atomic_store(volatile _Bool *, _Bool *, int);
548void __atomic_store_n(volatile char *, char, int);
549void __atomic_store_1(volatile char *, char, int);
550void __atomic_store(volatile char *, char *, int);
[56fba87]551void __atomic_store_n(volatile signed char *, signed char, int);
552void __atomic_store_1(volatile signed char *, signed char, int);
553void __atomic_store(volatile signed char *, signed char *, int);
554void __atomic_store_n(volatile unsigned char *, unsigned char, int);
555void __atomic_store_1(volatile unsigned char *, unsigned char, int);
556void __atomic_store(volatile unsigned char *, unsigned char *, int);
557void __atomic_store_n(volatile signed short *, signed short, int);
558void __atomic_store_2(volatile signed short *, signed short, int);
559void __atomic_store(volatile signed short *, signed short *, int);
560void __atomic_store_n(volatile unsigned short *, unsigned short, int);
561void __atomic_store_2(volatile unsigned short *, unsigned short, int);
562void __atomic_store(volatile unsigned short *, unsigned short *, int);
563void __atomic_store_n(volatile signed int *, signed int, int);
564void __atomic_store_4(volatile signed int *, signed int, int);
565void __atomic_store(volatile signed int *, signed int *, int);
566void __atomic_store_n(volatile unsigned int *, unsigned int, int);
567void __atomic_store_4(volatile unsigned int *, unsigned int, int);
568void __atomic_store(volatile unsigned int *, unsigned int *, int);
569void __atomic_store_n(volatile signed long long int *, signed long long int, int);
570void __atomic_store_8(volatile signed long long int *, signed long long int, int);
571void __atomic_store(volatile signed long long int *, signed long long int *, int);
572void __atomic_store_n(volatile unsigned long long int *, unsigned long long int, int);
573void __atomic_store_8(volatile unsigned long long int *, unsigned long long int, int);
574void __atomic_store(volatile unsigned long long int *, unsigned long long int *, int);
575#if defined(__SIZEOF_INT128__)
576void __atomic_store_n(volatile signed __int128 *, signed __int128, int);
577void __atomic_store_16(volatile signed __int128 *, signed __int128, int);
578void __atomic_store(volatile signed __int128 *, signed __int128 *, int);
579void __atomic_store_n(volatile unsigned __int128 *, unsigned __int128, int);
580void __atomic_store_16(volatile unsigned __int128 *, unsigned __int128, int);
581void __atomic_store(volatile unsigned __int128 *, unsigned __int128 *, int);
[1f81d61]582#endif
[13073be]583
584char __atomic_add_fetch  (volatile char *, char, int);
585char __atomic_add_fetch_1(volatile char *, char, int);
[56fba87]586signed char __atomic_add_fetch  (volatile signed char *, signed char, int);
587signed char __atomic_add_fetch_1(volatile signed char *, signed char, int);
588unsigned char __atomic_add_fetch  (volatile unsigned char *, unsigned char, int);
589unsigned char __atomic_add_fetch_1(volatile unsigned char *, unsigned char, int);
590signed short __atomic_add_fetch  (volatile signed short *, signed short, int);
591signed short __atomic_add_fetch_2(volatile signed short *, signed short, int);
592unsigned short __atomic_add_fetch  (volatile unsigned short *, unsigned short, int);
593unsigned short __atomic_add_fetch_2(volatile unsigned short *, unsigned short, int);
594signed int __atomic_add_fetch  (volatile signed int *, signed int, int);
595signed int __atomic_add_fetch_4(volatile signed int *, signed int, int);
596unsigned int __atomic_add_fetch  (volatile unsigned int *, unsigned int, int);
597unsigned int __atomic_add_fetch_4(volatile unsigned int *, unsigned int, int);
598signed long long int __atomic_add_fetch  (volatile signed long long int *, signed long long int, int);
599signed long long int __atomic_add_fetch_8(volatile signed long long int *, signed long long int, int);
600unsigned long long int __atomic_add_fetch  (volatile unsigned long long int *, unsigned long long int, int);
601unsigned long long int __atomic_add_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
602#if defined(__SIZEOF_INT128__)
603signed __int128 __atomic_add_fetch   (volatile signed __int128 *, signed __int128, int);
604signed __int128 __atomic_add_fetch_16(volatile signed __int128 *, signed __int128, int);
605unsigned __int128 __atomic_add_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
606unsigned __int128 __atomic_add_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]607#endif
[13073be]608
609char __atomic_sub_fetch  (volatile char *, char, int);
610char __atomic_sub_fetch_1(volatile char *, char, int);
[56fba87]611signed char __atomic_sub_fetch  (volatile signed char *, signed char, int);
612signed char __atomic_sub_fetch_1(volatile signed char *, signed char, int);
613unsigned char __atomic_sub_fetch  (volatile unsigned char *, unsigned char, int);
614unsigned char __atomic_sub_fetch_1(volatile unsigned char *, unsigned char, int);
615signed short __atomic_sub_fetch  (volatile signed short *, signed short, int);
616signed short __atomic_sub_fetch_2(volatile signed short *, signed short, int);
617unsigned short __atomic_sub_fetch  (volatile unsigned short *, unsigned short, int);
618unsigned short __atomic_sub_fetch_2(volatile unsigned short *, unsigned short, int);
619signed int __atomic_sub_fetch  (volatile signed int *, signed int, int);
620signed int __atomic_sub_fetch_4(volatile signed int *, signed int, int);
621unsigned int __atomic_sub_fetch  (volatile unsigned int *, unsigned int, int);
622unsigned int __atomic_sub_fetch_4(volatile unsigned int *, unsigned int, int);
623signed long long int __atomic_sub_fetch  (volatile signed long long int *, signed long long int, int);
624signed long long int __atomic_sub_fetch_8(volatile signed long long int *, signed long long int, int);
625unsigned long long int __atomic_sub_fetch  (volatile unsigned long long int *, unsigned long long int, int);
626unsigned long long int __atomic_sub_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
627#if defined(__SIZEOF_INT128__)
628signed __int128 __atomic_sub_fetch   (volatile signed __int128 *, signed __int128, int);
629signed __int128 __atomic_sub_fetch_16(volatile signed __int128 *, signed __int128, int);
630unsigned __int128 __atomic_sub_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
631unsigned __int128 __atomic_sub_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]632#endif
[13073be]633
634char __atomic_and_fetch  (volatile char *, char, int);
635char __atomic_and_fetch_1(volatile char *, char, int);
[56fba87]636signed char __atomic_and_fetch  (volatile signed char *, signed char, int);
637signed char __atomic_and_fetch_1(volatile signed char *, signed char, int);
638unsigned char __atomic_and_fetch  (volatile unsigned char *, unsigned char, int);
639unsigned char __atomic_and_fetch_1(volatile unsigned char *, unsigned char, int);
640signed short __atomic_and_fetch  (volatile signed short *, signed short, int);
641signed short __atomic_and_fetch_2(volatile signed short *, signed short, int);
642unsigned short __atomic_and_fetch  (volatile unsigned short *, unsigned short, int);
643unsigned short __atomic_and_fetch_2(volatile unsigned short *, unsigned short, int);
644signed int __atomic_and_fetch  (volatile signed int *, signed int, int);
645signed int __atomic_and_fetch_4(volatile signed int *, signed int, int);
646unsigned int __atomic_and_fetch  (volatile unsigned int *, unsigned int, int);
647unsigned int __atomic_and_fetch_4(volatile unsigned int *, unsigned int, int);
648signed long long int __atomic_and_fetch  (volatile signed long long int *, signed long long int, int);
649signed long long int __atomic_and_fetch_8(volatile signed long long int *, signed long long int, int);
650unsigned long long int __atomic_and_fetch  (volatile unsigned long long int *, unsigned long long int, int);
651unsigned long long int __atomic_and_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
652#if defined(__SIZEOF_INT128__)
653signed __int128 __atomic_and_fetch   (volatile signed __int128 *, signed __int128, int);
654signed __int128 __atomic_and_fetch_16(volatile signed __int128 *, signed __int128, int);
655unsigned __int128 __atomic_and_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
656unsigned __int128 __atomic_and_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]657#endif
[13073be]658
659char __atomic_nand_fetch  (volatile char *, char, int);
660char __atomic_nand_fetch_1(volatile char *, char, int);
[56fba87]661signed char __atomic_nand_fetch  (volatile signed char *, signed char, int);
662signed char __atomic_nand_fetch_1(volatile signed char *, signed char, int);
663unsigned char __atomic_nand_fetch  (volatile unsigned char *, unsigned char, int);
664unsigned char __atomic_nand_fetch_1(volatile unsigned char *, unsigned char, int);
665signed short __atomic_nand_fetch  (volatile signed short *, signed short, int);
666signed short __atomic_nand_fetch_2(volatile signed short *, signed short, int);
667unsigned short __atomic_nand_fetch  (volatile unsigned short *, unsigned short, int);
668unsigned short __atomic_nand_fetch_2(volatile unsigned short *, unsigned short, int);
669signed int __atomic_nand_fetch  (volatile signed int *, signed int, int);
670signed int __atomic_nand_fetch_4(volatile signed int *, signed int, int);
671unsigned int __atomic_nand_fetch  (volatile unsigned int *, unsigned int, int);
672unsigned int __atomic_nand_fetch_4(volatile unsigned int *, unsigned int, int);
673signed long long int __atomic_nand_fetch  (volatile signed long long int *, signed long long int, int);
674signed long long int __atomic_nand_fetch_8(volatile signed long long int *, signed long long int, int);
675unsigned long long int __atomic_nand_fetch  (volatile unsigned long long int *, unsigned long long int, int);
676unsigned long long int __atomic_nand_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
677#if defined(__SIZEOF_INT128__)
678signed __int128 __atomic_nand_fetch   (volatile signed __int128 *, signed __int128, int);
679signed __int128 __atomic_nand_fetch_16(volatile signed __int128 *, signed __int128, int);
680unsigned __int128 __atomic_nand_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
681unsigned __int128 __atomic_nand_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]682#endif
[13073be]683
684char __atomic_xor_fetch  (volatile char *, char, int);
685char __atomic_xor_fetch_1(volatile char *, char, int);
[56fba87]686signed char __atomic_xor_fetch  (volatile signed char *, signed char, int);
687signed char __atomic_xor_fetch_1(volatile signed char *, signed char, int);
688unsigned char __atomic_xor_fetch  (volatile unsigned char *, unsigned char, int);
689unsigned char __atomic_xor_fetch_1(volatile unsigned char *, unsigned char, int);
690signed short __atomic_xor_fetch  (volatile signed short *, signed short, int);
691signed short __atomic_xor_fetch_2(volatile signed short *, signed short, int);
692unsigned short __atomic_xor_fetch  (volatile unsigned short *, unsigned short, int);
693unsigned short __atomic_xor_fetch_2(volatile unsigned short *, unsigned short, int);
694signed int __atomic_xor_fetch  (volatile signed int *, signed int, int);
695signed int __atomic_xor_fetch_4(volatile signed int *, signed int, int);
696unsigned int __atomic_xor_fetch  (volatile unsigned int *, unsigned int, int);
697unsigned int __atomic_xor_fetch_4(volatile unsigned int *, unsigned int, int);
698signed long long int __atomic_xor_fetch  (volatile signed long long int *, signed long long int, int);
699signed long long int __atomic_xor_fetch_8(volatile signed long long int *, signed long long int, int);
700unsigned long long int __atomic_xor_fetch  (volatile unsigned long long int *, unsigned long long int, int);
701unsigned long long int __atomic_xor_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
702#if defined(__SIZEOF_INT128__)
703signed __int128 __atomic_xor_fetch   (volatile signed __int128 *, signed __int128, int);
704signed __int128 __atomic_xor_fetch_16(volatile signed __int128 *, signed __int128, int);
705unsigned __int128 __atomic_xor_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
706unsigned __int128 __atomic_xor_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]707#endif
[13073be]708
709char __atomic_or_fetch  (volatile char *, char, int);
710char __atomic_or_fetch_1(volatile char *, char, int);
[56fba87]711signed char __atomic_or_fetch  (volatile signed char *, signed char, int);
712signed char __atomic_or_fetch_1(volatile signed char *, signed char, int);
713unsigned char __atomic_or_fetch  (volatile unsigned char *, unsigned char, int);
714unsigned char __atomic_or_fetch_1(volatile unsigned char *, unsigned char, int);
715signed short __atomic_or_fetch  (volatile signed short *, signed short, int);
716signed short __atomic_or_fetch_2(volatile signed short *, signed short, int);
717unsigned short __atomic_or_fetch  (volatile unsigned short *, unsigned short, int);
718unsigned short __atomic_or_fetch_2(volatile unsigned short *, unsigned short, int);
719signed int __atomic_or_fetch  (volatile signed int *, signed int, int);
720signed int __atomic_or_fetch_4(volatile signed int *, signed int, int);
721unsigned int __atomic_or_fetch  (volatile unsigned int *, unsigned int, int);
722unsigned int __atomic_or_fetch_4(volatile unsigned int *, unsigned int, int);
723signed long long int __atomic_or_fetch  (volatile signed long long int *, signed long long int, int);
724signed long long int __atomic_or_fetch_8(volatile signed long long int *, signed long long int, int);
725unsigned long long int __atomic_or_fetch  (volatile unsigned long long int *, unsigned long long int, int);
726unsigned long long int __atomic_or_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
727#if defined(__SIZEOF_INT128__)
728signed __int128 __atomic_or_fetch   (volatile signed __int128 *, signed __int128, int);
729signed __int128 __atomic_or_fetch_16(volatile signed __int128 *, signed __int128, int);
730unsigned __int128 __atomic_or_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
731unsigned __int128 __atomic_or_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]732#endif
[13073be]733
734char __atomic_fetch_add  (volatile char *, char, int);
735char __atomic_fetch_add_1(volatile char *, char, int);
[56fba87]736signed char __atomic_fetch_add  (volatile signed char *, signed char, int);
737signed char __atomic_fetch_add_1(volatile signed char *, signed char, int);
738unsigned char __atomic_fetch_add  (volatile unsigned char *, unsigned char, int);
739unsigned char __atomic_fetch_add_1(volatile unsigned char *, unsigned char, int);
740signed short __atomic_fetch_add  (volatile signed short *, signed short, int);
741signed short __atomic_fetch_add_2(volatile signed short *, signed short, int);
742unsigned short __atomic_fetch_add  (volatile unsigned short *, unsigned short, int);
743unsigned short __atomic_fetch_add_2(volatile unsigned short *, unsigned short, int);
744signed int __atomic_fetch_add  (volatile signed int *, signed int, int);
745signed int __atomic_fetch_add_4(volatile signed int *, signed int, int);
746unsigned int __atomic_fetch_add  (volatile unsigned int *, unsigned int, int);
747unsigned int __atomic_fetch_add_4(volatile unsigned int *, unsigned int, int);
748signed long long int __atomic_fetch_add  (volatile signed long long int *, signed long long int, int);
749signed long long int __atomic_fetch_add_8(volatile signed long long int *, signed long long int, int);
750unsigned long long int __atomic_fetch_add  (volatile unsigned long long int *, unsigned long long int, int);
751unsigned long long int __atomic_fetch_add_8(volatile unsigned long long int *, unsigned long long int, int);
752#if defined(__SIZEOF_INT128__)
753signed __int128 __atomic_fetch_add   (volatile signed __int128 *, signed __int128, int);
754signed __int128 __atomic_fetch_add_16(volatile signed __int128 *, signed __int128, int);
755unsigned __int128 __atomic_fetch_add   (volatile unsigned __int128 *, unsigned __int128, int);
756unsigned __int128 __atomic_fetch_add_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]757#endif
[13073be]758
759char __atomic_fetch_sub  (volatile char *, char, int);
760char __atomic_fetch_sub_1(volatile char *, char, int);
[56fba87]761signed char __atomic_fetch_sub  (volatile signed char *, signed char, int);
762signed char __atomic_fetch_sub_1(volatile signed char *, signed char, int);
763unsigned char __atomic_fetch_sub  (volatile unsigned char *, unsigned char, int);
764unsigned char __atomic_fetch_sub_1(volatile unsigned char *, unsigned char, int);
765signed short __atomic_fetch_sub  (volatile signed short *, signed short, int);
766signed short __atomic_fetch_sub_2(volatile signed short *, signed short, int);
767unsigned short __atomic_fetch_sub  (volatile unsigned short *, unsigned short, int);
768unsigned short __atomic_fetch_sub_2(volatile unsigned short *, unsigned short, int);
769signed int __atomic_fetch_sub  (volatile signed int *, signed int, int);
770signed int __atomic_fetch_sub_4(volatile signed int *, signed int, int);
771unsigned int __atomic_fetch_sub  (volatile unsigned int *, unsigned int, int);
772unsigned int __atomic_fetch_sub_4(volatile unsigned int *, unsigned int, int);
773signed long long int __atomic_fetch_sub  (volatile signed long long int *, signed long long int, int);
774signed long long int __atomic_fetch_sub_8(volatile signed long long int *, signed long long int, int);
775unsigned long long int __atomic_fetch_sub  (volatile unsigned long long int *, unsigned long long int, int);
776unsigned long long int __atomic_fetch_sub_8(volatile unsigned long long int *, unsigned long long int, int);
777#if defined(__SIZEOF_INT128__)
778signed __int128 __atomic_fetch_sub   (volatile signed  __int128 *, signed __int128, int);
779signed __int128 __atomic_fetch_sub_16(volatile signed  __int128 *, signed __int128, int);
780unsigned __int128 __atomic_fetch_sub   (volatile unsigned  __int128 *, unsigned __int128, int);
781unsigned __int128 __atomic_fetch_sub_16(volatile unsigned  __int128 *, unsigned __int128, int);
[1f81d61]782#endif
[13073be]783
784char __atomic_fetch_and  (volatile char *, char, int);
785char __atomic_fetch_and_1(volatile char *, char, int);
[56fba87]786signed char __atomic_fetch_and  (volatile signed char *, signed char, int);
787signed char __atomic_fetch_and_1(volatile signed char *, signed char, int);
788unsigned char __atomic_fetch_and  (volatile unsigned char *, unsigned char, int);
789unsigned char __atomic_fetch_and_1(volatile unsigned char *, unsigned char, int);
790signed short __atomic_fetch_and  (volatile signed short *, signed short, int);
791signed short __atomic_fetch_and_2(volatile signed short *, signed short, int);
792unsigned short __atomic_fetch_and  (volatile unsigned short *, unsigned short, int);
793unsigned short __atomic_fetch_and_2(volatile unsigned short *, unsigned short, int);
794signed int __atomic_fetch_and  (volatile signed int *, signed int, int);
795signed int __atomic_fetch_and_4(volatile signed int *, signed int, int);
796unsigned int __atomic_fetch_and  (volatile unsigned int *, unsigned int, int);
797unsigned int __atomic_fetch_and_4(volatile unsigned int *, unsigned int, int);
798signed long long int __atomic_fetch_and  (volatile signed long long int *, signed long long int, int);
799signed long long int __atomic_fetch_and_8(volatile signed long long int *, signed long long int, int);
800unsigned long long int __atomic_fetch_and  (volatile unsigned long long int *, unsigned long long int, int);
801unsigned long long int __atomic_fetch_and_8(volatile unsigned long long int *, unsigned long long int, int);
802#if defined(__SIZEOF_INT128__)
803signed __int128 __atomic_fetch_and   (volatile signed __int128 *, signed __int128, int);
804signed __int128 __atomic_fetch_and_16(volatile signed __int128 *, signed __int128, int);
805unsigned __int128 __atomic_fetch_and   (volatile unsigned __int128 *, unsigned __int128, int);
806unsigned __int128 __atomic_fetch_and_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]807#endif
[13073be]808
809char __atomic_fetch_nand  (volatile char *, char, int);
810char __atomic_fetch_nand_1(volatile char *, char, int);
[56fba87]811signed char __atomic_fetch_nand  (volatile signed char *, signed char, int);
812signed char __atomic_fetch_nand_1(volatile signed char *, signed char, int);
813unsigned char __atomic_fetch_nand  (volatile unsigned char *, unsigned char, int);
814unsigned char __atomic_fetch_nand_1(volatile unsigned char *, unsigned char, int);
815signed short __atomic_fetch_nand  (volatile signed short *, signed short, int);
816signed short __atomic_fetch_nand_2(volatile signed short *, signed short, int);
817unsigned short __atomic_fetch_nand  (volatile unsigned short *, unsigned short, int);
818unsigned short __atomic_fetch_nand_2(volatile unsigned short *, unsigned short, int);
819signed int __atomic_fetch_nand  (volatile signed int *, signed int, int);
820signed int __atomic_fetch_nand_4(volatile signed int *, signed int, int);
821unsigned int __atomic_fetch_nand  (volatile unsigned int *, unsigned int, int);
822unsigned int __atomic_fetch_nand_4(volatile unsigned int *, unsigned int, int);
823signed long long int __atomic_fetch_nand  (volatile signed long long int *, signed long long int, int);
824signed long long int __atomic_fetch_nand_8(volatile signed long long int *, signed long long int, int);
825unsigned long long int __atomic_fetch_nand  (volatile unsigned long long int *, unsigned long long int, int);
826unsigned long long int __atomic_fetch_nand_8(volatile unsigned long long int *, unsigned long long int, int);
827#if defined(__SIZEOF_INT128__)
828signed __int128 __atomic_fetch_nand   (volatile signed __int128 *, signed __int128, int);
829signed __int128 __atomic_fetch_nand_16(volatile signed __int128 *, signed __int128, int);
830unsigned __int128 __atomic_fetch_nand   (volatile unsigned __int128 *, unsigned __int128, int);
831unsigned __int128 __atomic_fetch_nand_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]832#endif
[13073be]833
834char __atomic_fetch_xor  (volatile char *, char, int);
835char __atomic_fetch_xor_1(volatile char *, char, int);
[56fba87]836signed char __atomic_fetch_xor  (volatile signed char *, signed char, int);
837signed char __atomic_fetch_xor_1(volatile signed char *, signed char, int);
838unsigned char __atomic_fetch_xor  (volatile unsigned char *, unsigned char, int);
839unsigned char __atomic_fetch_xor_1(volatile unsigned char *, unsigned char, int);
840signed short __atomic_fetch_xor  (volatile signed short *, signed short, int);
841signed short __atomic_fetch_xor_2(volatile signed short *, signed short, int);
842unsigned short __atomic_fetch_xor  (volatile unsigned short *, unsigned short, int);
843unsigned short __atomic_fetch_xor_2(volatile unsigned short *, unsigned short, int);
844signed int __atomic_fetch_xor  (volatile signed int *, signed int, int);
845signed int __atomic_fetch_xor_4(volatile signed int *, signed int, int);
846unsigned int __atomic_fetch_xor  (volatile unsigned int *, unsigned int, int);
847unsigned int __atomic_fetch_xor_4(volatile unsigned int *, unsigned int, int);
848signed long long int __atomic_fetch_xor  (volatile signed long long int *, signed long long int, int);
849signed long long int __atomic_fetch_xor_8(volatile signed long long int *, signed long long int, int);
850unsigned long long int __atomic_fetch_xor  (volatile unsigned long long int *, unsigned long long int, int);
851unsigned long long int __atomic_fetch_xor_8(volatile unsigned long long int *, unsigned long long int, int);
852#if defined(__SIZEOF_INT128__)
853signed __int128 __atomic_fetch_xor   (volatile signed __int128 *, signed __int128, int);
854signed __int128 __atomic_fetch_xor_16(volatile signed __int128 *, signed __int128, int);
855unsigned __int128 __atomic_fetch_xor   (volatile unsigned __int128 *, unsigned __int128, int);
856unsigned __int128 __atomic_fetch_xor_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]857#endif
[13073be]858
859char __atomic_fetch_or  (volatile char *, char, int);
860char __atomic_fetch_or_1(volatile char *, char, int);
[56fba87]861signed char __atomic_fetch_or  (volatile signed char *, signed char, int);
862signed char __atomic_fetch_or_1(volatile signed char *, signed char, int);
863unsigned char __atomic_fetch_or  (volatile unsigned char *, unsigned char, int);
864unsigned char __atomic_fetch_or_1(volatile unsigned char *, unsigned char, int);
865signed short __atomic_fetch_or  (volatile signed short *, signed short, int);
866signed short __atomic_fetch_or_2(volatile signed short *, signed short, int);
867unsigned short __atomic_fetch_or  (volatile unsigned short *, unsigned short, int);
868unsigned short __atomic_fetch_or_2(volatile unsigned short *, unsigned short, int);
869signed int __atomic_fetch_or  (volatile signed int *, signed int, int);
870signed int __atomic_fetch_or_4(volatile signed int *, signed int, int);
871unsigned int __atomic_fetch_or  (volatile unsigned int *, unsigned int, int);
872unsigned int __atomic_fetch_or_4(volatile unsigned int *, unsigned int, int);
873signed long long int __atomic_fetch_or  (volatile signed long long int *, signed long long int, int);
874signed long long int __atomic_fetch_or_8(volatile signed long long int *, signed long long int, int);
875unsigned long long int __atomic_fetch_or  (volatile unsigned long long int *, unsigned long long int, int);
876unsigned long long int __atomic_fetch_or_8(volatile unsigned long long int *, unsigned long long int, int);
877#if defined(__SIZEOF_INT128__)
878signed __int128 __atomic_fetch_or   (volatile signed __int128 *, signed __int128, int);
879signed __int128 __atomic_fetch_or_16(volatile signed __int128 *, signed __int128, int);
880unsigned __int128 __atomic_fetch_or   (volatile unsigned __int128 *, unsigned __int128, int);
881unsigned __int128 __atomic_fetch_or_16(volatile unsigned __int128 *, unsigned __int128, int);
[1f81d61]882#endif
[13073be]883
884_Bool __atomic_always_lock_free(unsigned long, const volatile void *);
885_Bool __atomic_is_lock_free(unsigned long, const volatile void *);
886
887void __atomic_thread_fence (int);
888void __atomic_signal_fence (int);
889void __atomic_feraiseexcept(int);
Note: See TracBrowser for help on using the repository browser.