Searched defs:RecordedAssumptions (Results 1 – 5 of 5) sorted by relevance
69 RecordedAssumptionsTy *RecordedAssumptions = nullptr; variable
75 RecordedAssumptionsTy RecordedAssumptions; variable
100 PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions) { in takeNonNegativeAssumption() argument 118 RecordedAssumptionsTy *RecordedAssumptions) { in getPwAff() argument [all...]
221 void polly::recordAssumption(polly::RecordedAssumptionsTy *RecordedAssumptions, in recordAssumption() argument
2169 getPwAff(const SCEV * E,BasicBlock * BB,bool NonNegative,RecordedAssumptionsTy * RecordedAssumptions) getPwAff() argument 2203 getPwAffOnly(const SCEV * E,BasicBlock * BB,RecordedAssumptionsTy * RecordedAssumptions) getPwAffOnly() argument