[MLIR][Presburger] refactor subtraction to be non-recursive
authorArjun P <arjunpitchanathan@gmail.com>
Thu, 7 Apr 2022 13:41:04 +0000 (14:41 +0100)
committerArjun P <arjunpitchanathan@gmail.com>
Thu, 7 Apr 2022 14:20:19 +0000 (15:20 +0100)
commit00b293e83f6bb84f970eea972f022d578923d832
tree1102558776764db94a266a14330ea4534b8c9fb5
parentb7042b73a3999d5ca3ff1fee2dd4abc1061f800d
[MLIR][Presburger] refactor subtraction to be non-recursive

Subtraction was previously implemented recursively. This refactors it to be
non-recursive to avoid issues with potential stack overflows.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D123248
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp