Atomically with acquire ordering: * Load the word at address _xs1_ * Write the sign-extended value into _xd_ * Compare the loaded value with the least-significant word of register _xs2_ * If equal, write the least-significant word of register _xs2+1_ to the address in _xs1_
amocas.w.aq xd, xs2, (xs1)
Type: R