projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0a0eb1) | patch
[MLIR] Use IntegerPolyhedron in Simplex instead of FlatAffineConstraints
authorGroverkss <groverkss@gmail.com>
Mon, 27 Dec 2021 13:36:32 +0000 (19:06 +0530)
committerGroverkss <groverkss@gmail.com>
Mon, 27 Dec 2021 13:36:35 +0000 (19:06 +0530)
commit5f22f248d85726f6dd0a056189424949020f28b2
tree5e23cc30db664d8b418b629819423be7bd7a447etree | snapshot
parenta0a0eb192eff7750f386a066660d5bdefffe2bcbcommit | diff
[MLIR] Use IntegerPolyhedron in Simplex instead of FlatAffineConstraints

This patch replaces usage of FlatAffineConstraints in Simplex with
IntegerPolyhedron. This removes dependency of Simplex on FlatAffineConstraints
and puts it on IntegerPolyhedron, which is part of Presburger library.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D116287
mlir/include/mlir/Analysis/Presburger/Simplex.h diff | blob | history
mlir/lib/Analysis/Presburger/Simplex.cpp diff | blob | history
mlir/lib/Analysis/PresburgerSet.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/SimplexTest.cpp diff | blob | history
Domain: System / Toolchain;