Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp867 GBRSimplex gbrSimplex(*this); in reduceBasis() local
901 widthI[0] = gbrSimplex.computeWidthAndDuals( in reduceBasis()
907 widthI[1] = gbrSimplex.computeWidthAndDuals( in reduceBasis()
941 gbrSimplex.computeWidthAndDuals(basis.getRow(i), dual, dualDenom)); in reduceBasis()
948 gbrSimplex.addEqualityForDirection(basis.getRow(i)); in reduceBasis()
949 width.push_back(gbrSimplex.computeWidthAndDuals(basis.getRow(i + 1), dual, in reduceBasis()
951 gbrSimplex.removeLastEquality(); in reduceBasis()
967 gbrSimplex.removeLastEquality(); in reduceBasis()
974 gbrSimplex.addEqualityForDirection(basis.getRow(i)); in reduceBasis()