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