Searched refs:RecordedAssumptions (Results 1 – 8 of 8) sorted by relevance
| /llvm-project-15.0.7/polly/lib/Support/ |
| H A D | SCEVAffinator.cpp | 99 PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions) { in takeNonNegativeAssumption() argument
100 this->RecordedAssumptions = RecordedAssumptions; in takeNonNegativeAssumption()
108 recordAssumption(RecordedAssumptions, UNSIGNED, isl::manage(Restriction), DL, in takeNonNegativeAssumption()
117 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAff() argument
119 this->RecordedAssumptions = RecordedAssumptions; in getPwAff()
153 recordAssumption(RecordedAssumptions, WRAPPING, NotEqualSet, Loc, in checkForWrapping()
302 recordAssumption(RecordedAssumptions, UNSIGNED, isl::manage(OutOfBoundsDom), in visitTruncateExpr()
357 takeNonNegativeAssumption(OpPWAC, RecordedAssumptions); in visitZeroExtendExpr()
503 takeNonNegativeAssumption(DividendPWAC, RecordedAssumptions); in visitUDivExpr()
|
| H A D | ScopHelper.cpp | 220 void polly::recordAssumption(polly::RecordedAssumptionsTy *RecordedAssumptions, in recordAssumption() argument
226 if (RecordedAssumptions) in recordAssumption()
227 RecordedAssumptions->push_back({Kind, Sign, Set, Loc, BB, RTC}); in recordAssumption()
|
| /llvm-project-15.0.7/polly/include/polly/Support/ |
| H A D | SCEVAffinator.h | 41 RecordedAssumptionsTy *RecordedAssumptions = nullptr);
45 PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions = nullptr);
69 RecordedAssumptionsTy *RecordedAssumptions = nullptr; variable
|
| H A D | ScopHelper.h | 95 void recordAssumption(RecordedAssumptionsTy *RecordedAssumptions,
|
| /llvm-project-15.0.7/polly/include/polly/ |
| H A D | ScopBuilder.h | 75 RecordedAssumptionsTy RecordedAssumptions; variable
|
| H A D | ScopInfo.h | 2503 RecordedAssumptionsTy *RecordedAssumptions = nullptr);
2511 RecordedAssumptionsTy *RecordedAssumptions = nullptr);
|
| /llvm-project-15.0.7/polly/lib/Analysis/ |
| H A D | ScopBuilder.cpp | 348 PWACtx PWAC = scop->getPwAff(E, BB, NonNegative, &RecordedAssumptions); in getPwAff()
804 recordAssumption(&RecordedAssumptions, INFINITELOOP, UnboundedCtx, in addLoopBoundsToHeaderDomain()
1027 recordAssumption(&RecordedAssumptions, ERRORBLOCK, DomPar, in propagateInvalidStmtDomains()
1331 for (auto &AS : llvm::reverse(RecordedAssumptions)) { in addRecordedAssumptions()
2331 recordAssumption(&RecordedAssumptions, INBOUNDS, Outside, Loc, in assumeNoOutOfBounds()
3054 scop->getPwAff(Size, nullptr, false, &RecordedAssumptions); in buildAccessRelations()
3066 &RecordedAssumptions); in buildAccessRelations()
3622 RecordedAssumptions.clear(); in ScopBuilder()
|
| H A D | ScopInfo.cpp | 2168 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAff() argument
2174 auto PWAC = Affinator.getPwAff(E, BB, RecordedAssumptions); in getPwAff()
2182 Affinator.takeNonNegativeAssumption(PWAC, RecordedAssumptions); in getPwAff()
2188 return Affinator.getPwAff(SE->getZero(E->getType()), BB, RecordedAssumptions); in getPwAff()
2202 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAffOnly() argument
2203 PWACtx PWAC = getPwAff(E, BB, RecordedAssumptions); in getPwAffOnly()
|