43 #ifndef NI_SSA_LIVENESS_HPP 44 #define NI_SSA_LIVENESS_HPP This struct specifies the field bloc (basic block).
const CustomUnorderedSet< std::pair< FrontendFlowStepType, FunctionRelationship > > ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override
Return the set of analyses in relationship with this design step.
This struct specifies the statement_list node.
RelationshipType
The relationship type.
void Up_and_Mark(blocRef B, tree_nodeRef v, statement_list *sl)
Algorithm 5: Explore all paths from a variable’s use to its definition.
This class contains the base representation for a generic frontend flow step which works on a single ...
Abstract pure class for the tree structure.
DesignFlowStep_Status InternalExec() override
Performes the liveness analysis.
REF_FORWARD_DECL(NI_SSA_liveness)
~NI_SSA_liveness() override
Destructor.
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
DesignFlowStep_Status
The status of a step.
NI_SSA_liveness(const ParameterConstRef _Param, const application_managerRef _AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
Template definition of refcount.
const unsigned int function_id
The index of the function to be analyzed.
void Initialize() override
Initialize the step (i.e., like a constructor, but executed just before exec.
CONSTREF_FORWARD_DECL(Parameter)