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