PandA-2024.02
multi_way_if.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  */
43 #ifndef MULTI_WAY_IF_HPP
44 #define MULTI_WAY_IF_HPP
45 
48 
49 #include "refcount.hpp"
55 class statement_list;
60 
65 {
66  private:
69 
72 
75 
78 
84  void MergeCondCond(const blocRef& pred_bb, const blocRef& curr_bb);
85 
91  void MergeCondMulti(const blocRef& pred_bb, const blocRef& curr_bb);
92 
98  void MergeMultiCond(const blocRef& pred_bb, const blocRef& curr_bb);
99 
105  void MergeMultiMulti(const blocRef& pred_bb, const blocRef& curr_bb);
106 
112  void UpdateCfg(const blocRef& pred_bb, const blocRef& curr_bb);
113 
119  void FixCfg(const blocRef& pred_bb, const blocRef& succ_bb);
120 
126  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
127 
128  public:
136  multi_way_if(const ParameterConstRef _Param, const application_managerRef _AppM, unsigned int function_id,
137  const DesignFlowManagerConstRef design_flow_manager);
138 
142  ~multi_way_if() override;
143 
148 
152  void Initialize() override;
153 
158  bool HasToBeExecuted() const override;
159 };
160 #endif
statement_list * sl
The statement list of the analyzed function.
This struct specifies the field bloc (basic block).
multi_way_if(const ParameterConstRef _Param, const application_managerRef _AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
void MergeMultiMulti(const blocRef &pred_bb, const blocRef &curr_bb)
Merge two gimple_multi_way_if in a single one.
REF_FORWARD_DECL(bloc)
void MergeCondCond(const blocRef &pred_bb, const blocRef &curr_bb)
Merge two basic blocks both ending with gimple_cond_K.
~multi_way_if() override
Destructor.
This struct specifies the statement_list node.
Definition: tree_node.hpp:4662
void UpdateCfg(const blocRef &pred_bb, const blocRef &curr_bb)
Update the basic block control flow graph data structure.
RelationshipType
The relationship type.
This class manages the tree structures extracted from the raw file.
bool bb_modified
Modified file.
void MergeCondMulti(const blocRef &pred_bb, const blocRef &curr_bb)
Build the gimple_multi_way_if by mergin a gimple_cond with a gimple_multi_way_if. ...
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
void Initialize() override
Initialize the step (i.e., like a constructor, but executed just before exec.
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.
void FixCfg(const blocRef &pred_bb, const blocRef &succ_bb)
Insert a basic block on an edge.
void MergeMultiCond(const blocRef &pred_bb, const blocRef &curr_bb)
Merge a gimple_cond in a gimple_multi_way_if.
bool HasToBeExecuted() const override
Check if this step has actually to be executed.
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
DesignFlowStep_Status
The status of a step.
Structure the original short circuit.
Template definition of refcount.
tree_manipulationRef tree_man
The tree manipulation.
const unsigned int function_id
The index of the function to be analyzed.
tree_managerRef TM
The tree manager.
DesignFlowStep_Status InternalExec() override
Restructures the unstructured code.
This class creates a layer to add nodes and to manipulate the tree_nodes manager. ...

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