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