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
15 class ArithmExprEvaluator;
48 virtual std::string
getId()
const override;
58 template<
typename ExprType>
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.