From fe4610b3014b1de2e60c681cbd813bb18ff2afc8 Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Sat, 22 Mar 2003 23:38:18 +0000 Subject: * include/atomic.h: Put parens around all macro arguments. (__atomic_val_bysize, __atomic_bool_bysize): New macros. (atomic_compare_and_exchange_val_acq): Use it. (atomic_compare_and_exchange_bool_acq): Likewise. (atomic_increment_and_test): Invert sense of test. (atomic_decrement_and_test): Likewise. * csu/tst-atomic.c: Update those tests to match. --- ChangeLog | 10 ++++-- csu/tst-atomic.c | 20 +++++++++-- include/atomic.h | 106 ++++++++++++++++++++++++++++++------------------------- 3 files changed, 83 insertions(+), 53 deletions(-) diff --git a/ChangeLog b/ChangeLog index 860f857686..d45616d013 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,8 +1,12 @@ 2003-03-22 Roland McGrath - * include/atomic.h (atomic_increment_and_test): Invert sense of test. - Add comment. - (atomic_decrement_and_test): Add comment. + * include/atomic.h: Put parens around all macro arguments. + (__atomic_val_bysize, __atomic_bool_bysize): New macros. + (atomic_compare_and_exchange_val_acq): Use it. + (atomic_compare_and_exchange_bool_acq): Likewise. + (atomic_increment_and_test): Invert sense of test. + (atomic_decrement_and_test): Likewise. + * csu/tst-atomic.c: Update those tests to match. 2003-03-22 Jakub Jelinek diff --git a/csu/tst-atomic.c b/csu/tst-atomic.c index 727229eaf7..292f6e7334 100644 --- a/csu/tst-atomic.c +++ b/csu/tst-atomic.c @@ -99,7 +99,7 @@ do_test (void) } mem = 0; - if (! atomic_increment_and_test (&mem) + if (atomic_increment_and_test (&mem) || mem != 1) { puts ("atomic_increment_and_test test 1 failed"); @@ -114,6 +114,14 @@ do_test (void) ret = 1; } + mem = -1; + if (! atomic_increment_and_test (&mem) + || mem != 0) + { + puts ("atomic_increment_and_test test 3 failed"); + ret = 1; + } + mem = 17; atomic_decrement (&mem); if (mem != 16) @@ -123,7 +131,7 @@ do_test (void) } mem = 0; - if (! atomic_decrement_and_test (&mem) + if (atomic_decrement_and_test (&mem) || mem != -1) { puts ("atomic_decrement_and_test test 1 failed"); @@ -138,6 +146,14 @@ do_test (void) ret = 1; } + mem = 1; + if (! atomic_decrement_and_test (&mem) + || mem != 0) + { + puts ("atomic_decrement_and_test test 1 failed"); + ret = 1; + } + mem = 1; if (atomic_decrement_if_positive (&mem) != 1 || mem != 0) diff --git a/include/atomic.h b/include/atomic.h index 9469866ebe..afebb789a3 100644 --- a/include/atomic.h +++ b/include/atomic.h @@ -25,30 +25,54 @@ #include +/* Wrapper macros to call pre_NN_post (mem, ...) where NN is the + bit width of *MEM. The calling macro puts parens around MEM + and following args. */ +#define __atomic_val_bysize(pre, post, mem, ...) \ + ({ \ + __typeof (*mem) __result; \ + if (sizeof (*mem) == 1) \ + __result = pre##_8_##post (mem, __VA_ARGS__); \ + else if (sizeof (*mem) == 2) \ + __result = pre##_16_##post (mem, __VA_ARGS__); \ + else if (sizeof (*mem) == 4) \ + __result = pre##_32_##post (mem, __VA_ARGS__); \ + else if (sizeof (*mem) == 8) \ + __result = pre##_64_##post (mem, __VA_ARGS__); \ + else \ + abort (); \ + __result; \ + }) +#define __atomic_bool_bysize(pre, post, mem, ...) \ + ({ \ + int __result; \ + if (sizeof (*mem) == 1) \ + __result = pre##_8_##post (mem, __VA_ARGS__); \ + else if (sizeof (*mem) == 2) \ + __result = pre##_16_##post (mem, __VA_ARGS__); \ + else if (sizeof (*mem) == 4) \ + __result = pre##_32_##post (mem, __VA_ARGS__); \ + else if (sizeof (*mem) == 8) \ + __result = pre##_64_##post (mem, __VA_ARGS__); \ + else \ + abort (); \ + __result; \ + }) + /* Atomically store NEWVAL in *MEM if *MEM is equal to OLDVAL. Return the old *MEM value. */ #if !defined atomic_compare_and_exchange_val_acq \ && defined __arch_compare_and_exchange_val_32_acq # define atomic_compare_and_exchange_val_acq(mem, newval, oldval) \ - ({ __typeof (*mem) __result; \ - if (sizeof (*mem) == 1) \ - __result = __arch_compare_and_exchange_val_8_acq (mem, newval, oldval);\ - else if (sizeof (*mem) == 2) \ - __result = __arch_compare_and_exchange_val_16_acq (mem, newval,oldval);\ - else if (sizeof (*mem) == 4) \ - __result = __arch_compare_and_exchange_val_32_acq (mem, newval,oldval);\ - else if (sizeof (*mem) == 8) \ - __result = __arch_compare_and_exchange_val_64_acq (mem, newval,oldval);\ - else \ - abort (); \ - __result; }) + __atomic_val_bysize (__arch_compare_and_exchange_val,acq, \ + (mem), (newval), (oldval)) #endif #ifndef atomic_compare_and_exchange_val_rel # define atomic_compare_and_exchange_val_rel(mem, oldval, newval) \ - atomic_compare_and_exchange_val_acq (mem, oldval, newval) + atomic_compare_and_exchange_val_acq ((mem), (oldval), (newval)) #endif @@ -56,29 +80,15 @@ Return zero if *MEM was changed or non-zero if no exchange happened. */ #ifndef atomic_compare_and_exchange_bool_acq # ifdef __arch_compare_and_exchange_bool_32_acq -# define atomic_compare_and_exchange_bool_acq(mem, newval, oldval) \ - ({ __typeof (__arch_compare_and_exchange_bool_32_acq (mem, 0, 0)) __result; \ - if (sizeof (*mem) == 1) \ - __result = __arch_compare_and_exchange_bool_8_acq (mem, newval, \ - oldval); \ - else if (sizeof (*mem) == 2) \ - __result = __arch_compare_and_exchange_bool_16_acq (mem, newval, \ - oldval); \ - else if (sizeof (*mem) == 4) \ - __result = __arch_compare_and_exchange_bool_32_acq (mem, newval, \ - oldval); \ - else if (sizeof (*mem) == 8) \ - __result = __arch_compare_and_exchange_bool_64_acq (mem, newval, \ - oldval); \ - else \ - abort (); \ - __result; }) +# define atomic_compare_and_exchange_bool_acq(mem, newval, oldval) \ + __atomic_bool_bysize (__arch_compare_and_exchange_bool,acq, \ + (mem), (newval), (oldval)) # else # define atomic_compare_and_exchange_bool_acq(mem, newval, oldval) \ ({ /* Cannot use __oldval here, because macros later in this file might \ call this macro with __oldval argument. */ \ __typeof (oldval) __old = (oldval); \ - atomic_compare_and_exchange_val_acq (mem, newval, __old) != __old; \ + atomic_compare_and_exchange_val_acq ((mem), (newval), __old) != __old; \ }) # endif #endif @@ -86,16 +96,16 @@ #ifndef atomic_compare_and_exchange_bool_rel # define atomic_compare_and_exchange_bool_rel(mem, oldval, newval) \ - atomic_compare_and_exchange_bool_acq (mem, oldval, newval) + atomic_compare_and_exchange_bool_acq ((mem), (oldval), (newval)) #endif /* Store NEWVALUE in *MEM and return the old value. */ #ifndef atomic_exchange # define atomic_exchange(mem, newvalue) \ - ({ __typeof (*mem) __oldval; \ + ({ __typeof (*(mem)) __oldval; \ __typeof (mem) __memp = (mem); \ - __typeof (*mem) __value = (newvalue); \ + __typeof (*(mem)) __value = (newvalue); \ \ do \ __oldval = (*__memp); \ @@ -111,9 +121,9 @@ /* Add VALUE to *MEM and return the old value of *MEM. */ #ifndef atomic_exchange_and_add # define atomic_exchange_and_add(mem, value) \ - ({ __typeof (*mem) __oldval; \ + ({ __typeof (*(mem)) __oldval; \ __typeof (mem) __memp = (mem); \ - __typeof (*mem) __value = (value); \ + __typeof (*(mem)) __value = (value); \ \ do \ __oldval = (*__memp); \ @@ -128,38 +138,38 @@ #ifndef atomic_add -# define atomic_add(mem, value) (void) atomic_exchange_and_add (mem, value) +# define atomic_add(mem, value) (void) atomic_exchange_and_add ((mem), (value)) #endif #ifndef atomic_increment -# define atomic_increment(mem) atomic_add (mem, 1) +# define atomic_increment(mem) atomic_add ((mem), 1) #endif -/* Add one to *MEM and return true iff it's now nonzero. */ +/* Add one to *MEM and return true iff it's now zero. */ #ifndef atomic_increment_and_test # define atomic_increment_and_test(mem) \ - (atomic_exchange_and_add (mem, 1) != 0) + (atomic_exchange_and_add ((mem), 1) + 1 == 0) #endif #ifndef atomic_decrement -# define atomic_decrement(mem) atomic_add (mem, -1) +# define atomic_decrement(mem) atomic_add ((mem), -1) #endif /* Subtract 1 from *MEM and return true iff it's now zero. */ #ifndef atomic_decrement_and_test # define atomic_decrement_and_test(mem) \ - (atomic_exchange_and_add (mem, -1) == 0) + (atomic_exchange_and_add ((mem), -1) == 1) #endif /* Decrement *MEM if it is > 0, and return the old value. */ #ifndef atomic_decrement_if_positive # define atomic_decrement_if_positive(mem) \ - ({ __typeof (*mem) __oldval; \ + ({ __typeof (*(mem)) __oldval; \ __typeof (mem) __memp = (mem); \ \ do \ @@ -179,27 +189,27 @@ #ifndef atomic_add_negative # define atomic_add_negative(mem, value) \ - (atomic_exchange_and_add (mem, value) < 0) + (atomic_exchange_and_add ((mem), (value)) < 0) #endif #ifndef atomic_add_zero # define atomic_add_zero(mem, value) \ - (atomic_exchange_and_add (mem, value) == 0) + (atomic_exchange_and_add ((mem), (value)) == 0) #endif #ifndef atomic_bit_set # define atomic_bit_set(mem, bit) \ - (void) atomic_bit_test_set(mem, bit) + (void) atomic_bit_test_set((mem), (bit)) #endif #ifndef atomic_bit_test_set # define atomic_bit_test_set(mem, bit) \ - ({ __typeof (*mem) __oldval; \ + ({ __typeof (*(mem)) __oldval; \ __typeof (mem) __memp = (mem); \ - __typeof (*mem) __mask = ((__typeof (*mem)) 1 << (bit)); \ + __typeof (*(mem)) __mask = ((__typeof (*(mem))) 1 << (bit)); \ \ do \ __oldval = (*__memp); \ -- cgit v1.2.3