Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp1640 auto isTriviallyValid = [&](unsigned r) -> bool { in removeTrivialRedundancy() local
1653 if (isTriviallyValid(r) || !rowSet.insert(row).second) { in removeTrivialRedundancy()