PandA-2024.02
short_circuit_taf.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 SHORT_CIRCUIT_TAF_HPP
44 #define SHORT_CIRCUIT_TAF_HPP
45 
48 
49 #include "refcount.hpp"
57 class statement_list;
59 
61 #include <deque>
62 #include <list>
63 #include <string>
64 
65 #include "custom_map.hpp"
66 #include "custom_set.hpp"
67 
72 {
73  private:
77  bool check_merging_candidate(unsigned int& bb1, unsigned int& bb2, unsigned int merging_candidate, bool& bb1_true,
78  bool& bb2_true, const std::map<unsigned int, blocRef>& list_of_bloc);
79 
83  bool create_gimple_cond(unsigned int bb1, unsigned int bb2, bool bb1_true,
84  const std::map<unsigned int, blocRef>& list_of_bloc, bool or_type,
85  unsigned int merging_candidate);
86 
90  void restructure_CFG(unsigned int bb1, unsigned int bb2, unsigned int merging_candidate,
91  std::map<unsigned int, blocRef>& list_of_bloc);
92 
99  bool check_phis(unsigned int curr_bb, const std::map<unsigned int, blocRef>& list_of_bloc);
100 
106  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
107 
108  public:
116  short_circuit_taf(const ParameterConstRef _Param, const application_managerRef _AppM, unsigned int function_id,
117  const DesignFlowManagerConstRef design_flow_manager);
118 
122  ~short_circuit_taf() override;
123 
128 
132  void Initialize() override;
133 
138  bool HasToBeExecuted() const override;
139 };
140 #endif
This struct specifies the field bloc (basic block).
This struct specifies the statement_list node.
Definition: tree_node.hpp:4662
RelationshipType
The relationship type.
This class manages the tree structures extracted from the raw file.
This class contains the base representation for a generic frontend flow step which works on a single ...
bool HasToBeExecuted() const override
Check if this step has actually to be executed.
redefinition of map to manage ordered/unordered structures
Abstract pure class for the tree structure.
Definition: tree_node.hpp:139
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.
redefinition of set to manage ordered/unordered structures
bool check_phis(unsigned int curr_bb, const std::map< unsigned int, blocRef > &list_of_bloc)
check if phi could create problem to the short circuit collapsing
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
~short_circuit_taf() override
Destructor.
DesignFlowStep_Status
The status of a step.
void restructure_CFG(unsigned int bb1, unsigned int bb2, unsigned int merging_candidate, std::map< unsigned int, blocRef > &list_of_bloc)
restructure the CFG eliminating all BBs not needed after short circuit collapsing ...
Template definition of refcount.
DesignFlowStep_Status InternalExec() override
Restructures the unstructured code.
const unsigned int function_id
The index of the function to be analyzed.
REF_FORWARD_DECL(tree_manager)
bool check_merging_candidate(unsigned int &bb1, unsigned int &bb2, unsigned int merging_candidate, bool &bb1_true, bool &bb2_true, const std::map< unsigned int, blocRef > &list_of_bloc)
Check if a basic block is a merging BB for a short circuit.
void Initialize() override
Initialize the step (i.e., like a constructor, but executed just before exec.
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
Definition: refcount.hpp:94
short_circuit_taf(const ParameterConstRef _Param, const application_managerRef _AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
bool create_gimple_cond(unsigned int bb1, unsigned int bb2, bool bb1_true, const std::map< unsigned int, blocRef > &list_of_bloc, bool or_type, unsigned int merging_candidate)
create the or/and expression required by short circuit collapsing

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