[all-commits] [llvm/llvm-project] 7dd707: [mlir][linalg][bufferize] Handle scf::ForOp correc...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7dd7078760e7219f0915610c3aa57fa6dd74be59
      https://github.com/llvm/llvm-project/commit/7dd7078760e7219f0915610c3aa57fa6dd74be59
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-10-15 (Fri, 15 Oct 2021)

  Changed paths:
    M mlir/lib/Dialect/Linalg/Transforms/ComprehensiveBufferize.cpp
    M mlir/test/Dialect/Linalg/comprehensive-module-bufferize-analysis.mlir

  Log Message:
  -----------
  [mlir][linalg][bufferize] Handle scf::ForOp correctly in bufferizesToMemoryRead

>From the perspective of analysis, scf::ForOp is treated as a black box. Basic block arguments do not alias with their respective OpOperands on the ForOp, so they do not participate in conflict analysis with ops defined outside of the loop.

However, bufferizesToMemoryRead and bufferizesToMemoryWrite on the scf::ForOp itself are used to determine how the scf::ForOp interacts with its surrounding ops.

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