[MLIR] IntegerPolyhedron: introduce getNumIdKind to replace calls to assertAtMostNumI...
authorArjun P <arjunpitchanathan@gmail.com>
Fri, 10 Dec 2021 21:48:04 +0000 (03:18 +0530)
committerArjun P <arjunpitchanathan@gmail.com>
Fri, 10 Dec 2021 22:12:46 +0000 (03:42 +0530)
commit98db55f108a25953ea743629a874ced3da0058da
treed76c000aeecd065602dda1bb974da654bc7ccff2
parentea81cea8163a1a0e54df42103ee1c657bbf03791
[MLIR] IntegerPolyhedron: introduce getNumIdKind to replace calls to assertAtMostNumIdKind

Introduce a function `getNumIdKind` that returns the number of ids of the
specified kind. Remove the function `assertAtMostNumIdKind` and instead just
directly assert the inequality with a call to `getNumIdKind`.
mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h
mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp