PandA-2024.02
BitValueIPA.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  */
45 #ifndef BIT_VALUE_IPA_HPP
46 #define BIT_VALUE_IPA_HPP
47 
48 // include superclass header
50 #include "bit_lattice.hpp"
51 
60 {
61  protected:
68 
69  std::map<unsigned int, unsigned int> last_bitvalue_ver;
70 
71  std::map<unsigned int, unsigned int> last_bb_ver;
72 
74  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
75 
76  void ComputeRelationships(DesignFlowStepSet& relationships,
77  const DesignFlowStep::RelationshipType relationship_type) override;
78 
79  public:
80  BitValueIPA(const application_managerRef AM, const DesignFlowManagerConstRef dfm,
82 
83  ~BitValueIPA() override;
84 
89  DesignFlowStep_Status Exec() override;
90 
95  bool HasToBeExecuted() const override;
96 };
97 
98 #endif
BitValueIPA(const application_managerRef AM, const DesignFlowManagerConstRef dfm, const ParameterConstRef parameters)
STD include.
Definition: BitValueIPA.cpp:80
CustomOrderedSet< unsigned int > fun_id_to_restart_caller
Definition: BitValueIPA.hpp:67
RelationshipType
The relationship type.
~BitValueIPA() override
Inter-Procedural extension of the Bit Value analysis as described in BitValue Inference: Detecting an...
Definition: BitValueIPA.hpp:59
DesignFlowStep_Status Exec() override
Execute the step.
void ComputeRelationships(DesignFlowStepSet &relationships, const DesignFlowStep::RelationshipType relationship_type) override
Compute the relationships of a step with other steps.
const ParameterConstRef parameters
Set of input parameters.
DesignFlowStep_Status
The status of a step.
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: BitValueIPA.cpp:91
std::map< unsigned int, unsigned int > last_bitvalue_ver
Definition: BitValueIPA.hpp:69
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
Definition: refcount.hpp:94
std::map< unsigned int, unsigned int > last_bb_ver
Definition: BitValueIPA.hpp:71
CustomOrderedSet< unsigned int > fun_id_to_restart
stores the function ids of the functions whose Bit_Value intra procedural steps have to be invalidate...
Definition: BitValueIPA.hpp:66
This class contains the base representation for a generic frontend flow step which works on the whole...
bool HasToBeExecuted() const override
Check if this step has actually to be executed.

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