tree 07dd6da272ec8a1fcaef8f868211ece3bc1c9dba
parent d733deba2edd3138d0763b4ebb32c9a77e6f5131
author Arjun P <arjunpitchanathan@gmail.com> 1637924395 +0530
committer Copybara-Service <copybara-worker@google.com> 1637943240 -0800

[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