Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp634 SmallVector<int64_t, 8> splitIneq = in computeSymbolicIntegerLexMin() local
636 normalizeRange(splitIneq); in computeSymbolicIntegerLexMin()
645 domainSimplex.addInequality(splitIneq); in computeSymbolicIntegerLexMin()
646 domainPoly.addInequality(splitIneq); in computeSymbolicIntegerLexMin()