conflict_table.h

Go to the documentation of this file.

#ifndef CONFLICT_TABLE_H_INCLUDED_
#define CONFLICT_TABLE_H_INCLUDED_

#include<utility>

#include "rose.h"

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

namespace risc {

class PathInstanceMapper;

namespace sg {

class ConflictTable {

public:

  ConflictTable(
      SegmentGraph &segment_graph,
      PathInstanceMapper *path_instance_mapper,
      bool debugging = false);

  ~ConflictTable();

  VertexDescriptor *vertex_lookup_;

  int size_of_conflict_table_;

  int max_instances_with_thread_;

  int max_instances_;

  int number_of_segments_;

  int **instance_id_to_index_lookup_;

  bool **conflict_table_;

  void print_conflict_table(std::string filename);

  void print_lookup_table(std::string filename);

  int segment_and_instance_id_to_index(int segment_id, int instance_id);

  std::pair<int, int> index_to_segment_and_instance_id(int index);

  bool has_conflict(int segment_id_1, int instance_id_1, int segment_id_2,
      int instance_id_2);

  void print_instance_id_to_index_lookup_table();

  void set_conflict(int segment_id_1, int instance_id_1,
      int segment_id_2, int instance_id_2);

  virtual void determine_conflict_table();

  VertexDescriptor segment_id_to_vertex_descriptor(int id);

  MappedVariableList
  get_mapped_variable(SgVariableSymbol *variable, int instance_id,
      bool dynamic_analysis);

  MappedVariableList
  get_mapped_variable_statically(SgVariableSymbol *variable, int instance_id);

  MappedVariableList
  get_mapped_variable_dynamically(SgVariableSymbol *variable, int instance_id);

  int get_max_instances(int segment_id);

  int
  get_channel_id(const SymbolWithPath &swp, int instance,
      bool dynamic_analysis);

  int get_channel_id_statically(const SymbolWithPath &swp, int instance);

  int get_channel_id_dynamically(const SymbolWithPath &swp, int instance);

  PathInstanceMapper *path_instance_mapper_;

  SegmentGraph &segment_graph_;

  // The following part is for debugging purposes
  struct ConflictInformation {
    std::set<Conflict> conflict_variables_;
    bool contains_sc_stop_;
    ConflictInformation():contains_sc_stop_(false){}
  };

  ConflictInformation **conflict_info_;

  bool debugging_;
};

}; // end of namesapce sg

}; // end of namespace risc

#endif /* CONFLICT_TABLE_H_INCLUDED_ */

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