[PATCH] D32539: [Polly][NewPM][WIP] Add a ScopPassManager

[Philip Pfaffe via Phabricator via llvm-commits]

philip.pfaffe created this revision.
philip.pfaffe added a project: Polly.
Herald added a subscriber: sanjoy.

This patch adds both a ScopAnalysisManager and a ScopPassManager.

The ScopAnalysisManager is itself a Function-Analysis, and manages analyses on Scops. The ScopPassManager takes care of building Scop pass pipelines.

This patch is marked WIP because I've left two FIXMEs which I need to think about some more. Both of these deal with invalidation:

- Deferred invalidation is currently not implemented. Deferred invalidation deals with analyses which cache references to other analysis results. If these results are invalidated, invalidation needs to be propagated into the caching analyses.
- The ScopPassManager as implemented assumes that ScopPasses do not affect other Scops in any way. There has been some discussion about this on other patch threads, however it makes sense to reiterate this for this specific patch.

I'm uploading this patch even though it's incomplete to encourage discussion and give you an impression of how this is going to work.


Repository:
  rL LLVM

https://reviews.llvm.org/D32539

Files:
  include/polly/ScopInfo.h
  include/polly/ScopPass.h
  lib/Analysis/ScopInfo.cpp
  lib/Analysis/ScopPass.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D32539.96737.patch
Type: text/x-patch
Size: 9607 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170426/71c06093/attachment.bin>