26 op_bv.size() <= width,
27 "operand bitvector width shall not be larger than the width indicated by " 35 for(std::size_t i=0; i<op_bv.size(); i++)
39 for(std::size_t i=op_bv.size(); i<bv.size(); i++)
46 "endianness should be set to either little endian or big endian");
51 for(std::size_t i=0; i<op_bv.size(); i++)
52 bv[map_u.map_bit(i)]=op_bv[map_op.map_bit(i)];
55 for(std::size_t i=op_bv.size(); i<bv.size(); i++)
struct configt::ansi_ct ansi_c
boolbv_widtht boolbv_width
typet & type()
Return the type of the expression.
virtual const bvt & convert_bv(const exprt &expr, const optionalt< std::size_t > expected_width=nullopt)
virtual literalt new_variable()=0
Union constructor from single element.
void conversion_failed(const exprt &expr, bvt &bv)
virtual bvt convert_union(const union_exprt &expr)
Map bytes according to the configured endianness.
std::vector< literalt > bvt