45 #ifndef BIT_VALUE_IPA_HPP 46 #define BIT_VALUE_IPA_HPP BitValueIPA(const application_managerRef AM, const DesignFlowManagerConstRef dfm, const ParameterConstRef parameters)
STD include.
CustomOrderedSet< unsigned int > fun_id_to_restart_caller
RelationshipType
The relationship type.
Inter-Procedural extension of the Bit Value analysis as described in BitValue Inference: Detecting an...
DesignFlowStep_Status Exec() override
Execute the step.
void ComputeRelationships(DesignFlowStepSet &relationships, const DesignFlowStep::RelationshipType relationship_type) override
Compute the relationships of a step with other steps.
const ParameterConstRef parameters
Set of input parameters.
DesignFlowStep_Status
The status of a step.
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.
std::map< unsigned int, unsigned int > last_bitvalue_ver
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
std::map< unsigned int, unsigned int > last_bb_ver
CustomOrderedSet< unsigned int > fun_id_to_restart
stores the function ids of the functions whose Bit_Value intra procedural steps have to be invalidate...
This class contains the base representation for a generic frontend flow step which works on the whole...
bool HasToBeExecuted() const override
Check if this step has actually to be executed.