Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h634 Optional<unsigned> maybeGetAlwaysViolatedRow();
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp471 Optional<unsigned> SymbolicLexSimplex::maybeGetAlwaysViolatedRow() { in maybeGetAlwaysViolatedRow() function in SymbolicLexSimplex
503 while (Optional<unsigned> row = maybeGetAlwaysViolatedRow()) in doNonBranchingPivots()