require_xpr64;
RD = sext32(RS1 << SHAMTW);