Google Git
Sign in
llvm / llvm-project / mlir / 350ce5c9156834dc58c2214ac0d170089ae48dd9
commit350ce5c9156834dc58c2214ac0d170089ae48dd9[log] [tgz]
authorArjun P <arjunpitchanathan@gmail.com>Fri Nov 26 16:29:55 2021 +0530
committerCopybara-Service <copybara-worker@google.com>Fri Nov 26 08:14:00 2021 -0800
tree07dd6da272ec8a1fcaef8f868211ece3bc1c9dba
parentd733deba2edd3138d0763b4ebb32c9a77e6f5131 [diff]
[MLIR] Simplex::pivot: also update the redundant rows when pivoting

Previously, the pivot function would only update the non-redundant rows when
pivoting. This is incorrect because in some cases, when rolling back past a
`detectRedundant` call, the basis being used could be different from that which
was used at the time of returning from the `detectRedundant` call. Therefore,
it is important to update the redundant rows as well during pivots. This could
also be triggered by pivots that occur when testing successive constraints for
being redundant in `detectRedundant` after some initial constraints are marked redundant.

Reviewed By: Groverkss

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

GitOrigin-RevId: f074bbb04a617f366093a860e5b0976d80129ff4
2 files changed
tree: 07dd6da272ec8a1fcaef8f868211ece3bc1c9dba
  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.