PandA-2024.02
|
#include <compatibility_based_register.hpp>
Data Structures | |
struct | edge_compatibility_property |
edge property More... | |
Public Member Functions | |
compatibility_based_register (const ParameterConstRef Param, const HLS_managerRef HLSMgr, unsigned int funId, const DesignFlowManagerConstRef design_flow_manager, const HLSFlowStep_Type hls_flow_step_type, const HLSFlowStepSpecializationConstRef hls_flow_step_specialization=HLSFlowStepSpecializationConstRef()) | |
Constructor. More... | |
~compatibility_based_register () override | |
void | create_compatibility_graph () |
Creates the compatibility graph. More... | |
bool | is_compatible (unsigned int sv1, unsigned int sv2) const |
Checks if two storage values are compatible. More... | |
Public Member Functions inherited from reg_binding_creator | |
reg_binding_creator (const ParameterConstRef Param, const HLS_managerRef HLSMgr, unsigned int funId, const DesignFlowManagerConstRef design_flow_manager, const HLSFlowStep_Type hls_flow_step_type, const HLSFlowStepSpecializationConstRef hls_flow_step_specialization=HLSFlowStepSpecializationConstRef()) | |
Constructor. More... | |
DesignFlowStep_Status | InternalExec () final |
Execute the step. More... | |
Public Member Functions inherited from HLSFunctionStep | |
HLSFunctionStep (const ParameterConstRef Param, const HLS_managerRef HLSMgr, unsigned int funId, const DesignFlowManagerConstRef design_flow_manager, const HLSFlowStep_Type hls_flow_step_type, const HLSFlowStepSpecializationConstRef hls_flow_step_specialization=HLSFlowStepSpecializationConstRef()) | |
Constructor. More... | |
~HLSFunctionStep () override | |
Destructor. More... | |
bool | HasToBeExecuted () const override |
Check if this step has actually to be executed. More... | |
void | Initialize () override |
Initialize the step (i.e., like a constructor, but executed just before exec. More... | |
std::string | GetSignature () const final |
Return a unified identifier of this design step. More... | |
std::string | GetName () const final |
Return the name of this design step. More... | |
DesignFlowStep_Status | Exec () final |
Execute the step. More... | |
Public Member Functions inherited from HLS_step | |
HLS_step (const ParameterConstRef _parameters, const HLS_managerRef HLSMgr, const DesignFlowManagerConstRef design_flow_manager, const HLSFlowStep_Type hls_flow_step_type, const HLSFlowStepSpecializationConstRef hls_flow_step_specialization=HLSFlowStepSpecializationConstRef()) | |
Constructor. More... | |
~HLS_step () override | |
Destructor. More... | |
std::string | GetSignature () const override |
Return a unified identifier of this design step. More... | |
std::string | GetName () const override |
Return the name of this design step. More... | |
virtual std::string | GetKindText () const |
Return the name of the type of this frontend flow step. More... | |
DesignFlowStepFactoryConstRef | CGetDesignFlowStepFactory () const final |
Return the factory to create this type of steps. More... | |
void | ComputeRelationships (DesignFlowStepSet &design_flow_step_set, const DesignFlowStep::RelationshipType relationship_type) override |
Compute the relationships of a step with other steps. More... | |
Public Member Functions inherited from DesignFlowStep | |
DesignFlowStep (const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
virtual | ~DesignFlowStep () |
Destructor. More... | |
DesignFlowStep_Status | GetStatus () const |
Return the status of this design step. More... | |
virtual void | WriteDot (std::ostream &out) const |
Write the label for a dot graph. More... | |
bool | IsComposed () const |
Returns if this step is composed. More... | |
int | CGetDebugLevel () const |
Return the debug level of the step. More... | |
virtual void | PrintInitialIR () const |
Dump the initial intermediate representation. More... | |
virtual void | PrintFinalIR () const |
Dump the final intermediate representation. More... | |
Protected Types | |
using | compatibility_graph = boost::adjacency_matrix< boost::undirectedS, boost::no_property, edge_compatibility_property > |
using | CG_vertex_descriptor = boost::graph_traits< compatibility_graph >::vertex_descriptor |
using | CG_vertices_size_type = boost::graph_traits< compatibility_graph >::vertices_size_type |
Protected Attributes | |
compatibility_graph * | CG |
compatibility graph More... | |
std::vector< CG_vertex_descriptor > | verts |
ordered vector containing the vertices of the compatibility graph More... | |
Protected Attributes inherited from reg_binding_creator | |
unsigned int | register_lower_bound |
lower bound More... | |
Protected Attributes inherited from HLSFunctionStep | |
std::map< unsigned int, unsigned int > | last_bb_ver |
last bb version of the called functions More... | |
std::map< unsigned int, unsigned int > | last_bitvalue_ver |
The version of bit value IR representation on which this step was applied. More... | |
const unsigned int | funId |
identifier of the function to be processed (0 means that it is a global step) More... | |
hlsRef | HLS |
HLS data structure of the function to be analyzed. More... | |
unsigned int | bb_version |
The version of bb intermediate representation on which this step was applied. More... | |
unsigned int | bitvalue_version |
The version of bitvalue on which this step was applied. More... | |
unsigned int | memory_version |
The version of memory representation on which this step was applied. More... | |
Protected Attributes inherited from HLS_step | |
const HLS_managerRef | HLSMgr |
information about all the HLS synthesis More... | |
const HLSFlowStep_Type | hls_flow_step_type |
The type of this step. More... | |
const HLSFlowStepSpecializationConstRef | hls_flow_step_specialization |
The information about specialization. More... | |
Protected Attributes inherited from DesignFlowStep | |
bool | composed |
True if this step represents a composition of design flow steps (e.g., a flow); must be set by specialized constructors. More... | |
const Wrefcount< const DesignFlowManager > | design_flow_manager |
The design flow manager. More... | |
const ParameterConstRef | parameters |
Set of input parameters. More... | |
int | debug_level |
The debug level. More... | |
const int | output_level |
The output level. More... | |
Additional Inherited Members | |
Public Types inherited from DesignFlowStep | |
enum | RelationshipType { DEPENDENCE_RELATIONSHIP, INVALIDATION_RELATIONSHIP, PRECEDENCE_RELATIONSHIP } |
The relationship type. More... | |
Static Public Member Functions inherited from HLSFunctionStep | |
static std::string | ComputeSignature (const HLSFlowStep_Type hls_flow_step_type, const HLSFlowStepSpecializationConstRef hls_flow_step_specialization, const unsigned int function_id) |
Compute the signature of a hls flow step. More... | |
Static Public Member Functions inherited from HLS_step | |
static std::string | EnumToName (const HLSFlowStep_Type hls_flow_step_type) |
Given a HLS flow step type, return the name of the type. More... | |
static const std::string | ComputeSignature (const HLSFlowStep_Type hls_flow_step_type, const HLSFlowStepSpecializationConstRef hls_flow_step_specialization) |
Compute the signature of a hls flow step. More... | |
Protected Member Functions inherited from reg_binding_creator | |
virtual DesignFlowStep_Status | RegisterBinding ()=0 |
const CustomUnorderedSet< std::tuple< HLSFlowStep_Type, HLSFlowStepSpecializationConstRef, HLSFlowStep_Relationship > > | ComputeHLSRelationships (const DesignFlowStep::RelationshipType relationship_type) const override |
Return the set of analyses in relationship with this design step. More... | |
Protected Member Functions inherited from HLSFunctionStep | |
void | ComputeRelationships (DesignFlowStepSet &design_flow_step_set, const DesignFlowStep::RelationshipType relationship_type) override |
Compute the relationships of a step with other steps. More... | |
Static Protected Attributes inherited from HLS_step | |
static CustomUnorderedMap< std::string, HLSFlowStep_Type > | command_line_name_to_enum |
Map hls step name to enum. More... | |
Definition at line 51 of file compatibility_based_register.hpp.
|
protected |
Definition at line 74 of file compatibility_based_register.hpp.
|
protected |
Definition at line 75 of file compatibility_based_register.hpp.
|
protected |
Definition at line 73 of file compatibility_based_register.hpp.
compatibility_based_register::compatibility_based_register | ( | const ParameterConstRef | Param, |
const HLS_managerRef | HLSMgr, | ||
unsigned int | funId, | ||
const DesignFlowManagerConstRef | design_flow_manager, | ||
const HLSFlowStep_Type | hls_flow_step_type, | ||
const HLSFlowStepSpecializationConstRef | hls_flow_step_specialization = HLSFlowStepSpecializationConstRef() |
||
) |
Constructor.
HLS/binding/storage_value_insertion includes.
design_flow_manager | is the design flow manager |
Definition at line 60 of file compatibility_based_register.cpp.
References ~compatibility_based_register().
|
overridedefault |
void compatibility_based_register::create_compatibility_graph | ( | ) |
Creates the compatibility graph.
compatibility graph creation
we consider only valuable sharing between registers
Definition at line 72 of file compatibility_based_register.cpp.
References StorageValueInformation::are_value_bitsize_compatible(), CG, StorageValueInformation::get_compatibility_weight(), liveness::get_live_in(), StorageValueInformation::get_number_of_storage_values(), StorageValueInformation::get_storage_value_index(), liveness::get_support(), HLSFunctionStep::HLS, k, max, reg_binding_creator::register_lower_bound, hls::Rliv, hls::storage_value_information, THROW_ASSERT, U, and verts.
Referenced by weighted_clique_register::RegisterBinding().
bool compatibility_based_register::is_compatible | ( | unsigned int | sv1, |
unsigned int | sv2 | ||
) | const |
Checks if two storage values are compatible.
Definition at line 137 of file compatibility_based_register.cpp.
|
protected |
compatibility graph
Definition at line 78 of file compatibility_based_register.hpp.
Referenced by create_compatibility_graph(), is_compatible(), and weighted_clique_register::RegisterBinding().
|
protected |
ordered vector containing the vertices of the compatibility graph
Definition at line 81 of file compatibility_based_register.hpp.
Referenced by create_compatibility_graph(), is_compatible(), and weighted_clique_register::RegisterBinding().