[all-commits] [llvm/llvm-project] 2e2100: [mlir][bufferize] Fix repetitive region conflict d...

[Matthias Springer via All-commits]

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

  Changed paths:
    M mlir/lib/Dialect/Bufferization/Transforms/OneShotAnalysis.cpp
    M mlir/test/Dialect/SCF/one-shot-bufferize-analysis.mlir

  Log Message:
  -----------
  [mlir][bufferize] Fix repetitive region conflict detection

This fixes a bug where a required buffer copy was not inserted.

Not only written aliases, but also read aliases should be taken into account when computing common enclosing repetitive regions. Furthermore, for writing ops, it does not matter where the destination tensor is defined, but where the op itself is located.

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