[all-commits] [llvm/llvm-project] 721def: [MLIR][Affine] Fix/improve affine sibling fusion

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 721defb4b92b0e8af4c7becf044296f7ccbe6ae5
      https://github.com/llvm/llvm-project/commit/721defb4b92b0e8af4c7becf044296f7ccbe6ae5
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2023-03-26 (Sun, 26 Mar 2023)

  Changed paths:
    M mlir/lib/Dialect/Affine/Transforms/LoopFusion.cpp
    M mlir/test/Transforms/loop-fusion-2.mlir
    M mlir/test/Transforms/loop-fusion-4.mlir
    M mlir/test/Transforms/loop-fusion.mlir

  Log Message:
  -----------
  [MLIR][Affine] Fix/improve affine sibling fusion

The sibling fusion profitability checks shouldn't rely on the presence
of a store op in the sibling. The reuse is between the loads.

Fixes issues raised at https://discourse.llvm.org/t/understanding-the-affine-loop-fusion-pass/69452

Reviewed By: dcaballe

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