[all-commits] [llvm/llvm-project] 032be2: [mlir][bufferize] Improve buffer writability analysis

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 032be2330928995ae264a4886fd2610bc3e49656
      https://github.com/llvm/llvm-project/commit/032be2330928995ae264a4886fd2610bc3e49656
  Author: Matthias Springer <springerm at google.com>
  Date:   2022-06-08 (Wed, 08 Jun 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/Bufferization/Transforms/OneShotAnalysis.h
    M mlir/lib/Dialect/Bufferization/Transforms/OneShotAnalysis.cpp
    M mlir/test/Dialect/Bufferization/Transforms/one-shot-bufferize-allow-return-allocs.mlir

  Log Message:
  -----------
  [mlir][bufferize] Improve buffer writability analysis

Find writability conflicts (writes to buffers that are not allowed to be written to) by checking SSA use-def chains. This is better than the current writability analysis, which is too conservative and finds false positives.

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