Google Git
Sign in
llvm / llvm-project / mlir / 34280ceaa92c8311b2f5d9298b8de9865773b4a7
commit34280ceaa92c8311b2f5d9298b8de9865773b4a7[log] [tgz]
authorArjun P <arjunpitchanathan@gmail.com>Fri Nov 26 20:37:04 2021 +0530
committerCopybara-Service <copybara-worker@google.com>Fri Nov 26 09:05:30 2021 -0800
treeaa898def6a0b6b79c154e62356310029bad85101
parent350ce5c9156834dc58c2214ac0d170089ae48dd9 [diff]
[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
2 files changed
tree: aa898def6a0b6b79c154e62356310029bad85101
  1. cmake/
  2. docs/
  3. examples/
  4. include/
  5. lib/
  6. python/
  7. test/
  8. tools/
  9. unittests/
  10. utils/
  11. .clang-format
  12. .clang-tidy
  13. CMakeLists.txt
  14. LICENSE.TXT
  15. README.md
README.md

Multi-Level Intermediate Representation

See https://mlir.llvm.org/ for more information.