Polaris: GSAFullRangeData.h Source File

GSAFullRangeData.h Go to the documentation of this file. #ifndef _GSA_FULL_RANGE_DATA_H #define _GSA_FULL_RANGE_DATA_H /// /// file GSAFullRangeData.h /// /// \class GSAFullRangeData /// \brief WorkSpace for propagate ranges /// \defgroup Polaris /// \ingroup Polaris /// Range /// \see GSAFullRangeData.h /// \see GSAFullRangeData.h /// \see GSAFullRangeData.cc /// /// \endcode /// \section Overview Overview /// This class holds an assortment of temporary data associated with /// a particular statement for the GSAFullRangesDict Constructor List /// #ifdef POLARIS_GNU_PRAGMAS #pragma interface #endif /// #include "../Collection/Element.h" #include "../Collection/Map.h" #include "../Collection/RefMap.h" #include "../Collection/RefList.h" #include "../Symbol/Symbol.h" #include "../Statement/Statement.h" #include "../Expression/Expression.h" /// #include "RangeAccessor.h" /// class GSAFullRangeDict; class GSAFullRangeData; class GSAControlRangeDict; class GSARangeOrData : public Listable { public: inline GSARangeOrData(const Expression *range_ref); inline GSARangeOrData(GSAFullRangeData &data); inline GSARangeOrData(const GSARangeOrData &other); inline virtual ~GSARangeOrData(); inline bool is_range() const; ///< Return true if the object is a range. inline bool is_data() const; ///< Return true if the object is a GSAFullRangeData object. inline const Expression *range_ref() const; ///< Return the range stored in this object. Will p_assert ///< out if it isn't a range. inline GSAFullRangeData &data(); ///< Return the GSAFullRangeData object stored in this object. ///< Will p_assert out if it isn't a GSAFullRangeData object. inline virtual Listable *listable_clone() const; virtual void print(ostream &o) const; inline virtual int structures_OK() const; ///< Functions required by Listable. private: bool _is_range; union { const Expression *_range_ref; GSAFullRangeData *_data_ref; }; }; class GSAFullRangeData : public Listable { public: bool is_phi_stmt; ///< true if my stmt is a phi assignment. bool is_poisoned; ///< true if my range is an overly conservative ///< value because it couldn't be computed ///< because one of the ranges it needed was ///< being computed by an earlier invocation ///< of GSAFullRangeDict::_get_data_range_ref(). bool needs_iteration; ///< Either myself or one of the ranges I ///< use need iteration to a fixed point to ///< compute my/its value. bool needs_widening; ///< One of my ranges I access is a back-edge. ///< So my range will need to be widened to ///< guarantee termination. bool are_all_args_defined; ///< Were all my phi-function argument's ranges ///< defined when I last computed my range. bool union_arg_ranges; ///< When performing the union() method, ///< union the ranges of my arguments rather ///< than the arguments themselves. RefList<Symbol> args; ///< List of all my arguments, in the preferred ///< order in which they should be visited. Map<Symbol,GSARangeOrData> arg_ranges_or_data; ///< The ranges or data for each of my ///< Phi-function's arguments. RefMap<Symbol,Statement> arg_preds; ///< The preceding statement for the entering ///< control flow edge labeled with the given arg int toporder; ///< Topological order value. int num_updates; ///< Number of times method update() was called RefSet<GSAFullRangeData> users; ///< The data objects that depend on my value. bool computed; ///< Has my range been completely computed. int df_order; ///< Depth first order value. int low_link; ///< Lowest df order of myself or my children. GSAFullRangeData(const Statement &stmt, int timestamp, GSAFullRangeDict &range_dict, int debug = 0); GSAFullRangeData(const GSAFullRangeData &other); virtual inline ~GSAFullRangeData(); inline int timestamp() const; ///< Return the timestamp of myself. The timestamp is used to discern ///< different invocations of GSAFullRangeDict::_get_data_range_ref(), ///< so as to avoid infinite loops by poisoning GSAFullRangeData objects. inline const Statement &stmt() const; ///< Return the statement this object is associated with. inline const Expression *range_ref() const; ///< Return the current value for the range for this statement. inline Expression *grab_range(); ///< Grab and return the current value for the range for this statement. bool update(bool in_widening_phase = true); ///< Update my range and bool state flags using the ranges and ///< state flags of my phi-function's arguments. ///< Return true if the update caused a change in my data. RefSet<GSAFullRangeData> *succs() const; ///< Return all GSAFullRangeData objects that I am dependent upon ///< to compute my value and have the same timestamp as myself. virtual Listable *listable_clone() const; virtual void print(ostream &o) const; virtual int structures_OK() const; ///< Functions required by Listable. private: int _timestamp; ///< Timestamp for this object. const Statement *_stmt_ref; ///< Statement which this workspace belongs to. RangeAccessor _accessor; ///< Accessor of all ranges for this stmt. GSAControlRangeDict *_control_ranges_ref; ///< Control ranges for the program. Element<Expression> _range; ///< Current computed range for this statement. int _debug_level; ///< Debug level for this class. Expression *_arg_full_range(const Symbol &arg); Expression *_union_args(bool &new_all_args_are_defined); }; ///< inline functions inline GSARangeOrData::GSARangeOrData(const Expression *range) { _is_range = true; _range_ref = range; } inline GSARangeOrData::GSARangeOrData(GSAFullRangeData &data) { _is_range = false; _data_ref = &data; } inline GSARangeOrData::GSARangeOrData(const GSARangeOrData &other) { _is_range = other._is_range; _range_ref = other._range_ref; ///< _data_ref = other._data_ref; } inline GSARangeOrData::~GSARangeOrData() { ///< Nothing to do. } inline bool GSARangeOrData::is_range() const { return _is_range; } inline bool GSARangeOrData::is_data() const { return ! _is_range; } inline const Expression * GSARangeOrData::range_ref() const { p_assert(_is_range, "GSARangeORData object does not contain a range object."); return _range_ref; } inline GSAFullRangeData & GSARangeOrData::data() { p_assert(! _is_range, "GSARangeORData object does not contain a GSAFullRangeData object."); return *_data_ref; } inline Listable * GSARangeOrData::listable_clone() const { return new GSARangeOrData(*this); } inline int GSARangeOrData::structures_OK() const { return 1; } inline GSAFullRangeData::~GSAFullRangeData() { ///< Nothing to do } inline const Statement & GSAFullRangeData::stmt() const { return *_stmt_ref; } inline int GSAFullRangeData::timestamp() const { return _timestamp; } inline const Expression * GSAFullRangeData::range_ref() const { return _range.valid() ? &(*_range) : 0; } inline Expression * GSAFullRangeData::grab_range() { return _range.valid() ? _range.grab() : 0; } #endif

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