Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DUtils.h256 SmallVector<int64_t, 8> getComplementIneq(ArrayRef<int64_t> ineq);
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DUtils.cpp351 SmallVector<int64_t, 8> presburger::getComplementIneq(ArrayRef<int64_t> ineq) { in getComplementIneq() function in presburger
H A DPresburgerRelation.cpp411 getComplementIneq(getIneqCoeffsFromIdx(frame.sI, idx)); in getSetDifference()
H A DSimplex.cpp325 return isSeparateInequality(getComplementIneq(coeffs)); in isRedundantInequality()
635 getComplementIneq(getSymbolicSampleIneq(u.pos)); in computeSymbolicIntegerLexMin()