retdec
one_sub_optimizer.h
Go to the documentation of this file.
1 
7 #ifndef RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLIFY_ARITHM_EXPR_ONE_SUB_OPTIMIZER_H
8 #define RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLIFY_ARITHM_EXPR_ONE_SUB_OPTIMIZER_H
9 
10 #include <string>
11 
15 
16 namespace retdec {
17 namespace llvmir2hll {
18 
69 class OneSubOptimizer final: public SubOptimizer {
70 public:
72 
75  virtual std::string getId() const override;
76 
77 private:
80  using SubOptimizer::visit;
81  virtual void visit(ShPtr<MulOpExpr> expr) override;
82  virtual void visit(ShPtr<DivOpExpr> expr) override;
83  virtual void visit(ShPtr<BitXorOpExpr> expr) override;
85 
86  bool isConstFloatOne(ShPtr<Expression> expr) const;
87  bool isConstIntOne(ShPtr<Expression> expr) const;
88  bool isOne(ShPtr<ConstFloat> value) const;
89  bool isOne(ShPtr<ConstInt> value) const;
90  bool isOpOne(ShPtr<Expression> expr) const;
91 };
92 
93 } // namespace llvmir2hll
94 } // namespace retdec
95 
96 #endif
This optimizer changes expressions where one of the operands is a number one. Examples are mentioned ...
Definition: one_sub_optimizer.h:69
bool isConstIntOne(ShPtr< Expression > expr) const
Check if expression is a ConstInt one.
Definition: one_sub_optimizer.cpp:149
virtual void visit(ShPtr< MulOpExpr > expr) override
Definition: one_sub_optimizer.cpp:50
bool isOpOne(ShPtr< Expression > expr) const
Check if expression is a ConstInt or ConstFloat number one.
Definition: one_sub_optimizer.cpp:174
virtual std::string getId() const override
Returns the ID of the optimizer.
Definition: one_sub_optimizer.cpp:46
static ShPtr< SubOptimizer > create(ShPtr< ArithmExprEvaluator > arithmExprEvaluator)
Creates a new OneSubOptimizer.
Definition: one_sub_optimizer.cpp:41
bool isConstFloatOne(ShPtr< Expression > expr) const
Check if expression is a ConstFloat one.
Definition: one_sub_optimizer.cpp:161
bool isOne(ShPtr< ConstFloat > value) const
Determines whether the float constant has the value 1.0.
Definition: one_sub_optimizer.cpp:125
OneSubOptimizer(ShPtr< ArithmExprEvaluator > arithmExprEvaluator)
Constructs the OneSubOptimizer.
Definition: one_sub_optimizer.cpp:32
virtual void visit(ShPtr< GlobalVarDef > varDef) override
Definition: ordered_all_visitor.cpp:95
A base class for all simplify arithmetical expression optimizations.
Definition: sub_optimizer.h:24
ShPtr< ArithmExprEvaluator > arithmExprEvaluator
The used evaluator of arithmetical expressions.
Definition: sub_optimizer.h:41
A base class of all expressions.
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
Definition: archive_wrapper.h:19
A base class for all simplify arithmetical expression optimizations.
Aliases for several useful types.