[all-commits] [llvm/llvm-project] ddeb55: [mlir] add option to multi-buffering

[Thomas via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ddeb55ab3359a7e332db47afaf0c574adf1a147a
      https://github.com/llvm/llvm-project/commit/ddeb55ab3359a7e332db47afaf0c574adf1a147a
  Author: Thomas Raoux <thomasraoux at google.com>
  Date:   2023-02-17 (Fri, 17 Feb 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/MemRef/TransformOps/MemRefTransformOps.td
    M mlir/include/mlir/Dialect/MemRef/Transforms/Passes.h
    M mlir/lib/Dialect/MemRef/TransformOps/MemRefTransformOps.cpp
    M mlir/lib/Dialect/MemRef/Transforms/MultiBuffer.cpp
    M mlir/test/Dialect/MemRef/transform-ops.mlir

  Log Message:
  -----------
  [mlir] add option to multi-buffering

Allow user to apply multi-buffering transformation for cases where proving
that there is no loop carried dependency is not trivial. In this case user needs
to ensure that the data are written and read in the same iteration otherwise the
result is incorrect.

Differential Revision: https://reviews.llvm.org/D144227