This is an archive of the discontinued LLVM Phabricator instance.

[MLIR][Presburger] Factor out some functionality from LexSimplex into a LexSimplexBase
ClosedPublic

Authored by arjunp on Mar 31 2022, 8:14 AM.

Details

Summary

LexSimplex cannot be made to support symbols for symbolic lexmin; this requires
a second class. In preparation for upstreaming support for symbolic lexmin,
keep the part of LexSimplex that are specific to non-symbolic lexmin in LexSimplex
and move the parts that are required to a common class LexSimplexBase for both to
inherit from.

Diff Detail

Event Timeline

arjunp created this revision.Mar 31 2022, 8:14 AM
Herald added a project: Restricted Project. · View Herald TranscriptMar 31 2022, 8:14 AM
arjunp requested review of this revision.Mar 31 2022, 8:14 AM
Groverkss accepted this revision.Apr 1 2022, 3:48 AM

LGTM.

This revision is now accepted and ready to land.Apr 1 2022, 3:48 AM
This revision was landed with ongoing or failed builds.Apr 1 2022, 3:54 AM
This revision was automatically updated to reflect the committed changes.