regbankselect-atomicrmw-add.mir 2.25 KB