[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
Loading
Please sign in to comment