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
146 virtual std::string
getId()
const override;
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.