retdec
zero_sub_optimizer.h
Go to the documentation of this file.
1 
7 #ifndef RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLIFY_ARITHM_EXPR_ZERO_SUB_OPTIMIZER_H
8 #define RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLIFY_ARITHM_EXPR_ZERO_SUB_OPTIMIZER_H
9 
10 #include <string>
11 
15 
16 namespace retdec {
17 namespace llvmir2hll {
18 
135 class ZeroSubOptimizer final: public SubOptimizer {
136 public:
138 
141  virtual std::string getId() const override;
142 
143 private:
146  using SubOptimizer::visit;
147  virtual void visit(ShPtr<AddOpExpr> expr) override;
148  virtual void visit(ShPtr<SubOpExpr> expr) override;
149  virtual void visit(ShPtr<MulOpExpr> expr) override;
150  virtual void visit(ShPtr<DivOpExpr> expr) override;
151  virtual void visit(ShPtr<ModOpExpr> expr) override;
152  virtual void visit(ShPtr<BitAndOpExpr> expr) override;
153  virtual void visit(ShPtr<BitOrOpExpr> expr) override;
154  virtual void visit(ShPtr<BitXorOpExpr> expr) override;
156 
157  bool isConstFloatZero(ShPtr<Expression> expr) const;
158  bool isConstIntZero(ShPtr<Expression> expr) const;
159  bool isOpZero(ShPtr<Expression> expr) const;
160 };
161 
162 } // namespace llvmir2hll
163 } // namespace retdec
164 
165 #endif
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
This optimizer changes expressions where one of the operands is a zero. Examples are mentioned below.
Definition: zero_sub_optimizer.h:135
virtual void visit(ShPtr< AddOpExpr > expr) override
Definition: zero_sub_optimizer.cpp:53
static ShPtr< SubOptimizer > create(ShPtr< ArithmExprEvaluator > arithmExprEvaluator)
Creates a new ZeroSubOptimizer.
Definition: zero_sub_optimizer.cpp:44
virtual std::string getId() const override
Returns the ID of the optimizer.
Definition: zero_sub_optimizer.cpp:49
bool isOpZero(ShPtr< Expression > expr) const
Check if expression is a ConstInt or ConstFloat zero.
Definition: zero_sub_optimizer.cpp:198
ZeroSubOptimizer(ShPtr< ArithmExprEvaluator > arithmExprEvaluator)
Constructs the ZeroSubOptimizer.
Definition: zero_sub_optimizer.cpp:35
bool isConstFloatZero(ShPtr< Expression > expr) const
Check if expression is a ConstFloat zero.
Definition: zero_sub_optimizer.cpp:186
bool isConstIntZero(ShPtr< Expression > expr) const
Check if expression is a ConstInt zero.
Definition: zero_sub_optimizer.cpp:175
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.