projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad3a765) | patch
[MLIR][Presburger] Add support for PresburgerRelation
authorGroverkss <groverkss@gmail.com>
Sun, 13 Mar 2022 11:36:10 +0000 (17:06 +0530)
committerGroverkss <groverkss@gmail.com>
Sun, 13 Mar 2022 12:01:19 +0000 (17:31 +0530)
commitff1d9a4b9779cf54b3f08b55e81bea1df6581f21
tree525a5999b18737c6b26ccd4392563135056e54c5tree | snapshot
parentad3a7654dc7dba66dafbdab0c06719174cd2b437commit | diff
[MLIR][Presburger] Add support for PresburgerRelation

This patch adds supports for union of relations (PresburgerRelation).  Along
with this, support for PresburgerSet is also maintained.

This patch is part of a series of patches to add support for relations in
Presburger library.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D121417
12 files changed:
mlir/include/mlir/Analysis/Presburger/PWMAFunction.h diff | blob | history
mlir/include/mlir/Analysis/Presburger/PresburgerRelation.h [new file with mode: 0644] blob
mlir/include/mlir/Analysis/Presburger/PresburgerSet.h [deleted file] blob | history
mlir/lib/Analysis/Presburger/CMakeLists.txt diff | blob | history
mlir/lib/Analysis/Presburger/IntegerRelation.cpp diff | blob | history
mlir/lib/Analysis/Presburger/PWMAFunction.cpp diff | blob | history
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp [moved from mlir/lib/Analysis/Presburger/PresburgerSet.cpp with 64% similarity] diff | blob | history
mlir/lib/Dialect/Affine/Analysis/Utils.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/PresburgerSetTest.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/Utils.h diff | blob | history
mlir/unittests/Dialect/Affine/Analysis/AffineStructuresParserTest.cpp diff | blob | history
Domain: System / Toolchain;