Page MenuHomePhabricator

[MLIR][Presburger] Add inverse to IntegerRelation

Authored by Groverkss on May 24 2022, 2:01 PM.



This patch adds support for obtaining inverse of a relation.

Diff Detail

Event Timeline

Groverkss created this revision.May 24 2022, 2:01 PM
Groverkss requested review of this revision.May 24 2022, 2:01 PM
ftynse accepted this revision.May 25 2022, 5:10 AM
ftynse added inline comments.

Nit: I would rather phrase this as "Invert the relation, i.e., swap its domain and range." "Get" implies the new relation is returned.

This revision is now accepted and ready to land.May 25 2022, 5:10 AM
Groverkss updated this revision to Diff 431966.May 25 2022, 6:34 AM
Groverkss marked an inline comment as done.
  • Update documentation for IntegerRelation::inverse
This revision was landed with ongoing or failed builds.May 25 2022, 7:11 AM
This revision was automatically updated to reflect the committed changes.