legalize-atomicrmw-umin.mir 2.26 KB