require(SHAMT < xlen);
require_extension(EXT_XZBP);
WRITE_RD(sext_xlen(~((~RS1) << SHAMT)));