[all-commits] [llvm/llvm-project] a873b6: [MLIR] Generalize detecting mods during slice comp...

[Vinayaka Bandishti via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a873b6d466f5c4b2e939eb02c38425e5f7ffa513
      https://github.com/llvm/llvm-project/commit/a873b6d466f5c4b2e939eb02c38425e5f7ffa513
  Author: Vinayaka Bandishti <vinayaka at polymagelabs.com>
  Date:   2021-06-23 (Wed, 23 Jun 2021)

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

  Log Message:
  -----------
  [MLIR] Generalize detecting mods during slice computing

During slice computation of affine loop fusion, detect one id as the mod
of another id w.r.t a constant in a more generic way. Restrictions on
co-efficients of the ids is removed. Also, information from the
previously calculated ids is used for simplification of affine
expressions, e.g.,

If `id1` = `id2`,
  `id_n - divisor * id_q - id_r + id1 - id2 = 0`, is simplified to:
  `id_n - divisor * id_q - id_r = 0`.

If `c` is a non-zero integer,
  `c*id_n - c*divisor * id_q - c*id_r = 0`, is simplified to:
  `id_n - divisor * id_q - id_r = 0`.

Reviewed By: bondhugula, ayzhuang

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