retdec
bool_comparison_optimizer.h
Go to the documentation of this file.
1 
7 #ifndef RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLIFY_ARITHM_EXPR_BOOL_COMPARISON_OPTIMIZER_H
8 #define RETDEC_LLVMIR2HLL_OPTIMIZER_OPTIMIZERS_SIMPLIFY_ARITHM_EXPR_BOOL_COMPARISON_OPTIMIZER_H
9 
11 
12 namespace retdec {
13 namespace llvmir2hll {
14 
15 class ArithmExprEvaluator;
16 
43 public:
45 
48  virtual std::string getId() const override;
49 
50 private:
53  using SubOptimizer::visit;
54  virtual void visit(ShPtr<EqOpExpr> expr) override;
55  virtual void visit(ShPtr<NeqOpExpr> expr) override;
57 
58  template<typename ExprType>
59  void optimizeNestedComparisons(ExprType expr);
60 
63 };
64 
65 } // namespace llvmir2hll
66 } // namespace retdec
67 
68 #endif
Simplification of comparisons with true and false.
Definition: bool_comparison_optimizer.h:42
virtual void visit(ShPtr< EqOpExpr > expr) override
Definition: bool_comparison_optimizer.cpp:44
static ShPtr< SubOptimizer > create(ShPtr< ArithmExprEvaluator > arithmExprEvaluator)
Creates a new sub-optimizer.
Definition: bool_comparison_optimizer.cpp:35
void replaceWithFirstOperand(ShPtr< BinaryOpExpr > expr)
Definition: bool_comparison_optimizer.cpp:115
virtual std::string getId() const override
Returns the ID of the optimizer.
Definition: bool_comparison_optimizer.cpp:40
void replaceWithNegationOfFirstOperand(ShPtr< BinaryOpExpr > expr)
Definition: bool_comparison_optimizer.cpp:119
BoolComparisonSubOptimizer(ShPtr< ArithmExprEvaluator > arithmExprEvaluator)
Constructs the sub-optimizer.
Definition: bool_comparison_optimizer.cpp:26
void optimizeNestedComparisons(ExprType expr)
Definition: bool_comparison_optimizer.cpp:111
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 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.