Ignore:
Timestamp:
Nov 26, 2019, 3:20:30 PM (6 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
d4f1521
Parents:
7768b8d (diff), 58e280f4 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' into relaxed_ready

File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/prelude/sync-builtins.cf

    r7768b8d r30763fd  
    11char __sync_fetch_and_add(volatile char *, char,...);
    2 char __sync_fetch_and_add_1(volatile char *, char,...);
    32signed char __sync_fetch_and_add(volatile signed char *, signed char,...);
    4 signed char __sync_fetch_and_add_1(volatile signed char *, signed char,...);
    53unsigned char __sync_fetch_and_add(volatile unsigned char *, unsigned char,...);
    6 unsigned char __sync_fetch_and_add_1(volatile unsigned char *, unsigned char,...);
    74signed short __sync_fetch_and_add(volatile signed short *, signed short,...);
    8 signed short __sync_fetch_and_add_2(volatile signed short *, signed short,...);
    95unsigned short __sync_fetch_and_add(volatile unsigned short *, unsigned short,...);
    10 unsigned short __sync_fetch_and_add_2(volatile unsigned short *, unsigned short,...);
    116signed int __sync_fetch_and_add(volatile signed int *, signed int,...);
    12 signed int __sync_fetch_and_add_4(volatile signed int *, signed int,...);
    137unsigned int __sync_fetch_and_add(volatile unsigned int *, unsigned int,...);
    14 unsigned int __sync_fetch_and_add_4(volatile unsigned int *, unsigned int,...);
     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,...);
    1510signed long long int __sync_fetch_and_add(volatile signed long long int *, signed long long int,...);
    16 signed long long int __sync_fetch_and_add_8(volatile signed long long int *, signed long long int,...);
    1711unsigned long long int __sync_fetch_and_add(volatile unsigned long long int *, unsigned long long int,...);
    18 unsigned long long int __sync_fetch_and_add_8(volatile unsigned long long int *, unsigned long long int,...);
    1912#if defined(__SIZEOF_INT128__)
    2013signed __int128 __sync_fetch_and_add(volatile signed __int128 *, signed __int128,...);
    21 signed __int128 __sync_fetch_and_add_16(volatile signed __int128 *, signed __int128,...);
    2214unsigned __int128 __sync_fetch_and_add(volatile unsigned __int128 *, unsigned __int128,...);
    23 unsigned __int128 __sync_fetch_and_add_16(volatile unsigned __int128 *, unsigned __int128,...);
    2415#endif
    2516
    2617char __sync_fetch_and_sub(volatile char *, char,...);
    27 char __sync_fetch_and_sub_1(volatile char *, char,...);
    2818signed char __sync_fetch_and_sub(volatile signed char *, signed char,...);
    29 signed char __sync_fetch_and_sub_1(volatile signed char *, signed char,...);
    3019unsigned char __sync_fetch_and_sub(volatile unsigned char *, unsigned char,...);
    31 unsigned char __sync_fetch_and_sub_1(volatile unsigned char *, unsigned char,...);
    3220signed short __sync_fetch_and_sub(volatile signed short *, signed short,...);
    33 signed short __sync_fetch_and_sub_2(volatile signed short *, signed short,...);
    3421unsigned short __sync_fetch_and_sub(volatile unsigned short *, unsigned short,...);
    35 unsigned short __sync_fetch_and_sub_2(volatile unsigned short *, unsigned short,...);
    3622signed int __sync_fetch_and_sub(volatile signed int *, signed int,...);
    37 signed int __sync_fetch_and_sub_4(volatile signed int *, signed int,...);
    3823unsigned int __sync_fetch_and_sub(volatile unsigned int *, unsigned int,...);
    39 unsigned int __sync_fetch_and_sub_4(volatile unsigned int *, unsigned int,...);
     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,...);
    4026signed long long int __sync_fetch_and_sub(volatile signed long long int *, signed long long int,...);
    41 signed long long int __sync_fetch_and_sub_8(volatile signed long long int *, signed long long int,...);
    4227unsigned long long int __sync_fetch_and_sub(volatile unsigned long long int *, unsigned long long int,...);
    43 unsigned long long int __sync_fetch_and_sub_8(volatile unsigned long long int *, unsigned long long int,...);
    4428#if defined(__SIZEOF_INT128__)
    4529signed __int128 __sync_fetch_and_sub(volatile signed __int128 *, signed __int128,...);
    46 signed __int128 __sync_fetch_and_sub_16(volatile signed __int128 *, signed __int128,...);
    4730unsigned __int128 __sync_fetch_and_sub(volatile unsigned __int128 *, unsigned __int128,...);
    48 unsigned __int128 __sync_fetch_and_sub_16(volatile unsigned __int128 *, unsigned __int128,...);
    4931#endif
    5032
    5133char __sync_fetch_and_or(volatile char *, char,...);
    52 char __sync_fetch_and_or_1(volatile char *, char,...);
    5334signed char __sync_fetch_and_or(volatile signed char *, signed char,...);
    54 signed char __sync_fetch_and_or_1(volatile signed char *, signed char,...);
    5535unsigned char __sync_fetch_and_or(volatile unsigned char *, unsigned char,...);
    56 unsigned char __sync_fetch_and_or_1(volatile unsigned char *, unsigned char,...);
    5736signed short __sync_fetch_and_or(volatile signed short *, signed short,...);
    58 signed short __sync_fetch_and_or_2(volatile signed short *, signed short,...);
    5937unsigned short __sync_fetch_and_or(volatile unsigned short *, unsigned short,...);
    60 unsigned short __sync_fetch_and_or_2(volatile unsigned short *, unsigned short,...);
    6138signed int __sync_fetch_and_or(volatile signed int *, signed int,...);
    62 signed int __sync_fetch_and_or_4(volatile signed int *, signed int,...);
    6339unsigned int __sync_fetch_and_or(volatile unsigned int *, unsigned int,...);
    64 unsigned int __sync_fetch_and_or_4(volatile unsigned int *, unsigned int,...);
     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,...);
    6542signed long long int __sync_fetch_and_or(volatile signed long long int *, signed long long int,...);
    66 signed long long int __sync_fetch_and_or_8(volatile signed long long int *, signed long long int,...);
    6743unsigned long long int __sync_fetch_and_or(volatile unsigned long long int *, unsigned long long int,...);
    68 unsigned long long int __sync_fetch_and_or_8(volatile unsigned long long int *, unsigned long long int,...);
    6944#if defined(__SIZEOF_INT128__)
    7045signed __int128 __sync_fetch_and_or(volatile signed __int128 *, signed __int128,...);
    71 signed __int128 __sync_fetch_and_or_16(volatile signed __int128 *, signed __int128,...);
    7246unsigned __int128 __sync_fetch_and_or(volatile unsigned __int128 *, unsigned __int128,...);
    73 unsigned __int128 __sync_fetch_and_or_16(volatile unsigned __int128 *, unsigned __int128,...);
    7447#endif
    7548
    7649char __sync_fetch_and_and(volatile char *, char,...);
    77 char __sync_fetch_and_and_1(volatile char *, char,...);
    7850signed char __sync_fetch_and_and(volatile signed char *, signed char,...);
    79 signed char __sync_fetch_and_and_1(volatile signed char *, signed char,...);
    8051unsigned char __sync_fetch_and_and(volatile unsigned char *, unsigned char,...);
    81 unsigned char __sync_fetch_and_and_1(volatile unsigned char *, unsigned char,...);
    8252signed short __sync_fetch_and_and(volatile signed short *, signed short,...);
    83 signed short __sync_fetch_and_and_2(volatile signed short *, signed short,...);
    8453unsigned short __sync_fetch_and_and(volatile unsigned short *, unsigned short,...);
    85 unsigned short __sync_fetch_and_and_2(volatile unsigned short *, unsigned short,...);
    8654signed int __sync_fetch_and_and(volatile signed int *, signed int,...);
    87 signed int __sync_fetch_and_and_4(volatile signed int *, signed int,...);
    8855unsigned int __sync_fetch_and_and(volatile unsigned int *, unsigned int,...);
    89 unsigned int __sync_fetch_and_and_4(volatile unsigned int *, unsigned int,...);
     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,...);
    9058signed long long int __sync_fetch_and_and(volatile signed long long int *, signed long long int,...);
    91 signed long long int __sync_fetch_and_and_8(volatile signed long long int *, signed long long int,...);
    9259unsigned long long int __sync_fetch_and_and(volatile unsigned long long int *, unsigned long long int,...);
    93 unsigned long long int __sync_fetch_and_and_8(volatile unsigned long long int *, unsigned long long int,...);
    9460#if defined(__SIZEOF_INT128__)
    9561signed __int128 __sync_fetch_and_and(volatile signed __int128 *, signed __int128,...);
    96 signed __int128 __sync_fetch_and_and_16(volatile signed __int128 *, signed __int128,...);
    9762unsigned __int128 __sync_fetch_and_and(volatile unsigned __int128 *, unsigned __int128,...);
    98 unsigned __int128 __sync_fetch_and_and_16(volatile unsigned __int128 *, unsigned __int128,...);
    9963#endif
    10064
    10165char __sync_fetch_and_xor(volatile char *, char,...);
    102 char __sync_fetch_and_xor_1(volatile char *, char,...);
    10366signed char __sync_fetch_and_xor(volatile signed char *, signed char,...);
    104 signed char __sync_fetch_and_xor_1(volatile signed char *, signed char,...);
    10567unsigned char __sync_fetch_and_xor(volatile unsigned char *, unsigned char,...);
    106 unsigned char __sync_fetch_and_xor_1(volatile unsigned char *, unsigned char,...);
    10768signed short __sync_fetch_and_xor(volatile signed short *, signed short,...);
    108 signed short __sync_fetch_and_xor_2(volatile signed short *, signed short,...);
    10969unsigned short __sync_fetch_and_xor(volatile unsigned short *, unsigned short,...);
    110 unsigned short __sync_fetch_and_xor_2(volatile unsigned short *, unsigned short,...);
    11170signed int __sync_fetch_and_xor(volatile signed int *, signed int,...);
    112 signed int __sync_fetch_and_xor_4(volatile signed int *, signed int,...);
    11371unsigned int __sync_fetch_and_xor(volatile unsigned int *, unsigned int,...);
    114 unsigned int __sync_fetch_and_xor_4(volatile unsigned int *, unsigned int,...);
     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,...);
    11574signed long long int __sync_fetch_and_xor(volatile signed long long int *, signed long long int,...);
    116 signed long long int __sync_fetch_and_xor_8(volatile signed long long int *, signed long long int,...);
    11775unsigned long long int __sync_fetch_and_xor(volatile unsigned long long int *, unsigned long long int,...);
    118 unsigned long long int __sync_fetch_and_xor_8(volatile unsigned long long int *, unsigned long long int,...);
    11976#if defined(__SIZEOF_INT128__)
    12077signed __int128 __sync_fetch_and_xor(volatile signed __int128 *, signed __int128,...);
    121 signed __int128 __sync_fetch_and_xor_16(volatile signed __int128 *, signed __int128,...);
    12278unsigned __int128 __sync_fetch_and_xor(volatile unsigned __int128 *, unsigned __int128,...);
    123 unsigned __int128 __sync_fetch_and_xor_16(volatile unsigned __int128 *, unsigned __int128,...);
    12479#endif
    12580
    12681char __sync_fetch_and_nand(volatile char *, char,...);
    127 char __sync_fetch_and_nand_1(volatile char *, char,...);
    12882signed char __sync_fetch_and_nand(volatile signed char *, signed char,...);
    129 signed char __sync_fetch_and_nand_1(volatile signed char *, signed char,...);
    13083unsigned char __sync_fetch_and_nand(volatile unsigned char *, unsigned char,...);
    131 unsigned char __sync_fetch_and_nand_1(volatile unsigned char *, unsigned char,...);
    13284signed short __sync_fetch_and_nand(volatile signed short *, signed short,...);
    133 signed short __sync_fetch_and_nand_2(volatile signed short *, signed short,...);
    13485unsigned short __sync_fetch_and_nand(volatile unsigned short *, unsigned short,...);
    135 unsigned short __sync_fetch_and_nand_2(volatile unsigned short *, unsigned short,...);
    13686signed int __sync_fetch_and_nand(volatile signed int *, signed int,...);
    137 signed int __sync_fetch_and_nand_4(volatile signed int *, signed int,...);
    13887unsigned int __sync_fetch_and_nand(volatile unsigned int *, unsigned int,...);
    139 unsigned int __sync_fetch_and_nand_4(volatile unsigned int *, unsigned int,...);
     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,...);
    14090signed long long int __sync_fetch_and_nand(volatile signed long long int *, signed long long int,...);
    141 signed long long int __sync_fetch_and_nand_8(volatile signed long long int *, signed long long int,...);
    14291unsigned long long int __sync_fetch_and_nand(volatile unsigned long long int *, unsigned long long int,...);
    143 unsigned long long int __sync_fetch_and_nand_8(volatile unsigned long long int *, unsigned long long int,...);
    14492#if defined(__SIZEOF_INT128__)
    14593signed __int128 __sync_fetch_and_nand(volatile signed __int128 *, signed __int128,...);
    146 signed __int128 __sync_fetch_and_nand_16(volatile signed __int128 *, signed __int128,...);
    14794unsigned __int128 __sync_fetch_and_nand(volatile unsigned __int128 *, unsigned __int128,...);
    148 unsigned __int128 __sync_fetch_and_nand_16(volatile unsigned __int128 *, unsigned __int128,...);
    14995#endif
    15096
    15197char __sync_add_and_fetch(volatile char *, char,...);
    152 char __sync_add_and_fetch_1(volatile char *, char,...);
    15398signed char __sync_add_and_fetch(volatile signed char *, signed char,...);
    154 signed char __sync_add_and_fetch_1(volatile signed char *, signed char,...);
    15599unsigned char __sync_add_and_fetch(volatile unsigned char *, unsigned char,...);
    156 unsigned char __sync_add_and_fetch_1(volatile unsigned char *, unsigned char,...);
    157100signed short __sync_add_and_fetch(volatile signed short *, signed short,...);
    158 signed short __sync_add_and_fetch_2(volatile signed short *, signed short,...);
    159101unsigned short __sync_add_and_fetch(volatile unsigned short *, unsigned short,...);
    160 unsigned short __sync_add_and_fetch_2(volatile unsigned short *, unsigned short,...);
    161102signed int __sync_add_and_fetch(volatile signed int *, signed int,...);
    162 signed int __sync_add_and_fetch_4(volatile signed int *, signed int,...);
    163103signed int __sync_add_and_fetch(volatile signed int *, signed int,...);
    164 signed int __sync_add_and_fetch_4(volatile signed int *, signed int,...);
     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,...);
    165106signed long long int __sync_add_and_fetch(volatile signed long long int *, signed long long int,...);
    166 signed long long int __sync_add_and_fetch_8(volatile signed long long int *, signed long long int,...);
    167107unsigned long long int __sync_add_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
    168 unsigned long long int __sync_add_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
    169108#if defined(__SIZEOF_INT128__)
    170109signed __int128 __sync_add_and_fetch(volatile signed __int128 *, signed __int128,...);
    171 signed __int128 __sync_add_and_fetch_16(volatile signed __int128 *, signed __int128,...);
    172110unsigned __int128 __sync_add_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
    173 unsigned __int128 __sync_add_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
    174111#endif
    175112
    176113char __sync_sub_and_fetch(volatile char *, char,...);
    177 char __sync_sub_and_fetch_1(volatile char *, char,...);
    178114signed char __sync_sub_and_fetch(volatile signed char *, signed char,...);
    179 signed char __sync_sub_and_fetch_1(volatile signed char *, signed char,...);
    180115unsigned char __sync_sub_and_fetch(volatile unsigned char *, unsigned char,...);
    181 unsigned char __sync_sub_and_fetch_1(volatile unsigned char *, unsigned char,...);
    182116signed short __sync_sub_and_fetch(volatile signed short *, signed short,...);
    183 signed short __sync_sub_and_fetch_2(volatile signed short *, signed short,...);
    184117unsigned short __sync_sub_and_fetch(volatile unsigned short *, unsigned short,...);
    185 unsigned short __sync_sub_and_fetch_2(volatile unsigned short *, unsigned short,...);
    186118signed int __sync_sub_and_fetch(volatile signed int *, signed int,...);
    187 signed int __sync_sub_and_fetch_4(volatile signed int *, signed int,...);
    188119unsigned int __sync_sub_and_fetch(volatile unsigned int *, unsigned int,...);
    189 unsigned int __sync_sub_and_fetch_4(volatile unsigned int *, unsigned int,...);
     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,...);
    190122signed long long int __sync_sub_and_fetch(volatile signed long long int *, signed long long int,...);
    191 signed long long int __sync_sub_and_fetch_8(volatile signed long long int *, signed long long int,...);
    192123unsigned long long int __sync_sub_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
    193 unsigned long long int __sync_sub_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
    194124#if defined(__SIZEOF_INT128__)
    195125signed __int128 __sync_sub_and_fetch(volatile signed __int128 *, signed __int128,...);
    196 signed __int128 __sync_sub_and_fetch_16(volatile signed __int128 *, signed __int128,...);
    197126unsigned __int128 __sync_sub_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
    198 unsigned __int128 __sync_sub_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
    199127#endif
    200128
    201129char __sync_or_and_fetch(volatile char *, char,...);
    202 char __sync_or_and_fetch_1(volatile char *, char,...);
    203130signed char __sync_or_and_fetch(volatile signed char *, signed char,...);
    204 signed char __sync_or_and_fetch_1(volatile signed char *, signed char,...);
    205131unsigned char __sync_or_and_fetch(volatile unsigned char *, unsigned char,...);
    206 unsigned char __sync_or_and_fetch_1(volatile unsigned char *, unsigned char,...);
    207132signed short __sync_or_and_fetch(volatile signed short *, signed short,...);
    208 signed short __sync_or_and_fetch_2(volatile signed short *, signed short,...);
    209133unsigned short __sync_or_and_fetch(volatile unsigned short *, unsigned short,...);
    210 unsigned short __sync_or_and_fetch_2(volatile unsigned short *, unsigned short,...);
    211134signed int __sync_or_and_fetch(volatile signed int *, signed int,...);
    212 signed int __sync_or_and_fetch_4(volatile signed int *, signed int,...);
    213135unsigned int __sync_or_and_fetch(volatile unsigned int *, unsigned int,...);
    214 unsigned int __sync_or_and_fetch_4(volatile unsigned int *, unsigned int,...);
     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,...);
    215138signed long long int __sync_or_and_fetch(volatile signed long long int *, signed long long int,...);
    216 signed long long int __sync_or_and_fetch_8(volatile signed long long int *, signed long long int,...);
    217139unsigned long long int __sync_or_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
    218 unsigned long long int __sync_or_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
    219140#if defined(__SIZEOF_INT128__)
    220141signed __int128 __sync_or_and_fetch(volatile signed __int128 *, signed __int128,...);
    221 signed __int128 __sync_or_and_fetch_16(volatile signed __int128 *, signed __int128,...);
    222142unsigned __int128 __sync_or_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
    223 unsigned __int128 __sync_or_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
    224143#endif
    225144
    226145char __sync_and_and_fetch(volatile char *, char,...);
    227 char __sync_and_and_fetch_1(volatile char *, char,...);
    228146signed char __sync_and_and_fetch(volatile signed char *, signed char,...);
    229 signed char __sync_and_and_fetch_1(volatile signed char *, signed char,...);
    230147unsigned char __sync_and_and_fetch(volatile unsigned char *, unsigned char,...);
    231 unsigned char __sync_and_and_fetch_1(volatile unsigned char *, unsigned char,...);
    232148signed short __sync_and_and_fetch(volatile signed short *, signed short,...);
    233 signed short __sync_and_and_fetch_2(volatile signed short *, signed short,...);
    234149unsigned short __sync_and_and_fetch(volatile unsigned short *, unsigned short,...);
    235 unsigned short __sync_and_and_fetch_2(volatile unsigned short *, unsigned short,...);
    236150signed int __sync_and_and_fetch(volatile signed int *, signed int,...);
    237 signed int __sync_and_and_fetch_4(volatile signed int *, signed int,...);
    238151unsigned int __sync_and_and_fetch(volatile unsigned int *, unsigned int,...);
    239 unsigned int __sync_and_and_fetch_4(volatile unsigned int *, unsigned int,...);
     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,...);
    240154signed long long int __sync_and_and_fetch(volatile signed long long int *, signed long long int,...);
    241 signed long long int __sync_and_and_fetch_8(volatile signed long long int *, signed long long int,...);
    242155unsigned long long int __sync_and_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
    243 unsigned long long int __sync_and_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
    244156#if defined(__SIZEOF_INT128__)
    245157signed __int128 __sync_and_and_fetch(volatile signed __int128 *, signed __int128,...);
    246 signed __int128 __sync_and_and_fetch_16(volatile signed __int128 *, signed __int128,...);
    247158unsigned __int128 __sync_and_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
    248 unsigned __int128 __sync_and_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
    249159#endif
    250160
    251161char __sync_xor_and_fetch(volatile char *, char,...);
    252 char __sync_xor_and_fetch_1(volatile char *, char,...);
    253162signed char __sync_xor_and_fetch(volatile signed char *, signed char,...);
    254 signed char __sync_xor_and_fetch_1(volatile signed char *, signed char,...);
    255163unsigned char __sync_xor_and_fetch(volatile unsigned char *, unsigned char,...);
    256 unsigned char __sync_xor_and_fetch_1(volatile unsigned char *, unsigned char,...);
    257164signed short __sync_xor_and_fetch(volatile signed short *, signed short,...);
    258 signed short __sync_xor_and_fetch_2(volatile signed short *, signed short,...);
    259165unsigned short __sync_xor_and_fetch(volatile unsigned short *, unsigned short,...);
    260 unsigned short __sync_xor_and_fetch_2(volatile unsigned short *, unsigned short,...);
    261166signed int __sync_xor_and_fetch(volatile signed int *, signed int,...);
    262 signed int __sync_xor_and_fetch_4(volatile signed int *, signed int,...);
    263167unsigned int __sync_xor_and_fetch(volatile unsigned int *, unsigned int,...);
    264 unsigned int __sync_xor_and_fetch_4(volatile unsigned int *, unsigned int,...);
     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,...);
    265170signed long long int __sync_xor_and_fetch(volatile signed long long int *, signed long long int,...);
    266 signed long long int __sync_xor_and_fetch_8(volatile signed long long int *, signed long long int,...);
    267171unsigned long long int __sync_xor_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
    268 unsigned long long int __sync_xor_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
    269172#if defined(__SIZEOF_INT128__)
    270173signed __int128 __sync_xor_and_fetch(volatile signed __int128 *, signed __int128,...);
    271 signed __int128 __sync_xor_and_fetch_16(volatile signed __int128 *, signed __int128,...);
    272174unsigned __int128 __sync_xor_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
    273 unsigned __int128 __sync_xor_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
    274175#endif
    275176
    276177char __sync_nand_and_fetch(volatile char *, char,...);
    277 char __sync_nand_and_fetch_1(volatile char *, char,...);
    278178signed char __sync_nand_and_fetch(volatile signed char *, signed char,...);
    279 signed char __sync_nand_and_fetch_1(volatile signed char *, signed char,...);
    280179unsigned char __sync_nand_and_fetch(volatile unsigned char *, unsigned char,...);
    281 unsigned char __sync_nand_and_fetch_1(volatile unsigned char *, unsigned char,...);
    282180signed short __sync_nand_and_fetch(volatile signed short *, signed short,...);
    283 signed short __sync_nand_and_fetch_2(volatile signed short *, signed short,...);
    284181unsigned short __sync_nand_and_fetch(volatile unsigned short *, unsigned short,...);
    285 unsigned short __sync_nand_and_fetch_2(volatile unsigned short *, unsigned short,...);
    286182signed int __sync_nand_and_fetch(volatile signed int *, signed int,...);
    287 signed int __sync_nand_and_fetch_4(volatile signed int *, signed int,...);
    288183unsigned int __sync_nand_and_fetch(volatile unsigned int *, unsigned int,...);
    289 unsigned int __sync_nand_and_fetch_4(volatile unsigned int *, unsigned int,...);
     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,...);
    290186signed long long int __sync_nand_and_fetch(volatile signed long long int *, signed long long int,...);
    291 signed long long int __sync_nand_and_fetch_8(volatile signed long long int *, signed long long int,...);
    292187unsigned long long int __sync_nand_and_fetch(volatile unsigned long long int *, unsigned long long int,...);
    293 unsigned long long int __sync_nand_and_fetch_8(volatile unsigned long long int *, unsigned long long int,...);
    294188#if defined(__SIZEOF_INT128__)
    295189signed __int128 __sync_nand_and_fetch(volatile signed __int128 *, signed __int128,...);
    296 signed __int128 __sync_nand_and_fetch_16(volatile signed __int128 *, signed __int128,...);
    297190unsigned __int128 __sync_nand_and_fetch(volatile unsigned __int128 *, unsigned __int128,...);
    298 unsigned __int128 __sync_nand_and_fetch_16(volatile unsigned __int128 *, unsigned __int128,...);
    299191#endif
    300192
    301193_Bool __sync_bool_compare_and_swap(volatile char *, char, char,...);
    302 _Bool __sync_bool_compare_and_swap_1(volatile char *, char, char,...);
    303194_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,...);
    305195_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,...);
    307196_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,...);
    309197_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,...);
    311198_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,...);
    313199_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,...);
     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,...);
    315202_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,...);
    317203_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,...);
    319204#if defined(__SIZEOF_INT128__)
    320205_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,...);
    322206_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,...);
    324207#endif
    325208forall(dtype T) _Bool __sync_bool_compare_and_swap(T * volatile *, T *, T*, ...);
    326209
    327210char __sync_val_compare_and_swap(volatile char *, char, char,...);
    328 char __sync_val_compare_and_swap_1(volatile char *, char, char,...);
    329211signed char __sync_val_compare_and_swap(volatile signed char *, signed char, signed char,...);
    330 signed char __sync_val_compare_and_swap_1(volatile signed char *, signed char, signed char,...);
    331212unsigned char __sync_val_compare_and_swap(volatile unsigned char *, unsigned char, unsigned char,...);
    332 unsigned char __sync_val_compare_and_swap_1(volatile unsigned char *, unsigned char, unsigned char,...);
    333213signed short __sync_val_compare_and_swap(volatile signed short *, signed short, signed short,...);
    334 signed short __sync_val_compare_and_swap_2(volatile signed short *, signed short, signed short,...);
    335214unsigned short __sync_val_compare_and_swap(volatile unsigned short *, unsigned short, unsigned short,...);
    336 unsigned short __sync_val_compare_and_swap_2(volatile unsigned short *, unsigned short, unsigned short,...);
    337215signed int __sync_val_compare_and_swap(volatile signed int *, signed int, signed int,...);
    338 signed int __sync_val_compare_and_swap_4(volatile signed int *, signed int, signed int,...);
    339216unsigned int __sync_val_compare_and_swap(volatile unsigned int *, unsigned int, unsigned int,...);
    340 unsigned int __sync_val_compare_and_swap_4(volatile unsigned int *, unsigned int, unsigned int,...);
     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,...);
    341219signed long long int __sync_val_compare_and_swap(volatile signed long long int *, signed long long int, signed long long int,...);
    342 signed long long int __sync_val_compare_and_swap_8(volatile signed long long int *, signed long long int, signed long long int,...);
    343220unsigned long long int __sync_val_compare_and_swap(volatile unsigned long long int *, unsigned long long int, unsigned long long int,...);
    344 unsigned long long int __sync_val_compare_and_swap_8(volatile unsigned long long int *, unsigned long long int, unsigned long long int,...);
    345221#if defined(__SIZEOF_INT128__)
    346222signed __int128 __sync_val_compare_and_swap(volatile signed __int128 *, signed __int128, signed __int128,...);
    347 signed __int128 __sync_val_compare_and_swap_16(volatile signed __int128 *, signed __int128, signed __int128,...);
    348223unsigned __int128 __sync_val_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
    349 unsigned __int128 __sync_val_compare_and_swap_16(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
    350224#endif
    351225forall(dtype T) T * __sync_val_compare_and_swap(T * volatile *, T *, T*,...);
    352226
    353227char __sync_lock_test_and_set(volatile char *, char,...);
    354 char __sync_lock_test_and_set_1(volatile char *, char,...);
    355228signed char __sync_lock_test_and_set(volatile signed char *, signed char,...);
    356 signed char __sync_lock_test_and_set_1(volatile signed char *, signed char,...);
    357229unsigned char __sync_lock_test_and_set(volatile unsigned char *, unsigned char,...);
    358 unsigned char __sync_lock_test_and_set_1(volatile unsigned char *, unsigned char,...);
    359230signed short __sync_lock_test_and_set(volatile signed short *, signed short,...);
    360 signed short __sync_lock_test_and_set_2(volatile signed short *, signed short,...);
    361231unsigned short __sync_lock_test_and_set(volatile unsigned short *, unsigned short,...);
    362 unsigned short __sync_lock_test_and_set_2(volatile unsigned short *, unsigned short,...);
    363232signed int __sync_lock_test_and_set(volatile signed int *, signed int,...);
    364 signed int __sync_lock_test_and_set_4(volatile signed int *, signed int,...);
    365233unsigned int __sync_lock_test_and_set(volatile unsigned int *, unsigned int,...);
    366 unsigned int __sync_lock_test_and_set_4(volatile unsigned int *, unsigned int,...);
     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,...);
    367236signed long long int __sync_lock_test_and_set(volatile signed long long int *, signed long long int,...);
    368 signed long long int __sync_lock_test_and_set_8(volatile signed long long int *, signed long long int,...);
    369237unsigned long long int __sync_lock_test_and_set(volatile unsigned long long int *, unsigned long long int,...);
    370 unsigned long long int __sync_lock_test_and_set_8(volatile unsigned long long int *, unsigned long long int,...);
    371238#if defined(__SIZEOF_INT128__)
    372239signed __int128 __sync_lock_test_and_set(volatile signed __int128 *, signed __int128,...);
    373 signed __int128 __sync_lock_test_and_set_16(volatile signed __int128 *, signed __int128,...);
    374240unsigned __int128 __sync_lock_test_and_set(volatile unsigned __int128 *, unsigned __int128,...);
    375 unsigned __int128 __sync_lock_test_and_set_16(volatile unsigned __int128 *, unsigned __int128,...);
    376241#endif
    377242
    378243void __sync_lock_release(volatile char *,...);
    379 void __sync_lock_release_1(volatile char *,...);
    380244void __sync_lock_release(volatile signed char *,...);
    381 void __sync_lock_release_1(volatile signed char *,...);
    382245void __sync_lock_release(volatile unsigned char *,...);
    383 void __sync_lock_release_1(volatile unsigned char *,...);
    384246void __sync_lock_release(volatile signed short *,...);
    385 void __sync_lock_release_2(volatile signed short *,...);
    386247void __sync_lock_release(volatile unsigned short *,...);
    387 void __sync_lock_release_2(volatile unsigned short *,...);
    388248void __sync_lock_release(volatile signed int *,...);
    389 void __sync_lock_release_4(volatile signed int *,...);
    390249void __sync_lock_release(volatile unsigned int *,...);
    391 void __sync_lock_release_4(volatile unsigned int *,...);
     250void __sync_lock_release(volatile signed long int *,...);
     251void __sync_lock_release(volatile unsigned long int *,...);
    392252void __sync_lock_release(volatile signed long long int *,...);
    393 void __sync_lock_release_8(volatile signed long long int *,...);
    394253void __sync_lock_release(volatile unsigned long long int *,...);
    395 void __sync_lock_release_8(volatile unsigned long long int *,...);
    396254#if defined(__SIZEOF_INT128__)
    397255void __sync_lock_release(volatile signed __int128 *,...);
    398 void __sync_lock_release_16(volatile signed __int128 *,...);
    399256void __sync_lock_release(volatile unsigned __int128 *,...);
    400 void __sync_lock_release_16(volatile unsigned __int128 *,...);
    401257#endif
    402258
    … …  
    414270_Bool __atomic_test_and_set(volatile signed int *, int);
    415271_Bool __atomic_test_and_set(volatile unsigned int *, int);
     272_Bool __atomic_test_and_set(volatile signed long int *, int);
     273_Bool __atomic_test_and_set(volatile unsigned long int *, int);
    416274_Bool __atomic_test_and_set(volatile signed long long int *, int);
    417275_Bool __atomic_test_and_set(volatile unsigned long long int *, int);
    … …  
    429287void __atomic_clear(volatile signed int *, int);
    430288void __atomic_clear(volatile unsigned int *, int);
     289void __atomic_clear(volatile signed long int *, int);
     290void __atomic_clear(volatile unsigned long int *, int);
    431291void __atomic_clear(volatile signed long long int *, int);
    432292void __atomic_clear(volatile unsigned long long int *, int);
    … …  
    437297
    438298_Bool __atomic_exchange_n(volatile _Bool *, _Bool, int);
    439 _Bool __atomic_exchange_1(volatile _Bool *, _Bool, int);
    440299void __atomic_exchange(volatile _Bool *, volatile _Bool *, volatile _Bool *, int);
    441300char __atomic_exchange_n(volatile char *, char, int);
    442 char __atomic_exchange_1(volatile char *, char, int);
    443301void __atomic_exchange(volatile char *, volatile char *, volatile char *, int);
    444302signed char __atomic_exchange_n(volatile signed char *, signed char, int);
    445 signed char __atomic_exchange_1(volatile signed char *, signed char, int);
    446303void __atomic_exchange(volatile signed char *, volatile signed char *, volatile signed char *, int);
    447304unsigned char __atomic_exchange_n(volatile unsigned char *, unsigned char, int);
    448 unsigned char __atomic_exchange_1(volatile unsigned char *, unsigned char, int);
    449305void __atomic_exchange(volatile unsigned char *, volatile unsigned char *, volatile unsigned char *, int);
    450306signed short __atomic_exchange_n(volatile signed short *, signed short, int);
    451 signed short __atomic_exchange_2(volatile signed short *, signed short, int);
    452307void __atomic_exchange(volatile signed short *, volatile signed short *, volatile signed short *, int);
    453308unsigned short __atomic_exchange_n(volatile unsigned short *, unsigned short, int);
    454 unsigned short __atomic_exchange_2(volatile unsigned short *, unsigned short, int);
    455309void __atomic_exchange(volatile unsigned short *, volatile unsigned short *, volatile unsigned short *, int);
    456310signed int __atomic_exchange_n(volatile signed int *, signed int, int);
    457 signed int __atomic_exchange_4(volatile signed int *, signed int, int);
    458311void __atomic_exchange(volatile signed int *, volatile signed int *, volatile signed int *, int);
    459312unsigned int __atomic_exchange_n(volatile unsigned int *, unsigned int, int);
    460 unsigned int __atomic_exchange_4(volatile unsigned int *, unsigned int, int);
    461313void __atomic_exchange(volatile unsigned int *, volatile unsigned int *, volatile unsigned int *, int);
     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);
    462318signed long long int __atomic_exchange_n(volatile signed long long int *, signed long long int, int);
    463 signed long long int __atomic_exchange_8(volatile signed long long int *, signed long long int, int);
    464319void __atomic_exchange(volatile signed long long int *, volatile signed long long int *, volatile signed long long int *, int);
    465320unsigned long long int __atomic_exchange_n(volatile unsigned long long int *, unsigned long long int, int);
    466 unsigned long long int __atomic_exchange_8(volatile unsigned long long int *, unsigned long long int, int);
    467321void __atomic_exchange(volatile unsigned long long int *, volatile unsigned long long int *, volatile unsigned long long int *, int);
    468322#if defined(__SIZEOF_INT128__)
    469323signed __int128 __atomic_exchange_n(volatile signed __int128 *, signed __int128, int);
    470 signed __int128 __atomic_exchange_16(volatile signed __int128 *, signed __int128, int);
    471324void __atomic_exchange(volatile signed __int128 *, volatile signed __int128 *, volatile signed __int128 *, int);
    472325unsigned __int128 __atomic_exchange_n(volatile unsigned __int128 *, unsigned __int128, int);
    473 unsigned __int128 __atomic_exchange_16(volatile unsigned __int128 *, unsigned __int128, int);
    474326void __atomic_exchange(volatile unsigned __int128 *, volatile unsigned __int128 *, volatile unsigned __int128 *, int);
    475327#endif
    … …  
    480332void __atomic_load(const volatile _Bool *, volatile _Bool *, int);
    481333char __atomic_load_n(const volatile char *, int);
    482 char __atomic_load_1(const volatile char *, int);
    483334void __atomic_load(const volatile char *, volatile char *, int);
    484335signed char __atomic_load_n(const volatile signed char *, int);
    485 signed char __atomic_load_1(const volatile signed char *, int);
    486336void __atomic_load(const volatile signed char *, volatile signed char *, int);
    487337unsigned char __atomic_load_n(const volatile unsigned char *, int);
    488 unsigned char __atomic_load_1(const volatile unsigned char *, int);
    489338void __atomic_load(const volatile unsigned char *, volatile unsigned char *, int);
    490339signed short __atomic_load_n(const volatile signed short *, int);
    491 signed short __atomic_load_2(const volatile signed short *, int);
    492340void __atomic_load(const volatile signed short *, volatile signed short *, int);
    493341unsigned short __atomic_load_n(const volatile unsigned short *, int);
    494 unsigned short __atomic_load_2(const volatile unsigned short *, int);
    495342void __atomic_load(const volatile unsigned short *, volatile unsigned short *, int);
    496343signed int __atomic_load_n(const volatile signed int *, int);
    497 signed int __atomic_load_4(const volatile signed int *, int);
    498344void __atomic_load(const volatile signed int *, volatile signed int *, int);
    499345unsigned int __atomic_load_n(const volatile unsigned int *, int);
    500 unsigned int __atomic_load_4(const volatile unsigned int *, int);
    501346void __atomic_load(const volatile unsigned int *, volatile unsigned int *, int);
     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);
    502351signed long long int __atomic_load_n(const volatile signed long long int *, int);
    503 signed long long int __atomic_load_8(const volatile signed long long int *, int);
    504352void __atomic_load(const volatile signed long long int *, volatile signed long long int *, int);
    505353unsigned long long int __atomic_load_n(const volatile unsigned long long int *, int);
    506 unsigned long long int __atomic_load_8(const volatile unsigned long long int *, int);
    507354void __atomic_load(const volatile unsigned long long int *, volatile unsigned long long int *, int);
    508355#if defined(__SIZEOF_INT128__)
    509356signed __int128 __atomic_load_n(const volatile signed __int128 *, int);
    510 signed __int128 __atomic_load_16(const volatile signed __int128 *, int);
    511357void __atomic_load(const volatile signed __int128 *, volatile signed __int128 *, int);
    512358unsigned __int128 __atomic_load_n(const volatile unsigned __int128 *, int);
    513 unsigned __int128 __atomic_load_16(const volatile unsigned __int128 *, int);
    514359void __atomic_load(const volatile unsigned __int128 *, volatile unsigned __int128 *, int);
    515360#endif
    … …  
    518363
    519364_Bool __atomic_compare_exchange_n(volatile char *, char *, char, _Bool, int, int);
    520 _Bool __atomic_compare_exchange_1(volatile char *, char *, char, _Bool, int, int);
    521365_Bool __atomic_compare_exchange  (volatile char *, char *, char *, _Bool, int, int);
    522366_Bool __atomic_compare_exchange_n(volatile signed char *, signed char *, signed char, _Bool, int, int);
    523 _Bool __atomic_compare_exchange_1(volatile signed char *, signed char *, signed char, _Bool, int, int);
    524367_Bool __atomic_compare_exchange  (volatile signed char *, signed char *, signed char *, _Bool, int, int);
    525368_Bool __atomic_compare_exchange_n(volatile unsigned char *, unsigned char *, unsigned char, _Bool, int, int);
    526 _Bool __atomic_compare_exchange_1(volatile unsigned char *, unsigned char *, unsigned char, _Bool, int, int);
    527369_Bool __atomic_compare_exchange  (volatile unsigned char *, unsigned char *, unsigned char *, _Bool, int, int);
    528370_Bool __atomic_compare_exchange_n(volatile signed short *, signed short *, signed short, _Bool, int, int);
    529 _Bool __atomic_compare_exchange_2(volatile signed short *, signed short *, signed short, _Bool, int, int);
    530371_Bool __atomic_compare_exchange  (volatile signed short *, signed short *, signed short *, _Bool, int, int);
    531372_Bool __atomic_compare_exchange_n(volatile unsigned short *, unsigned short *, unsigned short, _Bool, int, int);
    532 _Bool __atomic_compare_exchange_2(volatile unsigned short *, unsigned short *, unsigned short, _Bool, int, int);
    533373_Bool __atomic_compare_exchange  (volatile unsigned short *, unsigned short *, unsigned short *, _Bool, int, int);
    534374_Bool __atomic_compare_exchange_n(volatile signed int *, signed int *, signed int, _Bool, int, int);
    535 _Bool __atomic_compare_exchange_4(volatile signed int *, signed int *, signed int, _Bool, int, int);
    536375_Bool __atomic_compare_exchange  (volatile signed int *, signed int *, signed int *, _Bool, int, int);
    537376_Bool __atomic_compare_exchange_n(volatile unsigned int *, unsigned int *, unsigned int, _Bool, int, int);
    538 _Bool __atomic_compare_exchange_4(volatile unsigned int *, unsigned int *, unsigned int, _Bool, int, int);
    539377_Bool __atomic_compare_exchange  (volatile unsigned int *, unsigned int *, unsigned int *, _Bool, int, int);
     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);
    540382_Bool __atomic_compare_exchange_n(volatile signed long long int *, signed long long int *, signed long long int, _Bool, int, int);
    541 _Bool __atomic_compare_exchange_8(volatile signed long long int *, signed long long int *, signed long long int, _Bool, int, int);
    542383_Bool __atomic_compare_exchange  (volatile signed long long int *, signed long long int *, signed long long int *, _Bool, int, int);
    543384_Bool __atomic_compare_exchange_n(volatile unsigned long long int *, unsigned long long int *, unsigned long long int, _Bool, int, int);
    544 _Bool __atomic_compare_exchange_8(volatile unsigned long long int *, unsigned long long int *, unsigned long long int, _Bool, int, int);
    545385_Bool __atomic_compare_exchange  (volatile unsigned long long int *, unsigned long long int *, unsigned long long int *, _Bool, int, int);
    546386#if defined(__SIZEOF_INT128__)
    547387_Bool __atomic_compare_exchange_n (volatile signed __int128 *, signed __int128 *, signed __int128, _Bool, int, int);
    548 _Bool __atomic_compare_exchange_16(volatile signed __int128 *, signed __int128 *, signed __int128, _Bool, int, int);
    549388_Bool __atomic_compare_exchange   (volatile signed __int128 *, signed __int128 *, signed __int128 *, _Bool, int, int);
    550389_Bool __atomic_compare_exchange_n (volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128, _Bool, int, int);
    551 _Bool __atomic_compare_exchange_16(volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128, _Bool, int, int);
    552390_Bool __atomic_compare_exchange   (volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128 *, _Bool, int, int);
    553391#endif
    … …  
    558396void __atomic_store(volatile _Bool *, _Bool *, int);
    559397void __atomic_store_n(volatile char *, char, int);
    560 void __atomic_store_1(volatile char *, char, int);
    561398void __atomic_store(volatile char *, char *, int);
    562399void __atomic_store_n(volatile signed char *, signed char, int);
    563 void __atomic_store_1(volatile signed char *, signed char, int);
    564400void __atomic_store(volatile signed char *, signed char *, int);
    565401void __atomic_store_n(volatile unsigned char *, unsigned char, int);
    566 void __atomic_store_1(volatile unsigned char *, unsigned char, int);
    567402void __atomic_store(volatile unsigned char *, unsigned char *, int);
    568403void __atomic_store_n(volatile signed short *, signed short, int);
    569 void __atomic_store_2(volatile signed short *, signed short, int);
    570404void __atomic_store(volatile signed short *, signed short *, int);
    571405void __atomic_store_n(volatile unsigned short *, unsigned short, int);
    572 void __atomic_store_2(volatile unsigned short *, unsigned short, int);
    573406void __atomic_store(volatile unsigned short *, unsigned short *, int);
    574407void __atomic_store_n(volatile signed int *, signed int, int);
    575 void __atomic_store_4(volatile signed int *, signed int, int);
    576408void __atomic_store(volatile signed int *, signed int *, int);
    577409void __atomic_store_n(volatile unsigned int *, unsigned int, int);
    578 void __atomic_store_4(volatile unsigned int *, unsigned int, int);
    579410void __atomic_store(volatile unsigned int *, unsigned int *, int);
     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);
    580415void __atomic_store_n(volatile signed long long int *, signed long long int, int);
    581 void __atomic_store_8(volatile signed long long int *, signed long long int, int);
    582416void __atomic_store(volatile signed long long int *, signed long long int *, int);
    583417void __atomic_store_n(volatile unsigned long long int *, unsigned long long int, int);
    584 void __atomic_store_8(volatile unsigned long long int *, unsigned long long int, int);
    585418void __atomic_store(volatile unsigned long long int *, unsigned long long int *, int);
    586419#if defined(__SIZEOF_INT128__)
    587420void __atomic_store_n(volatile signed __int128 *, signed __int128, int);
    588 void __atomic_store_16(volatile signed __int128 *, signed __int128, int);
    589421void __atomic_store(volatile signed __int128 *, signed __int128 *, int);
    590422void __atomic_store_n(volatile unsigned __int128 *, unsigned __int128, int);
    591 void __atomic_store_16(volatile unsigned __int128 *, unsigned __int128, int);
    592423void __atomic_store(volatile unsigned __int128 *, unsigned __int128 *, int);
    593424#endif
    … …  
    596427
    597428char __atomic_add_fetch  (volatile char *, char, int);
    598 char __atomic_add_fetch_1(volatile char *, char, int);
    599429signed char __atomic_add_fetch  (volatile signed char *, signed char, int);
    600 signed char __atomic_add_fetch_1(volatile signed char *, signed char, int);
    601430unsigned char __atomic_add_fetch  (volatile unsigned char *, unsigned char, int);
    602 unsigned char __atomic_add_fetch_1(volatile unsigned char *, unsigned char, int);
    603431signed short __atomic_add_fetch  (volatile signed short *, signed short, int);
    604 signed short __atomic_add_fetch_2(volatile signed short *, signed short, int);
    605432unsigned short __atomic_add_fetch  (volatile unsigned short *, unsigned short, int);
    606 unsigned short __atomic_add_fetch_2(volatile unsigned short *, unsigned short, int);
    607433signed int __atomic_add_fetch  (volatile signed int *, signed int, int);
    608 signed int __atomic_add_fetch_4(volatile signed int *, signed int, int);
    609434unsigned int __atomic_add_fetch  (volatile unsigned int *, unsigned int, int);
    610 unsigned int __atomic_add_fetch_4(volatile unsigned int *, unsigned int, int);
     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);
    611437signed long long int __atomic_add_fetch  (volatile signed long long int *, signed long long int, int);
    612 signed long long int __atomic_add_fetch_8(volatile signed long long int *, signed long long int, int);
    613438unsigned long long int __atomic_add_fetch  (volatile unsigned long long int *, unsigned long long int, int);
    614 unsigned long long int __atomic_add_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
    615439#if defined(__SIZEOF_INT128__)
    616440signed __int128 __atomic_add_fetch   (volatile signed __int128 *, signed __int128, int);
    617 signed __int128 __atomic_add_fetch_16(volatile signed __int128 *, signed __int128, int);
    618441unsigned __int128 __atomic_add_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
    619 unsigned __int128 __atomic_add_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
    620442#endif
    621443
    622444char __atomic_sub_fetch  (volatile char *, char, int);
    623 char __atomic_sub_fetch_1(volatile char *, char, int);
    624445signed char __atomic_sub_fetch  (volatile signed char *, signed char, int);
    625 signed char __atomic_sub_fetch_1(volatile signed char *, signed char, int);
    626446unsigned char __atomic_sub_fetch  (volatile unsigned char *, unsigned char, int);
    627 unsigned char __atomic_sub_fetch_1(volatile unsigned char *, unsigned char, int);
    628447signed short __atomic_sub_fetch  (volatile signed short *, signed short, int);
    629 signed short __atomic_sub_fetch_2(volatile signed short *, signed short, int);
    630448unsigned short __atomic_sub_fetch  (volatile unsigned short *, unsigned short, int);
    631 unsigned short __atomic_sub_fetch_2(volatile unsigned short *, unsigned short, int);
    632449signed int __atomic_sub_fetch  (volatile signed int *, signed int, int);
    633 signed int __atomic_sub_fetch_4(volatile signed int *, signed int, int);
    634450unsigned int __atomic_sub_fetch  (volatile unsigned int *, unsigned int, int);
    635 unsigned int __atomic_sub_fetch_4(volatile unsigned int *, unsigned int, int);
     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);
    636453signed long long int __atomic_sub_fetch  (volatile signed long long int *, signed long long int, int);
    637 signed long long int __atomic_sub_fetch_8(volatile signed long long int *, signed long long int, int);
    638454unsigned long long int __atomic_sub_fetch  (volatile unsigned long long int *, unsigned long long int, int);
    639 unsigned long long int __atomic_sub_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
    640455#if defined(__SIZEOF_INT128__)
    641456signed __int128 __atomic_sub_fetch   (volatile signed __int128 *, signed __int128, int);
    642 signed __int128 __atomic_sub_fetch_16(volatile signed __int128 *, signed __int128, int);
    643457unsigned __int128 __atomic_sub_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
    644 unsigned __int128 __atomic_sub_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
    645458#endif
    646459
    647460char __atomic_and_fetch  (volatile char *, char, int);
    648 char __atomic_and_fetch_1(volatile char *, char, int);
    649461signed char __atomic_and_fetch  (volatile signed char *, signed char, int);
    650 signed char __atomic_and_fetch_1(volatile signed char *, signed char, int);
    651462unsigned char __atomic_and_fetch  (volatile unsigned char *, unsigned char, int);
    652 unsigned char __atomic_and_fetch_1(volatile unsigned char *, unsigned char, int);
    653463signed short __atomic_and_fetch  (volatile signed short *, signed short, int);
    654 signed short __atomic_and_fetch_2(volatile signed short *, signed short, int);
    655464unsigned short __atomic_and_fetch  (volatile unsigned short *, unsigned short, int);
    656 unsigned short __atomic_and_fetch_2(volatile unsigned short *, unsigned short, int);
    657465signed int __atomic_and_fetch  (volatile signed int *, signed int, int);
    658 signed int __atomic_and_fetch_4(volatile signed int *, signed int, int);
    659466unsigned int __atomic_and_fetch  (volatile unsigned int *, unsigned int, int);
    660 unsigned int __atomic_and_fetch_4(volatile unsigned int *, unsigned int, int);
     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);
    661469signed long long int __atomic_and_fetch  (volatile signed long long int *, signed long long int, int);
    662 signed long long int __atomic_and_fetch_8(volatile signed long long int *, signed long long int, int);
    663470unsigned long long int __atomic_and_fetch  (volatile unsigned long long int *, unsigned long long int, int);
    664 unsigned long long int __atomic_and_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
    665471#if defined(__SIZEOF_INT128__)
    666472signed __int128 __atomic_and_fetch   (volatile signed __int128 *, signed __int128, int);
    667 signed __int128 __atomic_and_fetch_16(volatile signed __int128 *, signed __int128, int);
    668473unsigned __int128 __atomic_and_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
    669 unsigned __int128 __atomic_and_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
    670474#endif
    671475
    672476char __atomic_nand_fetch  (volatile char *, char, int);
    673 char __atomic_nand_fetch_1(volatile char *, char, int);
    674477signed char __atomic_nand_fetch  (volatile signed char *, signed char, int);
    675 signed char __atomic_nand_fetch_1(volatile signed char *, signed char, int);
    676478unsigned char __atomic_nand_fetch  (volatile unsigned char *, unsigned char, int);
    677 unsigned char __atomic_nand_fetch_1(volatile unsigned char *, unsigned char, int);
    678479signed short __atomic_nand_fetch  (volatile signed short *, signed short, int);
    679 signed short __atomic_nand_fetch_2(volatile signed short *, signed short, int);
    680480unsigned short __atomic_nand_fetch  (volatile unsigned short *, unsigned short, int);
    681 unsigned short __atomic_nand_fetch_2(volatile unsigned short *, unsigned short, int);
    682481signed int __atomic_nand_fetch  (volatile signed int *, signed int, int);
    683 signed int __atomic_nand_fetch_4(volatile signed int *, signed int, int);
    684482unsigned int __atomic_nand_fetch  (volatile unsigned int *, unsigned int, int);
    685 unsigned int __atomic_nand_fetch_4(volatile unsigned int *, unsigned int, int);
     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);
    686485signed long long int __atomic_nand_fetch  (volatile signed long long int *, signed long long int, int);
    687 signed long long int __atomic_nand_fetch_8(volatile signed long long int *, signed long long int, int);
    688486unsigned long long int __atomic_nand_fetch  (volatile unsigned long long int *, unsigned long long int, int);
    689 unsigned long long int __atomic_nand_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
    690487#if defined(__SIZEOF_INT128__)
    691488signed __int128 __atomic_nand_fetch   (volatile signed __int128 *, signed __int128, int);
    692 signed __int128 __atomic_nand_fetch_16(volatile signed __int128 *, signed __int128, int);
    693489unsigned __int128 __atomic_nand_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
    694 unsigned __int128 __atomic_nand_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
    695490#endif
    696491
    697492char __atomic_xor_fetch  (volatile char *, char, int);
    698 char __atomic_xor_fetch_1(volatile char *, char, int);
    699493signed char __atomic_xor_fetch  (volatile signed char *, signed char, int);
    700 signed char __atomic_xor_fetch_1(volatile signed char *, signed char, int);
    701494unsigned char __atomic_xor_fetch  (volatile unsigned char *, unsigned char, int);
    702 unsigned char __atomic_xor_fetch_1(volatile unsigned char *, unsigned char, int);
    703495signed short __atomic_xor_fetch  (volatile signed short *, signed short, int);
    704 signed short __atomic_xor_fetch_2(volatile signed short *, signed short, int);
    705496unsigned short __atomic_xor_fetch  (volatile unsigned short *, unsigned short, int);
    706 unsigned short __atomic_xor_fetch_2(volatile unsigned short *, unsigned short, int);
    707497signed int __atomic_xor_fetch  (volatile signed int *, signed int, int);
    708 signed int __atomic_xor_fetch_4(volatile signed int *, signed int, int);
    709498unsigned int __atomic_xor_fetch  (volatile unsigned int *, unsigned int, int);
    710 unsigned int __atomic_xor_fetch_4(volatile unsigned int *, unsigned int, int);
     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);
    711501signed long long int __atomic_xor_fetch  (volatile signed long long int *, signed long long int, int);
    712 signed long long int __atomic_xor_fetch_8(volatile signed long long int *, signed long long int, int);
    713502unsigned long long int __atomic_xor_fetch  (volatile unsigned long long int *, unsigned long long int, int);
    714 unsigned long long int __atomic_xor_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
    715503#if defined(__SIZEOF_INT128__)
    716504signed __int128 __atomic_xor_fetch   (volatile signed __int128 *, signed __int128, int);
    717 signed __int128 __atomic_xor_fetch_16(volatile signed __int128 *, signed __int128, int);
    718505unsigned __int128 __atomic_xor_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
    719 unsigned __int128 __atomic_xor_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
    720506#endif
    721507
    722508char __atomic_or_fetch  (volatile char *, char, int);
    723 char __atomic_or_fetch_1(volatile char *, char, int);
    724509signed char __atomic_or_fetch  (volatile signed char *, signed char, int);
    725 signed char __atomic_or_fetch_1(volatile signed char *, signed char, int);
    726510unsigned char __atomic_or_fetch  (volatile unsigned char *, unsigned char, int);
    727 unsigned char __atomic_or_fetch_1(volatile unsigned char *, unsigned char, int);
    728511signed short __atomic_or_fetch  (volatile signed short *, signed short, int);
    729 signed short __atomic_or_fetch_2(volatile signed short *, signed short, int);
    730512unsigned short __atomic_or_fetch  (volatile unsigned short *, unsigned short, int);
    731 unsigned short __atomic_or_fetch_2(volatile unsigned short *, unsigned short, int);
    732513signed int __atomic_or_fetch  (volatile signed int *, signed int, int);
    733 signed int __atomic_or_fetch_4(volatile signed int *, signed int, int);
    734514unsigned int __atomic_or_fetch  (volatile unsigned int *, unsigned int, int);
    735 unsigned int __atomic_or_fetch_4(volatile unsigned int *, unsigned int, int);
     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);
    736517signed long long int __atomic_or_fetch  (volatile signed long long int *, signed long long int, int);
    737 signed long long int __atomic_or_fetch_8(volatile signed long long int *, signed long long int, int);
    738518unsigned long long int __atomic_or_fetch  (volatile unsigned long long int *, unsigned long long int, int);
    739 unsigned long long int __atomic_or_fetch_8(volatile unsigned long long int *, unsigned long long int, int);
    740519#if defined(__SIZEOF_INT128__)
    741520signed __int128 __atomic_or_fetch   (volatile signed __int128 *, signed __int128, int);
    742 signed __int128 __atomic_or_fetch_16(volatile signed __int128 *, signed __int128, int);
    743521unsigned __int128 __atomic_or_fetch   (volatile unsigned __int128 *, unsigned __int128, int);
    744 unsigned __int128 __atomic_or_fetch_16(volatile unsigned __int128 *, unsigned __int128, int);
    745522#endif
    746523
    747524char __atomic_fetch_add  (volatile char *, char, int);
    748 char __atomic_fetch_add_1(volatile char *, char, int);
    749525signed char __atomic_fetch_add  (volatile signed char *, signed char, int);
    750 signed char __atomic_fetch_add_1(volatile signed char *, signed char, int);
    751526unsigned char __atomic_fetch_add  (volatile unsigned char *, unsigned char, int);
    752 unsigned char __atomic_fetch_add_1(volatile unsigned char *, unsigned char, int);
    753527signed short __atomic_fetch_add  (volatile signed short *, signed short, int);
    754 signed short __atomic_fetch_add_2(volatile signed short *, signed short, int);
    755528unsigned short __atomic_fetch_add  (volatile unsigned short *, unsigned short, int);
    756 unsigned short __atomic_fetch_add_2(volatile unsigned short *, unsigned short, int);
    757529signed int __atomic_fetch_add  (volatile signed int *, signed int, int);
    758 signed int __atomic_fetch_add_4(volatile signed int *, signed int, int);
    759530unsigned int __atomic_fetch_add  (volatile unsigned int *, unsigned int, int);
    760 unsigned int __atomic_fetch_add_4(volatile unsigned int *, unsigned int, int);
     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);
    761533signed long long int __atomic_fetch_add  (volatile signed long long int *, signed long long int, int);
    762 signed long long int __atomic_fetch_add_8(volatile signed long long int *, signed long long int, int);
    763534unsigned long long int __atomic_fetch_add  (volatile unsigned long long int *, unsigned long long int, int);
    764 unsigned long long int __atomic_fetch_add_8(volatile unsigned long long int *, unsigned long long int, int);
    765535#if defined(__SIZEOF_INT128__)
    766536signed __int128 __atomic_fetch_add   (volatile signed __int128 *, signed __int128, int);
    767 signed __int128 __atomic_fetch_add_16(volatile signed __int128 *, signed __int128, int);
    768537unsigned __int128 __atomic_fetch_add   (volatile unsigned __int128 *, unsigned __int128, int);
    769 unsigned __int128 __atomic_fetch_add_16(volatile unsigned __int128 *, unsigned __int128, int);
    770538#endif
    771539
    772540char __atomic_fetch_sub  (volatile char *, char, int);
    773 char __atomic_fetch_sub_1(volatile char *, char, int);
    774541signed char __atomic_fetch_sub  (volatile signed char *, signed char, int);
    775 signed char __atomic_fetch_sub_1(volatile signed char *, signed char, int);
    776542unsigned char __atomic_fetch_sub  (volatile unsigned char *, unsigned char, int);
    777 unsigned char __atomic_fetch_sub_1(volatile unsigned char *, unsigned char, int);
    778543signed short __atomic_fetch_sub  (volatile signed short *, signed short, int);
    779 signed short __atomic_fetch_sub_2(volatile signed short *, signed short, int);
    780544unsigned short __atomic_fetch_sub  (volatile unsigned short *, unsigned short, int);
    781 unsigned short __atomic_fetch_sub_2(volatile unsigned short *, unsigned short, int);
    782545signed int __atomic_fetch_sub  (volatile signed int *, signed int, int);
    783 signed int __atomic_fetch_sub_4(volatile signed int *, signed int, int);
    784546unsigned int __atomic_fetch_sub  (volatile unsigned int *, unsigned int, int);
    785 unsigned int __atomic_fetch_sub_4(volatile unsigned int *, unsigned int, int);
     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);
    786549signed long long int __atomic_fetch_sub  (volatile signed long long int *, signed long long int, int);
    787 signed long long int __atomic_fetch_sub_8(volatile signed long long int *, signed long long int, int);
    788550unsigned long long int __atomic_fetch_sub  (volatile unsigned long long int *, unsigned long long int, int);
    789 unsigned long long int __atomic_fetch_sub_8(volatile unsigned long long int *, unsigned long long int, int);
    790551#if defined(__SIZEOF_INT128__)
    791552signed __int128 __atomic_fetch_sub   (volatile signed  __int128 *, signed __int128, int);
    792 signed __int128 __atomic_fetch_sub_16(volatile signed  __int128 *, signed __int128, int);
    793553unsigned __int128 __atomic_fetch_sub   (volatile unsigned  __int128 *, unsigned __int128, int);
    794 unsigned __int128 __atomic_fetch_sub_16(volatile unsigned  __int128 *, unsigned __int128, int);
    795554#endif
    796555
    797556char __atomic_fetch_and  (volatile char *, char, int);
    798 char __atomic_fetch_and_1(volatile char *, char, int);
    799557signed char __atomic_fetch_and  (volatile signed char *, signed char, int);
    800 signed char __atomic_fetch_and_1(volatile signed char *, signed char, int);
    801558unsigned char __atomic_fetch_and  (volatile unsigned char *, unsigned char, int);
    802 unsigned char __atomic_fetch_and_1(volatile unsigned char *, unsigned char, int);
    803559signed short __atomic_fetch_and  (volatile signed short *, signed short, int);
    804 signed short __atomic_fetch_and_2(volatile signed short *, signed short, int);
    805560unsigned short __atomic_fetch_and  (volatile unsigned short *, unsigned short, int);
    806 unsigned short __atomic_fetch_and_2(volatile unsigned short *, unsigned short, int);
    807561signed int __atomic_fetch_and  (volatile signed int *, signed int, int);
    808 signed int __atomic_fetch_and_4(volatile signed int *, signed int, int);
    809562unsigned int __atomic_fetch_and  (volatile unsigned int *, unsigned int, int);
    810 unsigned int __atomic_fetch_and_4(volatile unsigned int *, unsigned int, int);
     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);
    811565signed long long int __atomic_fetch_and  (volatile signed long long int *, signed long long int, int);
    812 signed long long int __atomic_fetch_and_8(volatile signed long long int *, signed long long int, int);
    813566unsigned long long int __atomic_fetch_and  (volatile unsigned long long int *, unsigned long long int, int);
    814 unsigned long long int __atomic_fetch_and_8(volatile unsigned long long int *, unsigned long long int, int);
    815567#if defined(__SIZEOF_INT128__)
    816568signed __int128 __atomic_fetch_and   (volatile signed __int128 *, signed __int128, int);
    817 signed __int128 __atomic_fetch_and_16(volatile signed __int128 *, signed __int128, int);
    818569unsigned __int128 __atomic_fetch_and   (volatile unsigned __int128 *, unsigned __int128, int);
    819 unsigned __int128 __atomic_fetch_and_16(volatile unsigned __int128 *, unsigned __int128, int);
    820570#endif
    821571
    822572char __atomic_fetch_nand  (volatile char *, char, int);
    823 char __atomic_fetch_nand_1(volatile char *, char, int);
    824573signed char __atomic_fetch_nand  (volatile signed char *, signed char, int);
    825 signed char __atomic_fetch_nand_1(volatile signed char *, signed char, int);
    826574unsigned char __atomic_fetch_nand  (volatile unsigned char *, unsigned char, int);
    827 unsigned char __atomic_fetch_nand_1(volatile unsigned char *, unsigned char, int);
    828575signed short __atomic_fetch_nand  (volatile signed short *, signed short, int);
    829 signed short __atomic_fetch_nand_2(volatile signed short *, signed short, int);
    830576unsigned short __atomic_fetch_nand  (volatile unsigned short *, unsigned short, int);
    831 unsigned short __atomic_fetch_nand_2(volatile unsigned short *, unsigned short, int);
    832577signed int __atomic_fetch_nand  (volatile signed int *, signed int, int);
    833 signed int __atomic_fetch_nand_4(volatile signed int *, signed int, int);
    834578unsigned int __atomic_fetch_nand  (volatile unsigned int *, unsigned int, int);
    835 unsigned int __atomic_fetch_nand_4(volatile unsigned int *, unsigned int, int);
     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);
    836581signed long long int __atomic_fetch_nand  (volatile signed long long int *, signed long long int, int);
    837 signed long long int __atomic_fetch_nand_8(volatile signed long long int *, signed long long int, int);
    838582unsigned long long int __atomic_fetch_nand  (volatile unsigned long long int *, unsigned long long int, int);
    839 unsigned long long int __atomic_fetch_nand_8(volatile unsigned long long int *, unsigned long long int, int);
    840583#if defined(__SIZEOF_INT128__)
    841584signed __int128 __atomic_fetch_nand   (volatile signed __int128 *, signed __int128, int);
    842 signed __int128 __atomic_fetch_nand_16(volatile signed __int128 *, signed __int128, int);
    843585unsigned __int128 __atomic_fetch_nand   (volatile unsigned __int128 *, unsigned __int128, int);
    844 unsigned __int128 __atomic_fetch_nand_16(volatile unsigned __int128 *, unsigned __int128, int);
    845586#endif
    846587
    847588char __atomic_fetch_xor  (volatile char *, char, int);
    848 char __atomic_fetch_xor_1(volatile char *, char, int);
    849589signed char __atomic_fetch_xor  (volatile signed char *, signed char, int);
    850 signed char __atomic_fetch_xor_1(volatile signed char *, signed char, int);
    851590unsigned char __atomic_fetch_xor  (volatile unsigned char *, unsigned char, int);
    852 unsigned char __atomic_fetch_xor_1(volatile unsigned char *, unsigned char, int);
    853591signed short __atomic_fetch_xor  (volatile signed short *, signed short, int);
    854 signed short __atomic_fetch_xor_2(volatile signed short *, signed short, int);
    855592unsigned short __atomic_fetch_xor  (volatile unsigned short *, unsigned short, int);
    856 unsigned short __atomic_fetch_xor_2(volatile unsigned short *, unsigned short, int);
    857593signed int __atomic_fetch_xor  (volatile signed int *, signed int, int);
    858 signed int __atomic_fetch_xor_4(volatile signed int *, signed int, int);
    859594unsigned int __atomic_fetch_xor  (volatile unsigned int *, unsigned int, int);
    860 unsigned int __atomic_fetch_xor_4(volatile unsigned int *, unsigned int, int);
     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);
    861597signed long long int __atomic_fetch_xor  (volatile signed long long int *, signed long long int, int);
    862 signed long long int __atomic_fetch_xor_8(volatile signed long long int *, signed long long int, int);
    863598unsigned long long int __atomic_fetch_xor  (volatile unsigned long long int *, unsigned long long int, int);
    864 unsigned long long int __atomic_fetch_xor_8(volatile unsigned long long int *, unsigned long long int, int);
    865599#if defined(__SIZEOF_INT128__)
    866600signed __int128 __atomic_fetch_xor   (volatile signed __int128 *, signed __int128, int);
    867 signed __int128 __atomic_fetch_xor_16(volatile signed __int128 *, signed __int128, int);
    868601unsigned __int128 __atomic_fetch_xor   (volatile unsigned __int128 *, unsigned __int128, int);
    869 unsigned __int128 __atomic_fetch_xor_16(volatile unsigned __int128 *, unsigned __int128, int);
    870602#endif
    871603
    872604char __atomic_fetch_or  (volatile char *, char, int);
    873 char __atomic_fetch_or_1(volatile char *, char, int);
    874605signed char __atomic_fetch_or  (volatile signed char *, signed char, int);
    875 signed char __atomic_fetch_or_1(volatile signed char *, signed char, int);
    876606unsigned char __atomic_fetch_or  (volatile unsigned char *, unsigned char, int);
    877 unsigned char __atomic_fetch_or_1(volatile unsigned char *, unsigned char, int);
    878607signed short __atomic_fetch_or  (volatile signed short *, signed short, int);
    879 signed short __atomic_fetch_or_2(volatile signed short *, signed short, int);
    880608unsigned short __atomic_fetch_or  (volatile unsigned short *, unsigned short, int);
    881 unsigned short __atomic_fetch_or_2(volatile unsigned short *, unsigned short, int);
    882609signed int __atomic_fetch_or  (volatile signed int *, signed int, int);
    883 signed int __atomic_fetch_or_4(volatile signed int *, signed int, int);
    884610unsigned int __atomic_fetch_or  (volatile unsigned int *, unsigned int, int);
    885 unsigned int __atomic_fetch_or_4(volatile unsigned int *, unsigned int, int);
     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);
    886613signed long long int __atomic_fetch_or  (volatile signed long long int *, signed long long int, int);
    887 signed long long int __atomic_fetch_or_8(volatile signed long long int *, signed long long int, int);
    888614unsigned long long int __atomic_fetch_or  (volatile unsigned long long int *, unsigned long long int, int);
    889 unsigned long long int __atomic_fetch_or_8(volatile unsigned long long int *, unsigned long long int, int);
    890615#if defined(__SIZEOF_INT128__)
    891616signed __int128 __atomic_fetch_or   (volatile signed __int128 *, signed __int128, int);
    892 signed __int128 __atomic_fetch_or_16(volatile signed __int128 *, signed __int128, int);
    893617unsigned __int128 __atomic_fetch_or   (volatile unsigned __int128 *, unsigned __int128, int);
    894 unsigned __int128 __atomic_fetch_or_16(volatile unsigned __int128 *, unsigned __int128, int);
    895618#endif
    896619
Note: See TracChangeset for help on using the changeset viewer.