RD = sext_xprlen(sreg_t(RS1) >> (RS2 & (xprlen-1)));