Polaris: IPCPConstants.cc Source File

IPCPConstants.cc Go to the documentation of this file. /// /// /// \file IPCPConstants.cc /// #include "../Collection/KeyIterator.h" #include "../Collection/Mutator.h" #include "IPCPConstants.h" #include "IPCPProcData.h" #include "AliasSets.h" #include "JumpFunction.h" /// Template Instantiations: template class TypedCollection<CallSite>; template class Set<CallSite>; template ostream & operator << (ostream &, const Set<CallSite> &); template class Assign<CallSite>; template class Iterator<CallSite>; template class Mutator<CallSite>; /// CallSite methods CallSite::CallSite(const IPCPConstants *caller_consts_ref, const char *call_tag) : _call_tag(call_tag) { _caller_consts_ref = caller_consts_ref; } CallSite::CallSite(const CallSite &other) : _call_tag(other.call_tag()) { _caller_consts_ref = other._caller_consts_ref; } CallSite::~CallSite() { /// ... Nothing to do. } Listable * CallSite::listable_clone() const { return new CallSite(*this); } void CallSite::print(ostream &o) const { if (_caller_consts_ref) o << _caller_consts_ref->invocation_sites() << "->" << _caller_consts_ref->proc_data_ref->entry().routine_guarded(); else o << "<MAIN>"; o << ":" << call_tag(); } int CallSite::structures_OK() const { return (call_tag().structures_OK()); } /// Constructors IPCPConstants::IPCPConstants() { _constants = new Map<Symbol,Expression>; _alias_sets = new AliasSets; } IPCPConstants::IPCPConstants(Map<Symbol,Expression> *constants, AliasSets *alias_sets) { p_assert(constants, "A NULL constants field was given to the IPCPConstants constructor."); p_assert(alias_sets, "A NULL alias_sets field was given to the IPCPConstants constructor."); _constants = constants; /// ... Make sure no constant expression uses a variable belonging to another /// ... constant. subst_vars_in_map(*constants, *constants); _alias_sets = alias_sets; proc_data_ref = 0; } IPCPConstants::IPCPConstants(const IPCPConstants &other) { _constants = new Map<Symbol,Expression>(*other._constants); _alias_sets = new AliasSets(*other._alias_sets); _invocation_sites = other._invocation_sites; proc_data_ref = other.proc_data_ref; } /// Destructor IPCPConstants::~IPCPConstants() { delete _constants; delete _alias_sets; } /// operator == int IPCPConstants::operator == (const IPCPConstants &other) const { if (_constants->entries() != other._constants->entries()) return 0; else { KeyIterator<Symbol, Expression> iter = *_constants; for ( ; iter.valid(); ++iter) { Expression *other_const = other._constants->find_ref(iter.current_key()); if (! other_const || iter.current_data() != *other_const) return 0; } } return 1; } /// add_invocation_path void IPCPConstants::add_invocation_site(CallSite *invocation_site) { _invocation_sites.ins(invocation_site); } /// merge_invocation_paths void IPCPConstants::merge_invocation_sites(IPCPConstants *other) { Mutator<CallSite> iter = other->_invocation_sites; for ( ; iter.valid(); ++iter) add_invocation_site(iter.grab()); delete other; } /// contains_var_not_in_set /// Return true if the expression contains a variable not in /// the given set. static Boolean _contains_vars_not_in_set(const Expression &expr, const RefSet<Symbol> &keepable_vars) { if (expr.op() == ID_OP) { return (expr.symbol().sym_class() == VARIABLE_CLASS && ! keepable_vars.member(expr.symbol())); } else { Iterator<Expression> arg_iter = expr.arg_list(); for ( ; arg_iter.valid(); ++arg_iter) if (_contains_vars_not_in_set(arg_iter.current(), keepable_vars)) return True; } return False; } /// filter_out_local_vars /// Filter out all local symbols from the given map. void IPCPConstants::filter_out_vars_not_in_set(const RefSet<Symbol> &keepable_lhs_vars, const RefSet<Symbol> &keepable_rhs_vars) { RefSet<Symbol> *mod_vars = modified_vars(*_constants); Iterator<Symbol> mod_var_iter = *mod_vars; for ( ; mod_var_iter.valid(); ++mod_var_iter) { Symbol &var = mod_var_iter.current(); if (! keepable_lhs_vars.member(var) || _contains_vars_not_in_set((*_constants)[var], keepable_rhs_vars)) _constants->del(var); } delete mod_vars; } /// listable_clone Listable * IPCPConstants::listable_clone() const { return new IPCPConstants(*this); } /// print_constants void IPCPConstants::print_constants(ostream &o) const { o << "{"; KeyIterator<Symbol, Expression> iter = *_constants; if (iter.valid()) { o << iter.current_key().name_ref() << "=" << iter.current_data(); ++iter; for ( ; iter.valid(); ++iter) o << ", " << iter.current_key().name_ref() << "=" << iter.current_data(); } o << "}"; } /// print void IPCPConstants::print(ostream &o) const { o << "["; o << "constants="; print_constants(o); o << ", invoke_sites=" << _invocation_sites; o << ", alias_sets="; _alias_sets->print(o); o << "]"; } /// structures_OK int IPCPConstants::structures_OK() const { return _constants->structures_OK(); }

© 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:05:56 2005