PandA-2024.02
|
Inter-procedural dead code elimination analysis. More...
#include <dead_code_eliminationIPA.hpp>
Public Member Functions | |
dead_code_eliminationIPA (const application_managerRef AM, const DesignFlowManagerConstRef dfm, const ParameterConstRef parameters) | |
~dead_code_eliminationIPA () override | |
DesignFlowStep_Status | Exec () override |
Execute the step. More... | |
bool | HasToBeExecuted () const override |
Check if this step has actually to be executed. More... | |
Public Member Functions inherited from ApplicationFrontendFlowStep | |
ApplicationFrontendFlowStep (const application_managerRef AppM, const FrontendFlowStepType frontend_flow_step_type, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
~ApplicationFrontendFlowStep () override | |
Destructor. 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... | |
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... | |
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 DesignFlowStep | |
DesignFlowStep (const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
virtual | ~DesignFlowStep () |
Destructor. More... | |
virtual void | Initialize () |
Initialize the step (i.e., like a constructor, but executed just before exec. 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 | |
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. More... | |
void | ComputeRelationships (DesignFlowStepSet &relationships, const DesignFlowStep::RelationshipType relationship_type) override |
Compute the relationships of a step with other steps. More... | |
bool | signature_opt (const tree_managerRef &TM, function_decl *fd, unsigned int function_id, const CustomOrderedSet< unsigned int > &rFunctions) |
Protected Attributes | |
CustomOrderedSet< unsigned int > | fun_id_to_restart |
stores the function ids of the functions whose Bit_Value intra procedural steps have to be invalidated by this step More... | |
CustomOrderedSet< unsigned int > | fun_id_to_restartParm |
stores the function ids of the functions whose Parm2SSA intra procedural steps have to be invalidated by this step 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... | |
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 ApplicationFrontendFlowStep | |
static const std::string | ComputeSignature (const FrontendFlowStepType frontend_flow_step_type) |
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... | |
Inter-procedural dead code elimination analysis.
Definition at line 58 of file dead_code_eliminationIPA.hpp.
dead_code_eliminationIPA::dead_code_eliminationIPA | ( | const application_managerRef | AM, |
const DesignFlowManagerConstRef | dfm, | ||
const ParameterConstRef | parameters | ||
) |
Definition at line 71 of file dead_code_eliminationIPA.cpp.
References DesignFlowStep::debug_level, DEBUG_LEVEL_NONE, GET_CLASS, DesignFlowStep::parameters, and ~dead_code_eliminationIPA().
|
overridedefault |
|
overrideprotectedvirtual |
Return the set of analyses in relationship with this design step.
relationship_type | is the type of relationship to be considered |
Implements FrontendFlowStep.
Definition at line 81 of file dead_code_eliminationIPA.cpp.
References ALL_FUNCTIONS, DesignFlowStep::DEPENDENCE_RELATIONSHIP, DesignFlowStep::INVALIDATION_RELATIONSHIP, DesignFlowStep::parameters, DesignFlowStep::PRECEDENCE_RELATIONSHIP, and THROW_UNREACHABLE.
|
overrideprotectedvirtual |
Compute the relationships of a step with other steps.
dependencies | is where relationships will be stored |
relationship_type | is the type of relationship to be computed |
Reimplemented from FrontendFlowStep.
Definition at line 112 of file dead_code_eliminationIPA.cpp.
References FrontendFlowStep::ComputeRelationships(), FunctionFrontendFlowStep::ComputeSignature(), DesignFlowStep::design_flow_manager, fun_id_to_restart, fun_id_to_restartParm, DesignFlowStep::INVALIDATION_RELATIONSHIP, Wrefcount< T >::lock(), NULL_VERTEX, DesignFlowStep::parameters, and THROW_ASSERT.
|
overridevirtual |
Execute the step.
Implements ApplicationFrontendFlowStep.
Definition at line 154 of file dead_code_eliminationIPA.cpp.
References FrontendFlowStep::AppM, DesignFlowStep::debug_level, DEBUG_LEVEL_PEDANTIC, fun_id_to_restart, fun_id_to_restartParm, GET_INDEX_CONST_NODE, INDENT_DBG_MEX, DesignFlowStep::parameters, signature_opt(), STR, SUCCESS, THROW_ASSERT, and UNCHANGED.
|
overridevirtual |
Check if this step has actually to be executed.
Reimplemented from ApplicationFrontendFlowStep.
Definition at line 149 of file dead_code_eliminationIPA.cpp.
|
protected |
Definition at line 206 of file dead_code_eliminationIPA.cpp.
References FrontendFlowStep::AppM, test_panda::arg, tree_manager::CGetTreeNode(), tree_helper::CGetType(), container_to_string(), DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, fun_id_to_restart, fun_id_to_restartParm, GET_INDEX_CONST_NODE, GET_NODE, tree_helper::GetFunctionReturnType(), tree_manipulation::GetFunctionType(), tree_helper::GetMangledFunctionName(), tree_manipulation::GetPointerType(), tree_manager::GetTreeReindex(), INDENT_DBG_MEX, function_decl::list_of_args, DesignFlowStep::parameters, tree_helper::print_type(), THROW_ASSERT, THROW_UNREACHABLE, decl_node::type, and U.
Referenced by Exec().
|
protected |
stores the function ids of the functions whose Bit_Value intra procedural steps have to be invalidated by this step
Definition at line 65 of file dead_code_eliminationIPA.hpp.
Referenced by ComputeRelationships(), Exec(), and signature_opt().
|
protected |
stores the function ids of the functions whose Parm2SSA intra procedural steps have to be invalidated by this step
Definition at line 69 of file dead_code_eliminationIPA.hpp.
Referenced by ComputeRelationships(), Exec(), and signature_opt().