Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp337 unsigned totalNewSimplexInequalities = in getSetDifference() local
352 simplex.detectRedundant(offset, totalNewSimplexInequalities); in getSetDifference()
353 for (unsigned j = 0; j < totalNewSimplexInequalities; j++) in getSetDifference()
358 ineqsToProcess.reserve(totalNewSimplexInequalities); in getSetDifference()
359 for (unsigned i = 0; i < totalNewSimplexInequalities; ++i) in getSetDifference()