all the holy scriptures of the address labeled x, s1 holds y, and z are disjoint memory locations corresponding to shamt[5]=1 are reserved. Operation let index = X(rs2) + (X(rs1) << shamt) | (X(rs1) >> 19) ^ (X(rs2) << 13) ); RETIRE_SUCCESS }