19 if(width % byte_bits != 0)
24 std::size_t dest_base = width;
26 for(std::size_t src = 0; src < width; ++src)
28 std::size_t bit_offset = src % byte_bits;
30 dest_base -= byte_bits;
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 bvt convert_bswap(const bswap_exprt &expr)
void conversion_failed(const exprt &expr, bvt &bv)
mstreamt & result() const
std::size_t get_bits_per_byte() const
std::vector< literalt > bvt
The byte swap expression.