PandA-2024.02
symbolic_application_frontend_flow_step.hpp
Go to the documentation of this file.
1 /*
2  *
3  * _/_/_/ _/_/ _/ _/ _/_/_/ _/_/
4  * _/ _/ _/ _/ _/_/ _/ _/ _/ _/ _/
5  * _/_/_/ _/_/_/_/ _/ _/_/ _/ _/ _/_/_/_/
6  * _/ _/ _/ _/ _/ _/ _/ _/ _/
7  * _/ _/ _/ _/ _/ _/_/_/ _/ _/
8  *
9  * ***********************************************
10  * PandA Project
11  * URL: http://panda.dei.polimi.it
12  * Politecnico di Milano - DEIB
13  * System Architectures Group
14  * ***********************************************
15  * Copyright (C) 2004-2024 Politecnico di Milano
16  *
17  * This file is part of the PandA framework.
18  *
19  * The PandA framework is free software; you can redistribute it and/or modify
20  * it under the terms of the GNU General Public License as published by
21  * the Free Software Foundation; either version 3 of the License, or
22  * (at your option) any later version.
23  *
24  * This program is distributed in the hope that it will be useful,
25  * but WITHOUT ANY WARRANTY; without even the implied warranty of
26  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
27  * GNU General Public License for more details.
28  *
29  * You should have received a copy of the GNU General Public License
30  * along with this program. If not, see <http://www.gnu.org/licenses/>.
31  *
32  */
44 #ifndef SYMBOLIC_APPLICATION_FRONTEND_FLOW_STEP_HPP
45 #define SYMBOLIC_APPLICATION_FRONTEND_FLOW_STEP_HPP
46 
47 #include "application_frontend_flow_step.hpp" // for ApplicationFrontendFlo...
48 #include "custom_set.hpp" // for unordered_set
49 #include "design_flow_step.hpp" // for DesignFlowManagerConstRef
50 #include "frontend_flow_step.hpp" // for FrontendFlowStepType
51 #include <string> // for string
52 #include <utility> // for pair
53 
54 class SymbolicApplicationFrontendFlowStep : public ApplicationFrontendFlowStep
55 {
56  private:
58  const FrontendFlowStepType represented_frontend_flow_step_type;
59 
64  const CustomUnorderedSet<std::pair<FrontendFlowStepType, FunctionRelationship>>
65  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
66 
67  public:
75  SymbolicApplicationFrontendFlowStep(const application_managerRef AppM,
76  const FrontendFlowStepType _represented_frontend_flow_step,
77  const DesignFlowManagerConstRef design_flow_manager,
78  const ParameterConstRef parameters);
79 
83  ~SymbolicApplicationFrontendFlowStep() override;
84 
89  DesignFlowStep_Status Exec() override;
90 
94  std::string GetKindText() const override;
95 
99  std::string GetSignature() const override;
100 
106  static const std::string ComputeSignature(const FrontendFlowStepType frontend_flow_step_type);
107 
112  bool HasToBeExecuted() const override;
113 };
114 #endif
SymbolicApplicationFrontendFlowStep::~SymbolicApplicationFrontendFlowStep
~SymbolicApplicationFrontendFlowStep() override
Destructor.
DesignFlowStep::RelationshipType
RelationshipType
The relationship type.
Definition: design_flow_step.hpp:135
SymbolicApplicationFrontendFlowStep::GetSignature
std::string GetSignature() const override
Return the signature of this step.
Definition: symbolic_application_frontend_flow_step.cpp:111
SymbolicApplicationFrontendFlowStep::SymbolicApplicationFrontendFlowStep
SymbolicApplicationFrontendFlowStep(const application_managerRef AppM, const FrontendFlowStepType _represented_frontend_flow_step, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters)
Constructor.
Definition: symbolic_application_frontend_flow_step.cpp:54
FrontendFlowStep::frontend_flow_step_type
const FrontendFlowStepType frontend_flow_step_type
The type of this step.
Definition: frontend_flow_step.hpp:221
SymbolicApplicationFrontendFlowStep::represented_frontend_flow_step_type
const FrontendFlowStepType represented_frontend_flow_step_type
The analysis represented by this step.
Definition: symbolic_application_frontend_flow_step.hpp:58
SymbolicApplicationFrontendFlowStep::HasToBeExecuted
bool HasToBeExecuted() const override
Check if this step has actually to be executed.
Definition: symbolic_application_frontend_flow_step.cpp:116
design_flow_step.hpp
Base class for step of design flow.
SymbolicApplicationFrontendFlowStep::ComputeSignature
static const std::string ComputeSignature(const FrontendFlowStepType frontend_flow_step_type)
Compute the signature of a symbolic application frontend flow step.
Definition: symbolic_application_frontend_flow_step.cpp:105
SymbolicApplicationFrontendFlowStep::Exec
DesignFlowStep_Status Exec() override
Execute this step.
Definition: symbolic_application_frontend_flow_step.cpp:94
custom_set.hpp
redefinition of set to manage ordered/unordered structures
DesignFlowStep::design_flow_manager
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
Definition: design_flow_step.hpp:120
SymbolicApplicationFrontendFlowStep::ComputeFrontendRelationships
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.
Definition: symbolic_application_frontend_flow_step.cpp:67
frontend_flow_step.hpp
This class contains the base representation for a generic frontend flow step.
DesignFlowStep::parameters
const ParameterConstRef parameters
Set of input parameters.
Definition: design_flow_step.hpp:123
DesignFlowStep_Status
DesignFlowStep_Status
The status of a step.
Definition: design_flow_step.hpp:97
FrontendFlowStepType
enum FrontendFlowStepType { CREATE_TREE_MANAGER, FIND_MAX_TRANSFORMATIONS, FUNCTION_ANALYSIS, SYMBOLIC_APPLICATION_FRONTEND_FLOW_STEP, ADD_BB_ECFG_EDGES, ADD_ARTIFICIAL_CALL_FLOW_EDGES, ADD_OP_EXIT_FLOW_EDGES, ADD_OP_LOOP_FLOW_EDGES, ADD_OP_PHI_FLOW_EDGES, BAMBU_FRONTEND_FLOW, BASIC_BLOCKS_CFG_COMPUTATION, BB_CONTROL_DEPENDENCE_COMPUTATION, BB_FEEDBACK_EDGES_IDENTIFICATION, BB_ORDER_COMPUTATION, BB_REACHABILITY_COMPUTATION, BIT_VALUE, BIT_VALUE_OPT, BITVALUE_RANGE, BIT_VALUE_IPA, BLOCK_FIX, BUILD_VIRTUAL_PHI, CALL_EXPR_FIX, CALL_GRAPH_BUILTIN_CALL, CHECK_SYSTEM_TYPE, COMPLETE_BB_GRAPH, COMPLETE_CALL_GRAPH, COMPUTE_IMPLICIT_CALLS, COMMUTATIVE_EXPR_RESTRUCTURING, COND_EXPR_RESTRUCTURING, CSE_STEP, DATAFLOW_CG_EXT, DEAD_CODE_ELIMINATION, DEAD_CODE_ELIMINATION_IPA, DETERMINE_MEMORY_ACCESSES, DOM_POST_DOM_COMPUTATION, EXTRACT_GIMPLE_COND_OP, EXTRACT_PATTERNS, FIX_STRUCTS_PASSED_BY_VALUE, FUNCTION_CALL_TYPE_CLEANUP, FUNCTION_CALL_OPT, FANOUT_OPT, FIX_VDEF, HDL_FUNCTION_DECL_FIX, HDL_VAR_DECL_FIX, HLS_DIV_CG_EXT, HWCALL_INJECTION, INTERFACE_INFER, IR_LOWERING, LOOP_COMPUTATION, LOOPS_ANALYSIS_BAMBU, LOOPS_COMPUTATION, LUT_TRANSFORMATION, MULTI_WAY_IF, MULTIPLE_ENTRY_IF_REDUCTION, NI_SSA_LIVENESS, OP_CONTROL_DEPENDENCE_COMPUTATION, OP_FEEDBACK_EDGES_IDENTIFICATION, OP_ORDER_COMPUTATION, OP_REACHABILITY_COMPUTATION, OPERATIONS_CFG_COMPUTATION, PARM2SSA, PARM_DECL_TAKEN_ADDRESS, PHI_OPT, PREDICATE_STATEMENTS, ESSA, RANGE_ANALYSIS, REBUILD_INITIALIZATION, REBUILD_INITIALIZATION2, REMOVE_CLOBBER_GA, REMOVE_ENDING_IF, SCALAR_SSA_DATA_FLOW_ANALYSIS, SERIALIZE_MUTUAL_EXCLUSIONS, SPLIT_RETURN, SHORT_CIRCUIT_TAF, SIMPLE_CODE_MOTION, SOFT_FLOAT_CG_EXT, STRING_CST_FIX, SWITCH_FIX, UN_COMPARISON_LOWERING, UNROLLING_DEGREE, USE_COUNTING, VAR_ANALYSIS, VAR_DECL_FIX, VECTORIZE, VERIFICATION_OPERATION, VIRTUAL_AGGREGATE_DATA_FLOW_ANALYSIS, VIRTUAL_PHI_NODES_SPLIT } FrontendFlowStepType
Definition: frontend_flow_step.hpp:184
FrontendFlowStep::AppM
const application_managerRef AppM
The application manager.
Definition: frontend_flow_step.hpp:218
refcount
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
Definition: refcount.hpp:94
SymbolicApplicationFrontendFlowStep::GetKindText
std::string GetKindText() const override
Return the type of this step.
Definition: symbolic_application_frontend_flow_step.cpp:99
application_frontend_flow_step.hpp
This class contains the base representation for a generic frontend flow step which works on the whole...
Generated on Mon Feb 12 2024 13:02:53 for PandA-2024.02 by doxygen 1.8.13