Ignore:
Timestamp:
May 28, 2018, 5:02:07 PM (6 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, with_gc
Children:
17238fd, 4ee3b0c1
Parents:
13e8427 (diff), 1f81d61 (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' of plg2:software/cfa/cfa-cc

File:
1 edited

Legend:

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

    r13e8427 r533540a  
    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);
     248#endif
    210249
    211250char __atomic_load_n(const volatile char *, int);
     
    221260long long int __atomic_load_8(const volatile long long int *, int);
    222261void __atomic_load(const volatile long long int *, volatile long long int *, int);
     262#if defined(__SIZEOF_INT128__)
    223263__int128 __atomic_load_n(const volatile __int128 *, int);
    224264__int128 __atomic_load_16(const volatile __int128 *, int);
    225265void __atomic_load(const volatile __int128 *, volatile __int128 *, int);
     266#endif
    226267
    227268_Bool __atomic_compare_exchange_n(volatile char *, char *, char, _Bool, int, int);
     
    237278_Bool __atomic_compare_exchange_8(volatile long long int *, long long int *, long long int, _Bool, int, int);
    238279_Bool __atomic_compare_exchange  (volatile long long int *, long long int *, long long int *, _Bool, int, int);
     280#if defined(__SIZEOF_INT128__)
    239281_Bool __atomic_compare_exchange_n (volatile __int128 *, __int128 *, __int128, _Bool, int, int);
    240282_Bool __atomic_compare_exchange_16(volatile __int128 *, __int128 *, __int128, _Bool, int, int);
    241283_Bool __atomic_compare_exchange   (volatile __int128 *, __int128 *, __int128 *, _Bool, int, int);
     284#endif
    242285
    243286void __atomic_store_n(volatile _Bool *, _Bool, int);
     
    256299void __atomic_store_8(volatile long long int *, long long int, int);
    257300void __atomic_store(volatile long long int *, long long int *, int);
     301#if defined(__SIZEOF_INT128__)
    258302void __atomic_store_n(volatile __int128 *, __int128, int);
    259303void __atomic_store_16(volatile __int128 *, __int128, int);
    260304void __atomic_store(volatile __int128 *, __int128 *, int);
     305#endif
    261306
    262307char __atomic_add_fetch  (volatile char *, char, int);
     
    268313long long int __atomic_add_fetch  (volatile long long int *, long long int, int);
    269314long long int __atomic_add_fetch_8(volatile long long int *, long long int, int);
     315#if defined(__SIZEOF_INT128__)
    270316__int128 __atomic_add_fetch   (volatile __int128 *, __int128, int);
    271317__int128 __atomic_add_fetch_16(volatile __int128 *, __int128, int);
     318#endif
    272319
    273320char __atomic_sub_fetch  (volatile char *, char, int);
     
    279326long long int __atomic_sub_fetch  (volatile long long int *, long long int, int);
    280327long long int __atomic_sub_fetch_8(volatile long long int *, long long int, int);
     328#if defined(__SIZEOF_INT128__)
    281329__int128 __atomic_sub_fetch   (volatile __int128 *, __int128, int);
    282330__int128 __atomic_sub_fetch_16(volatile __int128 *, __int128, int);
     331#endif
    283332
    284333char __atomic_and_fetch  (volatile char *, char, int);
     
    290339long long int __atomic_and_fetch  (volatile long long int *, long long int, int);
    291340long long int __atomic_and_fetch_8(volatile long long int *, long long int, int);
     341#if defined(__SIZEOF_INT128__)
    292342__int128 __atomic_and_fetch   (volatile __int128 *, __int128, int);
    293343__int128 __atomic_and_fetch_16(volatile __int128 *, __int128, int);
     344#endif
    294345
    295346char __atomic_nand_fetch  (volatile char *, char, int);
     
    301352long long int __atomic_nand_fetch  (volatile long long int *, long long int, int);
    302353long long int __atomic_nand_fetch_8(volatile long long int *, long long int, int);
     354#if defined(__SIZEOF_INT128__)
    303355__int128 __atomic_nand_fetch   (volatile __int128 *, __int128, int);
    304356__int128 __atomic_nand_fetch_16(volatile __int128 *, __int128, int);
     357#endif
    305358
    306359char __atomic_xor_fetch  (volatile char *, char, int);
     
    312365long long int __atomic_xor_fetch  (volatile long long int *, long long int, int);
    313366long long int __atomic_xor_fetch_8(volatile long long int *, long long int, int);
     367#if defined(__SIZEOF_INT128__)
    314368__int128 __atomic_xor_fetch   (volatile __int128 *, __int128, int);
    315369__int128 __atomic_xor_fetch_16(volatile __int128 *, __int128, int);
     370#endif
    316371
    317372char __atomic_or_fetch  (volatile char *, char, int);
     
    323378long long int __atomic_or_fetch  (volatile long long int *, long long int, int);
    324379long long int __atomic_or_fetch_8(volatile long long int *, long long int, int);
     380#if defined(__SIZEOF_INT128__)
    325381__int128 __atomic_or_fetch   (volatile __int128 *, __int128, int);
    326382__int128 __atomic_or_fetch_16(volatile __int128 *, __int128, int);
     383#endif
    327384
    328385char __atomic_fetch_add  (volatile char *, char, int);
     
    334391long long int __atomic_fetch_add  (volatile long long int *, long long int, int);
    335392long long int __atomic_fetch_add_8(volatile long long int *, long long int, int);
     393#if defined(__SIZEOF_INT128__)
    336394__int128 __atomic_fetch_add   (volatile __int128 *, __int128, int);
    337395__int128 __atomic_fetch_add_16(volatile __int128 *, __int128, int);
     396#endif
    338397
    339398char __atomic_fetch_sub  (volatile char *, char, int);
     
    345404long long int __atomic_fetch_sub  (volatile long long int *, long long int, int);
    346405long long int __atomic_fetch_sub_8(volatile long long int *, long long int, int);
     406#if defined(__SIZEOF_INT128__)
    347407__int128 __atomic_fetch_sub   (volatile __int128 *, __int128, int);
    348408__int128 __atomic_fetch_sub_16(volatile __int128 *, __int128, int);
     409#endif
    349410
    350411char __atomic_fetch_and  (volatile char *, char, int);
     
    356417long long int __atomic_fetch_and  (volatile long long int *, long long int, int);
    357418long long int __atomic_fetch_and_8(volatile long long int *, long long int, int);
     419#if defined(__SIZEOF_INT128__)
    358420__int128 __atomic_fetch_and   (volatile __int128 *, __int128, int);
    359421__int128 __atomic_fetch_and_16(volatile __int128 *, __int128, int);
     422#endif
    360423
    361424char __atomic_fetch_nand  (volatile char *, char, int);
     
    367430long long int __atomic_fetch_nand  (volatile long long int *, long long int, int);
    368431long long int __atomic_fetch_nand_8(volatile long long int *, long long int, int);
     432#if defined(__SIZEOF_INT128__)
    369433__int128 __atomic_fetch_nand   (volatile __int128 *, __int128, int);
    370434__int128 __atomic_fetch_nand_16(volatile __int128 *, __int128, int);
     435#endif
    371436
    372437char __atomic_fetch_xor  (volatile char *, char, int);
     
    378443long long int __atomic_fetch_xor  (volatile long long int *, long long int, int);
    379444long long int __atomic_fetch_xor_8(volatile long long int *, long long int, int);
     445#if defined(__SIZEOF_INT128__)
    380446__int128 __atomic_fetch_xor   (volatile __int128 *, __int128, int);
    381447__int128 __atomic_fetch_xor_16(volatile __int128 *, __int128, int);
     448#endif
    382449
    383450char __atomic_fetch_or  (volatile char *, char, int);
     
    389456long long int __atomic_fetch_or  (volatile long long int *, long long int, int);
    390457long long int __atomic_fetch_or_8(volatile long long int *, long long int, int);
     458#if defined(__SIZEOF_INT128__)
    391459__int128 __atomic_fetch_or   (volatile __int128 *, __int128, int);
    392460__int128 __atomic_fetch_or_16(volatile __int128 *, __int128, int);
     461#endif
    393462
    394463_Bool __atomic_always_lock_free(unsigned long, const volatile void *);
Note: See TracChangeset for help on using the changeset viewer.