PandA-2024.02
simple_code_motion.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 SIMPLE_CODE_MOTION_HPP
44 #define SIMPLE_CODE_MOTION_HPP
45 
48 
50 #include "custom_map.hpp"
51 #include "refcount.hpp"
52 
61 class ssa_name;
62 class gimple_assign;
64 
69 {
70  private:
72 
75 
77  static bool tree_dumped;
78 
81 
87  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
88 
97  FunctionFrontendFlowStep_Movable CheckMovable(const unsigned int dest_bb_index, tree_nodeRef tn, bool& zero_delay,
98  const tree_managerRef TM);
99 
100  void loop_pipelined(tree_nodeRef curr_stmt, const tree_managerRef TM, unsigned int curr_bb,
101  unsigned int curr_loop_id, std::list<tree_nodeRef>& to_be_removed,
102  std::list<tree_nodeRef>& to_be_added_back, std::list<tree_nodeRef>& to_be_added_front,
103  std::map<unsigned int, blocRef>& list_of_bloc,
104  std::map<std::pair<unsigned int, blocRef>, std::pair<unsigned int, blocRef>>& dom_diff,
105  unsigned int curr_bb_dom);
106 
107  public:
116  const DesignFlowManagerConstRef design_flow_manager);
117 
121  ~simple_code_motion() override;
122 
127 
131  void Initialize() override;
132 
136  bool IsScheduleBased() const;
137 };
138 #endif
This struct specifies the field bloc (basic block).
Class managing the schedule of the operations.
Definition: schedule.hpp:118
ScheduleRef schedule
The scheduling solution.
RelationshipType
The relationship type.
This class manages the tree structures extracted from the raw file.
DesignFlowStep_Status InternalExec() override
Updates the tree to have a more compliant CFG.
This class contains the base representation for a generic frontend flow step which works on a single ...
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.
~simple_code_motion() override
Destructor.
redefinition of map to manage ordered/unordered structures
FunctionFrontendFlowStep_Movable CheckMovable(const unsigned int dest_bb_index, tree_nodeRef tn, bool &zero_delay, const tree_managerRef TM)
Check if a statement can be moved in a basic block.
Abstract pure class for the tree structure.
Definition: tree_node.hpp:139
bool conservative
True if only zero delay statement can be moved.
unsigned map[NUM_VERTICES]
Definition: bfs.c:12
This struct specifies the gimple_assign node (GCC 4.3 tree node).
Definition: tree_node.hpp:3015
void loop_pipelined(tree_nodeRef curr_stmt, const tree_managerRef TM, unsigned int curr_bb, unsigned int curr_loop_id, std::list< tree_nodeRef > &to_be_removed, std::list< tree_nodeRef > &to_be_added_back, std::list< tree_nodeRef > &to_be_added_front, std::map< unsigned int, blocRef > &list_of_bloc, std::map< std::pair< unsigned int, blocRef >, std::pair< unsigned int, blocRef >> &dom_diff, unsigned int curr_bb_dom)
static bool tree_dumped
flag to check if initial tree has been dumped
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
Restructure the tree control flow graph.
REF_FORWARD_DECL(Schedule)
const ParameterConstRef parameters
Set of input parameters.
DesignFlowStep_Status
The status of a step.
Template definition of refcount.
FunctionFrontendFlowStep_Movable
Enum class used to specify if a statement can be moved.
const unsigned int function_id
The index of the function to be analyzed.
const application_managerRef AppM
The application manager.
void Initialize() override
Initialize the step (i.e., like a constructor, but executed just before exec.
bool IsScheduleBased() const
Return true if the last run of this step was based on scheduling.
This struct specifies the ssa_name node.
Definition: tree_node.hpp:4523
simple_code_motion(const ParameterConstRef parameters, const application_managerRef AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager)
Constructor.

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