/local/lecs/lecs/risc_v0.4.0/sources/build/risc_v0.4.0/src/segment_graph/segment.h

Go to the documentation of this file.

#ifndef SEGMENT_H_INCLUDED_
#define SEGMENT_H_INCLUDED_

#include<vector>
#include<set>
#include<iostream>

#include "rose.h"
#include "boost/graph/properties.hpp" // needed for color

#include "mapped_variable.h" // needed for Conflict

#include "time.h" // needed for Time

namespace risc {

namespace sg {

class Segment {

public:
  enum ERead {NonRead = 0, Read = 1};
  enum EWrite {NonWrite = 0, Write = 1};

  //typedef std::vector<const SgStatement*> Statements;
  typedef std::vector<SgNode*> Expressions;
  boost::default_color_type color;

  enum Status {Untouched = 0, Touched = 1};
  Status color_for_communication_graph_;
  Status helper_for_graph_algorithms_;

  Expressions expressions_;

  bool debugging_;
  bool inlined_segment_;

  bool is_channel_segment_;
  int wait_offset_;

  std::set<Conflict> conflicts_;

  Segment(SgNode const * const boundary_node, bool inlined_segment);

  Segment(const Segment &other);

  void analyze_segment();

  void analyze_expression(SgNode *expression, ERead read, EWrite write);

  friend std::ostream& operator<< (std::ostream &out, const Segment &segment)
  {
    return out;
  }

  void add_expression(SgNode* node);

  bool operator==(const Segment &other);

  /*
   * \brief Merges the other segment in this segment.
   *        No statement will be doubled
   */
  void merge(const Segment &other);

  int id_;

  SgNode const * const boundary_node_;

  static int id_counter;

  boost::default_color_type color_;

  std::list<SgVariableSymbol*> read_variables_;

  std::list<SgVariableSymbol*> write_variables_;

  bool calls_conflict_function_;

  Time get_min_waiting_time();


  bool deref_pointer_read_;
  bool deref_pointer_write_;
  bool waits_for_time_;

private:
  bool waits_for_time();
};

} // end of namespace sg

} // end of namespace risc

#endif /* SEGMENT_H_INCLUDED_ */

/* ex: set softtabstop=2 tabstop=2 shiftwidth=2 expandtab: */

---