[all-commits] [llvm/llvm-project] f74f09: [mlir][linalg][bufferize] Relax tensor.insert_slic...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f74f09128bc2fafe1d39a95a0c066731f854cbc1
      https://github.com/llvm/llvm-project/commit/f74f09128bc2fafe1d39a95a0c066731f854cbc1
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-11-10 (Wed, 10 Nov 2021)

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

  Log Message:
  -----------
  [mlir][linalg][bufferize] Relax tensor.insert_slice conflict rules

A tensor.insert_slice write does not conflict with a subsequent read of the source if the source is originating from a matching tensor.extract_slice.

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