On Wed, May 08, 2024 at 05:28:22PM +0200, Andrea Parri wrote: > On Wed, May 08, 2024 at 02:34:00PM +0000, Puranjay Mohan wrote: > > Pull-849[1] added the support of '&', '|', and '^' to the herd7 tool's > > atomics operations. > > > > Use these in linux-kernel.def to implement atomic_and()/or()/xor() with > > all their ordering variants. > > > > atomic_add_negative() is already available so add its acquire, release, > > and relaxed ordering variants. > > > > [1] https://github.com/herd/herdtools7/pull/849 > > > > Signed-off-by: Puranjay Mohan <puranjay@xxxxxxxxxx> > > Acked-by: Andrea Parri <parri.andrea@xxxxxxxxx> Queued for review and testing, and thank you both! Thanx, Paul
