1 require_extension(EXT_ZBS);
2 int shamt = SHAMT & (xlen-1);
3 WRITE_RD(sext_xlen(RS1 & ~(1LL << shamt)));
4