15 if(expr.
type().
id()!=ID_unsignedbv &&
16 expr.
type().
id()!=ID_signedbv &&
17 expr.
type().
id()!=ID_fixedbv)
29 if(op0.size()!=width ||
31 throw "convert_div: unexpected operand width";
35 if(expr.
type().
id()==ID_fixedbv)
37 std::size_t fraction_bits=
43 op0.insert(op0.begin(), zeros.begin(), zeros.end());
44 op1=
bv_utils.sign_extension(op1, op1.size()+fraction_bits);
57 bv_utils.divider(op0, op1, res, rem, rep);
Pre-defined bitvector types.
const fixedbv_typet & to_fixedbv_type(const typet &type)
Cast a typet to a fixedbv_typet.
virtual const bvt & convert_bv(const exprt &expr, const std::optional< std::size_t > expected_width={})
Convert expression to vector of literalts, using an internal cache to speed up conversion if availabl...
virtual bvt convert_div(const div_exprt &expr)
bvt conversion_failed(const exprt &expr)
Print that the expression of x has failed conversion, then return a vector of x's width.
virtual std::size_t boolbv_width(const typet &type) const
typet & type()
Return the type of the expression.
std::size_t get_fraction_bits() const
const irep_idt & id() const
std::vector< literalt > bvt