36 op_type.
id()==ID_struct)
40 while(new_operands.size() > 1)
42 exprt &op1 = new_operands[new_operands.size() - 2];
43 exprt &op2 = new_operands[new_operands.size() - 1];
45 if(op1.
get(ID_component_name)==component_name)
50 "member expression type must match component type");
55 new_operands.resize(new_operands.size() - 2);
58 DATA_INVARIANT(new_operands.size() == 1,
"post-condition of loop");
60 auto new_member_expr = expr;
61 new_member_expr.
struct_op() = new_operands.front();
65 else if(op_type.
id()==ID_union)
69 if(with_expr.
where().
get(ID_component_name)==component_name)
76 else if(op.
id()==ID_update)
79 op_type.
id()==ID_struct)
85 if(designator.size()==1 &&
86 designator.front().id()==ID_member_designator)
88 if(designator.front().get(ID_component_name)==component_name)
95 else if(op_type.
id()==ID_struct)
107 else if(op.
id() == ID_struct)
116 "struct expression must have sufficiently many operands");
119 "member expression type must match component type");
123 else if(op.
id()==ID_byte_extract_little_endian ||
124 op.
id()==ID_byte_extract_big_endian)
128 if(op_type.
id()==ID_struct)
146 if(!offset_int.has_value())
149 const exprt &struct_offset = byte_extract_expr.offset();
156 byte_extract_expr.op(),
158 byte_extract_expr.get_bits_per_byte(),
163 else if(op_type.
id() == ID_union)
167 if(byte_extract_expr.offset().is_zero())
172 if(subtype == byte_extract_expr.op().type())
173 return byte_extract_expr.op();
177 else if(op.
id()==ID_union && op_type.
id()==ID_union)
186 if(target_size.has_value())
191 if(bits.has_value() &&
194 std::string bits_cut =
200 return std::move(*tmp);
204 else if(op.
id() == ID_typecast)
210 if(op_type == typecast_expr.op().type())
212 auto new_expr = expr;
213 new_expr.
struct_op() = typecast_expr.op();
221 if(op_type.
id() == ID_struct)
225 if(requested_offset.has_value())
228 typecast_expr.op(), *requested_offset, expr.
type(),
ns);
233 equivalent_member.has_value() &&
234 equivalent_member.value().id() != ID_byte_extract_little_endian &&
235 equivalent_member.value().id() != ID_byte_extract_big_endian)
237 auto tmp = equivalent_member.value();
243 else if(op.
id()==ID_if)
254 auto tmp =
if_exprt(cond, member_true, member_false, expr.
type());
257 else if(op.
id() == ID_let)
Expression classes for byte-level operators.
const byte_extract_exprt & to_byte_extract_expr(const exprt &expr)
const union_typet & to_union_type(const typet &type)
Cast a typet to a union_typet.
struct configt::ansi_ct ansi_c
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 & get(const irep_idt &name) const
const irep_idt & id() 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.
resultt simplify_byte_extract(const byte_extract_exprt &)
static resultt changed(resultt<> result)
resultt simplify_rec(const exprt &)
resultt simplify_member(const member_exprt &)
static resultt unchanged(exprt expr)
resultt simplify_plus(const plus_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< mp_integer > member_offset(const struct_typet &type, const irep_idt &member, 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< exprt > get_subexpression_at_offset(const exprt &expr, const mp_integer &offset_bytes, const typet &target_type_raw, 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 typecast_exprt & to_typecast_expr(const exprt &expr)
Cast an exprt to a typecast_exprt.
const let_exprt & to_let_expr(const exprt &expr)
Cast an exprt to a let_exprt.
const if_exprt & to_if_expr(const exprt &expr)
Cast an exprt to an if_exprt.
const member_exprt & to_member_expr(const exprt &expr)
Cast an exprt to a member_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 update_exprt & to_update_expr(const exprt &expr)
Cast an exprt to an update_exprt.
const struct_typet & to_struct_type(const typet &type)
Cast a typet to a struct_typet.