Polaris: BaseStmtRanges.cc Source File

BaseStmtRanges.cc Go to the documentation of this file. /// /// /// \file BaseStmtRanges.cc /// #include <limits.h> #include "../Expression/Expression.h" #include "../Collection/Iterator.h" #include "../Collection/KeyIterator.h" #include "../Collection/RefSet.h" #include "../Collection/RefList.h" #include "../utilities/expression_util.h" #include "../Symtab.h" #include "BaseStmtRanges.h" #include "RangeExpr.h" #include "range_util.h" #include "range_dict_util.h" /// BaseStmtRanges BaseStmtRanges::BaseStmtRanges(const Symtab &symtab) : RangeComparator(symtab) { /// ... nothing to do } BaseStmtRanges::BaseStmtRanges(const BaseStmtRanges &other) : RangeComparator(other) { /// ... Nothing to do. } /// ~BaseStmtRanges BaseStmtRanges::~BaseStmtRanges() { /// ... nothing to do } /// union_ranges void BaseStmtRanges::union_ranges(BaseStmtRanges &other) { RefSet<Symbol> *vars = range_vars(); Iterator<Symbol> iter = *vars; for ( ; iter.valid(); ++iter) { const Expression *union_expr = other._get_range_ref_c(iter.current()); if (union_expr) union_range(iter.current(), *union_expr, &other); else del_range(iter.current()); } delete vars; } /// widen_some_ranges void BaseStmtRanges::widen_some_ranges(BaseStmtRanges &other, const RefSet<Symbol> &vars_to_widen) { Iterator<Symbol> iter = vars_to_widen; for ( ; iter.valid(); ++iter) { const Expression *widen_expr = other._get_range_ref_c(iter.current()); if (widen_expr) widen_range(iter.current(), *widen_expr); else del_range(iter.current()); } } /// widen_ranges void BaseStmtRanges::widen_ranges(BaseStmtRanges &other) { RefSet<Symbol> *vars = range_vars(); widen_some_ranges(other, *vars); delete vars; } /// narrow_ranges void BaseStmtRanges::narrow_ranges(BaseStmtRanges &other) { RefSet<Symbol> *vars = range_vars(); Iterator<Symbol> iter = *vars; for ( ; iter.valid(); ++iter) { const Expression *narrow_expr = other._get_range_ref_c(iter.current()); if (narrow_expr) narrow_range(iter.current(), *narrow_expr); } delete vars; } /// extract_ranges void BaseStmtRanges::extract_ranges(const Expression &expr, bool complement_expr GIV(false)) { Map< Symbol, Set<Expression> > *ranges = ::extract_ranges(expr, complement_expr); KeyIterator< Symbol, Set<Expression> > var_iter = *ranges; for ( ; var_iter.valid(); ++var_iter) { const Symbol &var = var_iter.current_key(); Iterator<Expression> range_iter = var_iter.current_data(); for ( ; range_iter.valid(); ++range_iter) intersect_range(var, range_iter.current()); } delete ranges; } /// subst_in_ranges void BaseStmtRanges::subst_in_ranges(const Symbol &var, const Expression *subst_expr) { RefSet<Symbol> *vars = range_vars(); Iterator<Symbol> iter = *vars; for ( ; iter.valid(); ++iter) { const Expression *orig_expr = _get_range_ref_c(iter.current()); if (orig_expr && is_var_in_expr(*orig_expr, var)) { Expression *new_expr = subst_var_and_simplify(orig_expr->clone(), var, subst_expr); if (is_var_in_expr(*new_expr, iter.current())) new_expr = subst_var_and_simplify(new_expr, iter.current(), 0); set_range(iter.current(), new_expr); } } delete vars; } /// widen_range void BaseStmtRanges::widen_range(const Symbol &var, const Expression &widen_expr) { const Expression *old_range_ref = _get_range_ref_c(var); if (! old_range_ref || old_range_ref->op() == OMEGA_OP) return; if (_debug_level >= 1) cout << "Widening (" << *old_range_ref << ") with (" << widen_expr << ") for " << var.name_ref() << endl; Expression *result = ::widen_range(old_range_ref, &widen_expr, *this); set_range(var, result); if (_debug_level >= 1) { cout << " result(widen): "; if (result) cout << *result; else cout << "NULL"; cout << endl; } } /// narrow_range void BaseStmtRanges::narrow_range(const Symbol &var, const Expression &narrow_expr) { const Expression *old_range_ref = _get_range_ref_c(var); if (_debug_level >= 1) { cout << "Narrowing ("; if (old_range_ref) cout << *old_range_ref; else cout << "NULL"; cout << ") with (" << narrow_expr << ") for " << var.name_ref() << endl; } Expression *result = ::narrow_range(old_range_ref, &narrow_expr, *this); set_range(var, result); if (_debug_level >= 1) { cout << " result(widen): "; if (result) cout << *result; else cout << "NULL"; cout << endl; } } /// get_range_ref const Expression * BaseStmtRanges::get_range_ref(const Symbol &var) { return _get_range_ref_c(var); } /// operator = BaseStmtRanges & BaseStmtRanges::operator = (const BaseStmtRanges &other) { if (this != &other) RangeComparator::operator=(other); return *this; } /// operator == int BaseStmtRanges::operator == (const BaseStmtRanges &other) const { if (entries() != other.entries()) return 0; else { RefSet<Symbol> *vars = range_vars(); Iterator<Symbol> iter = *vars; for ( ; iter.valid(); ++iter) { const Expression *my_range = _get_range_ref_c(iter.current()); p_assert(my_range, "Set returned by range_vars() contains a var without a range."); const Expression *other_range = other._get_range_ref_c(iter.current()); if (! other_range || my_range->compare(*other_range) != 0) return 0; } delete vars; } return 1; } /// operator != int BaseStmtRanges::operator != (const BaseStmtRanges &other) const { return ! (*this == other); } /// print void BaseStmtRanges::print(ostream &o) const { RefSet<Symbol> *vars = range_vars(); Iterator<Symbol> iter = *vars; bool first = true; o << "{"; RangeComparator::print(o); o << ", "; o << "{"; for ( ; iter.valid(); ++iter) { if (! first) o << ", "; else first = false; o << iter.current().name_ref() << ": " << *_get_range_ref_c(iter.current()); } delete vars; o << "}"; o << "}"; } /// pretty_print void BaseStmtRanges::pretty_print(ostream &o) const { RefSet<Symbol> *vars = range_vars(); RefList<Symbol> sorted_keys; Iterator<Symbol> c_iter = *vars; for ( ; c_iter.valid(); ++c_iter) sorted_keys.ins_last(c_iter.current()); delete vars; sort_sym_list(sorted_keys); Iterator<Symbol> key_iter = sorted_keys; bool first = true; o << "{"; for ( ; key_iter.valid(); ++key_iter) { if (! first) o << ", "; else first = false; const Symbol &var = key_iter.current(); const Expression &value = *_get_range_ref_c(var); pretty_print_range(o, value, var); } o << "}"; } /// structures_OK int BaseStmtRanges::structures_OK() const { return RangeComparator::structures_OK(); }

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