[all-commits] [llvm/llvm-project] ad34ce: [MLIR] Simplex: fix a bug when rolling back a Simp...

[Arjun P via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ad34ce94d5a0eb507de6b53e4fff296830d88c1a
      https://github.com/llvm/llvm-project/commit/ad34ce94d5a0eb507de6b53e4fff296830d88c1a
  Author: Arjun P <arjunpitchanathan at gmail.com>
  Date:   2021-11-26 (Fri, 26 Nov 2021)

  Changed paths:
    M mlir/lib/Analysis/Presburger/Simplex.cpp
    M mlir/unittests/Analysis/Presburger/SimplexTest.cpp

  Log Message:
  -----------
  [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