liveness.hh

Go to the documentation of this file.

#ifndef LIVENESS_LIVENESS_HH
# define LIVENESS_LIVENESS_HH

# include <map>

# include <boost/graph/reverse_graph.hpp>

# include <temp/temp-set.hh>
# include <assem/libassem.hh>
# include <liveness/flowgraph.hh>

namespace liveness
{

  class Liveness : public FlowGraph<temp::temp_set_type>
  {
  public:
    typedef FlowGraph<temp::temp_set_type> super_type;

  public:
    typedef std::map<vertex_descriptor, temp::temp_set_type> livemap_type;

  public:
    Liveness(const std::string& name,
             const assem::Instrs& instrs,
             const temp::TempMap& tempmap);

    const livemap_type& liveout_get() const;
    const livemap_type& livein_get() const;

  private:
    livemap_type in;
    livemap_type out;
  };

  /*------------.
  | Iterators.  |
  `------------*/

  typedef boost::graph_traits<Liveness>::vertex_iterator
    liveness_vertex_iter_type;
  typedef boost::graph_traits<Liveness>::edge_iterator
    liveness_edge_iter_type;
  typedef boost::graph_traits<Liveness>::adjacency_iterator
    liveness_neighb_iter_type;
  typedef boost::graph_traits<boost::reverse_graph <Liveness>>::
    adjacency_iterator
  reverse_liveness_neighb_iter_type;

} // namespace liveness

#endif // !LIVENESS_LIVENESS_HH