[all-commits] [llvm/llvm-project] 05a09e: [MLIR][Affine] Extend/generalize MDG to properly a...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 05a09e6e559e8253d49cc61052711f0c200129bf
      https://github.com/llvm/llvm-project/commit/05a09e6e559e8253d49cc61052711f0c200129bf
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2025-02-05 (Wed, 05 Feb 2025)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Analysis/Utils.h
    M mlir/lib/Dialect/Affine/Analysis/Utils.cpp
    M mlir/lib/Dialect/Affine/Transforms/LoopFusion.cpp
    M mlir/test/Dialect/Affine/loop-fusion-3.mlir
    M mlir/test/Dialect/Affine/loop-fusion-inner.mlir
    M mlir/test/Dialect/Affine/loop-fusion.mlir

  Log Message:
  -----------
  [MLIR][Affine] Extend/generalize MDG to properly add edges between non-affine ops (#125451)

Drop arbitrary checks and hacks from affine fusion MDG construction and
handle all ops using memory read/write effects. This has been a long
pending change and it now makes affine fusion more powerful in the
presence of non-affine ops and does not limit fusion in parts of the
block where it is feasible simply because of non-affine ops elsewhere or
intervening non-affine users.

Populate memref read and write ops in non-affine region holding ops and
non-affine ops at the top level of the Block properly; add the
appropriate edges to MDG. Use memory read-write effects and drop
assumptions and special handling of ops due to historic reasons.

Update MDG to drop unnecessary "unhandled region" hack. This hack is no
longer needed with the update to fully and properly construct the MDG.

MDG edges now capture dependences between nodes completely. Drop
non-affine users check. With the MDG generalization to properly include
edges
between non-affine nodes/operations, the non-affine users on path check
in fusion is no longer needed. Add more test cases to exercise MDG
generalization.

Drop unnecessary failure when encountering side-effect-free affine.if
ops.

Improve documentation on MDG.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications