PandA-2024.02
|
Class performing some optimizations on the IR exploiting Bit Value analysis. More...
#include <Bit_Value_opt.hpp>
Public Member Functions | |
Bit_Value_opt (const ParameterConstRef _Param, const application_managerRef _AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager) | |
Constructor. More... | |
~Bit_Value_opt () override | |
Destructor. More... | |
DesignFlowStep_Status | InternalExec () override |
Optimize IR after the BitValue/BitValueIPA has been executed. More... | |
bool | HasToBeExecuted () const override |
Check if this step has actually to be executed. More... | |
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... | |
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... | |
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... | |
Static Public Member Functions | |
static void | constrainSSA (ssa_name *op_ssa, tree_managerRef TM) |
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... | |
Private 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 | optimize (const function_decl *fd, tree_managerRef TM, tree_manipulationRef IRman) |
do bit value based optimization such as: More... | |
void | propagateValue (const ssa_name *ssa, tree_managerRef TM, tree_nodeRef old_val, tree_nodeRef new_val, const std::string callSiteString) |
Private Attributes | |
bool | modified |
when true IR has been modified 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... | |
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 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... | |
Class performing some optimizations on the IR exploiting Bit Value analysis.
Definition at line 65 of file Bit_Value_opt.hpp.
Bit_Value_opt::Bit_Value_opt | ( | const ParameterConstRef | _Param, |
const application_managerRef | _AppM, | ||
unsigned int | function_id, | ||
const DesignFlowManagerConstRef | design_flow_manager | ||
) |
Constructor.
_Param | is the set of the parameters |
_AppM | is the application manager |
function_id | is the identifier of the function |
design_flow_manager | is the design flow manager |
Definition at line 95 of file Bit_Value_opt.cpp.
References DesignFlowStep::debug_level, DEBUG_LEVEL_NONE, GET_CLASS, DesignFlowStep::parameters, and ~Bit_Value_opt().
|
overridedefault |
|
overrideprivatevirtual |
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 105 of file Bit_Value_opt.cpp.
References CALLED_FUNCTIONS, DesignFlowStep::DEPENDENCE_RELATIONSHIP, DesignFlowStep::GetStatus(), DesignFlowStep::INVALIDATION_RELATIONSHIP, DesignFlowStep::parameters, DesignFlowStep::PRECEDENCE_RELATIONSHIP, SAME_FUNCTION, SUCCESS, THROW_UNREACHABLE, and WHOLE_APPLICATION.
|
static |
Definition at line 171 of file Bit_Value_opt.cpp.
References ssa_name::bit_values, tree_manager::CreateUniqueIntegerCst(), tree_helper::IsRealType(), tree_helper::IsSignedIntegerType(), ssa_name::max, ssa_name::min, ssa_name::range, Regular, BitLatticeManipulator::Size(), THROW_ASSERT, and ssa_name::type.
Referenced by optimize(), and VarNode::updateIR().
|
overridevirtual |
Check if this step has actually to be executed.
Reimplemented from FunctionFrontendFlowStep.
Definition at line 146 of file Bit_Value_opt.cpp.
References FunctionFrontendFlowStep::bitvalue_version, FunctionFrontendFlowStep::function_behavior, and FunctionFrontendFlowStep::HasToBeExecuted().
|
overridevirtual |
Optimize IR after the BitValue/BitValueIPA has been executed.
Implements FunctionFrontendFlowStep.
Definition at line 151 of file Bit_Value_opt.cpp.
References FrontendFlowStep::AppM, DesignFlowStep::debug_level, DEBUG_LEVEL_PEDANTIC, FunctionFrontendFlowStep::function_behavior, FunctionFrontendFlowStep::function_id, modified, optimize(), DesignFlowStep::parameters, PRINT_DBG_MEX, SUCCESS, THROW_ASSERT, and UNCHANGED.
|
private |
do bit value based optimization such as:
fd | is the function declaration |
TM | is the tree manager |
in case propagate constants from parameters
set the bit_values to the ssa var
set the bit_values to the ssa var
this prevent an infinite loop with CSE
set the bit_values to the ssa var
set the bit_values to the ssa var
set the bit_values to the ssa var
set the bit_values to the ssa var
set the bit_values to the ssa var
set the bit_values to the ssa var
set the bit_values to the ssa var
set the bit_values to the ssa var
set uses of stmt
set the bit_values to the ssa var
set the bit_values to the ssa var
set the bit_values to the ssa var
try to fix cond_expr condition
set the bit_values to the ssa var
set the bit_values to the ssa var
set the bit_values to the ssa var
second argument is null since we cannot add the new statement at the end of the current BB
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
replaced with redundant code to restart lut_transformation
Definition at line 286 of file Bit_Value_opt.cpp.
References FrontendFlowStep::AppM, B, function_decl::body, tree_manager::CGetTreeNode(), tree_manager::CGetTreeReindex(), tree_helper::CGetType(), constrainSSA(), convert_bitvalue_to_integer_cst(), convert_to_binary(), tree_manipulation::create_binary_operation(), tree_manipulation::create_extract_bit_expr(), tree_manipulation::create_lut_expr(), tree_manipulation::create_ssa_name(), tree_manipulation::create_ternary_operation(), tree_manipulation::create_unary_operation(), tree_manipulation::CreateGimpleAssign(), tree_manipulation::CreateNopExpr(), tree_manipulation::CreateNotExpr(), tree_manager::CreateUniqueIntegerCst(), tree_manager::CreateUniqueRealCst(), DEBUG_CALLSITE, DesignFlowStep::debug_level, DEBUG_LEVEL_PEDANTIC, DEBUG_LEVEL_VERY_PEDANTIC, FunctionFrontendFlowStep::function_id, GET_CONST_NODE, GET_INDEX_CONST_NODE, GET_NODE, tree_manager::get_tree_node_const(), tree_manipulation::GetBooleanType(), tree_helper::GetConstValue(), FunctionFrontendFlowStep::GetName(), tree_manager::GetTreeReindex(), tree_manipulation::GetUnsignedLongLongType(), srcp::include_name, INDENT_DBG_MEX, INDENT_OUT_MEX, index, tree_helper::is_a_complex(), tree_helper::is_a_pointer(), tree_helper::is_a_vector(), is_bit_values_constant(), tree_helper::is_int(), tree_helper::is_real(), tree_helper::IsBooleanType(), tree_helper::IsPointerType(), tree_helper::IsRealType(), tree_helper::IsSameType(), tree_helper::IsSignedIntegerType(), function_decl::list_of_args, min, modified, DesignFlowStep::output_level, OUTPUT_LEVEL_VERBOSE, DesignFlowStep::parameters, phi, PRINT_DBG_MEX, propagateValue(), tree_manager::ReplaceTreeNode(), shl(), tree_helper::Size(), BitLatticeManipulator::Size(), sl, STR, sum, THROW_ASSERT, THROW_ERROR, ToString(), and tree_node::ToString().
Referenced by InternalExec().
|
private |
Definition at line 261 of file Bit_Value_opt.cpp.
References FrontendFlowStep::AppM, ssa_name::CGetUseStmts(), DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, FunctionFrontendFlowStep::GetName(), INDENT_DBG_MEX, modified, tree_manager::ReplaceTreeNode(), tree_helper::Size(), STR, and THROW_ASSERT.
Referenced by optimize().
|
private |
when true IR has been modified
Definition at line 69 of file Bit_Value_opt.hpp.
Referenced by InternalExec(), optimize(), and propagateValue().