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