Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h303 enum class UndoLogEntry { enum
319 void undo(UndoLogEntry entry);
346 SmallVector<UndoLogEntry, 8> undoLog;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp95 undoLog.push_back(UndoLogEntry::RemoveLastConstraint); in addZeroRow()
1068 undoLog.push_back(UndoLogEntry::UnmarkEmpty); in markEmpty()
1115 undoLog.emplace_back(UndoLogEntry::RestoreBasis); in getSnapshotBasis()
1195 void SimplexBase::undo(UndoLogEntry entry) { in undo()
1196 if (entry == UndoLogEntry::RemoveLastConstraint) { in undo()
1200 } else if (entry == UndoLogEntry::RemoveLastVariable) { in undo()
1222 } else if (entry == UndoLogEntry::UnmarkEmpty) { in undo()
1224 } else if (entry == UndoLogEntry::UnmarkLastRedundant) { in undo()
1226 } else if (entry == UndoLogEntry::RestoreBasis) { in undo()
1298 undoLog.insert(undoLog.end(), count, UndoLogEntry::RemoveLastVariable); in appendVariable()
[all …]