[all-commits] [llvm/llvm-project] 4002ea: [mlir][bufferize] Improve analysis of external fun...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4002eaaa01b71ab1f74fc15b151c72c0626d9d2d
      https://github.com/llvm/llvm-project/commit/4002eaaa01b71ab1f74fc15b151c72c0626d9d2d
  Author: Matthias Springer <springerm at google.com>
  Date:   2022-12-09 (Fri, 09 Dec 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/Bufferization/IR/BufferizationBase.td
    M mlir/lib/Dialect/Bufferization/IR/BufferizationDialect.cpp
    M mlir/lib/Dialect/Bufferization/Transforms/OneShotModuleBufferize.cpp
    M mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize-analysis.mlir
    M mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize-invalid.mlir
    M mlir/test/Dialect/Bufferization/invalid.mlir
    M mlir/test/Dialect/SCF/one-shot-bufferize.mlir

  Log Message:
  -----------
  [mlir][bufferize] Improve analysis of external functions

External functions have no body, so they cannot be analyzed. Assume conservatively that each tensor bbArg may be aliasing with each tensor result. Furthermore, assume that each function arg is read and written-to after bufferization. This default behavior can be controlled with `bufferization.access` (similar to `bufferization.memory_layout`) in test cases.

Also fix a bug in the dialect attribute verifier, which did not run for region argument attributes.

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