Scope of changes:
- Moved addRecordedAssumptions to ScopBuilder class.
- Moved Assumption struct outside Scop class.
- Refactored addRecordedAssumptions function. Replaced while loop by for_range loop.
- Added function to clear processed Assumptions.
Differential D63572
[Polly][NFC][ScopBuilder] Move addRecordedAssumption to ScopBuilder domada on Jun 19 2019, 2:20 PM. Authored by
Details Scope of changes:
Diff Detail Event TimelineComment Actions [suggestion] RecordedAssumptions itself is only used during SCoP constructions (since it's empty once the SCoP is full constructed). It could be removed entirely into ScopBuilder, maybe in a future patch?
Comment Actions
|