require_xpr64;
RD = sext32((uint32_t)RS1 >> (RS2 & 0x1F));