tree aa898def6a0b6b79c154e62356310029bad85101
parent 350ce5c9156834dc58c2214ac0d170089ae48dd9
author Arjun P <arjunpitchanathan@gmail.com> 1637939224 +0530
committer Copybara-Service <copybara-worker@google.com> 1637946330 -0800

[MLIR] Simplex: fix a bug when rolling back a Simplex with no solutions

Previously, when adding a constraint to a Simplex that is already marked
as having no solutions (marked empty), the Simplex would be marked empty again,
and a second UnmarkEmpty entry would be pushed to the undo log. When rolling
back, Simplex should be unmarked empty only after rolling back past the
creation of the first constraint that made it empty.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D114613

GitOrigin-RevId: ad34ce94d5a0eb507de6b53e4fff296830d88c1a