PandA-2024.02
|
#include <data_dependence_computation.hpp>
Public Member Functions | |
DataDependenceComputation (const application_managerRef _AppM, unsigned int function_id, const FrontendFlowStepType frontend_flow_step_type, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
~DataDependenceComputation () override | |
Destructor. More... | |
DesignFlowStep_Status | InternalExec () final |
Cleans the fake data dependencies. More... | |
void | Initialize () override=0 |
Initialize the step (i.e., like a constructor, but executed just before exec. More... | |
template<> | |
CustomSet< unsigned int > | GetVariables (const vertex statement, const FunctionBehavior_VariableAccessType variable_access_type) const |
Public Member Functions inherited from FunctionFrontendFlowStep | |
FunctionFrontendFlowStep (const application_managerRef AppM, const unsigned int function_id, const FrontendFlowStepType frontend_flow_step_type, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
~FunctionFrontendFlowStep () override | |
Destructor. More... | |
void | ComputeRelationships (DesignFlowStepSet &relationship, const DesignFlowStep::RelationshipType relationship_type) override |
Compute the relationships of a step with other steps. More... | |
std::string | GetSignature () const override |
Return the signature of this step. More... | |
std::string | GetName () const override |
Return the name of this design step. More... | |
DesignFlowStep_Status | Exec () final |
Execute the step. More... | |
bool | HasToBeExecuted () const override |
Check if this step has actually to be executed. More... | |
unsigned int | CGetBBVersion () const |
unsigned int | GetBitValueVersion () const |
void | PrintInitialIR () const override |
Dump the initial intermediate representation. More... | |
void | PrintFinalIR () const override |
Dump the final intermediate representation. More... | |
Public Member Functions inherited from FrontendFlowStep | |
FrontendFlowStep (const application_managerRef AppM, const FrontendFlowStepType frontend_flow_step_type, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
~FrontendFlowStep () override | |
Destructor. More... | |
virtual std::string | GetKindText () const |
Return the name of the type of this frontend flow step. More... | |
DesignFlowStepFactoryConstRef | CGetDesignFlowStepFactory () const override |
Return the factory to create this type of steps. More... | |
void | PrintTreeManager (const bool before) const |
Dump the tree manager. 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... | |
Protected Member Functions | |
template<typename type > | |
DesignFlowStep_Status | Computedependencies (const int dfg_selector, const int fb_dfg_selector, const int adg_selector, const int fb_adg_selector) |
Compute the dependencies. More... | |
template<typename type > | |
CustomSet< type > | GetVariables (const vertex statement, const FunctionBehavior_VariableAccessType variable_access_type) const |
Return the variables accessed in a node It is specialized in the different subclasses of this. More... | |
Protected Member Functions inherited from FunctionFrontendFlowStep | |
void | WriteBBGraphDot (const std::string &filename) const |
Write the current version of statement list in dot format. More... | |
Protected Member Functions inherited from FrontendFlowStep | |
virtual const CustomUnorderedSet< std::pair< FrontendFlowStepType, FunctionRelationship > > | ComputeFrontendRelationships (const DesignFlowStep::RelationshipType relationship_type) const =0 |
Return the set of analyses in relationship with this design step. More... | |
Private Member Functions | |
void | do_dependence_reduction () |
Additional Inherited Members | |
Public Types inherited from FrontendFlowStep | |
using | FunctionRelationship = enum { ALL_FUNCTIONS, CALLED_FUNCTIONS, CALLING_FUNCTIONS, SAME_FUNCTION, WHOLE_APPLICATION } |
The different relationship type between function analysis. More... | |
Public Types inherited from DesignFlowStep | |
enum | RelationshipType { DEPENDENCE_RELATIONSHIP, INVALIDATION_RELATIONSHIP, PRECEDENCE_RELATIONSHIP } |
The relationship type. More... | |
Static Public Member Functions inherited from FunctionFrontendFlowStep | |
static const std::string | ComputeSignature (const FrontendFlowStepType frontend_flow_step_type, const unsigned int function_id) |
Compute the signature of a function frontend flow step. More... | |
Static Public Member Functions inherited from FrontendFlowStep | |
static void | CreateSteps (const DesignFlowManagerConstRef design_flow_manager, const CustomUnorderedSet< std::pair< FrontendFlowStepType, FunctionRelationship >> &frontend_relationships, const application_managerConstRef application_manager, DesignFlowStepSet &relationships) |
Create the relationship steps of a step with other steps starting from already specified dependencies between frontend flow steps. More... | |
static const std::string | EnumToKindText (const FrontendFlowStepType frontend_flow_step_type) |
Given a frontend flow step type, return the name of the type. More... | |
Protected Attributes inherited from FunctionFrontendFlowStep | |
const FunctionBehaviorRef | function_behavior |
The function behavior of the function to be analyzed. More... | |
const unsigned int | function_id |
The index of the function to be analyzed. More... | |
unsigned int | bb_version |
The version of the basic block intermediate representation on which this step has been applied. More... | |
unsigned int | bitvalue_version |
The version of the bitvalue information on which this step has been applied. More... | |
Protected Attributes inherited from FrontendFlowStep | |
const application_managerRef | AppM |
The application manager. More... | |
const FrontendFlowStepType | frontend_flow_step_type |
The type of this step. More... | |
unsigned int | print_counter |
Print counter. 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... | |
Definition at line 52 of file data_dependence_computation.hpp.
DataDependenceComputation::DataDependenceComputation | ( | const application_managerRef | _AppM, |
unsigned int | _function_id, | ||
const FrontendFlowStepType | _frontend_flow_step_type, | ||
const DesignFlowManagerConstRef | _design_flow_manager, | ||
const ParameterConstRef | _parameters | ||
) |
Constructor.
. include
AppM | is the application manager |
function_id | is the node id of the function analyzed. |
frontend_flow_step_type | is the type of data flow analysis |
design_flow_manager | is the design flow manager |
parameters | is the set of input parameters |
behavior include tree include
Definition at line 62 of file data_dependence_computation.cpp.
References ~DataDependenceComputation().
|
overridedefault |
|
protected |
Compute the dependencies.
dfg_selector | is the selector to be used for DFG dependence |
fb_dfg_selector | is the selector to be used for DFG feedback dependence |
adg_selector | is the selector to be used for ADG dependence |
fb_adg_selector | is the selector to be used for ADG feedback dependence |
NOTE: label associated with forward selector also on feedback edge
NOTE: label associated with forward selector also on feedback edge
NOTE: label associated with forward selector also on feedback edge
Definition at line 200 of file data_dependence_computation.cpp.
References FunctionBehavior::ADG, ADG_SELECTOR, FrontendFlowStep::AppM, FunctionBehavior::CFG, DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, DEFINITION, FunctionBehavior::DFG, DFG_SELECTOR, FunctionBehavior::FADG, FB_ODG_AGG_SELECTOR, FunctionBehavior::FDFG, FunctionBehavior::FODG, FunctionFrontendFlowStep::function_behavior, BehavioralHelper::get_function_name(), GET_NAME, INDENT_DBG_MEX, FunctionBehavior::ODG, ODG_AGG_SELECTOR, ODG_SELECTOR, OVER, DesignFlowStep::parameters, FunctionBehavior::SAODG, SUCCESS, THROW_ASSERT, THROW_UNREACHABLE, and USE.
|
private |
Definition at line 119 of file data_dependence_computation.cpp.
References ADG_AGG_SELECTOR, FunctionBehavior::AGG_VIRTUALG, FunctionBehavior::BB, BBGraph::CGetBBNodeInfo(), DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, DFG_AGG_SELECTOR, FunctionBehavior::FFLSAODG, FunctionFrontendFlowStep::function_behavior, GET_NAME, INDENT_DBG_MEX, key, ordered_dfs(), DesignFlowStep::parameters, STR, and lenet_tvm::target.
Referenced by InternalExec().
|
protected |
Return the variables accessed in a node It is specialized in the different subclasses of this.
statement | is the statement to be considered |
variable_access_type | is the type of accesses to be considered |
CustomSet<unsigned int> DataDependenceComputation::GetVariables | ( | const vertex | statement, |
const FunctionBehavior_VariableAccessType | variable_access_type | ||
) | const |
Definition at line 388 of file data_dependence_computation.cpp.
References FunctionBehavior::CFG, FrontendFlowStep::frontend_flow_step_type, FunctionFrontendFlowStep::function_behavior, SCALAR, THROW_UNREACHABLE, UNKNOWN, and VIRTUAL.
|
overridepure virtual |
Initialize the step (i.e., like a constructor, but executed just before exec.
Reimplemented from DesignFlowStep.
Implemented in ScalarSsaDataDependenceComputation, and VirtualAggregateDataFlowAnalysis.
|
finalvirtual |
Cleans the fake data dependencies.
Implements FunctionFrontendFlowStep.
Definition at line 72 of file data_dependence_computation.cpp.
References ABORTED, ADG_AGG_SELECTOR, ADG_SCA_SELECTOR, DFG_AGG_SELECTOR, DFG_SCA_SELECTOR, do_dependence_reduction(), FB_ADG_AGG_SELECTOR, FB_ADG_SCA_SELECTOR, FB_DFG_AGG_SELECTOR, FB_DFG_SCA_SELECTOR, FrontendFlowStep::frontend_flow_step_type, and THROW_UNREACHABLE.