Page MenuHomePhabricator

[MLIR][Presburger][Simplex] moveRowUnknownToColumn: support the row sample value being zero
ClosedPublic

Authored by arjunp on Apr 12 2022, 6:21 AM.

Details

Summary

When the sample value is zero, everything is the same except that failure to
pivot does not imply emptiness. So, leave it to the user to mark as empty if
necessary, if they know the sample value is strictly negative. This is needed
for an upcoming symbolic lexmin heuristic.

Diff Detail

Event Timeline

arjunp created this revision.Apr 12 2022, 6:21 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 12 2022, 6:21 AM
arjunp requested review of this revision.Apr 12 2022, 6:21 AM
This revision is now accepted and ready to land.Apr 15 2022, 12:35 AM
This revision was landed with ongoing or failed builds.Apr 15 2022, 12:15 PM
This revision was automatically updated to reflect the committed changes.