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