[all-commits] [llvm/llvm-project] c89c31: [mlir][bufferization] Fix bufferization of repetit...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c89c31a2306e07662f1e711a4bc84de1060e0def
      https://github.com/llvm/llvm-project/commit/c89c31a2306e07662f1e711a4bc84de1060e0def
  Author: Matthias Springer <springerm at google.com>
  Date:   2023-02-06 (Mon, 06 Feb 2023)

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

  Log Message:
  -----------
  [mlir][bufferization] Fix bufferization of repetitive regions

The previous strategy was too complex and faulty. Op dominance cannot be used to rule out RaW conflicts due to op ordering if the reading op and the conflicting writing op are in a sub repetitive region of the closest enclosing repetitive region of the definition of the read value.

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