BufferizableOpInterfaceImpl.cpp

Go to the documentation of this file.

//===- BufferizableOpInterfaceImpl.cpp - Impl. of BufferizableOpInterface -===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
 
#include "mlir/Dialect/Linalg/Transforms/BufferizableOpInterfaceImpl.h"
#include "mlir/Dialect/Bufferization/IR/BufferizableOpInterface.h"
#include "mlir/Dialect/Bufferization/IR/DstBufferizableOpInterfaceImpl.h"
#include "mlir/Dialect/Linalg/IR/Linalg.h"
#include "mlir/Dialect/SparseTensor/IR/SparseTensor.h"
#include "mlir/IR/Dialect.h"
#include "mlir/IR/Operation.h"
#include "mlir/Interfaces/DestinationStyleOpInterface.h"
 
using namespace mlir;
using namespace linalg;
using namespace mlir::bufferization;
 
namespace {
 
/// Generic conversion for any DestinationStyleOpInterface on tensors.
static LogicalResult bufferizeDestinationStyleOpInterface(
    RewriterBase &rewriter, DestinationStyleOpInterface op,
    const BufferizationOptions &options, const BufferizationState &state) {
  // Take a guard before anything else.
  OpBuilder::InsertionGuard g(rewriter);
  rewriter.setInsertionPoint(op);
 
  // Nothing to do. This op is already bufferized.
  if (op.hasPureBufferSemantics())
    return success();
 
  // Ensure op has only tensors. Allow mixed tensor-buffer mode on a per-need
  // basis.
  if (!op.hasPureTensorSemantics())
    return op->emitError() << "op does not have pure tensor semantics";
 
  // New input operands for the cloned op.
  SmallVector<Value> newInputBuffers;
  newInputBuffers.reserve(op.getNumDpsInputs());
  for (OpOperand *opOperand : op.getDpsInputOperands()) {
    if (op.isScalar(opOperand)) {
      newInputBuffers.push_back(opOperand->get());
      continue;
    }
    FailureOr<Value> buffer =
        getBuffer(rewriter, opOperand->get(), options, state);
    if (failed(buffer))
      return failure();
    newInputBuffers.push_back(*buffer);
  }
 
  // New output operands for the cloned op.
  SmallVector<Value> newOutputBuffers;
  for (OpResult opResult : op->getOpResults()) {
    OpOperand *opOperand = op.getDpsInitOperand(opResult.getResultNumber());
    FailureOr<Value> resultBuffer =
        getBuffer(rewriter, opOperand->get(), options, state);
    if (failed(resultBuffer))
      return failure();
    newOutputBuffers.push_back(*resultBuffer);
  }
 
  // Merge input/output operands.
  SmallVector<Value> newOperands = newInputBuffers;
  newOperands.append(newOutputBuffers.begin(), newOutputBuffers.end());
 
  // Set insertion point now that potential alloc/dealloc are introduced.
  rewriter.setInsertionPoint(op);
  // Clone the op, but use the new operands. Move the existing block into the
  // new op. Since the new op does not have any tensor results, it does not
  // return anything.
  assert(op->getNumRegions() == 1 && "expected that op has 1 region");
  Operation *newOp = Operation::create(
      op->getLoc(), op->getName(), TypeRange{}, newOperands,
      op->getDiscardableAttrDictionary(), op->getPropertiesStorage(),
      /*successors=*/{}, /*numRegions=*/1);
  newOp->getRegion(0).getBlocks().splice(newOp->getRegion(0).begin(),
                                         op->getRegion(0).getBlocks());
 
  // We don't want the rewriter tracks an incomplete operation, so insert new
  // operation after op was fully constructed.
  rewriter.insert(newOp);
 
  // Replace the results of the old op with the new output buffers.
  replaceOpWithBufferizedValues(rewriter, op, newOutputBuffers);
 
  return success();
}
 
/// Bufferization of linalg.generic. Replace with a new linalg.generic that
/// operates entirely on memrefs.
template <typename OpTy>
struct LinalgOpInterface
    : public DstBufferizableOpInterfaceExternalModel<LinalgOpInterface<OpTy>,
                                                     OpTy> {
  bool bufferizesToMemoryRead(Operation *op, OpOperand &opOperand,
                              const AnalysisState &state) const {
    // Operand is read if it is used in the computation.
    auto linalgOp = cast<linalg::LinalgOp>(op);
    return linalgOp.payloadUsesValueFromOperand(&opOperand);
  }
 
  bool bufferizesToMemoryWrite(Operation *op, OpOperand &opOperand,
                               const AnalysisState &state) const {
    // Operand is written to if it is not an input/init.
    auto dpsOp = cast<DestinationStyleOpInterface>(op);
    return dpsOp.isDpsInit(&opOperand);
  }
 
  bool bufferizesToElementwiseAccess(Operation *op, const AnalysisState &state,
                                     ArrayRef<OpOperand *> opOperands) const {
    auto linalgOp = cast<linalg::LinalgOp>(op);
 
    // Accesses into sparse data structures are not necessarily elementwise.
    if (sparse_tensor::hasAnySparseOperand(linalgOp))
      return false;
 
    // All loops must be parallel.
    if (linalgOp.getNumLoops() != linalgOp.getNumParallelLoops())
      return false;
 
    // All index maps of tensors must be identity maps.
    SmallVector<AffineMap> indexingMaps = linalgOp.getIndexingMapsArray();
    assert(linalgOp->getNumOperands() == indexingMaps.size() &&
           "unexpected number of indexing maps");
    for (auto [operand, map] :
         llvm::zip(linalgOp->getOpOperands(), indexingMaps)) {
      // Non-tensors do not participate in bufferization, so they can be
      // ignored.
      if (!isa<RankedTensorType, MemRefType>(operand.get().getType()))
        continue;
      // Only consider operands in `opOperands`.
      if (!llvm::is_contained(opOperands, &operand))
        continue;
      // TODO: This could be generalized to other indexing maps. (All indexing
      // must be the same.)
      if (!map.isIdentity())
        return false;
    }
 
    return true;
  }
 
  LogicalResult bufferize(Operation *op, RewriterBase &rewriter,
                          const BufferizationOptions &options,
                          BufferizationState &state) const {
    return bufferizeDestinationStyleOpInterface(
        rewriter, cast<DestinationStyleOpInterface>(op), options, state);
  }
};
 
/// Helper structure that iterates over all LinalgOps in `OpTys` and registers
/// the `BufferizableOpInterface` with each of them.
template <typename... Ops>
struct LinalgOpInterfaceHelper {
  static void registerOpInterface(MLIRContext *ctx) {
    (Ops::template attachInterface<LinalgOpInterface<Ops>>(*ctx), ...);
  }
};
 
struct SoftmaxOpInterface
    : public DstBufferizableOpInterfaceExternalModel<SoftmaxOpInterface,
                                                     linalg::SoftmaxOp> {
  bool bufferizesToMemoryRead(Operation *op, OpOperand &opOperand,
                              const AnalysisState &state) const {
    // Output operand is not read.
    auto softmaxOp = cast<linalg::SoftmaxOp>(op);
    return &opOperand == &softmaxOp.getInputMutable();
  }
 
  LogicalResult bufferize(Operation *op, RewriterBase &rewriter,
                          const BufferizationOptions &options,
                          BufferizationState &state) const {
    auto softmaxOp = cast<linalg::SoftmaxOp>(op);
    FailureOr<Value> inputBuffer =
        getBuffer(rewriter, softmaxOp.getInput(), options, state);
    if (failed(inputBuffer))
      return failure();
    FailureOr<Value> outputBuffer =
        getBuffer(rewriter, softmaxOp.getOutput(), options, state);
    if (failed(outputBuffer))
      return failure();
    linalg::SoftmaxOp::create(rewriter, softmaxOp.getLoc(),
                              /*result=*/TypeRange(), *inputBuffer,
                              *outputBuffer, softmaxOp.getDimension());
    replaceOpWithBufferizedValues(rewriter, op, *outputBuffer);
    return success();
  }
};
 
struct PackOpInterface
    : public DstBufferizableOpInterfaceExternalModel<PackOpInterface,
                                                     linalg::PackOp> {
  bool bufferizesToMemoryRead(Operation *op, OpOperand &opOperand,
                              const AnalysisState &state) const {
    auto packOp = cast<linalg::PackOp>(op);
    return !packOp.isDpsInit(&opOperand);
  }
 
  LogicalResult bufferize(Operation *op, RewriterBase &rewriter,
                          const BufferizationOptions &options,
                          BufferizationState &state) const {
    auto packOp = cast<linalg::PackOp>(op);
    assert(!packOp.hasPureBufferSemantics() && "expected op with tensors");
    if (!packOp.hasPureTensorSemantics())
      return packOp.emitError()
             << "mixed tensor/buffer semantic op not supported yet";
    FailureOr<Value> sourceBuffer =
        getBuffer(rewriter, packOp.getSource(), options, state);
    if (failed(sourceBuffer))
      return failure();
    FailureOr<Value> destBuffer =
        getBuffer(rewriter, packOp.getDest(), options, state);
    if (failed(destBuffer))
      return failure();
 
    SmallVector<Value> operands;
    operands.push_back(*sourceBuffer);
    operands.push_back(*destBuffer);
    if (auto val = packOp.getPaddingValue())
      operands.push_back(val);
    llvm::append_range(operands, packOp.getInnerTiles());
 
    linalg::PackOp::create(rewriter, packOp.getLoc(), TypeRange{}, operands,
                           packOp.getProperties(),
                           packOp->getDiscardableAttrDictionary().getValue());
    replaceOpWithBufferizedValues(rewriter, op, *destBuffer);
    return success();
  }
};
 
struct UnPackOpInterface
    : public DstBufferizableOpInterfaceExternalModel<UnPackOpInterface,
                                                     linalg::UnPackOp> {
  bool bufferizesToMemoryRead(Operation *op, OpOperand &opOperand,
                              const AnalysisState &state) const {
    auto unPackOp = cast<linalg::UnPackOp>(op);
    return !unPackOp.isDpsInit(&opOperand);
  }
 
  LogicalResult bufferize(Operation *op, RewriterBase &rewriter,
                          const BufferizationOptions &options,
                          BufferizationState &state) const {
    auto unPackOp = cast<linalg::UnPackOp>(op);
    assert(!unPackOp.hasPureBufferSemantics() && "expected op with tensors");
    if (!unPackOp.hasPureTensorSemantics())
      return unPackOp.emitError()
             << "mixed tensor/buffer semantic op not supported yet";
    FailureOr<Value> sourceBuffer =
        getBuffer(rewriter, unPackOp.getSource(), options, state);
    if (failed(sourceBuffer))
      return failure();
    FailureOr<Value> destBuffer =
        getBuffer(rewriter, unPackOp.getDest(), options, state);
    if (failed(destBuffer))
      return failure();
 
    SmallVector<Value> operands;
    operands.push_back(*sourceBuffer);
    operands.push_back(*destBuffer);
    llvm::append_range(operands, unPackOp.getInnerTiles());
 
    linalg::UnPackOp::create(
        rewriter, unPackOp.getLoc(), TypeRange{}, operands,
        unPackOp.getProperties(),
        unPackOp->getDiscardableAttrDictionary().getValue());
    replaceOpWithBufferizedValues(rewriter, op, *destBuffer);
    return success();
  }
};
} // namespace
 
void mlir::linalg::registerBufferizableOpInterfaceExternalModels(
    DialectRegistry &registry) {
  registry.addExtension(+[](MLIRContext *ctx, linalg::LinalgDialect *dialect) {
    // Register all Linalg structured ops. `LinalgOp` is an interface and it is
    // not possible to attach an external interface to an existing interface.
    // Therefore, attach the `BufferizableOpInterface` to all ops one-by-one.
    LinalgOpInterfaceHelper<
#define GET_OP_LIST
#include "mlir/Dialect/Linalg/IR/LinalgStructuredOps.cpp.inc"
 
        >::registerOpInterface(ctx);
 
    SoftmaxOp::attachInterface<SoftmaxOpInterface>(*ctx);
    PackOp::attachInterface<PackOpInterface>(*ctx);
    UnPackOp::attachInterface<UnPackOpInterface>(*ctx);
  });
}