Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h870 class SimplexRollbackScopeExit {
872 SimplexRollbackScopeExit(SimplexBase &simplex) : simplex(simplex) { in SimplexRollbackScopeExit() function
875 ~SimplexRollbackScopeExit() { simplex.rollback(snapshot); } in ~SimplexRollbackScopeExit()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp319 SimplexRollbackScopeExit scopeExit(*this); in isSeparateInequality()
1335 SimplexRollbackScopeExit scopeExit(*this); in computeOptimum()
1655 SimplexRollbackScopeExit scopeExit(simplex); in computeWidthAndDuals()
H A DPresburgerRelation.cpp635 SimplexRollbackScopeExit scopeExit(simp); in isFacetContained()