Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DSimplexTest.cpp31 unsigned snapshot = simplex.getSnapshot(); in TEST()
36 unsigned snapshot2 = simplex.getSnapshot(); in TEST()
61 unsigned snapshot = simplex.getSnapshot(); in expectInequalityMakesSetEmpty()
79 unsigned snapshot = simplex.getSnapshot(); in TEST()
395 unsigned snapshot = simplex.getSnapshot(); in TEST()
428 unsigned snapshot1 = simplex.getSnapshot(); in TEST()
437 unsigned snapshot2 = simplex.getSnapshot(); in TEST()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h196 unsigned getSnapshot() const;
427 unsigned getSnapshot() { return SimplexBase::getSnapshotBasis(); } in getSnapshot() function
873 snapshot = simplex.getSnapshot(); in SimplexRollbackScopeExit()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp243 unsigned initialSnapshot = simplex.getSnapshot(); in getSetDifference()
315 unsigned snapshotBeforeIntersect = simplex.getSnapshot(); in getSetDifference()
369 unsigned simplexSnapshot = simplex.getSnapshot(); in getSetDifference()
407 frame.simplexSnapshot = simplex.getSnapshot(); in getSetDifference()
H A DSimplex.cpp570 unsigned domainSnapshot = domainSimplex.getSnapshot(); in computeSymbolicIntegerLexMin()
593 unsigned snapshot = getSnapshot(); in computeSymbolicIntegerLexMin()
1105 unsigned SimplexBase::getSnapshot() const { return undoLog.size(); } in getSnapshot() function in SimplexBase
1633 snapshotStack.push_back(simplex.getSnapshot()); in addEqualityForDirection()
2027 snapshotStack.push_back(getSnapshot()); in findIntegerSample()