Atomically with release ordering: * Load the word at address _xs1_ * Write the sign-extended value into _xd_ * Signed compare the least-significant word of register _xs2_ to the loaded value, and select the minimum value * Write the minimum to the address in _xs1_
amomin.w.rl xd, xs2, (xs1)Type: R