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