34 op_type.
id()==ID_struct)
38 while(new_operands.size() > 1)
40 exprt &op1 = new_operands[new_operands.size() - 2];
41 exprt &op2 = new_operands[new_operands.size() - 1];
43 if(op1.
get(ID_component_name)==component_name)
48 "member expression type must match component type");
56 new_operands.resize(new_operands.size() - 2);
59 DATA_INVARIANT(new_operands.size() == 1,
"post-condition of loop");
61 auto new_member_expr = expr;
62 new_member_expr.
struct_op() = new_operands.front();
66 else if(op_type.
id()==ID_union)
70 if(with_expr.
where().
get(ID_component_name)==component_name)
80 else if(op.
id()==ID_update)
83 op_type.
id()==ID_struct)
89 if(designator.size()==1 &&
90 designator.front().id()==ID_member_designator)
92 if(designator.front().get(ID_component_name)==component_name)
102 else if(op_type.
id()==ID_struct)
105 auto new_expr = expr;
114 else if(op.
id()==ID_struct ||
115 op.
id()==ID_constant)
117 if(op_type.
id()==ID_struct)
126 "member expression type must match component type");
131 else if(op.
id()==ID_byte_extract_little_endian ||
132 op.
id()==ID_byte_extract_big_endian)
136 if(op_type.
id()==ID_struct)
154 if(!offset_int.has_value())
157 const exprt &struct_offset = byte_extract_expr.offset();
163 op.
id(), byte_extract_expr.op(), final_offset, expr.
type());
167 else if(op_type.
id() == ID_union)
171 if(byte_extract_expr.offset().is_zero())
176 if(subtype == byte_extract_expr.op().type())
177 return byte_extract_expr.op();
181 else if(op.
id()==ID_union && op_type.
id()==ID_union)
190 if(target_size.has_value())
192 mp_integer target_bits = target_size.value() * 8;
195 if(bits.has_value() &&
198 std::string bits_cut =
199 std::string(*bits, 0, numeric_cast_v<std::size_t>(target_bits));
204 return std::move(*tmp);
208 else if(op.
id() == ID_typecast)
214 if(op_type == typecast_expr.op().type())
216 auto new_expr = expr;
217 new_expr.
struct_op() = typecast_expr.op();
225 if(op_type.
id() == ID_struct)
229 if(requested_offset.has_value())
232 typecast_expr.op(), *requested_offset, expr.
type(),
ns);
237 equivalent_member.has_value() &&
238 equivalent_member.value().id() != ID_byte_extract_little_endian &&
239 equivalent_member.value().id() != ID_byte_extract_big_endian)
241 auto tmp = equivalent_member.value();
247 else if(op.
id()==ID_if)
258 auto tmp =
if_exprt(cond, member_true, member_false, expr.
type());
261 else if(op.
id() == ID_let)
Expression classes for byte-level operators.
const byte_extract_exprt & to_byte_extract_expr(const exprt &expr)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
std::vector< exprt > operandst
typet & type()
Return the type of the expression.
The trinary if-then-else operator.
const irep_idt & id() const
const irep_idt & get(const irep_namet &name) const
exprt & where()
convenience accessor for binding().where()
Extract member of struct or union.
const exprt & compound() const
const exprt & struct_op() const
irep_idt get_component_name() const
const typet & follow(const typet &) const
Resolve type symbol to the type it points to.
The plus expression Associativity is not specified.
static resultt changed(resultt<> result)
resultt simplify_rec(const exprt &)
resultt simplify_member(const member_exprt &)
static resultt unchanged(exprt expr)
resultt simplify_node(exprt)
Structure type, corresponds to C style structs.
const typet & component_type(const irep_idt &component_name) const
const componentt & get_component(const irep_idt &component_name) const
Get the reference to a component with given name.
bool has_component(const irep_idt &component_name) const
std::size_t component_number(const irep_idt &component_name) const
Return the sequence number of the component with given name.
The type of an expression, extends irept.
Operator to update elements in structs and arrays.
exprt::operandst & designator()
Operator to update elements in structs and arrays.
nonstd::optional< T > optionalt
optionalt< exprt > get_subexpression_at_offset(const exprt &expr, const mp_integer &offset_bytes, const typet &target_type_raw, const namespacet &ns)
optionalt< mp_integer > pointer_offset_size(const typet &type, const namespacet &ns)
Compute the size of a type in bytes, rounding up to full bytes.
optionalt< mp_integer > member_offset(const struct_typet &type, const irep_idt &member, const namespacet &ns)
optionalt< exprt > bits2expr(const std::string &bits, const typet &type, bool little_endian, const namespacet &ns)
optionalt< std::string > expr2bits(const exprt &expr, bool little_endian, const namespacet &ns)
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions,...
auto component(T &struct_expr, const irep_idt &name, const namespacet &ns) -> decltype(struct_expr.op0())
API to expression classes.
const if_exprt & to_if_expr(const exprt &expr)
Cast an exprt to an if_exprt.
const update_exprt & to_update_expr(const exprt &expr)
Cast an exprt to an update_exprt.
const let_exprt & to_let_expr(const exprt &expr)
Cast an exprt to a let_exprt.
const typecast_exprt & to_typecast_expr(const exprt &expr)
Cast an exprt to a typecast_exprt.
const union_exprt & to_union_expr(const exprt &expr)
Cast an exprt to a union_exprt.
const with_exprt & to_with_expr(const exprt &expr)
Cast an exprt to a with_exprt.
const member_exprt & to_member_expr(const exprt &expr)
Cast an exprt to a member_exprt.
const struct_typet & to_struct_type(const typet &type)
Cast a typet to a struct_typet.
const union_typet & to_union_type(const typet &type)
Cast a typet to a union_typet.