Searched refs:RecordedAssumptions (Results 1 – 8 of 8) sorted by relevance
| /external/llvm-project/polly/lib/Support/ |
| 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()
498 takeNonNegativeAssumption(DividendPWAC, RecordedAssumptions); in visitUDivExpr()
|
| D | ScopHelper.cpp | 224 void polly::recordAssumption(polly::RecordedAssumptionsTy *RecordedAssumptions, in recordAssumption() argument
230 if (RecordedAssumptions) in recordAssumption()
231 RecordedAssumptions->push_back({Kind, Sign, Set, Loc, BB}); in recordAssumption()
|
| /external/llvm-project/polly/include/polly/Support/ |
| D | SCEVAffinator.h | 41 RecordedAssumptionsTy *RecordedAssumptions = nullptr);
45 PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions = nullptr);
69 RecordedAssumptionsTy *RecordedAssumptions = nullptr; member
|
| D | ScopHelper.h | 91 void recordAssumption(RecordedAssumptionsTy *RecordedAssumptions,
|
| /external/llvm-project/polly/include/polly/ |
| D | ScopBuilder.h | 74 RecordedAssumptionsTy RecordedAssumptions; variable
|
| D | ScopInfo.h | 2519 RecordedAssumptionsTy *RecordedAssumptions = nullptr);
2527 RecordedAssumptionsTy *RecordedAssumptions = nullptr);
|
| /external/llvm-project/polly/lib/Analysis/ |
| D | ScopBuilder.cpp | 352 PWACtx PWAC = scop->getPwAff(E, BB, NonNegative, &RecordedAssumptions); in getPwAff()
804 recordAssumption(&RecordedAssumptions, INFINITELOOP, UnboundedCtx, in addLoopBoundsToHeaderDomain()
1026 recordAssumption(&RecordedAssumptions, ERRORBLOCK, DomPar, in propagateInvalidStmtDomains()
1494 for (auto &AS : llvm::reverse(RecordedAssumptions)) { in addRecordedAssumptions()
2520 recordAssumption(&RecordedAssumptions, INBOUNDS, Outside, Loc, in assumeNoOutOfBounds()
3237 scop->getPwAff(Size, nullptr, false, &RecordedAssumptions); in buildAccessRelations()
3249 &RecordedAssumptions); in buildAccessRelations()
3805 RecordedAssumptions.clear(); in ScopBuilder()
|
| D | ScopInfo.cpp | 2253 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAff() argument
2259 auto PWAC = Affinator.getPwAff(E, BB, RecordedAssumptions); in getPwAff()
2267 Affinator.takeNonNegativeAssumption(PWAC, RecordedAssumptions); in getPwAff()
2273 return Affinator.getPwAff(SE->getZero(E->getType()), BB, RecordedAssumptions); in getPwAff()
2287 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAffOnly() argument
2288 PWACtx PWAC = getPwAff(E, BB, RecordedAssumptions); in getPwAffOnly()
|