RD = sext_xprlen(RS1 + SIMM);