retdec
three_operands_sub_optimizer.h
Go to the documentation of this file.
1 
8 #ifndef RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLIFY_ARITHM_EXPR_THREE_OPERANDS_SUB_OPTIMIZER_H
9 #define RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLIFY_ARITHM_EXPR_THREE_OPERANDS_SUB_OPTIMIZER_H
10 
11 #include <optional>
12 #include <string>
13 
18 
19 namespace retdec {
20 namespace llvmir2hll {
21 
141 public:
143 
146  virtual std::string getId() const override;
147 
148 private:
150  using ExprPair = std::pair<ShPtr<Expression>, ShPtr<Expression>>;
151 
152 private:
155  using SubOptimizer::visit;
156  virtual void visit(ShPtr<AddOpExpr> expr) override;
157  virtual void visit(ShPtr<SubOpExpr> expr) override;
158  virtual void visit(ShPtr<LtOpExpr> expr) override;
159  virtual void visit(ShPtr<LtEqOpExpr> expr) override;
160  virtual void visit(ShPtr<GtOpExpr> expr) override;
161  virtual void visit(ShPtr<GtEqOpExpr> expr) override;
162  virtual void visit(ShPtr<EqOpExpr> expr) override;
163  virtual void visit(ShPtr<NeqOpExpr> expr) override;
164  virtual void visit(ShPtr<BitXorOpExpr> expr) override;
165  virtual void visit(ShPtr<OrOpExpr> expr) override;
167 
169  ShPtr<BinaryOpExpr> exprToAnalyze) const;
172  std::optional<ExprPair> tryOptimizeExpressionWithRelationalOperator(
173  ShPtr<BinaryOpExpr> expr);
175 };
176 
177 } // namespace llvmir2hll
178 } // namespace retdec
179 
180 #endif
A base class for all binary operators.
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 which have two operators and at least two operands are constants.
Definition: three_operands_sub_optimizer.h:140
virtual void visit(ShPtr< AddOpExpr > expr) override
Definition: three_operands_sub_optimizer.cpp:75
void tryOptimizeOrOpExprWithRelOperators(ShPtr< OrOpExpr >)
Optimizes expression like.
Definition: three_operands_sub_optimizer.cpp:451
void tryOptimizeBitXorOpWithRelationalOperator(ShPtr< BitXorOpExpr > expr)
Try optimize BitXorOpExpr when one operand is relational operator and the second one is a ConstBool o...
Definition: three_operands_sub_optimizer.cpp:498
bool analyzeOpOperOp(ShPtr< Expression > &constant, ShPtr< Expression > &expr, ShPtr< BinaryOpExpr > exprToAnalyze) const
Find the Constant in exprToAnalyze.
Definition: three_operands_sub_optimizer.cpp:354
static ShPtr< SubOptimizer > create(ShPtr< ArithmExprEvaluator > arithmExprEvaluator)
Creates a new ThreeOperandsSubOptimizer.
Definition: three_operands_sub_optimizer.cpp:65
ThreeOperandsSubOptimizer(ShPtr< ArithmExprEvaluator > arithmExprEvaluator)
Constructs the ThreeOperandsSubOptimizer.
Definition: three_operands_sub_optimizer.cpp:56
virtual std::string getId() const override
Returns the ID of the optimizer.
Definition: three_operands_sub_optimizer.cpp:71
ShPtr< Expression > getResult(ShPtr< Expression > expr) const
Evaluate expr and return result.
Definition: three_operands_sub_optimizer.cpp:607
std::pair< ShPtr< Expression >, ShPtr< Expression > > ExprPair
Pair of expressions.
Definition: three_operands_sub_optimizer.h:150
std::optional< ExprPair > tryOptimizeExpressionWithRelationalOperator(ShPtr< BinaryOpExpr > expr)
Try to optimize relational expr.
Definition: three_operands_sub_optimizer.cpp:536
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.