data_conflict_table.h

Go to the documentation of this file.

#ifndef DATA_CONFLICT_TABLE_H_INCLUDED_
#define DATA_CONFLICT_TABLE_H_INCLUDED_

#include<vector>
#include<utility>

#include "rose.h"

#include "segment_graph.h" // needed for VertexDescriptor
#include "conflict_table.h"
#include "mapped_variable.h" // needed for MappedVariable
#include "data_conflict_ast_attributes.h" //needed for DataConflictAstAttributes

namespace risc {

namespace sg {

class DataConflictTable: public ConflictTable {

public:

  DataConflictTable(
      SegmentGraph &graph,
      PathInstanceMapper *path_instance_mapper,
      bool debugging);

  virtual void determine_conflict_table();

  void
  color_members_of_class(const MappedVariable &variable,
      DataConflictAstAttributes::Status color);

  bool check_members_of_class(const MappedVariable &mapped_variable,
           DataConflictAstAttributes::Status color,
           std::set<Conflict> &conflicts);

  bool
  data_conflict_between(
      Segment &first_seg,
      Segment &second_seg,
      int row, int column,
      int inst_id_first, int inst_id_second,
      bool dynamic_analysis);

  bool is_conflict_free_variable(SgVariableSymbol *symbol);

  void color_symbol(
      const MappedVariable &variable, DataConflictAstAttributes::Status color);
};


}; // end of namesapce sg

}; // end of namespace risc

#endif /* DATA_CONFLICT_TABLE_H_INCLUDED_ */

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