Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp897 int64_t candidateDualDenom[2]; in reduceBasis() local
902 basis.getRow(i + 1), candidateDual[0], candidateDualDenom[0]); in reduceBasis()
908 basis.getRow(i + 1), candidateDual[1], candidateDualDenom[1]); in reduceBasis()
915 dualDenom = candidateDualDenom[j]; in reduceBasis()