[all-commits] [llvm/llvm-project] 9a0af6: [mlir][Linalg] Proper handling of ForOp and TiledL...

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9a0af63d05eeec8d333af147f3f1bda1efe63b30
      https://github.com/llvm/llvm-project/commit/9a0af63d05eeec8d333af147f3f1bda1efe63b30
  Author: Nicolas Vasilache <nicolas.vasilache at gmail.com>
  Date:   2021-07-07 (Wed, 07 Jul 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] Proper handling of ForOp and TiledLoopOp

The `bufferizesToMemoryRead` condition was too optimistics in the case
of operands that map to a block argument.
This is the case for ForOp and TiledLoopOp.
For such ops, forward the call to all uses of the matching BBArg.

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