require_extension(EXT_ZBA);
WRITE_RD(sext_xlen((RS1 << 1) + RS2));