This is an archive of the discontinued LLVM Phabricator instance.

[MLIR] PresburgerSet emptiness check: remove assertions that there are no symbols
ClosedPublic

Authored by arjunp on Apr 12 2021, 10:32 AM.

Details

Summary

Symbols are now supported in the integer emptiness check. Remove some outdated assertions checking that there are no symbols.

Diff Detail

Event Timeline

arjunp created this revision.Apr 12 2021, 10:32 AM
arjunp requested review of this revision.Apr 12 2021, 10:32 AM
ftynse accepted this revision.Apr 12 2021, 10:33 AM
This revision is now accepted and ready to land.Apr 12 2021, 10:33 AM
This revision was landed with ongoing or failed builds.Apr 12 2021, 10:41 AM
This revision was automatically updated to reflect the committed changes.