commit 3a0bd0b29b0ccac7ccbce3408dbbf07675287bfb
author Dominik Adamski <adamski.dominik@gmail.com> Tue Jul 16 20:51:04 2019 +0000
committer Dominik Adamski <adamski.dominik@gmail.com> Tue Jul 16 20:51:04 2019 +0000
tree 2c7c2177d784e20785aa2924c019b1066c19630d
parent d2cd7472bf025d87efecf173dd898a84e1017604

[NFC][ScopBuilder] Move addRecordedAssumption to ScopBuilder

Scope of changes:
1) Moved addRecordedAssumptions to ScopBuilder.
2) Moved Assumption struct outside Scop class.
3) Refactored addRecordedAssumptions function. Replaced while loop by
for range loop.
4) Added function to clear processed Assumptions.

Differential Revision: https://reviews.llvm.org/D63572

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@366260 91177308-0d34-0410-b5e6-96231b3b80d8