/local/lecs/lecs/risc_v0.2.1/sources/build/risc_v0.2.1/src/segment_graph/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 "segment_graph.h"
#include "segment.h"
#include "conflict_table.h"

#include "../internal_representation/path_instance_mapper.h"
#include "data_conflict_ast_attributes.h"


namespace risc {

namespace sg {

class DataConflictTable: public ConflictTable {

public:

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

  virtual void determine_conflict_table();

  bool data_conflict_between(VertexDescriptor first, VertexDescriptor second,
           int row, int column, int inst_id_first, int inst_id_second);

  void color_members_of_class(SgVariableSymbol *var_symbol,
           DataConflictAstAttributes::Status color);

  void uncolor_members_of_class(SgVariableSymbol *var_symbol);

  bool check_members_of_class(SgVariableSymbol *var_symbol,
           DataConflictAstAttributes::Status color);

  SgVariableSymbol*
  get_mapped_variable(SgVariableSymbol *variable, int instance_id);
};


}; // end of namesapce sg

}; // end of namespace risc

#endif /* DATA_CONFLICT_TABLE_H_INCLUDED_ */

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

---