const HLS_managerRef HLSMgr
information about all the HLS synthesis
void PropagateAddrSsa()
Propagates the information on the ssa representing addresses across all the ssa in the functions with...
absl::node_hash_set< _Value, _Hash, _Pred, _Alloc > UnorderedSetStdStable
void SelectInternalSignals(CustomUnorderedMap< unsigned int, UnorderedSetStdStable< std::string >> &fun_id_to_sig_names) const
RelationshipType
The relationship type.
This class manages the tree structures extracted from the raw file.
~VcdSignalSelection() override
Destructor.
REF_FORWARD_DECL(Discrepancy)
VcdSignalSelection(const ParameterConstRef _parameters, const HLS_managerRef HLSMgr, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
bool HasToBeExecuted() const override
Check if this step has actually to be executed.
CONSTREF_FORWARD_DECL(tree_manager)
void SingleStepPropagateAddrSsa(const tree_nodeRef &curr_tn)
Single step used in the loop of PropagateAddrSsa()
absl::flat_hash_map< T, U, Hash, Eq, Alloc > CustomUnorderedMap
bool IsAddressType(const unsigned int type_index) const
Checks if type_index represents an address type.
void DetectInvalidReturns(const CustomOrderedSet< unsigned int > &reached_body_functions, CustomUnorderedSet< unsigned int > &addr_fun_ids)
Detects return statements resulting in values to be skipped in the discrepancy analysis.
void SelectInitialAddrParam(const CustomOrderedSet< unsigned int > &reached_body_fun_ids, CustomUnorderedMap< unsigned int, TreeNodeSet > &address_parameters)
Selects the initial set of function parameters to skip, iterating on the reached functions with a bod...
std::string present_state_name
The name of the present state signal.
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
Classes specification of the tree_node data structures.
DesignFlowStep_Status
The status of a step.
void SingleStepPropagateParamToSsa(const TreeNodeMap< size_t > &used_ssa, const TreeNodeSet &address_parameters)
Single step used in the loop of PropagateAddrParamToSsa()
void CrossPropagateAddrSsa(CustomUnorderedMap< unsigned int, TreeNodeSet > &address_parameters, const CustomOrderedSet< unsigned int > &reached_body_functions, const CustomUnorderedSet< unsigned int > &addr_fun_ids, const CustomUnorderedMap< unsigned int, UnorderedSetStdStable< unsigned int >> &fu_id_to_call_ids, const CustomUnorderedMap< unsigned int, UnorderedSetStdStable< unsigned int >> &call_id_to_called_id)
Propagates the information on the parameters to skip across function calls.
const DiscrepancyRef Discr
void PropagateAddrParamToSsa(const CustomUnorderedMap< unsigned int, TreeNodeSet > &address_parameters, const CustomOrderedSet< unsigned int > &reached_body_fun_ids)
Propagates the information on the ssa to skip to all the ssa in the functions with body...
void SelectAddrSsa(const CustomUnorderedMap< unsigned int, UnorderedSetStdStable< unsigned int >> &fu_id_to_call_ids, const CustomUnorderedMap< unsigned int, UnorderedSetStdStable< unsigned int >> &call_id_to_called_id)
Compute the ssa representing address values.
void InProcedurePropagateAddr(const CustomUnorderedMap< unsigned int, TreeNodeSet > &address_parameters, const CustomOrderedSet< unsigned int > &reached_body_functions, CustomUnorderedSet< unsigned int > &addr_fun_ids)
Propagates the information on the ssa to skip to all the ssa in the functions with body...
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
DesignFlowStep_Status Exec() override
Executes the step.
void InitialPhiResIsAddress(const tree_nodeConstRef &tn)
Determines if the tree_node tn assigns an ssa_name representing an address.
void InitialSsaIsAddress(const tree_nodeConstRef &tn, const CustomUnorderedSet< unsigned int > &addr_fun_ids, const CustomUnorderedMap< unsigned int, UnorderedSetStdStable< unsigned int >> &call_id_to_called_id)
Determines if the tree_node tn assigns an ssa_name representing an address.
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.
void SelectInitialSsa(const CustomOrderedSet< unsigned int > &reached_body_fun_ids, const CustomUnorderedSet< unsigned int > &addr_fun_ids, const CustomUnorderedMap< unsigned int, UnorderedSetStdStable< unsigned int >> &call_id_to_called_id)
Selects the initial set of ssa to skip, iterating on the reached functions with a body and inserting ...