PandA-2024.02
|
#include <FSM_NI_SSA_liveness.hpp>
Public Member Functions | |
FSM_NI_SSA_liveness (const ParameterConstRef _parameters, const HLS_managerRef HLSMgr, unsigned int funId, const DesignFlowManagerConstRef design_flow_manager) | |
Constructor. More... | |
~FSM_NI_SSA_liveness () override | |
Destructor. More... | |
DesignFlowStep_Status | InternalExec () override |
Execute the step. More... | |
void | Initialize () override |
Initialize the step (i.e., like a constructor, but executed just before exec. More... | |
Public Member Functions inherited from liveness_computer | |
liveness_computer (const ParameterConstRef Param, const HLS_managerRef HLSMgr, unsigned int funId, const DesignFlowManagerConstRef design_flow_manager, const HLSFlowStep_Type hls_flow_step_type) | |
Constructor. More... | |
~liveness_computer () override | |
Destructor. 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... | |
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... | |
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 liveness_computer | |
const CustomUnorderedSet< std::tuple< HLSFlowStep_Type, HLSFlowStepSpecializationConstRef, HLSFlowStep_Relationship > > | ComputeHLSRelationships (const DesignFlowStep::RelationshipType relationship_type) const override |
Compute the relationship of this 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... | |
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... | |
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 50 of file FSM_NI_SSA_liveness.hpp.
FSM_NI_SSA_liveness::FSM_NI_SSA_liveness | ( | const ParameterConstRef | _parameters, |
const HLS_managerRef | _HLSMgr, | ||
unsigned int | _funId, | ||
const DesignFlowManagerConstRef | _design_flow_manager | ||
) |
Constructor.
Autoheader include.
design_flow_manager | is the design flow manager |
. include behavior includes hls includes HLS/liveness include hls/memory include hls/stg includes tree includes utility include
Definition at line 84 of file FSM_NI_SSA_liveness.cpp.
References DesignFlowStep::debug_level, FSM_NI_SSA_LIVENESS, GET_CLASS, DesignFlowStep::parameters, and ~FSM_NI_SSA_liveness().
|
overridedefault |
|
overridevirtual |
Initialize the step (i.e., like a constructor, but executed just before exec.
Reimplemented from HLSFunctionStep.
Definition at line 93 of file FSM_NI_SSA_liveness.cpp.
References HLSFunctionStep::HLS, HLS_step::HLSMgr, HLSFunctionStep::Initialize(), DesignFlowStep::parameters, and hls::Rliv.
|
overridevirtual |
Execute the step.
Map between basic block node index and vertices
compute which operation defines a variable (add_op_definition) compute in which states an operation complete the computation (add_state_for_ending_op) compute the set of supporting states compute the set of dummy states
compute live_out
compute the live in of a state by traversing the state list in topological order
fix the live in/out of dummy states
add all the uses of ds to src_state
extend the lifetime of used variable to reduce the critical path
compute in which state an operation is in execution compute state in relation: on which transition a variable is live in compute state out relation: on which transition a variable is live out
now we look for the last state with operations belonging to basic block bb_index
print the analysis result
Implements HLSFunctionStep.
Definition at line 156 of file FSM_NI_SSA_liveness.cpp.
References liveness::add_dummy_state(), liveness::add_name(), liveness::add_op_definition(), liveness::add_state_for_ending_op(), liveness::add_state_for_running_op(), liveness::add_state_in_for_var(), liveness::add_state_out_for_var(), liveness::add_support_state(), StateTransitionGraphManager::CGetAstg(), FunctionBehavior::CGetBBGraph(), BBGraph::CGetBBGraphInfo(), BBGraph::CGetBBNodeInfo(), FunctionBehavior::CGetBehavioralHelper(), FunctionBehavior::CGetOpGraph(), OpGraph::CGetOpNodeInfo(), StateTransitionGraphManager::CGetStg(), DesignFlowStep::debug_level, DEBUG_LEVEL_PEDANTIC, DEBUG_LEVEL_VERY_PEDANTIC, DEFINITION, FunctionBehavior::DFG, FunctionBehavior::FBB, hls::functionId, HLSFunctionStep::funId, get_bb_index_from_state_info(), StateTransitionGraphManager::get_entry_state(), StateTransitionGraphManager::get_exit_state(), BehavioralHelper::get_function_name(), liveness::get_live_in(), liveness::get_live_out(), GET_NAME, StateTransitionGraphManager::get_state_name(), GET_TYPE, HLSFunctionStep::HLS, HLS_step::HLSMgr, INDENT_DBG_MEX, tree_helper::is_parameter(), tree_helper::is_ssa_name(), tree_helper::is_virtual(), NULL_VERTEX, PRINT_DBG_MEX, PRINT_DBG_STRING, BehavioralHelper::PrintVariable(), hls::Rliv, SCALAR, liveness::set_live_in(), liveness::set_live_out(), hls::STG, STR, SUCCESS, lenet_tvm::target, THROW_ASSERT, THROW_ERROR, TYPE_NOP, TYPE_PHI, update_liveout_with_prev(), and USE.