[MLIR][Presburger] support symbolicLexMin for IntegerRelation
authorArjun P <arjunpitchanathan@gmail.com>
Fri, 1 Jul 2022 16:53:13 +0000 (17:53 +0100)
committerArjun P <arjunpitchanathan@gmail.com>
Fri, 1 Jul 2022 17:00:11 +0000 (18:00 +0100)
commitc4abef28a3bd6d37acc80b5659fe458fc0b3fc18
treeac0d43ca13e9aeb7cd0f93ee02f6745459a7795b
parentc2fcaf84e5a33a18385620453fdbb73fee58cbbc
[MLIR][Presburger] support symbolicLexMin for IntegerRelation

This also changes the space of the returned lexmin for IntegerPolyhedrons;
the symbols in the poly now correspond to symbols in the result rather than dims.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D128933
mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
mlir/lib/Analysis/Presburger/IntegerRelation.cpp
mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp
mlir/unittests/Analysis/Presburger/IntegerRelationTest.cpp
mlir/unittests/Analysis/Presburger/Utils.h