PandA-2024.02
application_frontend_flow_step.cpp
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  */
43 #include "application_frontend_flow_step.hpp"
44 
45 #include "config_HAVE_FROM_PRAGMA_BUILT.hpp" // for HAVE_FROM_PRA...
46 #include "config_HAVE_HOST_PROFILING_BUILT.hpp" // for HAVE_HOST_PRO...
47 #include "config_HAVE_ILP_BUILT.hpp" // for HAVE_ILP_BUILT
48 #include "config_HAVE_TASTE.hpp" // for HAVE_TASTE
49 
50 #include "Parameter.hpp" // for Parameter
51 #include "exceptions.hpp" // for THROW_UNREACH...
52 #include "string_manipulation.hpp" // for GET_CLASS
53 #include "symbolic_application_frontend_flow_step.hpp" // for SymbolicAppli...
54 #include <iostream> // for ios_base::fai...
55 
56 ApplicationFrontendFlowStep::ApplicationFrontendFlowStep(const application_managerRef _AppM,
57  const FrontendFlowStepType _frontend_flow_step_type,
58  const DesignFlowManagerConstRef _design_flow_manager,
59  const ParameterConstRef _parameters)
60  : FrontendFlowStep(_AppM, _frontend_flow_step_type, _design_flow_manager, _parameters)
61 {
62  debug_level = parameters->get_class_debug_level(GET_CLASS(*this));
63 }
64 
65 ApplicationFrontendFlowStep::~ApplicationFrontendFlowStep() = default;
66 
67 const std::string ApplicationFrontendFlowStep::ComputeSignature(const FrontendFlowStepType frontend_flow_step_type)
68 {
69  switch(frontend_flow_step_type)
70  {
71  case ADD_BB_ECFG_EDGES:
72  case ADD_ARTIFICIAL_CALL_FLOW_EDGES:
73  case ADD_OP_EXIT_FLOW_EDGES:
74  case ADD_OP_LOOP_FLOW_EDGES:
75  case ADD_OP_PHI_FLOW_EDGES:
76  case BASIC_BLOCKS_CFG_COMPUTATION:
77  case BB_CONTROL_DEPENDENCE_COMPUTATION:
78  case BB_FEEDBACK_EDGES_IDENTIFICATION:
79  case BB_ORDER_COMPUTATION:
80  case BB_REACHABILITY_COMPUTATION:
81  case BIT_VALUE:
82  case BIT_VALUE_OPT:
83  case BITVALUE_RANGE:
84  case BLOCK_FIX:
85  case BUILD_VIRTUAL_PHI:
86  case CALL_EXPR_FIX:
87  case CALL_GRAPH_BUILTIN_CALL:
88  case CHECK_SYSTEM_TYPE:
89  case COMPLETE_BB_GRAPH:
90  case COMPUTE_IMPLICIT_CALLS:
91  case COMMUTATIVE_EXPR_RESTRUCTURING:
92  case COND_EXPR_RESTRUCTURING:
93  case CSE_STEP:
94  case DATAFLOW_CG_EXT:
95  case DEAD_CODE_ELIMINATION:
96  case DETERMINE_MEMORY_ACCESSES:
97  case DOM_POST_DOM_COMPUTATION:
98  case ESSA:
99  case(FANOUT_OPT):
100  case MULTIPLE_ENTRY_IF_REDUCTION:
101  case EXTRACT_GIMPLE_COND_OP:
102 #if HAVE_FROM_PRAGMA_BUILT
103  case EXTRACT_OMP_ATOMIC:
104  case EXTRACT_OMP_FOR:
105 #endif
106  case EXTRACT_PATTERNS:
107  case FIX_STRUCTS_PASSED_BY_VALUE:
108  case FIX_VDEF:
109  case FUNCTION_CALL_TYPE_CLEANUP:
110  case FUNCTION_CALL_OPT:
111  case HDL_VAR_DECL_FIX:
112  case HLS_DIV_CG_EXT:
113  case HWCALL_INJECTION:
114  case IR_LOWERING:
115  case LOOP_COMPUTATION:
116  case LOOPS_ANALYSIS_BAMBU:
117  case LOOPS_COMPUTATION:
118  case LUT_TRANSFORMATION:
119  case MULTI_WAY_IF:
120  case NI_SSA_LIVENESS:
121  case OP_CONTROL_DEPENDENCE_COMPUTATION:
122  case OP_FEEDBACK_EDGES_IDENTIFICATION:
123  case OP_ORDER_COMPUTATION:
124  case OP_REACHABILITY_COMPUTATION:
125  case OPERATIONS_CFG_COMPUTATION:
126  case PARM2SSA:
127  case PARM_DECL_TAKEN_ADDRESS:
128  case PHI_OPT:
129  case PREDICATE_STATEMENTS:
130  case REBUILD_INITIALIZATION:
131  case REBUILD_INITIALIZATION2:
132  case REMOVE_CLOBBER_GA:
133  case REMOVE_ENDING_IF:
134  case SCALAR_SSA_DATA_FLOW_ANALYSIS:
135 #if HAVE_ILP_BUILT
136  case SDC_CODE_MOTION:
137 #endif
138  case SERIALIZE_MUTUAL_EXCLUSIONS:
139  case SPLIT_RETURN:
140  case SHORT_CIRCUIT_TAF:
141  case SIMPLE_CODE_MOTION:
142  case SOFT_FLOAT_CG_EXT:
143  case SWITCH_FIX:
144  case UN_COMPARISON_LOWERING:
145 #if HAVE_ILP_BUILT
146  case UPDATE_SCHEDULE:
147 #endif
148  case UNROLLING_DEGREE:
149  case USE_COUNTING:
150  case VAR_ANALYSIS:
151  case VAR_DECL_FIX:
152  case VECTORIZE:
153  case VERIFICATION_OPERATION:
154  case VIRTUAL_AGGREGATE_DATA_FLOW_ANALYSIS:
155  case VIRTUAL_PHI_NODES_SPLIT:
156  {
157  return SymbolicApplicationFrontendFlowStep::ComputeSignature(frontend_flow_step_type);
158  }
159  case(BAMBU_FRONTEND_FLOW):
160  case BIT_VALUE_IPA:
161  case INTERFACE_INFER:
162 #if HAVE_HOST_PROFILING_BUILT
163  case BASIC_BLOCKS_PROFILING:
164 #endif
165  case(COMPLETE_CALL_GRAPH):
166 #if HAVE_TASTE
167  case CREATE_ADDRESS_TRANSLATION:
168 #endif
169  case(CREATE_TREE_MANAGER):
170  case DEAD_CODE_ELIMINATION_IPA:
171  case FIND_MAX_TRANSFORMATIONS:
172  case(FUNCTION_ANALYSIS):
173  case HDL_FUNCTION_DECL_FIX:
174 #if HAVE_HOST_PROFILING_BUILT
175  case(HOST_PROFILING):
176 #endif
177 #if HAVE_FROM_PRAGMA_BUILT
178  case(PRAGMA_ANALYSIS):
179 #endif
180 #if HAVE_FROM_PRAGMA_BUILT
181  case(PRAGMA_SUBSTITUTION):
182 #endif
183  case RANGE_ANALYSIS:
184  case(STRING_CST_FIX):
185  case(SYMBOLIC_APPLICATION_FRONTEND_FLOW_STEP):
186  {
187  return "Frontend::" + STR(frontend_flow_step_type);
188  }
189 
190  default:
191  THROW_UNREACHABLE("Frontend flow step type does not exist");
192  }
193  return "";
194 }
195 
196 std::string ApplicationFrontendFlowStep::GetSignature() const
197 {
198  return ComputeSignature(frontend_flow_step_type);
199 }
200 
201 std::string ApplicationFrontendFlowStep::GetName() const
202 {
203  return "Frontend::" + GetKindText();
204 }
205 
206 bool ApplicationFrontendFlowStep::HasToBeExecuted() const
207 {
208  return true;
209 }
GET_CLASS
#define GET_CLASS(obj)
Macro returning the actual type of an object.
Definition: string_manipulation.hpp:178
exceptions.hpp
exceptions managed by PandA
FrontendFlowStep::GetKindText
virtual std::string GetKindText() const
Return the name of the type of this frontend flow step.
Definition: frontend_flow_step.cpp:153
FrontendFlowStep::frontend_flow_step_type
const FrontendFlowStepType frontend_flow_step_type
The type of this step.
Definition: frontend_flow_step.hpp:221
STR
#define STR(s)
Macro which performs a lexical_cast to a string.
Definition: string_manipulation.hpp:52
string_manipulation.hpp
Auxiliary methods for manipulating string.
ApplicationFrontendFlowStep::~ApplicationFrontendFlowStep
~ApplicationFrontendFlowStep() override
Destructor.
ApplicationFrontendFlowStep::ApplicationFrontendFlowStep
ApplicationFrontendFlowStep(const application_managerRef AppM, const FrontendFlowStepType frontend_flow_step_type, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters)
Constructor.
Definition: application_frontend_flow_step.cpp:56
THROW_UNREACHABLE
#define THROW_UNREACHABLE(str_expr)
helper function used to specify that some points should never be reached
Definition: exceptions.hpp:292
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
ApplicationFrontendFlowStep::ComputeSignature
static const std::string ComputeSignature(const FrontendFlowStepType frontend_flow_step_type)
Compute the signature of a function frontend flow step.
Definition: application_frontend_flow_step.cpp:67
ApplicationFrontendFlowStep::HasToBeExecuted
bool HasToBeExecuted() const override
Check if this step has actually to be executed.
Definition: application_frontend_flow_step.cpp:206
DesignFlowStep::parameters
const ParameterConstRef parameters
Set of input parameters.
Definition: design_flow_step.hpp:123
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
ApplicationFrontendFlowStep::GetSignature
std::string GetSignature() const override
Return the signature of this step.
Definition: application_frontend_flow_step.cpp:196
refcount
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
Definition: refcount.hpp:94
Parameter.hpp
this class is used to manage the command-line or XML options.
ApplicationFrontendFlowStep::GetName
std::string GetName() const override
Return the name of this design step.
Definition: application_frontend_flow_step.cpp:201
DesignFlowStep::debug_level
int debug_level
The debug level.
Definition: design_flow_step.hpp:126
application_frontend_flow_step.hpp
This class contains the base representation for a generic frontend flow step which works on the whole...
symbolic_application_frontend_flow_step.hpp
This class models the application of a analysis to all the functions of an application.
Generated on Mon Feb 12 2024 13:02:51 for PandA-2024.02 by doxygen 1.8.13