MLIR  15.0.0git
Namespaces | Typedefs | Functions
AffineCanonicalizationUtils.h File Reference
#include "mlir/Support/LLVM.h"
+ Include dependency graph for AffineCanonicalizationUtils.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


 TODO: Remove this file when SCCP and integer range analysis have been ported to the new framework.


using mlir::scf::LoopMatcherFn = function_ref< LogicalResult(Value, OpFoldResult &, OpFoldResult &, OpFoldResult &)>
 Match "for loop"-like operations: If the first parameter is an iteration variable, return lower/upper bounds via the second/third parameter and the step size via the last parameter. More...


LogicalResult mlir::scf::canonicalizeMinMaxOpInLoop (RewriterBase &rewriter, Operation *op, AffineMap map, ValueRange operands, bool isMin, LoopMatcherFn loopMatcher)
 Try to canonicalize an min/max operations in the context of for loops with a known range. More...
LogicalResult mlir::scf::rewritePeeledMinMaxOp (RewriterBase &rewriter, Operation *op, AffineMap map, ValueRange operands, bool isMin, Value iv, Value ub, Value step, bool insideLoop)
 Try to simplify a min/max operation op after loop peeling. More...