RD = sext_xprlen(RS1 - RS2);