Home
last modified time | relevance | path

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

/external/llvm-project/mlir/include/mlir/Analysis/Presburger/
DSimplex.h308 enum class UndoLogEntry { enum
315 void undo(UndoLogEntry entry);
351 SmallVector<UndoLogEntry, 8> undoLog;
/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp117 undoLog.push_back(UndoLogEntry::RemoveLastConstraint); in addRow()
349 undoLog.push_back(UndoLogEntry::UnmarkEmpty); in markEmpty()
390 void Simplex::undo(UndoLogEntry entry) { in undo()
391 if (entry == UndoLogEntry::RemoveLastConstraint) { in undo()
436 } else if (entry == UndoLogEntry::UnmarkEmpty) { in undo()
438 } else if (entry == UndoLogEntry::UnmarkLastRedundant) { in undo()
512 undoLog.emplace_back(UndoLogEntry::UnmarkLastRedundant); in markRowRedundant()