legalize-atomicrmw-add.mir 2.24 KB