Changeset 4dbdd1d

Timestamp:

Jun 17, 2023, 1:20:59 PM (11 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

4f9d75d

Parents:

727c39d5

Message:

add comments for attomic pointer types

File:

• libcfa/prelude/sync-builtins.cf (modified) (6 diffs)

libcfa/prelude/sync-builtins.cf

@@ -206 +206 @@
 _Bool __sync_bool_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
 #endif
+// for all pointer types
 forall(T &) _Bool __sync_bool_compare_and_swap(T * volatile *, T *, T*, ...);
 
@@ -223 +224 @@
 unsigned __int128 __sync_val_compare_and_swap(volatile unsigned __int128 *, unsigned __int128, unsigned __int128,...);
 #endif
+// for all pointer types
 forall(T &) T * __sync_val_compare_and_swap(T * volatile *, T *, T*,...);
 
@@ -326 +328 @@
 void __atomic_exchange(volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128 *, int);
 #endif
+// for all pointer types
 forall(T &) T * __atomic_exchange_n(T * volatile *, T *, int);
 forall(T &) void __atomic_exchange(T * volatile *, T **, T **, int);
@@ -359 +362 @@
 void __atomic_load(const volatile unsigned __int128 *, unsigned __int128 *, int);
 #endif
+// for all pointer types
 forall(T &) T * __atomic_load_n(T * const volatile *, int);
 forall(T &) void __atomic_load(T * const volatile *, T **, int);
@@ -390 +394 @@
 _Bool __atomic_compare_exchange   (volatile unsigned __int128 *, unsigned __int128 *, unsigned __int128 *, _Bool, int, int);
 #endif
+// for all pointer types
 forall(T &) _Bool __atomic_compare_exchange_n (T * volatile *, T **, T*, _Bool, int, int);
 forall(T &) _Bool __atomic_compare_exchange   (T * volatile *, T **, T**, _Bool, int, int);
@@ -423 +428 @@
 void __atomic_store(volatile unsigned __int128 *, unsigned __int128 *, int);
 #endif
+// for all pointer types
 forall(T &) void __atomic_store_n(T * volatile *, T *, int);
 forall(T &) void __atomic_store(T * volatile *, T **, int);