[all-commits] [llvm/llvm-project] eab6f2: [MLIR][Affine] Fix fusion in the presence of cycli...

[Uday Bondhugula via All-commits]

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

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Analysis/LoopAnalysis.h
    M mlir/lib/Dialect/Affine/Analysis/LoopAnalysis.cpp
    M mlir/lib/Dialect/Affine/Transforms/LoopFusion.cpp
    M mlir/test/Dialect/Affine/loop-fusion-4.mlir
    M mlir/test/Examples/mlir-opt/loop_fusion_options.mlir

  Log Message:
  -----------
  [MLIR][Affine] Fix fusion in the presence of cyclic deps in source nests (#128397)

Fixes: https://github.com/llvm/llvm-project/issues/61820

Fix affine fusion in the presence of cyclic deps in the source nest. In
such cases, the nest being fused can't be executed multiple times. Add a
utility to check for dependence cycles and use it in fusion. This fixes
both sibling as well as producer consumer fusion where nests with cyclic
dependences (typically reductions) were being in some cases incorrectly
fused in.

The test case also exercises/required a fix to the check for the
redundant computation being within the specified threshold.



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