Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp212 SmallVector<unsigned, 8> ineqsToProcess; in getSetDifference() member
357 SmallVector<unsigned, 8> ineqsToProcess; in getSetDifference() local
358 ineqsToProcess.reserve(totalNewSimplexInequalities); in getSetDifference()
361 ineqsToProcess.push_back(i); in getSetDifference()
363 if (ineqsToProcess.empty()) { in getSetDifference()
371 frames.push_back(Frame{simplexSnapshot, bCounts, sI, ineqsToProcess, in getSetDifference()
398 if (frame.ineqsToProcess.empty()) { in getSetDifference()
409 unsigned idx = frame.ineqsToProcess.back(); in getSetDifference()
415 frame.ineqsToProcess.pop_back(); in getSetDifference()