[all-commits] [llvm/llvm-project] f8453e: [mlir][linalg][bufferize] Rewrite "write into non-...

[Matthias Springer via All-commits]

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

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

  Log Message:
  -----------
  [mlir][linalg][bufferize] Rewrite "write into non-writable memory" detection

The purpose of this revision is to make "write into non-writable memory" conflict detection easier to understand.

The main idea is that there is a conflict in the case of inplace bufferization if:

1. Someone writes to (an alias of) opOperand, opResult or the to-be-bufferized op writes itself.
2. And, opOperand or opResult aliases a non-writable buffer.

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