On 18/07/2016 15:41, Peter Maydell wrote: >> > Doesn't it have LDRDEX and STRDEX? > Yes, you could use a LDREXD/STREXD sequence for ARMv7 (and it > looks like gcc does so). Doesn't work on ARMv5, though. > > MIPS32 and PPC32 are the hosts where attempted 64-bit > atomics generally fail (they want to call out to libatomic), > so those would be the other ones to test before widening the use > of atomic_set.
In the meanwhile we can degrade these particular accesses to volatile. Paolo
