Polaris: SSAFullRangeData.h Source File

SSAFullRangeData.h Go to the documentation of this file. #ifndef _SSA_FULL_RANGE_DATA_H #define _SSA_FULL_RANGE_DATA_H /// /// file SSAFullRangeData.h /// /// \class SSAFullRangeData /// \brief WorkSpace for propagate ranges /// \defgroup Polaris /// \ingroup Polaris /// Range /// \see SSAFullRangeData.h /// \see SSAFullRangeData.h /// \see SSAFullRangeData.cc /// /// \endcode /// \section Overview Overview /// This class holds an assortment of temporary data associated with /// a particular statement for the SSAFullRangesDict Constructor List /// #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 SSAFullRangeDict; class SSAFullRangeData; class SSAControlRangeDict; class SSARangeOrData : public Listable { public: inline SSARangeOrData(const Expression *range_ref); inline SSARangeOrData(SSAFullRangeData &data); inline SSARangeOrData(const SSARangeOrData &other); inline virtual ~SSARangeOrData(); 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 SSAFullRangeData 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 SSAFullRangeData &data(); ///< Return the SSAFullRangeData object stored in this object. ///< Will p_assert out if it isn't a SSAFullRangeData 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; SSAFullRangeData *_data_ref; }; }; class SSAFullRangeData : 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 SSAFullRangeDict::_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,SSARangeOrData> 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<SSAFullRangeData> 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. SSAFullRangeData(const Statement &stmt, int timestamp, SSAFullRangeDict &range_dict, int debug = 0); SSAFullRangeData(const SSAFullRangeData &other); virtual ~SSAFullRangeData(); inline int timestamp() const; ///< Return the timestamp of myself. The timestamp is used to discern ///< different invocations of SSAFullRangeDict::_get_data_range_ref(), ///< so as to avoid infinite loops by poisoning SSAFullRangeData 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<SSAFullRangeData> *succs() const; ///< Return all SSAFullRangeData 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. SSAControlRangeDict *_control_ranges_ref; ///< Control ranges for the program. 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 SSARangeOrData::SSARangeOrData(const Expression *range) { _is_range = true; _range_ref = range; } inline SSARangeOrData::SSARangeOrData(SSAFullRangeData &data) { _is_range = false; _data_ref = &data; } inline SSARangeOrData::SSARangeOrData(const SSARangeOrData &other) { _is_range = other._is_range; _range_ref = other._range_ref; ///< _data_ref = other._data_ref; } inline SSARangeOrData::~SSARangeOrData() { ///< Nothing to do. } inline bool SSARangeOrData::is_range() const { return _is_range; } inline bool SSARangeOrData::is_data() const { return ! _is_range; } inline const Expression * SSARangeOrData::range_ref() const { p_assert(_is_range, "SSARangeORData object does not contain a range object."); return _range_ref; } inline SSAFullRangeData & SSARangeOrData::data() { p_assert(! _is_range, "SSARangeORData object does not contain a SSAFullRangeData object."); return *_data_ref; } inline Listable * SSARangeOrData::listable_clone() const { return new SSARangeOrData(*this); } inline int SSARangeOrData::structures_OK() const { return 1; } inline const Statement & SSAFullRangeData::stmt() const { return *_stmt_ref; } inline int SSAFullRangeData::timestamp() const { return _timestamp; } inline const Expression * SSAFullRangeData::range_ref() const { return _range; } inline Expression * SSAFullRangeData::grab_range() { Expression *range = _range; _range = 0; return range; } #endif

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