PandA-2024.02
|
Restructure the tree control flow graph. More...
#include <pragma_analysis.hpp>
Public Member Functions | |
PragmaAnalysis (const application_managerRef AppM, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
~PragmaAnalysis () override | |
Destructor. More... | |
DesignFlowStep_Status | Exec () override |
Performes the analysis of the pragmas. 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... | |
bool | HasToBeExecuted () const override |
Check if this step has actually to be executed. 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... | |
void | ComputeRelationships (DesignFlowStepSet &relationship, const DesignFlowStep::RelationshipType relationship_type) override |
Compute the relationships of a step with other steps. 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... | |
Private Member Functions | |
std::string | get_call_parameter (const unsigned int tree_node, const unsigned int idx) const |
Given the index of a function replacing a pragma, returns a parameter. More... | |
void | create_map_pragma (const unsigned int node_id) const |
Create a map pragma. More... | |
void | create_omp_pragma (const unsigned int tree_node) const |
Create an omp pragma. More... | |
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... | |
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... | |
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... | |
Restructure the tree control flow graph.
Definition at line 63 of file pragma_analysis.hpp.
PragmaAnalysis::PragmaAnalysis | ( | const application_managerRef | _AppM, |
const DesignFlowManagerConstRef | _design_flow_manager, | ||
const ParameterConstRef | _parameters | ||
) |
Constructor.
Header include.
AppM | is the application manager |
design_flow_manager | is the design flow manager |
parameters | is the set of input parameters |
Codesign include Constants include parser/compiler include Pragma include STL include Tree include Utility include
Definition at line 82 of file pragma_analysis.cpp.
References DesignFlowStep::debug_level, DEBUG_LEVEL_NONE, GET_CLASS, DesignFlowStep::parameters, and ~PragmaAnalysis().
|
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 92 of file pragma_analysis.cpp.
References DesignFlowStep::DEPENDENCE_RELATIONSHIP, DesignFlowStep::INVALIDATION_RELATIONSHIP, DesignFlowStep::PRECEDENCE_RELATIONSHIP, THROW_UNREACHABLE, and WHOLE_APPLICATION.
|
private |
Create a map pragma.
index_node | is the tree index of the gimple containing the call which will be directly replaced by the pragma |
Definition at line 455 of file pragma_analysis.cpp.
References FrontendFlowStep::AppM, tree_manager::create_tree_node(), DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, get_call_parameter(), GET_INDEX_CONST_NODE, GET_NODE, tree_manager::get_tree_node_const(), INDENT_DBG_MEX, tree_manager::new_tree_node_id(), STR, STR_CST_pragma_function_single_line_two_arguments, STR_CST_pragma_keyword_recursive, THROW_ASSERT, THROW_ERROR, TOK, TOK_BB_INDEX, TOK_HW_COMPONENT, TOK_IS_BLOCK, TOK_OPEN, TOK_PRAGMA_DIRECTIVE, TOK_PRAGMA_SCOPE, TOK_RECURSIVE, TOK_SCPE, and TOK_SRCP.
Referenced by Exec().
|
private |
Create an omp pragma.
index_node | is the tree index of the gimple containing the call which will be directly replaced by the pragma |
Definition at line 173 of file pragma_analysis.cpp.
References FrontendFlowStep::AppM, tree_manager::create_tree_node(), DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, get_call_parameter(), GET_INDEX_CONST_NODE, GET_INDEX_NODE, GET_NODE, tree_manager::get_tree_node_const(), pragma_manager::GetOmpPragmaType(), INDENT_DBG_MEX, tree_manager::new_tree_node_id(), pragma_manager::OMP_ATOMIC, pragma_manager::OMP_BARRIER, pragma_manager::OMP_CRITICAL, pragma_manager::OMP_DECLARE_SIMD, pragma_manager::omp_directive_keywords, pragma_manager::OMP_FOR, pragma_manager::OMP_PARALLEL, pragma_manager::OMP_PARALLEL_FOR, pragma_manager::OMP_PARALLEL_SECTIONS, pragma_manager::OMP_SECTION, pragma_manager::OMP_SECTIONS, pragma_manager::OMP_SIMD, pragma_manager::OMP_TARGET, pragma_manager::OMP_TASK, pragma_manager::OMP_UNKNOWN, OpenParallelSections, STR, STR_CST_pragma_function_end, STR_CST_pragma_function_single_line_one_argument, STR_CST_pragma_function_start, THROW_ERROR, THROW_UNREACHABLE, TOK, TOK_BB_INDEX, TOK_IS_BLOCK, TOK_MEMDEF, TOK_MEMUSE, TOK_OP0, TOK_OP1, TOK_OPEN, TOK_PRAGMA_DIRECTIVE, TOK_PRAGMA_OMP_SHORTCUT, TOK_PRAGMA_SCOPE, TOK_SCPE, TOK_SRCP, and tree_node::ToString().
Referenced by Exec().
|
overridevirtual |
Performes the analysis of the pragmas.
Erasing first element
Erasing not the first element
No more gimple_node - Finished for this block
Implements ApplicationFrontendFlowStep.
Definition at line 511 of file pragma_analysis.cpp.
References FrontendFlowStep::AppM, create_map_pragma(), create_omp_pragma(), tree_manager::create_tree_node(), DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, el, get_call_parameter(), GET_INDEX_NODE, tree_node::get_kind(), GET_NODE, tree_manager::get_tree_node_const(), tree_manager::GetAllFunctions(), INDENT_DBG_MEX, sl, starts_with(), STR, STR_CST_pragma_function_generic, STR_CST_pragma_keyword_map, STR_CST_pragma_keyword_omp, STR_CST_pragma_prefix, SUCCESS, TOK, TOK_SCPE, and TOK_SRCP.
|
private |
Given the index of a function replacing a pragma, returns a parameter.
tree_node | is the index of the call |
param | is the index of the parameter (starting from 1) |
Definition at line 120 of file pragma_analysis.cpp.
References FrontendFlowStep::AppM, test_panda::arg, gimple_call::args, DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, tree_node::get_kind_text(), GET_NODE, tree_manager::get_tree_node_const(), tree_helper::GetConstValue(), INDENT_DBG_MEX, STR, THROW_ASSERT, and THROW_ERROR.
Referenced by create_map_pragma(), create_omp_pragma(), and Exec().