Changeset 199894e


Ignore:
Timestamp:
Aug 4, 2021, 3:45:09 PM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
0a061c0, 0b67a19
Parents:
5541ea3d
Message:

Fixed extraneous volatiles in builtin atomics.

File:
1 edited

Legend:

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

    r5541ea3d r199894e  
    297297
    298298_Bool __atomic_exchange_n(volatile _Bool *, _Bool, int);
    299 void __atomic_exchange(volatile _Bool *, volatile _Bool *, volatile _Bool *, int);
     299void __atomic_exchange(volatile _Bool *, _Bool *, _Bool *, int);
    300300char __atomic_exchange_n(volatile char *, char, int);
    301 void __atomic_exchange(volatile char *, volatile char *, volatile char *, int);
     301void __atomic_exchange(volatile char *, char *, char *, int);
    302302signed char __atomic_exchange_n(volatile signed char *, signed char, int);
    303 void __atomic_exchange(volatile signed char *, volatile signed char *, volatile signed char *, int);
     303void __atomic_exchange(volatile signed char *, signed char *, signed char *, int);
    304304unsigned char __atomic_exchange_n(volatile unsigned char *, unsigned char, int);
    305 void __atomic_exchange(volatile unsigned char *, volatile unsigned char *, volatile unsigned char *, int);
     305void __atomic_exchange(volatile unsigned char *, unsigned char *, unsigned char *, int);
    306306signed short __atomic_exchange_n(volatile signed short *, signed short, int);
    307 void __atomic_exchange(volatile signed short *, volatile signed short *, volatile signed short *, int);
     307void __atomic_exchange(volatile signed short *, signed short *, signed short *, int);
    308308unsigned short __atomic_exchange_n(volatile unsigned short *, unsigned short, int);
    309 void __atomic_exchange(volatile unsigned short *, volatile unsigned short *, volatile unsigned short *, int);
     309void __atomic_exchange(volatile unsigned short *, unsigned short *, unsigned short *, int);
    310310signed int __atomic_exchange_n(volatile signed int *, signed int, int);
    311 void __atomic_exchange(volatile signed int *, volatile signed int *, volatile signed int *, int);
     311void __atomic_exchange(volatile signed int *, signed int *, signed int *, int);
    312312unsigned int __atomic_exchange_n(volatile unsigned int *, unsigned int, int);
    313 void __atomic_exchange(volatile unsigned int *, volatile unsigned int *, volatile unsigned int *, int);
     313void __atomic_exchange(volatile unsigned int *, unsigned int *, unsigned int *, int);
    314314signed long int __atomic_exchange_n(volatile signed long int *, signed long int, int);
    315 void __atomic_exchange(volatile signed long int *, volatile signed long int *, volatile signed long int *, int);
     315void __atomic_exchange(volatile signed long int *, signed long int *, signed long int *, int);
    316316unsigned long int __atomic_exchange_n(volatile unsigned long int *, unsigned long int, int);
    317 void __atomic_exchange(volatile unsigned long int *, volatile unsigned long int *, volatile unsigned long int *, int);
     317void __atomic_exchange(volatile unsigned long int *, unsigned long int *, unsigned long int *, int);
    318318signed long long int __atomic_exchange_n(volatile signed long long int *, signed long long int, int);
    319 void __atomic_exchange(volatile signed long long int *, volatile signed long long int *, volatile signed long long int *, int);
     319void __atomic_exchange(volatile signed long long int *, signed long long int *, signed long long int *, int);
    320320unsigned long long int __atomic_exchange_n(volatile unsigned long long int *, unsigned long long int, int);
    321 void __atomic_exchange(volatile unsigned long long int *, volatile unsigned long long int *, volatile unsigned long long int *, int);
     321void __atomic_exchange(volatile unsigned long long int *, unsigned long long int *, unsigned long long int *, int);
    322322#if defined(__SIZEOF_INT128__)
    323323signed __int128 __atomic_exchange_n(volatile signed __int128 *, signed __int128, int);
    324 void __atomic_exchange(volatile signed __int128 *, volatile signed __int128 *, volatile signed __int128 *, int);
     324void __atomic_exchange(volatile signed __int128 *, signed __int128 *, signed __int128 *, int);
    325325unsigned __int128 __atomic_exchange_n(volatile unsigned __int128 *, unsigned __int128, int);
    326 void __atomic_exchange(volatile unsigned __int128 *, volatile unsigned __int128 *, volatile unsigned __int128 *, int);
     326void __atomic_exchange(volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128 *, int);
    327327#endif
    328328forall(T &) T * __atomic_exchange_n(T * volatile *, T *, int);
    329 forall(T &) void __atomic_exchange(T * volatile *, T * volatile *, T * volatile *, int);
     329forall(T &) void __atomic_exchange(T * volatile *, T **, T **, int);
    330330
    331331_Bool __atomic_load_n(const volatile _Bool *, int);
    332 void __atomic_load(const volatile _Bool *, volatile _Bool *, int);
     332void __atomic_load(const volatile _Bool *, _Bool *, int);
    333333char __atomic_load_n(const volatile char *, int);
    334 void __atomic_load(const volatile char *, volatile char *, int);
     334void __atomic_load(const volatile char *, char *, int);
    335335signed char __atomic_load_n(const volatile signed char *, int);
    336 void __atomic_load(const volatile signed char *, volatile signed char *, int);
     336void __atomic_load(const volatile signed char *, signed char *, int);
    337337unsigned char __atomic_load_n(const volatile unsigned char *, int);
    338 void __atomic_load(const volatile unsigned char *, volatile unsigned char *, int);
     338void __atomic_load(const volatile unsigned char *, unsigned char *, int);
    339339signed short __atomic_load_n(const volatile signed short *, int);
    340 void __atomic_load(const volatile signed short *, volatile signed short *, int);
     340void __atomic_load(const volatile signed short *, signed short *, int);
    341341unsigned short __atomic_load_n(const volatile unsigned short *, int);
    342 void __atomic_load(const volatile unsigned short *, volatile unsigned short *, int);
     342void __atomic_load(const volatile unsigned short *, unsigned short *, int);
    343343signed int __atomic_load_n(const volatile signed int *, int);
    344 void __atomic_load(const volatile signed int *, volatile signed int *, int);
     344void __atomic_load(const volatile signed int *, signed int *, int);
    345345unsigned int __atomic_load_n(const volatile unsigned int *, int);
    346 void __atomic_load(const volatile unsigned int *, volatile unsigned int *, int);
     346void __atomic_load(const volatile unsigned int *, unsigned int *, int);
    347347signed long int __atomic_load_n(const volatile signed long int *, int);
    348 void __atomic_load(const volatile signed long int *, volatile signed long int *, int);
     348void __atomic_load(const volatile signed long int *, signed long int *, int);
    349349unsigned long int __atomic_load_n(const volatile unsigned long int *, int);
    350 void __atomic_load(const volatile unsigned long int *, volatile unsigned long int *, int);
     350void __atomic_load(const volatile unsigned long int *, unsigned long int *, int);
    351351signed long long int __atomic_load_n(const volatile signed long long int *, int);
    352 void __atomic_load(const volatile signed long long int *, volatile signed long long int *, int);
     352void __atomic_load(const volatile signed long long int *, signed long long int *, int);
    353353unsigned long long int __atomic_load_n(const volatile unsigned long long int *, int);
    354 void __atomic_load(const volatile unsigned long long int *, volatile unsigned long long int *, int);
     354void __atomic_load(const volatile unsigned long long int *, unsigned long long int *, int);
    355355#if defined(__SIZEOF_INT128__)
    356356signed __int128 __atomic_load_n(const volatile signed __int128 *, int);
    357 void __atomic_load(const volatile signed __int128 *, volatile signed __int128 *, int);
     357void __atomic_load(const volatile signed __int128 *, signed __int128 *, int);
    358358unsigned __int128 __atomic_load_n(const volatile unsigned __int128 *, int);
    359 void __atomic_load(const volatile unsigned __int128 *, volatile unsigned __int128 *, int);
     359void __atomic_load(const volatile unsigned __int128 *, unsigned __int128 *, int);
    360360#endif
    361361forall(T &) T * __atomic_load_n(T * const volatile *, int);
Note: See TracChangeset for help on using the changeset viewer.