Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h574 class SymbolicLexSimplex : public LexSimplexBase {
584 SymbolicLexSimplex(const IntegerRelation &constraints, in SymbolicLexSimplex() function
598 SymbolicLexSimplex(const IntegerRelation &constraints, unsigned symbolOffset, in SymbolicLexSimplex() function
600 : SymbolicLexSimplex(constraints, symbolDomain, in SymbolicLexSimplex()
606 SymbolicLexSimplex(const IntegerRelation &constraints, in SymbolicLexSimplex() function
608 : SymbolicLexSimplex(constraints, in SymbolicLexSimplex()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp329 SymbolicLexSimplex::getSymbolicSampleNumerator(unsigned row) const { in getSymbolicSampleNumerator()
339 SymbolicLexSimplex::getSymbolicSampleIneq(unsigned row) const { in getSymbolicSampleIneq()
358 bool SymbolicLexSimplex::isSymbolicSampleIntegral(unsigned row) const { in isSymbolicSampleIntegral()
397 LogicalResult SymbolicLexSimplex::addSymbolicCut(unsigned row) { in addSymbolicCut()
436 void SymbolicLexSimplex::recordOutput(SymbolicLexMin &result) const { in recordOutput()
471 Optional<unsigned> SymbolicLexSimplex::maybeGetAlwaysViolatedRow() { in maybeGetAlwaysViolatedRow()
489 Optional<unsigned> SymbolicLexSimplex::maybeGetNonIntegralVarRow() { in maybeGetNonIntegralVarRow()
502 LogicalResult SymbolicLexSimplex::doNonBranchingPivots() { in doNonBranchingPivots()
509 SymbolicLexMin SymbolicLexSimplex::computeSymbolicIntegerLexMin() { in computeSymbolicIntegerLexMin()
H A DIntegerRelation.cpp214 SymbolicLexSimplex(copy, /*symbolOffset*/ 0, in computeReprWithOnlyDivLocals()
241 SymbolicLexSimplex(*this, in findSymbolicIntegerLexMin()