Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp311 unsigned numLocalsAdded = in getSetDifference() local
313 simplex.appendVariable(numLocalsAdded); in getSetDifference()