PandA-2024.02
Bit_Value_opt.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 BIT_VALUE_OPT_HPP
45 #define BIT_VALUE_OPT_HPP
46 
48 
49 #include "refcount.hpp"
50 #include "tree_basic_block.hpp"
58 struct function_decl;
59 struct ssa_name;
61 
66 {
67  private:
69  bool modified;
70 
72  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
73 
81 
82  void propagateValue(const ssa_name* ssa, tree_managerRef TM, tree_nodeRef old_val, tree_nodeRef new_val,
83  const std::string callSiteString);
84 
85  public:
93  Bit_Value_opt(const ParameterConstRef _Param, const application_managerRef _AppM, unsigned int function_id,
94  const DesignFlowManagerConstRef design_flow_manager);
95 
99  ~Bit_Value_opt() override;
100 
106 
111  bool HasToBeExecuted() const override;
112 
113  static void constrainSSA(ssa_name* op_ssa, tree_managerRef TM);
114 };
115 #endif /* Bit_Value_opt_HPP */
bool HasToBeExecuted() const override
Check if this step has actually to be executed.
RelationshipType
The relationship type.
struct definition of the function_decl tree node.
Definition: tree_node.hpp:2759
This class manages the tree structures extracted from the raw file.
void optimize(const function_decl *fd, tree_managerRef TM, tree_manipulationRef IRman)
do bit value based optimization such as:
This class contains the base representation for a generic frontend flow step which works on a single ...
Bit_Value_opt(const ParameterConstRef _Param, const application_managerRef _AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
Data structure describing a basic block at tree level.
Class performing some optimizations on the IR exploiting Bit Value analysis.
REF_FORWARD_DECL(Bit_Value_opt)
~Bit_Value_opt() override
Destructor.
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
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.
static void constrainSSA(ssa_name *op_ssa, tree_managerRef TM)
Template definition of refcount.
DesignFlowStep_Status InternalExec() override
Optimize IR after the BitValue/BitValueIPA has been executed.
void propagateValue(const ssa_name *ssa, tree_managerRef TM, tree_nodeRef old_val, tree_nodeRef new_val, const std::string callSiteString)
const unsigned int function_id
The index of the function to be analyzed.
This struct specifies the ssa_name node.
Definition: tree_node.hpp:4523
bool modified
when true IR has been modified
This class creates a layer to add nodes and to manipulate the tree_nodes manager. ...

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