Lines Matching defs:RecordedAssumptions

100     PWACtx &PWAC, RecordedAssumptionsTy *RecordedAssumptions) {
101   this->RecordedAssumptions = RecordedAssumptions;
109   recordAssumption(RecordedAssumptions, UNSIGNED, isl::manage(Restriction), DL,
118                                RecordedAssumptionsTy *RecordedAssumptions) {
120   this->RecordedAssumptions = RecordedAssumptions;
154     recordAssumption(RecordedAssumptions, WRAPPING, NotEqualSet, Loc,
307   recordAssumption(RecordedAssumptions, UNSIGNED, isl::manage(OutOfBoundsDom),
362     takeNonNegativeAssumption(OpPWAC, RecordedAssumptions);
508   takeNonNegativeAssumption(DividendPWAC, RecordedAssumptions);