require_either_extension(EXT_ZBKX, EXT_XZBP);
WRITE_RD(sext_xlen(xperm(RS1, RS2, 2, xlen)));