/local/lecs/lecs/risc_v0.4.2/sources/build/risc_v0.4.2/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
#include "port_call_path.h"

namespace risc {

namespace sg {

class Segment {

public:


  std::string module_name;
  bool is_fake_segment;
  bool is_simulation_process_segment;
  int relative_seg_id;
  std::string starting_segment_for_function;
  std::string leaving_segment_for_function;
  std::string fake_segment_function_call_name;
  
  int psg_id;
  
  std::vector<SgVariableSymbol*> wait_event_symbols;
  
  std::vector<SgVariableSymbol*> notify_event_symbols;
  
  int node_id_;
  
  static int node_counter;
  
  enum ERead {NonRead = 0, Read = 1};
  enum EWrite {NonWrite = 0, Write = 1};

  //typedef std::vector<const SgStatement*> Statements;
  typedef std::list<NodeWithPath> 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(SgNode * boundary_node, bool inlined_segment, int psg_id_ = 0, bool is_fake_segment_ = false, bool is_simulation_process_segment_ = false);

  Segment(const Segment &other);

  
  PortCallPath pcp_;

  void analyze_segment();

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

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

  //void add_expression(SgNode* node, PortCallPath pcp);
  void add_expression(NodeWithPath nwp);

  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 * boundary_node_;

  static int id_counter;

  boost::default_color_type color_;

  std::list<SymbolWithPath> read_variables_;

  std::list<SymbolWithPath> 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: */

---