Home
last modified time | relevance | path

Searched refs:dualDenom (Results 1 – 1 of 1) sorted by relevance

/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp713 int64_t &dualDenom) { in computeWidthAndDuals() argument
720 dualDenom = simplex.tableau(row, 0); in computeWidthAndDuals()
870 int64_t dualDenom; in reduceBasis() local
893 int64_t u = floorDiv(dual[i - level], dualDenom); in reduceBasis()
895 if (dual[i - level] % dualDenom != 0) { in reduceBasis()
915 dualDenom = candidateDualDenom[j]; in reduceBasis()
941 gbrSimplex.computeWidthAndDuals(basis.getRow(i), dual, dualDenom)); in reduceBasis()
950 dualDenom)); in reduceBasis()