Ignore:
Timestamp:
Jun 27, 2018, 3:28:41 PM (7 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
new-env, with_gc
Children:
b21c77a
Parents:
0182bfa (diff), 63238a4 (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 with_gc

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/prelude/sync-builtins.cf

    r0182bfa r28f3a19  
    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__)
    910__int128 __sync_fetch_and_add(volatile __int128 *, __int128,...);
    1011__int128 __sync_fetch_and_add_16(volatile __int128 *, __int128,...);
     12#endif
    1113
    1214char __sync_fetch_and_sub(volatile char *, char,...);
    … …  
    1820long long int __sync_fetch_and_sub(volatile long long int *, long long int,...);
    1921long long int __sync_fetch_and_sub_8(volatile long long int *, long long int,...);
     22#if defined(__SIZEOF_INT128__)
    2023__int128 __sync_fetch_and_sub(volatile __int128 *, __int128,...);
    2124__int128 __sync_fetch_and_sub_16(volatile __int128 *, __int128,...);
     25#endif
    2226
    2327char __sync_fetch_and_or(volatile char *, char,...);
    … …  
    2933long long int __sync_fetch_and_or(volatile long long int *, long long int,...);
    3034long long int __sync_fetch_and_or_8(volatile long long int *, long long int,...);
     35#if defined(__SIZEOF_INT128__)
    3136__int128 __sync_fetch_and_or(volatile __int128 *, __int128,...);
    3237__int128 __sync_fetch_and_or_16(volatile __int128 *, __int128,...);
     38#endif
    3339
    3440char __sync_fetch_and_and(volatile char *, char,...);
    … …  
    4046long long int __sync_fetch_and_and(volatile long long int *, long long int,...);
    4147long long int __sync_fetch_and_and_8(volatile long long int *, long long int,...);
     48#if defined(__SIZEOF_INT128__)
    4249__int128 __sync_fetch_and_and(volatile __int128 *, __int128,...);
    4350__int128 __sync_fetch_and_and_16(volatile __int128 *, __int128,...);
     51#endif
    4452
    4553char __sync_fetch_and_xor(volatile char *, char,...);
    … …  
    5159long long int __sync_fetch_and_xor(volatile long long int *, long long int,...);
    5260long long int __sync_fetch_and_xor_8(volatile long long int *, long long int,...);
     61#if defined(__SIZEOF_INT128__)
    5362__int128 __sync_fetch_and_xor(volatile __int128 *, __int128,...);
    5463__int128 __sync_fetch_and_xor_16(volatile __int128 *, __int128,...);
     64#endif
    5565
    5666char __sync_fetch_and_nand(volatile char *, char,...);
    … …  
    6272long long int __sync_fetch_and_nand(volatile long long int *, long long int,...);
    6373long long int __sync_fetch_and_nand_8(volatile long long int *, long long int,...);
     74#if defined(__SIZEOF_INT128__)
    6475__int128 __sync_fetch_and_nand(volatile __int128 *, __int128,...);
    6576__int128 __sync_fetch_and_nand_16(volatile __int128 *, __int128,...);
     77#endif
    6678
    6779char __sync_add_and_fetch(volatile char *, char,...);
    … …  
    7385long long int __sync_add_and_fetch(volatile long long int *, long long int,...);
    7486long long int __sync_add_and_fetch_8(volatile long long int *, long long int,...);
     87#if defined(__SIZEOF_INT128__)
    7588__int128 __sync_add_and_fetch(volatile __int128 *, __int128,...);
    7689__int128 __sync_add_and_fetch_16(volatile __int128 *, __int128,...);
     90#endif
    7791
    7892char __sync_sub_and_fetch(volatile char *, char,...);
    … …  
    8498long long int __sync_sub_and_fetch(volatile long long int *, long long int,...);
    8599long long int __sync_sub_and_fetch_8(volatile long long int *, long long int,...);
     100#if defined(__SIZEOF_INT128__)
    86101__int128 __sync_sub_and_fetch(volatile __int128 *, __int128,...);
    87102__int128 __sync_sub_and_fetch_16(volatile __int128 *, __int128,...);
     103#endif
    88104
    89105char __sync_or_and_fetch(volatile char *, char,...);
    … …  
    95111long long int __sync_or_and_fetch(volatile long long int *, long long int,...);
    96112long long int __sync_or_and_fetch_8(volatile long long int *, long long int,...);
     113#if defined(__SIZEOF_INT128__)
    97114__int128 __sync_or_and_fetch(volatile __int128 *, __int128,...);
    98115__int128 __sync_or_and_fetch_16(volatile __int128 *, __int128,...);
     116#endif
    99117
    100118char __sync_and_and_fetch(volatile char *, char,...);
    … …  
    106124long long int __sync_and_and_fetch(volatile long long int *, long long int,...);
    107125long long int __sync_and_and_fetch_8(volatile long long int *, long long int,...);
     126#if defined(__SIZEOF_INT128__)
    108127__int128 __sync_and_and_fetch(volatile __int128 *, __int128,...);
    109128__int128 __sync_and_and_fetch_16(volatile __int128 *, __int128,...);
     129#endif
    110130
    111131char __sync_xor_and_fetch(volatile char *, char,...);
    … …  
    117137long long int __sync_xor_and_fetch(volatile long long int *, long long int,...);
    118138long long int __sync_xor_and_fetch_8(volatile long long int *, long long int,...);
     139#if defined(__SIZEOF_INT128__)
    119140__int128 __sync_xor_and_fetch(volatile __int128 *, __int128,...);
    120141__int128 __sync_xor_and_fetch_16(volatile __int128 *, __int128,...);
     142#endif
    121143
    122144char __sync_nand_and_fetch(volatile char *, char,...);
    … …  
    128150long long int __sync_nand_and_fetch(volatile long long int *, long long int,...);
    129151long long int __sync_nand_and_fetch_8(volatile long long int *, long long int,...);
     152#if defined(__SIZEOF_INT128__)
    130153__int128 __sync_nand_and_fetch(volatile __int128 *, __int128,...);
    131154__int128 __sync_nand_and_fetch_16(volatile __int128 *, __int128,...);
     155#endif
    132156
    133157_Bool __sync_bool_compare_and_swap(volatile char *, char, char,...);
    … …  
    139163_Bool __sync_bool_compare_and_swap(volatile long long int *, long long int, long long int,...);
    140164_Bool __sync_bool_compare_and_swap_8(volatile long long int *, long long int, long long int,...);
     165#if defined(__SIZEOF_INT128__)
    141166_Bool __sync_bool_compare_and_swap(volatile __int128 *, __int128, __int128,...);
    142167_Bool __sync_bool_compare_and_swap_16(volatile __int128 *, __int128, __int128,...);
     168#endif
    143169
    144170char __sync_val_compare_and_swap(volatile char *, char, char,...);
    … …  
    150176long long int __sync_val_compare_and_swap(volatile long long int *, long long int, long long int,...);
    151177long long int __sync_val_compare_and_swap_8(volatile long long int *, long long int, long long int,...);
     178#if defined(__SIZEOF_INT128__)
    152179__int128 __sync_val_compare_and_swap(volatile __int128 *, __int128, __int128,...);
    153180__int128 __sync_val_compare_and_swap_16(volatile __int128 *, __int128, __int128,...);
     181#endif
    154182
    155183char __sync_lock_test_and_set(volatile char *, char,...);
    … …  
    161189long long int __sync_lock_test_and_set(volatile long long int *, long long int,...);
    162190long long int __sync_lock_test_and_set_8(volatile long long int *, long long int,...);
     191#if defined(__SIZEOF_INT128__)
    163192__int128 __sync_lock_test_and_set(volatile __int128 *, __int128,...);
    164193__int128 __sync_lock_test_and_set_16(volatile __int128 *, __int128,...);
     194#endif
    165195
    166196void __sync_lock_release(volatile char *,...);
    … …  
    172202void __sync_lock_release(volatile long long int *,...);
    173203void __sync_lock_release_8(volatile long long int *,...);
     204#if defined(__SIZEOF_INT128__)
    174205void __sync_lock_release(volatile __int128 *,...);
    175206void __sync_lock_release_16(volatile __int128 *,...);
     207#endif
    176208
    177209void __sync_synchronize();
    … …  
    185217_Bool __atomic_test_and_set(volatile int *, int);
    186218_Bool __atomic_test_and_set(volatile long long int *, int);
     219#if defined(__SIZEOF_INT128__)
    187220_Bool __atomic_test_and_set(volatile __int128 *, int);
     221#endif
     222
    188223void __atomic_clear(volatile _Bool *, int);
    189224void __atomic_clear(volatile char *, int);
    … …  
    191226void __atomic_clear(volatile int *, int);
    192227void __atomic_clear(volatile long long int *, int);
     228#if defined(__SIZEOF_INT128__)
    193229void __atomic_clear(volatile __int128 *, int);
     230#endif
    194231
    195232char __atomic_exchange_n(volatile char *, volatile char *, int);
    … …  
    205242long long int __atomic_exchange_8(volatile long long int *, long long int, int);
    206243void __atomic_exchange(volatile long long int *, volatile long long int *, volatile long long int *, int);
     244#if defined(__SIZEOF_INT128__)
    207245__int128 __atomic_exchange_n(volatile __int128 *, volatile __int128 *, int);
    208246__int128 __atomic_exchange_16(volatile __int128 *, __int128, int);
    209247void __atomic_exchange(volatile __int128 *, volatile __int128 *, volatile __int128 *, int);
    210 
     248#endif
     249
     250_Bool __atomic_load_n(const volatile _Bool *, int);
     251void __atomic_load(const volatile _Bool *, volatile _Bool *, int);
    211252char __atomic_load_n(const volatile char *, int);
    212253char __atomic_load_1(const volatile char *, int);
    … …  
    221262long long int __atomic_load_8(const volatile long long int *, int);
    222263void __atomic_load(const volatile long long int *, volatile long long int *, int);
     264#if defined(__SIZEOF_INT128__)
    223265__int128 __atomic_load_n(const volatile __int128 *, int);
    224266__int128 __atomic_load_16(const volatile __int128 *, int);
    225267void __atomic_load(const volatile __int128 *, volatile __int128 *, int);
     268#endif
    226269
    227270_Bool __atomic_compare_exchange_n(volatile char *, char *, char, _Bool, int, int);
    … …  
    237280_Bool __atomic_compare_exchange_8(volatile long long int *, long long int *, long long int, _Bool, int, int);
    238281_Bool __atomic_compare_exchange  (volatile long long int *, long long int *, long long int *, _Bool, int, int);
     282#if defined(__SIZEOF_INT128__)
    239283_Bool __atomic_compare_exchange_n (volatile __int128 *, __int128 *, __int128, _Bool, int, int);
    240284_Bool __atomic_compare_exchange_16(volatile __int128 *, __int128 *, __int128, _Bool, int, int);
    241285_Bool __atomic_compare_exchange   (volatile __int128 *, __int128 *, __int128 *, _Bool, int, int);
     286#endif
    242287
    243288void __atomic_store_n(volatile _Bool *, _Bool, int);
    244 void __atomic_store_1(volatile _Bool *, _Bool, int);
    245289void __atomic_store(volatile _Bool *, _Bool *, int);
    246290void __atomic_store_n(volatile char *, char, int);
    … …  
    256300void __atomic_store_8(volatile long long int *, long long int, int);
    257301void __atomic_store(volatile long long int *, long long int *, int);
     302#if defined(__SIZEOF_INT128__)
    258303void __atomic_store_n(volatile __int128 *, __int128, int);
    259304void __atomic_store_16(volatile __int128 *, __int128, int);
    260305void __atomic_store(volatile __int128 *, __int128 *, int);
     306#endif
    261307
    262308char __atomic_add_fetch  (volatile char *, char, int);
    … …  
    268314long long int __atomic_add_fetch  (volatile long long int *, long long int, int);
    269315long long int __atomic_add_fetch_8(volatile long long int *, long long int, int);
     316#if defined(__SIZEOF_INT128__)
    270317__int128 __atomic_add_fetch   (volatile __int128 *, __int128, int);
    271318__int128 __atomic_add_fetch_16(volatile __int128 *, __int128, int);
     319#endif
    272320
    273321char __atomic_sub_fetch  (volatile char *, char, int);
    … …  
    279327long long int __atomic_sub_fetch  (volatile long long int *, long long int, int);
    280328long long int __atomic_sub_fetch_8(volatile long long int *, long long int, int);
     329#if defined(__SIZEOF_INT128__)
    281330__int128 __atomic_sub_fetch   (volatile __int128 *, __int128, int);
    282331__int128 __atomic_sub_fetch_16(volatile __int128 *, __int128, int);
     332#endif
    283333
    284334char __atomic_and_fetch  (volatile char *, char, int);
    … …  
    290340long long int __atomic_and_fetch  (volatile long long int *, long long int, int);
    291341long long int __atomic_and_fetch_8(volatile long long int *, long long int, int);
     342#if defined(__SIZEOF_INT128__)
    292343__int128 __atomic_and_fetch   (volatile __int128 *, __int128, int);
    293344__int128 __atomic_and_fetch_16(volatile __int128 *, __int128, int);
     345#endif
    294346
    295347char __atomic_nand_fetch  (volatile char *, char, int);
    … …  
    301353long long int __atomic_nand_fetch  (volatile long long int *, long long int, int);
    302354long long int __atomic_nand_fetch_8(volatile long long int *, long long int, int);
     355#if defined(__SIZEOF_INT128__)
    303356__int128 __atomic_nand_fetch   (volatile __int128 *, __int128, int);
    304357__int128 __atomic_nand_fetch_16(volatile __int128 *, __int128, int);
     358#endif
    305359
    306360char __atomic_xor_fetch  (volatile char *, char, int);
    … …  
    312366long long int __atomic_xor_fetch  (volatile long long int *, long long int, int);
    313367long long int __atomic_xor_fetch_8(volatile long long int *, long long int, int);
     368#if defined(__SIZEOF_INT128__)
    314369__int128 __atomic_xor_fetch   (volatile __int128 *, __int128, int);
    315370__int128 __atomic_xor_fetch_16(volatile __int128 *, __int128, int);
     371#endif
    316372
    317373char __atomic_or_fetch  (volatile char *, char, int);
    … …  
    323379long long int __atomic_or_fetch  (volatile long long int *, long long int, int);
    324380long long int __atomic_or_fetch_8(volatile long long int *, long long int, int);
     381#if defined(__SIZEOF_INT128__)
    325382__int128 __atomic_or_fetch   (volatile __int128 *, __int128, int);
    326383__int128 __atomic_or_fetch_16(volatile __int128 *, __int128, int);
     384#endif
    327385
    328386char __atomic_fetch_add  (volatile char *, char, int);
    … …  
    334392long long int __atomic_fetch_add  (volatile long long int *, long long int, int);
    335393long long int __atomic_fetch_add_8(volatile long long int *, long long int, int);
     394#if defined(__SIZEOF_INT128__)
    336395__int128 __atomic_fetch_add   (volatile __int128 *, __int128, int);
    337396__int128 __atomic_fetch_add_16(volatile __int128 *, __int128, int);
     397#endif
    338398
    339399char __atomic_fetch_sub  (volatile char *, char, int);
    … …  
    345405long long int __atomic_fetch_sub  (volatile long long int *, long long int, int);
    346406long long int __atomic_fetch_sub_8(volatile long long int *, long long int, int);
     407#if defined(__SIZEOF_INT128__)
    347408__int128 __atomic_fetch_sub   (volatile __int128 *, __int128, int);
    348409__int128 __atomic_fetch_sub_16(volatile __int128 *, __int128, int);
     410#endif
    349411
    350412char __atomic_fetch_and  (volatile char *, char, int);
    … …  
    356418long long int __atomic_fetch_and  (volatile long long int *, long long int, int);
    357419long long int __atomic_fetch_and_8(volatile long long int *, long long int, int);
     420#if defined(__SIZEOF_INT128__)
    358421__int128 __atomic_fetch_and   (volatile __int128 *, __int128, int);
    359422__int128 __atomic_fetch_and_16(volatile __int128 *, __int128, int);
     423#endif
    360424
    361425char __atomic_fetch_nand  (volatile char *, char, int);
    … …  
    367431long long int __atomic_fetch_nand  (volatile long long int *, long long int, int);
    368432long long int __atomic_fetch_nand_8(volatile long long int *, long long int, int);
     433#if defined(__SIZEOF_INT128__)
    369434__int128 __atomic_fetch_nand   (volatile __int128 *, __int128, int);
    370435__int128 __atomic_fetch_nand_16(volatile __int128 *, __int128, int);
     436#endif
    371437
    372438char __atomic_fetch_xor  (volatile char *, char, int);
    … …  
    378444long long int __atomic_fetch_xor  (volatile long long int *, long long int, int);
    379445long long int __atomic_fetch_xor_8(volatile long long int *, long long int, int);
     446#if defined(__SIZEOF_INT128__)
    380447__int128 __atomic_fetch_xor   (volatile __int128 *, __int128, int);
    381448__int128 __atomic_fetch_xor_16(volatile __int128 *, __int128, int);
     449#endif
    382450
    383451char __atomic_fetch_or  (volatile char *, char, int);
    … …  
    389457long long int __atomic_fetch_or  (volatile long long int *, long long int, int);
    390458long long int __atomic_fetch_or_8(volatile long long int *, long long int, int);
     459#if defined(__SIZEOF_INT128__)
    391460__int128 __atomic_fetch_or   (volatile __int128 *, __int128, int);
    392461__int128 __atomic_fetch_or_16(volatile __int128 *, __int128, int);
     462#endif
    393463
    394464_Bool __atomic_always_lock_free(unsigned long, const volatile void *);
Note: See TracChangeset for help on using the changeset viewer.