Home
last modified time | relevance | path

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

/external/llvm-project/polly/lib/Support/
DSCEVAffinator.cpp52 static bool isTooComplex(PWACtx PWAC) { in isTooComplex() argument
54 isl_pw_aff_foreach_piece(PWAC.first.get(), addNumBasicSets, &NumBasicSets); in isTooComplex()
89 void SCEVAffinator::interpretAsUnsigned(PWACtx &PWAC, unsigned Width) { in interpretAsUnsigned() argument
90 auto *NonNegDom = isl_pw_aff_nonneg_set(PWAC.first.copy()); in interpretAsUnsigned()
92 isl_pw_aff_intersect_domain(PWAC.first.copy(), isl_set_copy(NonNegDom)); in interpretAsUnsigned()
94 PWAC.first = isl::manage(isl_pw_aff_union_add( in interpretAsUnsigned()
95 NonNegPWA, isl_pw_aff_add(PWAC.first.release(), ExpPWA))); in interpretAsUnsigned()
99 PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions) { in takeNonNegativeAssumption() argument
102 auto *NegPWA = isl_pw_aff_neg(PWAC.first.copy()); in takeNonNegativeAssumption()
104 PWAC.second = in takeNonNegativeAssumption()
[all …]
/external/llvm-project/polly/include/polly/Support/
DSCEVAffinator.h45 PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions = nullptr);
48 void interpretAsUnsigned(PWACtx &PWAC, unsigned Width);
94 PWACtx checkForWrapping(const llvm::SCEV *Expr, PWACtx PWAC) const;
/external/llvm-project/polly/lib/Analysis/
DScopInfo.cpp981 PWACtx PWAC = Stmt->getParent()->getPwAff(E, Stmt->getEntryBlock()); in getPwAff() local
984 isl::set NewInvalidDom = StmtDom.intersect(PWAC.second); in getPwAff()
986 return PWAC.first; in getPwAff()
2259 auto PWAC = Affinator.getPwAff(E, BB, RecordedAssumptions); in getPwAff() local
2260 if (PWAC.first) { in getPwAff()
2267 Affinator.takeNonNegativeAssumption(PWAC, RecordedAssumptions); in getPwAff()
2268 return PWAC; in getPwAff()
2288 PWACtx PWAC = getPwAff(E, BB, RecordedAssumptions); in getPwAffOnly() local
2289 return PWAC.first; in getPwAffOnly()
DScopBuilder.cpp352 PWACtx PWAC = scop->getPwAff(E, BB, NonNegative, &RecordedAssumptions); in getPwAff() local
353 InvalidDomainMap[BB] = InvalidDomainMap[BB].unite(PWAC.second); in getPwAff()
354 return PWAC.first.release(); in getPwAff()