Page MenuHomePhabricator

[mlir][Linalg] Proper handling of ForOp and TiledLoopOp
ClosedPublic

Authored by nicolasvasilache on Jul 7 2021, 2:34 AM.

Details

Summary

The bufferizesToMemoryRead condition was too optimistics in the case
of operands that map to a block argument.
This is the case for ForOp and TiledLoopOp.
For such ops, forward the call to all uses of the matching BBArg.

Diff Detail

Event Timeline

nicolasvasilache requested review of this revision.Jul 7 2021, 2:34 AM
Herald added a project: Restricted Project. · View Herald TranscriptJul 7 2021, 2:34 AM
ftynse accepted this revision.Jul 7 2021, 2:38 AM
This revision is now accepted and ready to land.Jul 7 2021, 2:38 AM
pifon2a accepted this revision.Jul 7 2021, 2:39 AM
This revision was landed with ongoing or failed builds.Jul 7 2021, 4:43 AM
This revision was automatically updated to reflect the committed changes.