void polynomial_acceleratort::cone_of_influence(
goto_programt::instructionst &orig_body,
exprt &target,
goto_programt::instructionst &body,
expr_sett &cone) {
utils.gather_rvalues(target, cone);
for (goto_programt::instructionst::reverse_iterator r_it = orig_body.rbegin();
r_it != orig_body.rend();
++r_it) {
if (r_it->is_assign()) {
// XXX -- this doesn't work if the assignment is not to a symbol, e.g.
// A[i] = 0;
// or
// *p = x;
code_assignt assignment = to_code_assign(r_it->code);
expr_sett lhs_syms;
utils.gather_rvalues(assignment.lhs(), lhs_syms);
for (expr_sett::iterator s_it = lhs_syms.begin();
s_it != lhs_syms.end();
++s_it) {
if (cone.find(*s_it) != cone.end()) {
// We're assigning to something in the cone of influence -- expand the
// cone.
body.push_front(*r_it);
cone.erase(assignment.lhs());
utils.gather_rvalues(assignment.rhs(), cone);
break;
}
}
}
}
}
void cone_of_influencet::cone_of_influence(
const goto_programt::instructiont &i,
const expr_sett &curr,
expr_sett &next)
{
next.insert(curr.begin(), curr.end());
if(i.is_assign())
{
const code_assignt &assignment=to_code_assign(i.code);
expr_sett lhs_syms;
bool care=false;
gather_rvalues(assignment.lhs(), lhs_syms);
for(const auto &expr : lhs_syms)
if(curr.find(expr)!=curr.end())
{
care=true;
break;
}
next.erase(assignment.lhs());
if(care)
{
gather_rvalues(assignment.rhs(), next);
}
}
}
