Searched refs:addAssumption (Results 1 – 3 of 3) sorted by relevance
| /external/llvm-project/polly/lib/Analysis/ |
| D | ScopBuilder.cpp | 1497 scop->addAssumption(AS.Kind, AS.Set, AS.Loc, AS.Sign, in addRecordedAssumptions()
1522 scop->addAssumption(AS.Kind, isl::manage(S), AS.Loc, AS_RESTRICTION, AS.BB); in addRecordedAssumptions()
2933 scop->addAssumption(INVARIANTLOAD, WrittenCtx, LI->getDebugLoc(), in getNonHoistableCtx()
|
| D | ScopInfo.cpp | 2121 void Scop::addAssumption(AssumptionKind Kind, isl::set Set, DebugLoc Loc, in addAssumption() function in Scop
2137 addAssumption(Kind, isl::set::empty(getParamSpace()), Loc, AS_ASSUMPTION, BB); in invalidate()
|
| /external/llvm-project/polly/include/polly/ |
| D | ScopInfo.h | 2278 void addAssumption(AssumptionKind Kind, isl::set Set, DebugLoc Loc,
|