This is an archive of the discontinued LLVM Phabricator instance.

[Polly][ScheduleOptimizer] Hoist extension nodes after schedule optimization.
ClosedPublic

Authored by Meinersbur on Feb 13 2019, 12:54 PM.

Details

Summary

Extension nodes make schedule trees are less flexible: Many operations, such as rescheduling, do not work on such schedule trees with extension. As such, some functionality such as determining parallel loops in isl's AST are disabled.

Currently, only the pattern-matching generalized matrix-matrix multiplication optimization adds extension nodes (to add copy-in statements).

This patch removes all extension nodes as the last step of the schedule optimization by hoisting the extension node's added domain up to the root domain node. All following passes can assume that schedule trees work without restrictions, including the parallelism test. Mark the outermost loop of the optimized matrix-matrix multiplication as parallel such that -polly-parallel is able to parallelize that loop.

Diff Detail

Repository
rL LLVM

Event Timeline

Meinersbur created this revision.Feb 13 2019, 12:54 PM
Herald added a project: Restricted Project. · View Herald Transcript
Herald added a subscriber: mgorny. · View Herald Transcript
grosser accepted this revision.Apr 23 2019, 10:32 AM

Hi Michael,

this looks good to me. Thanks for your contribution.

Best,
Tobias

This revision is now accepted and ready to land.Apr 23 2019, 10:32 AM
This revision was automatically updated to reflect the committed changes.