Method round_up

smt/expr.cpp:1145–1148

}

expr expr::round_up(const expr &power_of_two) const {
  expr minus_1 = power_of_two - mkUInt(1, power_of_two);
  return (*this + minus_1) & ~minus_1;
}

expr expr::round_up_bits(const expr &nbits) const {
  return round_up(mkUInt(1, *this) << nbits.zextOrTrunc(bits()));