MLIR
21.0.0git
|
#include "mlir/Dialect/Affine/IR/AffineOps.h"
#include "mlir/Dialect/Affine/ViewLikeInterfaceUtils.h"
#include "mlir/Dialect/Arith/IR/Arith.h"
#include "mlir/Dialect/Arith/Utils/Utils.h"
#include "mlir/Dialect/GPU/IR/GPUDialect.h"
#include "mlir/Dialect/MemRef/IR/MemRef.h"
#include "mlir/Dialect/MemRef/Transforms/Passes.h"
#include "mlir/Dialect/MemRef/Transforms/Transforms.h"
#include "mlir/Dialect/MemRef/Utils/MemRefUtils.h"
#include "mlir/Dialect/NVGPU/IR/NVGPUDialect.h"
#include "mlir/Dialect/Utils/IndexingUtils.h"
#include "mlir/Dialect/Vector/IR/VectorOps.h"
#include "mlir/IR/AffineMap.h"
#include "mlir/Transforms/GreedyPatternRewriteDriver.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallBitVector.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/Support/Debug.h"
#include "mlir/Dialect/MemRef/Transforms/Passes.h.inc"
Go to the source code of this file.
Namespaces | |
mlir | |
Include the generated interface declarations. | |
mlir::memref | |
Macros | |
#define | DEBUG_TYPE "fold-memref-alias-ops" |
#define | DBGS() (llvm::dbgs() << "[" DEBUG_TYPE "]: ") |
#define | GEN_PASS_DEF_FOLDMEMREFALIASOPS |
Functions | |
static LogicalResult | resolveSourceIndicesExpandShape (Location loc, PatternRewriter &rewriter, memref::ExpandShapeOp expandShapeOp, ValueRange indices, SmallVectorImpl< Value > &sourceIndices) |
Given the 'indices' of a load/store operation where the memref is a result of a expand_shape op, returns the indices w.r.t to the source memref of the expand_shape op. More... | |
static LogicalResult | resolveSourceIndicesCollapseShape (Location loc, PatternRewriter &rewriter, memref::CollapseShapeOp collapseShapeOp, ValueRange indices, SmallVectorImpl< Value > &sourceIndices) |
Given the 'indices' of a load/store operation where the memref is a result of a collapse_shape op, returns the indices w.r.t to the source memref of the collapse_shape op. More... | |
template<typename LoadOrStoreOpTy > | |
static Value | getMemRefOperand (LoadOrStoreOpTy op) |
Helpers to access the memref operand for each op. More... | |
static Value | getMemRefOperand (vector::TransferReadOp op) |
static Value | getMemRefOperand (nvgpu::LdMatrixOp op) |
static Value | getMemRefOperand (vector::LoadOp op) |
static Value | getMemRefOperand (vector::StoreOp op) |
static Value | getMemRefOperand (vector::MaskedLoadOp op) |
static Value | getMemRefOperand (vector::MaskedStoreOp op) |
static Value | getMemRefOperand (vector::TransferWriteOp op) |
static Value | getMemRefOperand (gpu::SubgroupMmaLoadMatrixOp op) |
static Value | getMemRefOperand (gpu::SubgroupMmaStoreMatrixOp op) |
static SmallVector< Value > | calculateExpandedAccessIndices (AffineMap affineMap, const SmallVector< Value > &indices, Location loc, PatternRewriter &rewriter) |
template<typename XferOp > | |
static LogicalResult | preconditionsFoldSubViewOpImpl (RewriterBase &rewriter, XferOp xferOp, memref::SubViewOp subviewOp) |
static LogicalResult | preconditionsFoldSubViewOp (RewriterBase &rewriter, Operation *op, memref::SubViewOp subviewOp) |
static LogicalResult | preconditionsFoldSubViewOp (RewriterBase &rewriter, vector::TransferReadOp readOp, memref::SubViewOp subviewOp) |
static LogicalResult | preconditionsFoldSubViewOp (RewriterBase &rewriter, vector::TransferWriteOp writeOp, memref::SubViewOp subviewOp) |
#define DBGS | ( | ) | (llvm::dbgs() << "[" DEBUG_TYPE "]: ") |
Definition at line 34 of file FoldMemRefAliasOps.cpp.
#define DEBUG_TYPE "fold-memref-alias-ops" |
Definition at line 33 of file FoldMemRefAliasOps.cpp.
#define GEN_PASS_DEF_FOLDMEMREFALIASOPS |
Definition at line 38 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 376 of file FoldMemRefAliasOps.cpp.
References mlir::AffineMap::getNumResults(), mlir::AffineMap::getSubMap(), mlir::getValueOrCreateConstantIndexOp(), and mlir::affine::makeComposedFoldedAffineApply().
|
static |
Definition at line 247 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 251 of file FoldMemRefAliasOps.cpp.
|
static |
Helpers to access the memref operand for each op.
Definition at line 223 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 231 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 235 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 239 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 241 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 237 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 227 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 243 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 407 of file FoldMemRefAliasOps.cpp.
|
static |
Definition at line 413 of file FoldMemRefAliasOps.cpp.
References preconditionsFoldSubViewOpImpl().
|
static |
Definition at line 419 of file FoldMemRefAliasOps.cpp.
References preconditionsFoldSubViewOpImpl().
|
static |
Definition at line 393 of file FoldMemRefAliasOps.cpp.
References mlir::RewriterBase::notifyMatchFailure().
Referenced by preconditionsFoldSubViewOp().
|
static |
Given the 'indices' of a load/store operation where the memref is a result of a collapse_shape op, returns the indices w.r.t to the source memref of the collapse_shape op.
For example
%0 = ... : memref<2x6x42xf32> %1 = memref.collapse_shape %0 [[0, 1], [2]] : memref<2x6x42xf32> into memref<12x42xf32> %2 = load %1[i1, i2] : memref<12x42xf32>
could be folded into
%2 = load %0[i1 / 6, i1 % 6, i2] : memref<2x6x42xf32>
Definition at line 166 of file FoldMemRefAliasOps.cpp.
References mlir::computeSuffixProduct(), mlir::delinearize(), mlir::AffineMap::get(), mlir::Builder::getAffineDimExpr(), mlir::Builder::getConstantAffineMap(), mlir::getValueOrCreateConstantIndexOp(), and mlir::affine::makeComposedFoldedAffineApply().
|
static |
Given the 'indices' of a load/store operation where the memref is a result of a expand_shape op, returns the indices w.r.t to the source memref of the expand_shape op.
For example
%0 = ... : memref<12x42xf32> %1 = memref.expand_shape %0 [[0, 1], [2]] : memref<12x42xf32> into memref<2x6x42xf32> %2 = load %1[i1, i2, i3] : memref<2x6x42xf32
could be folded into
%2 = load %0[6 * i1 + i2, i3] : memref<12x42xf32>
Definition at line 63 of file FoldMemRefAliasOps.cpp.
References mlir::memref::computeSuffixProductIRBlock(), mlir::OpBuilder::create(), mlir::AffineMap::get(), mlir::Builder::getContext(), mlir::Builder::getIndexAttr(), mlir::Operation::getResult(), mlir::getValueOrCreateConstantIndexOp(), mlir::inferExpandShapeOutputShape(), mlir::linearize(), and mlir::affine::makeComposedFoldedAffineApply().