legalize-atomicrmw-and.mir 2.24 KB