Home
last modified time | relevance | path

Searched refs:PWAC (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/polly/lib/Support/
H A DSCEVAffinator.cpp104 PWAC.second = in takeNonNegativeAssumption()
140 return PWAC; in checkForWrapping()
145 PWAC.second = PWAC.second.unite(NotEqualSet).coalesce(); in checkForWrapping()
156 return PWAC; in checkForWrapping()
201 return PWAC; in visit()
226 PWAC.first = addModuloSemantic(PWAC.first, Expr->getType()); in visit()
228 PWAC = checkForWrapping(Expr, PWAC); in visit()
232 PWAC = combine(PWAC, visitConstant(Factor), isl_pw_aff_mul); in visit()
239 PWAC.first = PWAC.first.coalesce(); in visit()
241 PWAC = checkForWrapping(Key.first, PWAC); in visit()
[all …]
/llvm-project-15.0.7/polly/include/polly/Support/
H A DSCEVAffinator.h45 PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions = nullptr);
48 void interpretAsUnsigned(PWACtx &PWAC, unsigned Width);
94 PWACtx checkForWrapping(const llvm::SCEV *Expr, PWACtx PWAC) const;
/llvm-project-15.0.7/polly/lib/Analysis/
H A DScopInfo.cpp949 PWACtx PWAC = Stmt->getParent()->getPwAff(E, Stmt->getEntryBlock()); in getPwAff() local
952 isl::set NewInvalidDom = StmtDom.intersect(PWAC.second); in getPwAff()
954 return PWAC.first; in getPwAff()
2174 auto PWAC = Affinator.getPwAff(E, BB, RecordedAssumptions); in getPwAff() local
2175 if (!PWAC.first.is_null()) { in getPwAff()
2182 Affinator.takeNonNegativeAssumption(PWAC, RecordedAssumptions); in getPwAff()
2183 return PWAC; in getPwAff()
2203 PWACtx PWAC = getPwAff(E, BB, RecordedAssumptions); in getPwAffOnly() local
2204 return PWAC.first; in getPwAffOnly()
H A DScopBuilder.cpp348 PWACtx PWAC = scop->getPwAff(E, BB, NonNegative, &RecordedAssumptions); in getPwAff() local
349 InvalidDomainMap[BB] = InvalidDomainMap[BB].unite(PWAC.second); in getPwAff()
350 return PWAC.first.release(); in getPwAff()