PandA-2024.02
Range_Analysis.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 RANGE_ANALYSIS_HPP
45 #define RANGE_ANALYSIS_HPP
46 
47 #include <iostream>
48 
49 #include "Range.hpp"
51 #include "tree_node.hpp"
52 
53 REF_FORWARD_DECL(ConstraintGraph);
54 
56 {
57  bool operator()(const tree_nodeConstRef& lhs, const tree_nodeConstRef& rhs) const;
58 };
59 
61 {
64 };
65 
67 {
68 #ifndef NDEBUG
70  uint64_t iteration;
71  uint64_t stop_iteration;
73 #endif
74 
78 
79  bool finalize(ConstraintGraphRef);
80 
81  protected:
84  std::map<unsigned int, unsigned int> last_bitvalue_ver;
85  std::map<unsigned int, unsigned int> last_bb_ver;
86 
88  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
89  void ComputeRelationships(DesignFlowStepSet& relationships,
90  const DesignFlowStep::RelationshipType relationship_type) override;
91 
92  public:
100  RangeAnalysis(const application_managerRef AM, const DesignFlowManagerConstRef dfm,
102 
106  ~RangeAnalysis() override;
107 
112  DesignFlowStep_Status Exec() override;
113 
117  void Initialize() override;
118 
123  bool HasToBeExecuted() const override;
124 };
125 
126 #endif // !RANGE_ANALYSIS_HPP
uint64_t iteration
std::map< unsigned int, unsigned int > last_bb_ver
CustomOrderedSet< unsigned int > fun_id_to_restart
stores the function ids of the functions whose Dead Code need to be restarted
RelationshipType
The relationship type.
uint64_t stop_transformation
REF_FORWARD_DECL(ConstraintGraph)
bool operator()(const tree_nodeConstRef &lhs, const tree_nodeConstRef &rhs) const
Classes specification of the tree_node data structures.
DesignFlowStep_Status
The status of a step.
SolverType solverType
SolverType
std::map< unsigned int, unsigned int > last_bitvalue_ver
This class contains the base representation for a generic frontend flow step which works on the whole...
uint64_t stop_iteration

Generated on Mon Feb 12 2024 13:02:52 for PandA-2024.02 by doxygen 1.8.13