Searched refs:DividendPWAC (Results 1 – 1 of 1) sorted by relevance
481 auto DividendPWAC = visit(Dividend); in visitUDivExpr() local498 takeNonNegativeAssumption(DividendPWAC, RecordedAssumptions); in visitUDivExpr()500 DividendPWAC = combine(DividendPWAC, DivisorPWAC, isl_pw_aff_div); in visitUDivExpr()501 DividendPWAC.first = DividendPWAC.first.floor(); in visitUDivExpr()503 return DividendPWAC; in visitUDivExpr()518 auto DividendPWAC = visit(DividendSCEV); in visitSDivInstruction() local519 DividendPWAC = combine(DividendPWAC, DivisorPWAC, isl_pw_aff_tdiv_q); in visitSDivInstruction()520 return DividendPWAC; in visitSDivInstruction()535 auto DividendPWAC = visit(DividendSCEV); in visitSRemInstruction() local536 DividendPWAC = combine(DividendPWAC, DivisorPWAC, isl_pw_aff_tdiv_r); in visitSRemInstruction()[all …]