retdec
simple_copy_propagation_optimizer.h
Go to the documentation of this file.
1 
7 #ifndef RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLE_COPY_PROPAGATION_OPTIMIZER_H
8 #define RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLE_COPY_PROPAGATION_OPTIMIZER_H
9 
10 #include <unordered_set>
11 
14 
15 namespace retdec {
16 namespace llvmir2hll {
17 
18 class CFG;
19 class CFGBuilder;
20 class CallInfoObtainer;
21 class ValueAnalysis;
22 class VarUsesVisitor;
23 
67 public:
70 
71  virtual std::string getId() const override { return "SimpleCopyPropagation"; }
72 
73 private:
74  virtual void doOptimization() override;
75  virtual void runOnFunction(ShPtr<Function> func) override;
76 
80  virtual void visit(ShPtr<AssignStmt> stmt) override;
81  virtual void visit(ShPtr<VarDefStmt> stmt) override;
83 
86  ShPtr<Expression> rhs);
87 
88 private:
90  using VarUSet = std::unordered_set<ShPtr<Variable>>;
91 
92 private:
95 
98 
101 
104 
109 
112 
115 };
116 
117 } // namespace llvmir2hll
118 } // namespace retdec
119 
120 #endif
A base class of all function optimizers.
Definition: func_optimizer.h:44
ShPtr< Module > module
The module that is being optimized.
Definition: optimizer.h:79
virtual void visit(ShPtr< GlobalVarDef > varDef) override
Definition: ordered_all_visitor.cpp:95
A simple version of the copy propagation optimization.
Definition: simple_copy_propagation_optimizer.h:66
virtual void runOnFunction(ShPtr< Function > func) override
Performs all optimizations on the given function.
Definition: simple_copy_propagation_optimizer.cpp:70
ShPtr< CFGBuilder > cfgBuilder
The used builder of CFGs.
Definition: simple_copy_propagation_optimizer.h:94
VarUSet triedVars
Set of variables that we have already tried to optimized.
Definition: simple_copy_propagation_optimizer.h:114
ShPtr< ValueAnalysis > va
Analysis of values.
Definition: simple_copy_propagation_optimizer.h:97
VarSet globalVars
Definition: simple_copy_propagation_optimizer.h:108
void tryOptimization(ShPtr< Statement > stmt)
Tries to perform the optimization on the given statement.
Definition: simple_copy_propagation_optimizer.cpp:97
std::unordered_set< ShPtr< Variable > > VarUSet
Unordered set of variables.
Definition: simple_copy_propagation_optimizer.h:90
ShPtr< VarUsesVisitor > vuv
Visitor for obtaining uses of variables.
Definition: simple_copy_propagation_optimizer.h:103
virtual void visit(ShPtr< GlobalVarDef > varDef) override
Definition: ordered_all_visitor.cpp:95
void tryOptimizationCase1(ShPtr< Statement > stmt, ShPtr< Variable > lhsVar, ShPtr< Expression > rhs)
Tries to perform the case (1) optimization from the class description on the given statement.
Definition: simple_copy_propagation_optimizer.cpp:165
SimpleCopyPropagationOptimizer(ShPtr< Module > module, ShPtr< ValueAnalysis > va, ShPtr< CallInfoObtainer > cio)
Constructs a new optimizer.
Definition: simple_copy_propagation_optimizer.cpp:49
virtual std::string getId() const override
Returns the ID of the optimizer.
Definition: simple_copy_propagation_optimizer.h:71
virtual void doOptimization() override
Performs the optimization on all functions in the module.
Definition: simple_copy_propagation_optimizer.cpp:59
ShPtr< CFG > currCFG
CFG of the currently optimized function.
Definition: simple_copy_propagation_optimizer.h:111
ShPtr< CallInfoObtainer > cio
Obtainer of information about function calls.
Definition: simple_copy_propagation_optimizer.h:100
A base class of all function optimizers.
A library providing API for working with back-end IR.
std::shared_ptr< T > ShPtr
An alias for a shared pointer.
Definition: smart_ptr.h:18
std::set< ShPtr< Variable > > VarSet
Set of variables.
Definition: types.h:57
Definition: archive_wrapper.h:19
Declarations, aliases, macros, etc. for the use of smart pointers.