Home
last modified time | relevance | path

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

/external/llvm-project/mlir/include/mlir/Analysis/Presburger/
DSimplex.h311 UnmarkLastRedundant enumerator
/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp438 } else if (entry == UndoLogEntry::UnmarkLastRedundant) { in undo()
512 undoLog.emplace_back(UndoLogEntry::UnmarkLastRedundant); in markRowRedundant()