[PATCH] D65729: [Polly][NFC][ScopBuilder] Move buildDomains and its callees to ScopBuilder.

[Dominik Adamski via Phabricator via llvm-commits]

domada created this revision.
domada added reviewers: Meinersbur, grosser.
domada added a project: LLVM.
Herald added a reviewer: bollu.
domada added a parent revision: D65241: [Polly][NFC][ScopBuilder] Move addUserAssumptions to ScopBuilder.

Scope of changes:

1. Moved `buildDomains` function to ScopBuilder class.
2. Moved `buildDomainsWithBranchConstraints` function to ScopBuilder class.
3. Moved `propagateDomainConstraints` to ScopBuilder class.
4. Moved `propagateDomainConstraintsToRegionExit` to ScopBuilder class.
5. Moved `propagateInvalidStmtDomains` to ScopBuilder class.
6. Moved `getPredecessorDomainConstraints` function to ScopBuilder class.
7. Moved `addLoopBoundsToHeaderDomain` function to ScopBuilder class.
8. Moved `getPwAff` function to ScopBuilder class.
9. Moved `buildConditionSets` functions to ScopBuilder class.
10. Added `setMaxLoopDepth`, `notifyErrorBlock`, `notifyErrorBlock`, `findAndConstructDomain`, `isDomainDefined`, `setDomain` functions to Scop class. They are used by ScopBuilder.
11. Moved helper functions: `getRegionNodeBasicBlock`, `getRegionNodeSuccessor`, `containsErrorBlock`, `createNextIterationMap`, `collectBoundedParts`, `partitionSetParts`, `buildConditionSet` to ScopBuilder.cpp file.


Repository:
  rPLO Polly

https://reviews.llvm.org/D65729

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D65729.213269.patch
Type: text/x-patch
Size: 106892 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190804/53124761/attachment.bin>