GCN: Implement __atomic_compare_exchange_{1,2} in libgcc [PR102215]
libgcc/ChangeLog:
PR target/102215
* config/gcn/atomic.c (__sync_val_compare_and_swap_##SIZE): Move
a line up to non-arg-dependent value first.
(__ATOMIC_COMPARE_EXCHANGE): Define + call to generate
__atomic_compare_exchange_{1,2}.
diff --git a/libgcc/config/gcn/atomic.c b/libgcc/config/gcn/atomic.c
index 8784f90dfe2..cf29fa82aba 100644
--- a/libgcc/config/gcn/atomic.c
+++ b/libgcc/config/gcn/atomic.c
@@ -18,42 +18,69 @@
You should have received a copy of the GNU General Public License and
a copy of the GCC Runtime Library Exception along with this program;
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
. */
#include
#define __SYNC_SUBWORD_COMPARE_AND_SWAP(TYPE, SIZE) \
\
TYPE \
__sync_val_compare_and_swap_##SIZE (TYPE *ptr, TYPE oldval, TYPE newval) \
{ \
+ unsigned int valmask = (1 << (SIZE * 8)) - 1; \
unsigned int *wordptr = (unsigned int *)((__UINTPTR_TYPE__ ) ptr & ~3UL); \
int shift = ((__UINTPTR_TYPE__ ) ptr & 3UL) * 8; \
- unsigned int valmask = (1 << (SIZE * 8)) - 1; \
unsigned int wordmask = ~(valmask << shift); \
unsigned int oldword = *wordptr; \
for (;;) \
{ \
TYPE prevval = (oldword >> shift) & valmask; \
if (__builtin_expect (prevval != oldval, 0)) \
return prevval; \
unsigned int newword = oldword & wordmask; \
newword |= ((unsigned int) newval) << shift; \
unsigned int prevword \
= __sync_val_compare_and_swap_4 (wordptr, oldword, newword); \
if (__builtin_expect (prevword == oldword, 1)) \
return oldval; \
oldword = prevword; \
} \
} \
\
bool \
__sync_bool_compare_and_swap_##SIZE (TYPE *ptr, TYPE oldval, TYPE newval) \
{ \
return __sync_val_compare_and_swap_##SIZE (ptr, oldval, newval) == oldval; \
}
__SYNC_SUBWORD_COMPARE_AND_SWAP (unsigned char, 1)
__SYNC_SUBWORD_COMPARE_AND_SWAP (unsigned short, 2)
+
+#define __ATOMIC_COMPARE_EXCHANGE(TYPE,SIZE) \
+bool \
+__atomic_compare_exchange_##SIZE (TYPE *ptr, TYPE *expected, \
+ TYPE desired, bool weak, \
+ int success_memorder, int failure_memorder) \
+{ \
+ unsigned int valmask = (1 << (SIZE * 8)) - 1; \
+ \
+ unsigned int *wordptr = (unsigned int *)((__UINTPTR_TYPE__ ) ptr & ~3UL); \
+ int ptrshift = ((__UINTPTR_TYPE__ ) ptr & 3UL) * 8; \
+ unsigned int wordmask = ~(valmask << ptrshift); \
+ \
+ unsigned int ptrword = *wordptr; \
+ unsigned int exptword = ptrword & wordmask; \
+ unsigned int newword = ptrword & wordmask; \
+ exptword |= ((unsigned int) *expected) << ptrshift; \
+ newword |= ((unsigned int) desired) << ptrshift; \
+ if (__atomic_compare_exchange_4 (wordptr, &exptword, newword, weak, \
+ success_memorder, failure_memorder)) \
+ return true; \
+ *expected = (TYPE) ((exptword >> ptrshift) & valmask); \
+ return false; \
+}
+
+__ATOMIC_COMPARE_EXCHANGE (unsigned char, 1)
+__ATOMIC_COMPARE_EXCHANGE (unsigned short, 2)