[all-commits] [llvm/llvm-project] a873b6: [MLIR] Generalize detecting mods during slice comp...
Vinayaka Bandishti via All-commits
all-commits at lists.llvm.org
Wed Jun 23 00:01:09 PDT 2021
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
More information about the All-commits
mailing list