PandA-2024.02
var_computation.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 VAR_COMPUTATION_HPP
45 #define VAR_COMPUTATION_HPP
46 
48 
49 #include "refcount.hpp"
50 
56 class gimple_node;
63 
68 {
69  private:
71  const operations_graph_constructorRef ogc;
72 
75 
78 
85  void RecursivelyAnalyze(const vertex op_vertex, const tree_nodeConstRef& tree_node,
86  const FunctionBehavior_VariableAccessType access_type) const;
87 
93  void AnalyzeVops(const vertex op_vertex, const gimple_node* vops) const;
94 
100  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
101 
102  public:
110  VarComputation(const ParameterConstRef _parameters, const application_managerRef AppM, unsigned int function_id,
111  const DesignFlowManagerConstRef design_flow_manager);
112 
116  ~VarComputation() override;
117 
121  void Initialize() override;
122 
128 };
129 
130 #endif
CONSTREF_FORWARD_DECL(OpGraph)
DesignFlowStep_Status InternalExec() override
Computes the set of read and written variables.
const BehavioralHelperRef behavioral_helper
The behavioral helper associated with the function.
void RecursivelyAnalyze(const vertex op_vertex, const tree_nodeConstRef &tree_node, const FunctionBehavior_VariableAccessType access_type) const
Recursively analyze a tree_node.
class providing methods to manage an operations graph.
RelationshipType
The relationship type.
This class manages the tree structures extracted from the raw file.
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.
This class contains the base representation for a generic frontend flow step which works on a single ...
Abstract pure class for the tree structure.
Definition: tree_node.hpp:139
const OpGraphConstRef cfg
The control flow graph of the function.
const operations_graph_constructorRef ogc
The operation graph constructor.
boost::graph_traits< graph >::vertex_descriptor vertex
vertex definition.
Definition: graph.hpp:1303
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
FunctionBehavior_VariableAccessType
The access type to a variable.
DesignFlowStep_Status
The status of a step.
REF_FORWARD_DECL(BehavioralHelper)
~VarComputation() override
Destructor.
Template definition of refcount.
VarComputation(const ParameterConstRef _parameters, const application_managerRef AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
const unsigned int function_id
The index of the function to be analyzed.
void Initialize() override
Initialize the step (i.e., like a constructor, but executed just before exec.
const application_managerRef AppM
The application manager.
struct definition of the common part of a gimple with virtual operands
Definition: tree_node.hpp:1078
Class used to describe a particular graph with operations as nodes.
Definition: op_graph.hpp:783
void AnalyzeVops(const vertex op_vertex, const gimple_node *vops) const
Analyze virtual operands associated with a gimple node.

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