Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/
DPresburgerSet.cpp220 unsigned originalNumEqs = b.getNumEqualities(); in subtractRecursively() local
243 for (unsigned i = b.getNumEqualities(); i > originalNumEqs; --i) in subtractRecursively()