[MLIR][Presburger] Use IdKind for removeIdRange in PresburgerSpace
authorGroverkss <groverkss@gmail.com>
Thu, 10 Mar 2022 10:09:32 +0000 (15:39 +0530)
committerGroverkss <groverkss@gmail.com>
Thu, 10 Mar 2022 10:09:32 +0000 (15:39 +0530)
commitc896e6540ab4111052f9e12a85784185af4d898f
treef8f75525fa82d2c487b10bf6cd161658d62ed52e
parent7898587e948cc24af6e22f86c921949169f4f87b
[MLIR][Presburger] Use IdKind for removeIdRange in PresburgerSpace

This patch moves PresburgerSpace::removeIdRange(idStart, idLimit) to
PresburgerSpace::removeIdRange(kind, idStart, idLimit), i.e. identifiers
can only be removed at once for a single kind.

This makes users of PresburgerSpace to not assume any inside ordering of
identifier kinds.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D121079
mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
mlir/include/mlir/Analysis/Presburger/PWMAFunction.h
mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
mlir/include/mlir/Dialect/Affine/Analysis/AffineStructures.h
mlir/lib/Analysis/Presburger/IntegerRelation.cpp
mlir/lib/Analysis/Presburger/PWMAFunction.cpp
mlir/lib/Analysis/Presburger/PresburgerSpace.cpp
mlir/lib/Dialect/Affine/Analysis/AffineStructures.cpp
mlir/unittests/Analysis/Presburger/PresburgerSpaceTest.cpp