Home
last modified time | relevance | path

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

/llvm-project-15.0.7/polly/include/polly/Support/
H A DScopHelper.h53 enum AssumptionSign { AS_ASSUMPTION, AS_RESTRICTION }; enum
61 AssumptionSign Sign;
97 AssumptionSign Sign, llvm::BasicBlock *BB = nullptr,
/llvm-project-15.0.7/polly/include/polly/
H A DScopInfo.h2220 bool isEffectiveAssumption(isl::set Set, AssumptionSign Sign);
2237 AssumptionSign Sign, BasicBlock *BB);
2241 void intersectDefinedBehavior(isl::set Set, AssumptionSign Sign);
2263 AssumptionSign Sign, BasicBlock *BB, bool RTC = true);
/llvm-project-15.0.7/polly/lib/Analysis/
H A DScopInfo.cpp1925 bool Scop::isEffectiveAssumption(isl::set Set, AssumptionSign Sign) { in isEffectiveAssumption()
1943 AssumptionSign Sign, BasicBlock *BB) { in trackAssumption()
2006 AssumptionSign Sign, BasicBlock *BB, in addAssumption()
2024 void Scop::intersectDefinedBehavior(isl::set Set, AssumptionSign Sign) { in intersectDefinedBehavior()
/llvm-project-15.0.7/polly/lib/Support/
H A DScopHelper.cpp222 DebugLoc Loc, polly::AssumptionSign Sign, in recordAssumption()