Lines Matching defs:DividendPWAC

491   auto DividendPWAC = visit(Dividend);
508   takeNonNegativeAssumption(DividendPWAC, RecordedAssumptions);
510   DividendPWAC = combine(DividendPWAC, DivisorPWAC, isl_pw_aff_div);
511   DividendPWAC.first = DividendPWAC.first.floor();
513   return DividendPWAC;
528   auto DividendPWAC = visit(DividendSCEV);
529   DividendPWAC = combine(DividendPWAC, DivisorPWAC, isl_pw_aff_tdiv_q);
530   return DividendPWAC;
545   auto DividendPWAC = visit(DividendSCEV);
546   DividendPWAC = combine(DividendPWAC, DivisorPWAC, isl_pw_aff_tdiv_r);
547   return DividendPWAC;