[PATCH] D45210: [New-PM] Lift Scop Pipeline to CGSCC-level

[Lukas Böhm via Phabricator via llvm-commits]

lksbhm added a comment.

In https://reviews.llvm.org/D45210#1056073, @Meinersbur wrote:

> Are you also going to downstream patches that need this? If yes, what exactly do they need to analyze the callee for?


I hope I didn't misunderstand your question, but we intend to fully integrate our interprocedural analysis efforts into upstream polly. In fact, I intend to get the next patch ready for review tomorrow which probably will make things clearer.

Basically, we made an extended version of `ScopInfo` which stores additional information about how `MemoryAccesses` depend on function parameters for all accesses in a function. By querying this information for a callee, we can add the induced `MemoryAccess`es to the surrounding `ScopStmt` by projecting them into the caller-function's scope and therefore model the effects of the `CallInst` (I hope this explanation is both understandable and accurate. @philip.pfaffe can hopefully correct me if there is anything wrong or missing). I hope I was able to clarify things a little.


Repository:
  rPLO Polly

https://reviews.llvm.org/D45210