[PATCH] D68056: [Polly][NFC][ScopBuilder] Move RecordedAssumptions vector to ScopBuilder.

[Dominik Adamski via Phabricator via llvm-commits]

domada created this revision.
domada added reviewers: Meinersbur, grosser.
domada added a project: Polly.
Herald added a reviewer: bollu.
Herald added a subscriber: javed.absar.
Herald added a project: LLVM.

Scope of changes:

1. Moved `RecordedAssumptions` vector to ScopBuilder. `RecordedAssumptions` are used only for Scop constructions.
2. Inside Scop class there are no more calls of function `getOrCreateScopArrayInfo`. They are replaced by calls of `getScopArrayInfo` function.
3. Moved definition of `RecordedAssumptionsTy` to ScopHelper. It is required both by ScopBuilder and SCEVAffinator.
4. Add new function `recordAssumption` to ScopHelper. One of its argument is a reference to `RecordedAssumption` vector. This function is used by ScopBuilder and SCEVAffinator.
5. Added reference to `RecordedAssumptions` to Scop constructor. This reference is forwarded to SCEVAffinator object. It is not more used in Scop class. SCEVAffinator can visit recursively SCEV expressions and it can add record some assumptions.
6. Removed functions for handling `RecordedAssumptions` from Scop class.
7. Removed constness from `getScopArrayInfo` functions.


Repository:
  rPLO Polly

https://reviews.llvm.org/D68056

Files:
  polly/include/polly/ScopBuilder.h
  polly/include/polly/ScopInfo.h
  polly/include/polly/Support/SCEVAffinator.h
  polly/include/polly/Support/ScopHelper.h
  polly/lib/Analysis/ScopBuilder.cpp
  polly/lib/Analysis/ScopInfo.cpp
  polly/lib/Support/SCEVAffinator.cpp
  polly/lib/Support/ScopHelper.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D68056.221840.patch
Type: text/x-patch
Size: 21362 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190925/43367934/attachment.bin>