Searched refs:recordAssumption (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/polly/lib/Support/ |
| H A D | SCEVAffinator.cpp | 108 recordAssumption(RecordedAssumptions, UNSIGNED, isl::manage(Restriction), DL, in takeNonNegativeAssumption()
153 recordAssumption(RecordedAssumptions, WRAPPING, NotEqualSet, Loc, in checkForWrapping()
302 recordAssumption(RecordedAssumptions, UNSIGNED, isl::manage(OutOfBoundsDom), in visitTruncateExpr()
|
| H A D | ScopHelper.cpp | 220 void polly::recordAssumption(polly::RecordedAssumptionsTy *RecordedAssumptions, in recordAssumption() function in polly
|
| /llvm-project-15.0.7/polly/include/polly/Support/ |
| H A D | ScopHelper.h | 95 void recordAssumption(RecordedAssumptionsTy *RecordedAssumptions,
|
| /llvm-project-15.0.7/polly/lib/Analysis/ |
| H A D | ScopBuilder.cpp | 804 recordAssumption(&RecordedAssumptions, INFINITELOOP, UnboundedCtx, in addLoopBoundsToHeaderDomain()
1027 recordAssumption(&RecordedAssumptions, ERRORBLOCK, DomPar, in propagateInvalidStmtDomains()
2331 recordAssumption(&RecordedAssumptions, INBOUNDS, Outside, Loc, in assumeNoOutOfBounds()
|