[PATCH] D58202: [Polly][ScheduleOptimizer] Hoist extension nodes after schedule optimization.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur created this revision.
Meinersbur added reviewers: grosser, jdoerfert, gareevroman.
Herald added a subscriber: mgorny.
Herald added a reviewer: bollu.
Herald added a project: LLVM.

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.


Repository:
  rPLO Polly

https://reviews.llvm.org/D58202

Files:
  include/polly/ScheduleTreeTransform.h
  include/polly/ScopInfo.h
  lib/Analysis/ScopInfo.cpp
  lib/CMakeLists.txt
  lib/CodeGen/IslAst.cpp
  lib/Transform/ScheduleOptimizer.cpp
  lib/Transform/ScheduleTreeTransform.cpp
  test/ScheduleOptimizer/pattern-matching-based-opts.ll
  test/ScheduleOptimizer/pattern-matching-based-opts_5.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D58202.186716.patch
Type: text/x-patch
Size: 56223 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190213/da0c6e0d/attachment.bin>