Searched refs:AS_RESTRICTION (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/polly/lib/Support/ |
| H A D | SCEVAffinator.cpp | 109 AS_RESTRICTION, BB); in takeNonNegativeAssumption()
154 AS_RESTRICTION, BB); in checkForWrapping()
303 DebugLoc(), AS_RESTRICTION, BB); in visitTruncateExpr()
|
| /llvm-project-15.0.7/polly/include/polly/Support/ |
| H A D | ScopHelper.h | 53 enum AssumptionSign { AS_ASSUMPTION, AS_RESTRICTION }; enumerator
|
| /llvm-project-15.0.7/polly/lib/Analysis/ |
| H A D | ScopBuilder.cpp | 805 HeaderBB->getTerminator()->getDebugLoc(), AS_RESTRICTION, in addLoopBoundsToHeaderDomain()
1028 BB->getTerminator()->getDebugLoc(), AS_RESTRICTION); in propagateInvalidStmtDomains()
1354 if (AS.Sign == AS_RESTRICTION) in addRecordedAssumptions()
1359 scop->addAssumption(AS.Kind, isl::manage(S), AS.Loc, AS_RESTRICTION, AS.BB, in addRecordedAssumptions()
2750 AS_RESTRICTION, LI->getParent()); in getNonHoistableCtx()
|
| H A D | ScopInfo.cpp | 1953 bool IsTrivial = (Sign == AS_RESTRICTION && Set.is_empty()) || in trackAssumption()
|