Polaris: PropRangeWS.h Source File

PropRangeWS.h Go to the documentation of this file. #ifndef _PROP_RANGE_WS_H #define _PROP_RANGE_WS_H /// /// file PropRangeWS.h /// /// \class PropRangeWS /// \brief WorkSpace for propagate ranges /// \defgroup Polaris /// \ingroup Polaris /// Range /// \see PropRangeWS.h /// \see PropRangeWS.h /// \see PropRangeWS.cc /// /// \endcode /// \section Overview Overview /// This class holds an assortment of temporary data associated with /// a particular statement for the AIRangesDict Constructor. /// #include "../WorkSpace.h" #include "../Symbol/Symbol.h" #include "../Statement/Statement.h" #include "../Collection/List.h" #include "../Collection/RefSet.h" /// #include "PropRangeEdge.h" #include "StmtRanges.h" /// class PropRangeWS : public WorkSpace { public: PropRangeWS(unsigned long pass_tag, const Statement &stmt); PropRangeWS(const PropRangeWS &other); virtual ~PropRangeWS(); inline RefSet<Symbol> &mod_set() const; ///< Return the set of variables modified by this statement. inline const RefSet<Symbol> *loop_variants_ref() const; void loop_variants(RefSet<Symbol> *lv); ///< Access the set of variables that vary within the body of this ///< loop. inline int num_visits() const; ///< Return the number of visits made to this WorkSpace's Statement ///< by the iterative portion of the constant propagation pass. inline void incr_num_visits(); ///< Increment the number of visits by one. inline RefSet<PropRangeEdge> &pred() const; ///< Return the predecessors in the flow graph of this WorkSpace's ///< Statement. This set should be a superset of the statement's ///< pred set. inline List<PropRangeEdge> &succ() const; ///< Return the successors in the flow graph of this WorkSpace's ///< Statement. This set should be a superset of the statement's ///< succ set. Unlike the pred operator, the workspace owns its ///< successor edges. inline bool needs_widening() const; inline void needs_widening(bool nw); ///< Reference the needs_widening field. Should be set to true if ///< the Workspace's constraint dictionary may eventually need to ///< have the widening operator applied to it. inline bool use_widener() const; inline void use_widener(bool uw); ///< Reference the use_widener field. Should be set to true if ///< the Workspace's constraint dictionary must have the widening ///< operator applied to it. (use_widener == true should imply ///< needs_widening == true) inline StmtRanges *ranges_ref() const; inline StmtRanges *grab_ranges(); void ranges(StmtRanges *c); ///< Access the Workspace's constraint dictionary. The ranges ///< in this dictionary is valid just before WorkSpace's statement ///< is executed. inline bool visited() const; inline void visited(bool v); ///< Reference the visited field. Has no relation to num_visits. inline int toporder() const; inline void toporder(int val); ///< Reference the toporder field. inline virtual Listable *listable_clone() const; virtual void print(ostream &o) const; virtual int structures_OK() const; ///< Functions required by Listable. private: RefSet<Symbol> _mod_set; ///< Set of variables that are modified. RefSet<Symbol> *_loop_variants; ///< Set of variant vars for this loop. StmtRanges *_ranges; ///< Mapping of vars to their ranges RefSet<PropRangeEdge> _pred; ///< Predecessor in the flow graph List<PropRangeEdge> _succ; ///< Successors in the flow graph int _num_visits; ///< Number of visits made to this node. bool _visited; ///< True if visited by _calc_rpostorder int _toporder; ///< Reverse topological sort ordering bool _needs_widening; ///< Ranges eventually needs widener bool _use_widener; ///< Use widener on ranges void _add_to_mod_set(const RefSet<Expression> &refs); }; ///< inline functions inline RefSet<Symbol> & PropRangeWS::mod_set() const { return (RefSet<Symbol> &) _mod_set; } inline const RefSet<Symbol> * PropRangeWS::loop_variants_ref() const { return _loop_variants; } inline int PropRangeWS::num_visits() const { return _num_visits; } inline void PropRangeWS::incr_num_visits() { ++_num_visits; } inline RefSet<PropRangeEdge> & PropRangeWS::pred() const { return (RefSet<PropRangeEdge> &) _pred; } inline List<PropRangeEdge> & PropRangeWS::succ() const { return (List<PropRangeEdge> &) _succ; } inline bool PropRangeWS::visited() const { return _visited; } inline void PropRangeWS::visited(bool v) { _visited = v; } inline bool PropRangeWS::needs_widening() const { return _needs_widening; } inline void PropRangeWS::needs_widening(bool nw) { _needs_widening = nw; } inline bool PropRangeWS::use_widener() const { return (int) _use_widener && (int) _needs_widening; } inline void PropRangeWS::use_widener(bool uw) { _use_widener = uw; } inline int PropRangeWS::toporder() const { return _toporder; } inline void PropRangeWS::toporder(int val) { _toporder = val; } inline StmtRanges * PropRangeWS::ranges_ref() const { return (StmtRanges *) _ranges; } inline StmtRanges * PropRangeWS::grab_ranges() { StmtRanges *c = _ranges; _ranges = 0; return c; } inline Listable * PropRangeWS::listable_clone() const { return new PropRangeWS(*this); } #endif

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