Scope of changes:
- Moved RecordedAssumptions vector to ScopBuilder. RecordedAssumptions are used only for Scop constructions.
- Inside Scop class there are no more calls of function getOrCreateScopArrayInfo. They are replaced by calls of getScopArrayInfo function.
- Moved definition of RecordedAssumptionsTy to ScopHelper. It is required both by ScopBuilder and SCEVAffinator.
- Add new function recordAssumption to ScopHelper. One of its argument is a reference to RecordedAssumption vector. This function is used by ScopBuilder and SCEVAffinator.
- 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.
- Removed functions for handling RecordedAssumptions from Scop class.
- Removed constness from getScopArrayInfo functions.