legalize-atomicrmw-xchg.mir 2.26 KB