Go to the documentation of this file.
33 op_type.
id()==ID_struct)
37 while(new_operands.size() > 1)
39 exprt &op1 = new_operands[new_operands.size() - 2];
40 exprt &op2 = new_operands[new_operands.size() - 1];
42 if(op1.
get(ID_component_name)==component_name)
47 "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)
79 else if(op.
id()==ID_update)
82 op_type.
id()==ID_struct)
88 if(designator.size()==1 &&
89 designator.front().id()==ID_member_designator)
91 if(designator.front().get(ID_component_name)==component_name)
101 else if(op_type.
id()==ID_struct)
104 auto new_expr = expr;
113 else if(op.
id()==ID_struct ||
114 op.
id()==ID_constant)
116 if(op_type.
id()==ID_struct)
125 "member expression type must match component type");
130 else if(op.
id()==ID_byte_extract_little_endian ||
131 op.
id()==ID_byte_extract_big_endian)
135 if(op_type.
id()==ID_struct)
153 if(!offset_int.has_value())
156 const exprt &struct_offset = byte_extract_expr.offset();
162 op.
id(), byte_extract_expr.op(), final_offset, expr.
type());
166 else if(op_type.
id() == ID_union)
170 if(byte_extract_expr.offset().is_zero())
175 if(subtype == byte_extract_expr.op().type())
176 return byte_extract_expr.op();
180 else if(op.
id()==ID_union && op_type.
id()==ID_union)
189 if(target_size.has_value())
191 mp_integer target_bits = target_size.value() * 8;
194 if(bits.has_value() &&
197 std::string bits_cut =
198 std::string(*bits, 0, numeric_cast_v<std::size_t>(target_bits));
203 return std::move(*tmp);
207 else if(op.
id() == ID_typecast)
213 if(op_type == typecast_expr.op().type())
215 auto new_expr = expr;
216 new_expr.
struct_op() = typecast_expr.op();
224 if(op_type.
id() == ID_struct)
228 if(requested_offset.has_value())
231 typecast_expr.op(), *requested_offset, expr.
type(),
ns);
236 equivalent_member.has_value() &&
237 equivalent_member.value().id() != ID_byte_extract_little_endian &&
238 equivalent_member.value().id() != ID_byte_extract_big_endian)
240 auto tmp = equivalent_member.value();
246 else if(op.
id()==ID_if)
257 auto tmp =
if_exprt(cond, member_true, member_false, expr.
type());
260 else if(op.
id() == ID_let)
Operator to update elements in structs and arrays.
resultt simplify_rec(const exprt &)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
const update_exprt & to_update_expr(const exprt &expr)
Cast an exprt to an update_exprt.
const componentt & get_component(const irep_idt &component_name) const
Get the reference to a component with given name.
const struct_typet & to_struct_type(const typet &type)
Cast a typet to a struct_typet.
The type of an expression, extends irept.
const byte_extract_exprt & to_byte_extract_expr(const exprt &expr)
const if_exprt & to_if_expr(const exprt &expr)
Cast an exprt to an if_exprt.
The trinary if-then-else operator.
optionalt< exprt > bits2expr(const std::string &bits, const typet &type, bool little_endian)
The plus expression Associativity is not specified.
const typet & component_type(const irep_idt &component_name) const
Base class for all expressions.
const union_exprt & to_union_expr(const exprt &expr)
Cast an exprt to a union_exprt.
auto component(T &struct_expr, const irep_idt &name, const namespacet &ns) -> decltype(struct_expr.op0())
std::size_t component_number(const irep_idt &component_name) const
Return the sequence number of the component with given name.
static resultt unchanged(exprt expr)
resultt simplify_node(exprt)
typet & type()
Return the type of the expression.
Expression classes for byte-level operators.
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions,...
const exprt & compound() const
const exprt & struct_op() const
static resultt changed(resultt<> result)
const let_exprt & to_let_expr(const exprt &expr)
Cast an exprt to a let_exprt.
bool has_component(const irep_idt &component_name) const
const irep_idt & id() const
std::vector< exprt > operandst
nonstd::optional< T > optionalt
const with_exprt & to_with_expr(const exprt &expr)
Cast an exprt to a with_exprt.
Operator to update elements in structs and arrays.
exprt::operandst & designator()
optionalt< std::string > expr2bits(const exprt &, bool little_endian)
Extract member of struct or union.
resultt simplify_member(const member_exprt &)
Structure type, corresponds to C style structs.
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.
const typet & follow(const typet &) const
Resolve type symbol to the type it points to.
const irep_idt & get(const irep_namet &name) const
const typecast_exprt & to_typecast_expr(const exprt &expr)
Cast an exprt to a typecast_exprt.
optionalt< exprt > get_subexpression_at_offset(const exprt &expr, const mp_integer &offset_bytes, const typet &target_type_raw, const namespacet &ns)
const member_exprt & to_member_expr(const exprt &expr)
Cast an exprt to a member_exprt.
irep_idt get_component_name() const
const union_typet & to_union_type(const typet &type)
Cast a typet to a union_typet.
exprt & where()
convenience accessor for binding().where()
API to expression classes.
optionalt< mp_integer > member_offset(const struct_typet &type, const irep_idt &member, const namespacet &ns)