Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/prelude/sync-builtins.cf

    rea8b2f7 r13073be  
    77long long int __sync_fetch_and_add(volatile long long int *, long long int,...);
    88long long int __sync_fetch_and_add_8(volatile long long int *, long long int,...);
    9 #if defined(__SIZEOF_INT128__)
    109__int128 __sync_fetch_and_add(volatile __int128 *, __int128,...);
    1110__int128 __sync_fetch_and_add_16(volatile __int128 *, __int128,...);
    12 #endif
    1311
    1412char __sync_fetch_and_sub(volatile char *, char,...);
     
    2018long long int __sync_fetch_and_sub(volatile long long int *, long long int,...);
    2119long long int __sync_fetch_and_sub_8(volatile long long int *, long long int,...);
    22 #if defined(__SIZEOF_INT128__)
    2320__int128 __sync_fetch_and_sub(volatile __int128 *, __int128,...);
    2421__int128 __sync_fetch_and_sub_16(volatile __int128 *, __int128,...);
    25 #endif
    2622
    2723char __sync_fetch_and_or(volatile char *, char,...);
     
    3329long long int __sync_fetch_and_or(volatile long long int *, long long int,...);
    3430long long int __sync_fetch_and_or_8(volatile long long int *, long long int,...);
    35 #if defined(__SIZEOF_INT128__)
    3631__int128 __sync_fetch_and_or(volatile __int128 *, __int128,...);
    3732__int128 __sync_fetch_and_or_16(volatile __int128 *, __int128,...);
    38 #endif
    3933
    4034char __sync_fetch_and_and(volatile char *, char,...);
     
    4640long long int __sync_fetch_and_and(volatile long long int *, long long int,...);
    4741long long int __sync_fetch_and_and_8(volatile long long int *, long long int,...);
    48 #if defined(__SIZEOF_INT128__)
    4942__int128 __sync_fetch_and_and(volatile __int128 *, __int128,...);
    5043__int128 __sync_fetch_and_and_16(volatile __int128 *, __int128,...);
    51 #endif
    5244
    5345char __sync_fetch_and_xor(volatile char *, char,...);
     
    5951long long int __sync_fetch_and_xor(volatile long long int *, long long int,...);
    6052long long int __sync_fetch_and_xor_8(volatile long long int *, long long int,...);
    61 #if defined(__SIZEOF_INT128__)
    6253__int128 __sync_fetch_and_xor(volatile __int128 *, __int128,...);
    6354__int128 __sync_fetch_and_xor_16(volatile __int128 *, __int128,...);
    64 #endif
    6555
    6656char __sync_fetch_and_nand(volatile char *, char,...);
     
    7262long long int __sync_fetch_and_nand(volatile long long int *, long long int,...);
    7363long long int __sync_fetch_and_nand_8(volatile long long int *, long long int,...);
    74 #if defined(__SIZEOF_INT128__)
    7564__int128 __sync_fetch_and_nand(volatile __int128 *, __int128,...);
    7665__int128 __sync_fetch_and_nand_16(volatile __int128 *, __int128,...);
    77 #endif
    7866
    7967char __sync_add_and_fetch(volatile char *, char,...);
     
    8573long long int __sync_add_and_fetch(volatile long long int *, long long int,...);
    8674long long int __sync_add_and_fetch_8(volatile long long int *, long long int,...);
    87 #if defined(__SIZEOF_INT128__)
    8875__int128 __sync_add_and_fetch(volatile __int128 *, __int128,...);
    8976__int128 __sync_add_and_fetch_16(volatile __int128 *, __int128,...);
    90 #endif
    9177
    9278char __sync_sub_and_fetch(volatile char *, char,...);
     
    9884long long int __sync_sub_and_fetch(volatile long long int *, long long int,...);
    9985long long int __sync_sub_and_fetch_8(volatile long long int *, long long int,...);
    100 #if defined(__SIZEOF_INT128__)
    10186__int128 __sync_sub_and_fetch(volatile __int128 *, __int128,...);
    10287__int128 __sync_sub_and_fetch_16(volatile __int128 *, __int128,...);
    103 #endif
    10488
    10589char __sync_or_and_fetch(volatile char *, char,...);
     
    11195long long int __sync_or_and_fetch(volatile long long int *, long long int,...);
    11296long long int __sync_or_and_fetch_8(volatile long long int *, long long int,...);
    113 #if defined(__SIZEOF_INT128__)
    11497__int128 __sync_or_and_fetch(volatile __int128 *, __int128,...);
    11598__int128 __sync_or_and_fetch_16(volatile __int128 *, __int128,...);
    116 #endif
    11799
    118100char __sync_and_and_fetch(volatile char *, char,...);
     
    124106long long int __sync_and_and_fetch(volatile long long int *, long long int,...);
    125107long long int __sync_and_and_fetch_8(volatile long long int *, long long int,...);
    126 #if defined(__SIZEOF_INT128__)
    127108__int128 __sync_and_and_fetch(volatile __int128 *, __int128,...);
    128109__int128 __sync_and_and_fetch_16(volatile __int128 *, __int128,...);
    129 #endif
    130110
    131111char __sync_xor_and_fetch(volatile char *, char,...);
     
    137117long long int __sync_xor_and_fetch(volatile long long int *, long long int,...);
    138118long long int __sync_xor_and_fetch_8(volatile long long int *, long long int,...);
    139 #if defined(__SIZEOF_INT128__)
    140119__int128 __sync_xor_and_fetch(volatile __int128 *, __int128,...);
    141120__int128 __sync_xor_and_fetch_16(volatile __int128 *, __int128,...);
    142 #endif
    143121
    144122char __sync_nand_and_fetch(volatile char *, char,...);
     
    150128long long int __sync_nand_and_fetch(volatile long long int *, long long int,...);
    151129long long int __sync_nand_and_fetch_8(volatile long long int *, long long int,...);
    152 #if defined(__SIZEOF_INT128__)
    153130__int128 __sync_nand_and_fetch(volatile __int128 *, __int128,...);
    154131__int128 __sync_nand_and_fetch_16(volatile __int128 *, __int128,...);
    155 #endif
    156132
    157133_Bool __sync_bool_compare_and_swap(volatile char *, char, char,...);
     
    163139_Bool __sync_bool_compare_and_swap(volatile long long int *, long long int, long long int,...);
    164140_Bool __sync_bool_compare_and_swap_8(volatile long long int *, long long int, long long int,...);
    165 #if defined(__SIZEOF_INT128__)
    166141_Bool __sync_bool_compare_and_swap(volatile __int128 *, __int128, __int128,...);
    167142_Bool __sync_bool_compare_and_swap_16(volatile __int128 *, __int128, __int128,...);
    168 #endif
    169143
    170144char __sync_val_compare_and_swap(volatile char *, char, char,...);
     
    176150long long int __sync_val_compare_and_swap(volatile long long int *, long long int, long long int,...);
    177151long long int __sync_val_compare_and_swap_8(volatile long long int *, long long int, long long int,...);
    178 #if defined(__SIZEOF_INT128__)
    179152__int128 __sync_val_compare_and_swap(volatile __int128 *, __int128, __int128,...);
    180153__int128 __sync_val_compare_and_swap_16(volatile __int128 *, __int128, __int128,...);
    181 #endif
    182154
    183155char __sync_lock_test_and_set(volatile char *, char,...);
     
    189161long long int __sync_lock_test_and_set(volatile long long int *, long long int,...);
    190162long long int __sync_lock_test_and_set_8(volatile long long int *, long long int,...);
    191 #if defined(__SIZEOF_INT128__)
    192163__int128 __sync_lock_test_and_set(volatile __int128 *, __int128,...);
    193164__int128 __sync_lock_test_and_set_16(volatile __int128 *, __int128,...);
    194 #endif
    195165
    196166void __sync_lock_release(volatile char *,...);
     
    202172void __sync_lock_release(volatile long long int *,...);
    203173void __sync_lock_release_8(volatile long long int *,...);
    204 #if defined(__SIZEOF_INT128__)
    205174void __sync_lock_release(volatile __int128 *,...);
    206175void __sync_lock_release_16(volatile __int128 *,...);
    207 #endif
    208176
    209177void __sync_synchronize();
     
    217185_Bool __atomic_test_and_set(volatile int *, int);
    218186_Bool __atomic_test_and_set(volatile long long int *, int);
    219 #if defined(__SIZEOF_INT128__)
    220187_Bool __atomic_test_and_set(volatile __int128 *, int);
    221 #endif
    222 
    223188void __atomic_clear(volatile _Bool *, int);
    224189void __atomic_clear(volatile char *, int);
     
    226191void __atomic_clear(volatile int *, int);
    227192void __atomic_clear(volatile long long int *, int);
    228 #if defined(__SIZEOF_INT128__)
    229193void __atomic_clear(volatile __int128 *, int);
    230 #endif
    231194
    232195char __atomic_exchange_n(volatile char *, volatile char *, int);
     
    242205long long int __atomic_exchange_8(volatile long long int *, long long int, int);
    243206void __atomic_exchange(volatile long long int *, volatile long long int *, volatile long long int *, int);
    244 #if defined(__SIZEOF_INT128__)
    245207__int128 __atomic_exchange_n(volatile __int128 *, volatile __int128 *, int);
    246208__int128 __atomic_exchange_16(volatile __int128 *, __int128, int);
    247209void __atomic_exchange(volatile __int128 *, volatile __int128 *, volatile __int128 *, int);
    248 #endif
    249 
    250 _Bool __atomic_load_n(const volatile _Bool *, int);
    251 void __atomic_load(const volatile _Bool *, volatile _Bool *, int);
     210
    252211char __atomic_load_n(const volatile char *, int);
    253212char __atomic_load_1(const volatile char *, int);
     
    262221long long int __atomic_load_8(const volatile long long int *, int);
    263222void __atomic_load(const volatile long long int *, volatile long long int *, int);
    264 #if defined(__SIZEOF_INT128__)
    265223__int128 __atomic_load_n(const volatile __int128 *, int);
    266224__int128 __atomic_load_16(const volatile __int128 *, int);
    267225void __atomic_load(const volatile __int128 *, volatile __int128 *, int);
    268 #endif
    269226
    270227_Bool __atomic_compare_exchange_n(volatile char *, char *, char, _Bool, int, int);
     
    280237_Bool __atomic_compare_exchange_8(volatile long long int *, long long int *, long long int, _Bool, int, int);
    281238_Bool __atomic_compare_exchange  (volatile long long int *, long long int *, long long int *, _Bool, int, int);
    282 #if defined(__SIZEOF_INT128__)
    283239_Bool __atomic_compare_exchange_n (volatile __int128 *, __int128 *, __int128, _Bool, int, int);
    284240_Bool __atomic_compare_exchange_16(volatile __int128 *, __int128 *, __int128, _Bool, int, int);
    285241_Bool __atomic_compare_exchange   (volatile __int128 *, __int128 *, __int128 *, _Bool, int, int);
    286 #endif
    287242
    288243void __atomic_store_n(volatile _Bool *, _Bool, int);
     244void __atomic_store_1(volatile _Bool *, _Bool, int);
    289245void __atomic_store(volatile _Bool *, _Bool *, int);
    290246void __atomic_store_n(volatile char *, char, int);
     
    300256void __atomic_store_8(volatile long long int *, long long int, int);
    301257void __atomic_store(volatile long long int *, long long int *, int);
    302 #if defined(__SIZEOF_INT128__)
    303258void __atomic_store_n(volatile __int128 *, __int128, int);
    304259void __atomic_store_16(volatile __int128 *, __int128, int);
    305260void __atomic_store(volatile __int128 *, __int128 *, int);
    306 #endif
    307261
    308262char __atomic_add_fetch  (volatile char *, char, int);
     
    314268long long int __atomic_add_fetch  (volatile long long int *, long long int, int);
    315269long long int __atomic_add_fetch_8(volatile long long int *, long long int, int);
    316 #if defined(__SIZEOF_INT128__)
    317270__int128 __atomic_add_fetch   (volatile __int128 *, __int128, int);
    318271__int128 __atomic_add_fetch_16(volatile __int128 *, __int128, int);
    319 #endif
    320272
    321273char __atomic_sub_fetch  (volatile char *, char, int);
     
    327279long long int __atomic_sub_fetch  (volatile long long int *, long long int, int);
    328280long long int __atomic_sub_fetch_8(volatile long long int *, long long int, int);
    329 #if defined(__SIZEOF_INT128__)
    330281__int128 __atomic_sub_fetch   (volatile __int128 *, __int128, int);
    331282__int128 __atomic_sub_fetch_16(volatile __int128 *, __int128, int);
    332 #endif
    333283
    334284char __atomic_and_fetch  (volatile char *, char, int);
     
    340290long long int __atomic_and_fetch  (volatile long long int *, long long int, int);
    341291long long int __atomic_and_fetch_8(volatile long long int *, long long int, int);
    342 #if defined(__SIZEOF_INT128__)
    343292__int128 __atomic_and_fetch   (volatile __int128 *, __int128, int);
    344293__int128 __atomic_and_fetch_16(volatile __int128 *, __int128, int);
    345 #endif
    346294
    347295char __atomic_nand_fetch  (volatile char *, char, int);
     
    353301long long int __atomic_nand_fetch  (volatile long long int *, long long int, int);
    354302long long int __atomic_nand_fetch_8(volatile long long int *, long long int, int);
    355 #if defined(__SIZEOF_INT128__)
    356303__int128 __atomic_nand_fetch   (volatile __int128 *, __int128, int);
    357304__int128 __atomic_nand_fetch_16(volatile __int128 *, __int128, int);
    358 #endif
    359305
    360306char __atomic_xor_fetch  (volatile char *, char, int);
     
    366312long long int __atomic_xor_fetch  (volatile long long int *, long long int, int);
    367313long long int __atomic_xor_fetch_8(volatile long long int *, long long int, int);
    368 #if defined(__SIZEOF_INT128__)
    369314__int128 __atomic_xor_fetch   (volatile __int128 *, __int128, int);
    370315__int128 __atomic_xor_fetch_16(volatile __int128 *, __int128, int);
    371 #endif
    372316
    373317char __atomic_or_fetch  (volatile char *, char, int);
     
    379323long long int __atomic_or_fetch  (volatile long long int *, long long int, int);
    380324long long int __atomic_or_fetch_8(volatile long long int *, long long int, int);
    381 #if defined(__SIZEOF_INT128__)
    382325__int128 __atomic_or_fetch   (volatile __int128 *, __int128, int);
    383326__int128 __atomic_or_fetch_16(volatile __int128 *, __int128, int);
    384 #endif
    385327
    386328char __atomic_fetch_add  (volatile char *, char, int);
     
    392334long long int __atomic_fetch_add  (volatile long long int *, long long int, int);
    393335long long int __atomic_fetch_add_8(volatile long long int *, long long int, int);
    394 #if defined(__SIZEOF_INT128__)
    395336__int128 __atomic_fetch_add   (volatile __int128 *, __int128, int);
    396337__int128 __atomic_fetch_add_16(volatile __int128 *, __int128, int);
    397 #endif
    398338
    399339char __atomic_fetch_sub  (volatile char *, char, int);
     
    405345long long int __atomic_fetch_sub  (volatile long long int *, long long int, int);
    406346long long int __atomic_fetch_sub_8(volatile long long int *, long long int, int);
    407 #if defined(__SIZEOF_INT128__)
    408347__int128 __atomic_fetch_sub   (volatile __int128 *, __int128, int);
    409348__int128 __atomic_fetch_sub_16(volatile __int128 *, __int128, int);
    410 #endif
    411349
    412350char __atomic_fetch_and  (volatile char *, char, int);
     
    418356long long int __atomic_fetch_and  (volatile long long int *, long long int, int);
    419357long long int __atomic_fetch_and_8(volatile long long int *, long long int, int);
    420 #if defined(__SIZEOF_INT128__)
    421358__int128 __atomic_fetch_and   (volatile __int128 *, __int128, int);
    422359__int128 __atomic_fetch_and_16(volatile __int128 *, __int128, int);
    423 #endif
    424360
    425361char __atomic_fetch_nand  (volatile char *, char, int);
     
    431367long long int __atomic_fetch_nand  (volatile long long int *, long long int, int);
    432368long long int __atomic_fetch_nand_8(volatile long long int *, long long int, int);
    433 #if defined(__SIZEOF_INT128__)
    434369__int128 __atomic_fetch_nand   (volatile __int128 *, __int128, int);
    435370__int128 __atomic_fetch_nand_16(volatile __int128 *, __int128, int);
    436 #endif
    437371
    438372char __atomic_fetch_xor  (volatile char *, char, int);
     
    444378long long int __atomic_fetch_xor  (volatile long long int *, long long int, int);
    445379long long int __atomic_fetch_xor_8(volatile long long int *, long long int, int);
    446 #if defined(__SIZEOF_INT128__)
    447380__int128 __atomic_fetch_xor   (volatile __int128 *, __int128, int);
    448381__int128 __atomic_fetch_xor_16(volatile __int128 *, __int128, int);
    449 #endif
    450382
    451383char __atomic_fetch_or  (volatile char *, char, int);
     
    457389long long int __atomic_fetch_or  (volatile long long int *, long long int, int);
    458390long long int __atomic_fetch_or_8(volatile long long int *, long long int, int);
    459 #if defined(__SIZEOF_INT128__)
    460391__int128 __atomic_fetch_or   (volatile __int128 *, __int128, int);
    461392__int128 __atomic_fetch_or_16(volatile __int128 *, __int128, int);
    462 #endif
    463393
    464394_Bool __atomic_always_lock_free(unsigned long, const volatile void *);
Note: See TracChangeset for help on using the changeset viewer.