[all-commits] [llvm/llvm-project] c45c96: [Affine-fusion] Fix a bug in mod detection

[Vinayaka Bandishti via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c45c96250b422fc59cd3b3454fddf737512cf838
      https://github.com/llvm/llvm-project/commit/c45c96250b422fc59cd3b3454fddf737512cf838
  Author: Vinayaka Bandishti <vinayaka at polymagelabs.com>
  Date:   2023-06-05 (Mon, 05 Jun 2023)

  Changed paths:
    M mlir/lib/Analysis/FlatLinearValueConstraints.cpp
    M mlir/test/Transforms/loop-fusion-4.mlir

  Log Message:
  -----------
  [Affine-fusion] Fix a bug in mod detection

Fix a bug in detecting unknown ids as mods of known ids that was
preventing certain fusions.

While at this, fix the function signature of `detectAsMod` function to
have output as the last argument.

Reviewed By: bondhugula

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