require_extension(EXT_XZBP);
WRITE_RD(sext_xlen(xperm(RS1, RS2, 4, xlen)));