Method fshl

smt/expr.cpp:954–959

}

expr expr::fshl(const expr &a, const expr &b, const expr &c) {
  C2(a);
  auto width = mkUInt(a.bits(), a.sort());
  expr c_mod_width = c.urem(width);
  return a << c_mod_width | b.lshr(width - c_mod_width);
}

expr expr::fshr(const expr &a, const expr &b, const expr &c) {
  C2(a);