| //===- LowerAffine.h - Convert Affine to Standard dialect -------*- C++ -*-===// |
| // |
| // Copyright 2019 The MLIR Authors. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| // ============================================================================= |
| |
| #ifndef MLIR_TRANSFORMS_LOWERAFFINE_H |
| #define MLIR_TRANSFORMS_LOWERAFFINE_H |
| |
| #include "mlir/Support/LLVM.h" |
| #include <vector> |
| |
| namespace mlir { |
| class AffineExpr; |
| class AffineForOp; |
| class Location; |
| struct LogicalResult; |
| class MLIRContext; |
| class OpBuilder; |
| class RewritePattern; |
| class Value; |
| |
| // Owning list of rewriting patterns. |
| class OwningRewritePatternList; |
| |
| /// Emit code that computes the given affine expression using standard |
| /// arithmetic operations applied to the provided dimension and symbol values. |
| Value *expandAffineExpr(OpBuilder &builder, Location loc, AffineExpr expr, |
| ArrayRef<Value *> dimValues, |
| ArrayRef<Value *> symbolValues); |
| |
| /// Collect a set of patterns to convert from the Affine dialect to the Standard |
| /// dialect, in particular convert structured affine control flow into CFG |
| /// branch-based control flow. |
| void populateAffineToStdConversionPatterns(OwningRewritePatternList &patterns, |
| MLIRContext *ctx); |
| |
| /// Emit code that computes the lower bound of the given affine loop using |
| /// standard arithmetic operations. |
| Value *lowerAffineLowerBound(AffineForOp op, OpBuilder &builder); |
| |
| /// Emit code that computes the upper bound of the given affine loop using |
| /// standard arithmetic operations. |
| Value *lowerAffineUpperBound(AffineForOp op, OpBuilder &builder); |
| } // namespace mlir |
| |
| #endif // MLIR_TRANSFORMS_LOWERAFFINE_H |