1 2 3
require(SHAMT < xlen); require_extension(EXT_XBITMANIP); WRITE_RD(sext_xlen(~((zext_xlen(~RS1)) >> SHAMT)));