Page MenuHomePhabricator

[mlir][affine] addLowerOrUpperBound: Make map+operand composing optional
ClosedPublic

Authored by springerm on Jul 31 2021, 6:46 AM.

Details

Summary

There are cases in which it is not desirable to fully compose the bound map with the operands when adding lower/upper bounds to a FlatAffineConstraints.

E.g., this is the case when bounds should be expressed in terms of the operands only (and not the operands' dependencies). This also makes addLowerOrUpperBound useable together with operands that are defined through semi-affine expressions.

Depends On D107220

Diff Detail

Event Timeline

springerm created this revision.Jul 31 2021, 6:46 AM
springerm requested review of this revision.Jul 31 2021, 6:46 AM
Herald added a project: Restricted Project. · View Herald TranscriptJul 31 2021, 6:46 AM
nicolasvasilache accepted this revision.Aug 2 2021, 12:38 AM
This revision is now accepted and ready to land.Aug 2 2021, 12:38 AM
This revision was landed with ongoing or failed builds.Aug 2 2021, 7:42 PM
This revision was automatically updated to reflect the committed changes.