Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h323 unsigned getNumFixedCols() const { return usingBigM ? 3u : 2u; } in getNumFixedCols()
328 bool usingBigM; variable
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp35 : usingBigM(mustUseBigM), nRedundant(0), nSymbol(0), in SimplexBase()
111 if (usingBigM) { in addRow()
1583 if (usingBigM) in getRationalSample()