24 static void normalizeDivisionByGCD(MutableArrayRef<int64_t> dividend,  in normalizeDivisionByGCD()  argument
26   if (divisor == 0 || dividend.empty())  in normalizeDivisionByGCD()
31       llvm::greatestCommonDivisor(std::abs(dividend.front()), int64_t(divisor));  in normalizeDivisionByGCD()
40   for (size_t i = 1, m = dividend.size() - 1; i < m; i++) {  in normalizeDivisionByGCD()
41     gcd = llvm::greatestCommonDivisor(std::abs(dividend[i]), gcd);  in normalizeDivisionByGCD()
47   std::transform(dividend.begin(), dividend.end(), dividend.begin(),  in normalizeDivisionByGCD()
187                                         ArrayRef<int64_t> dividend,  in checkExplicitRepresentation()  argument
194     if (!foundRepr[c] && dividend[c] != 0) {  in checkExplicitRepresentation()
218     MutableArrayRef<int64_t> dividend, unsigned &divisor) {  in computeSingleVarRepr()  argument
222   assert(dividend.size() == cst.getNumCols() && "Invalid dividend size");  in computeSingleVarRepr()
231       if (failed(getDivRepr(cst, pos, ubPos, lbPos, dividend, divisor)))  in computeSingleVarRepr()
234       if (!checkExplicitRepresentation(cst, foundRepr, dividend, pos))  in computeSingleVarRepr()
244     if (failed(getDivRepr(cst, pos, eqPos, dividend, divisor)))  in computeSingleVarRepr()
247     if (!checkExplicitRepresentation(cst, foundRepr, dividend, pos))  in computeSingleVarRepr()
293 SmallVector<int64_t, 8> presburger::getDivUpperBound(ArrayRef<int64_t> dividend,  in getDivUpperBound()  argument
296   assert(dividend[localVarIdx] == 0 &&  in getDivUpperBound()
298   SmallVector<int64_t, 8> ineq(dividend.begin(), dividend.end());  in getDivUpperBound()
303 SmallVector<int64_t, 8> presburger::getDivLowerBound(ArrayRef<int64_t> dividend,  in getDivLowerBound()  argument
306   assert(dividend[localVarIdx] == 0 &&  in getDivLowerBound()
308   SmallVector<int64_t, 8> ineq(dividend.size());  in getDivLowerBound()
309   std::transform(dividend.begin(), dividend.end(), ineq.begin(),  in getDivLowerBound()