On 18 May 2016 at 16:05, Sergey Fedorov <serge.f...@gmail.com> wrote: > $ arm-linux-gnueabi-gcc -march=armv6 -O2 -c a.c
I don't think armv6 is a sufficiently common host for us to worry too much about how its atomic primitives come out. ARMv7 and 64-bit ARMv8 are more relevant, I think. (v7 probably gets compiled the same way as v6 here, though.) thanks -- PMM
