[all-commits] [llvm/llvm-project] 0d2c54: [mlir][Linalg] Revisit RAW dependence interference...

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0d2c54e851f12594b38f45e76ced03e3f5cc5443
      https://github.com/llvm/llvm-project/commit/0d2c54e851f12594b38f45e76ced03e3f5cc5443
  Author: Nicolas Vasilache <nicolas.vasilache at gmail.com>
  Date:   2021-09-21 (Tue, 21 Sep 2021)

  Changed paths:
    M mlir/lib/Dialect/Linalg/Transforms/ComprehensiveBufferize.cpp
    A mlir/test/Dialect/Linalg/comprehensive-bufferize-analysis-2fill-extract-matmul-all-perms.mlir
    M mlir/test/Dialect/Linalg/comprehensive-module-bufferize-analysis.mlir

  Log Message:
  -----------
  [mlir][Linalg] Revisit RAW dependence interference in comprehensive bufferize.

Previously, comprehensive bufferize would consider all aliasing reads and writes to
the result buffer and matching operand. This resulted in spurious dependences
being considered and resulted in too many unnecessary copies.

Instead, this revision revisits the gathering of read and write alias sets.
This results in fewer alloc and copies.
An exhaustive test cases is added that considers all possible permutations of
`matmul(extract_slice(fill), extract_slice(fill), ...)`.