Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp20 : space(disjunct.getSpaceWithoutLocals()) { in PresburgerRelation()
186 return PresburgerRelation::getEmpty(b.getSpaceWithoutLocals()); in getSetDifference()
196 PresburgerRelation::getEmpty(b.getSpaceWithoutLocals()); in getSetDifference()
H A DPWMAFunction.cpp293 PresburgerSpace compatibleSpace = mafA.getDomain().getSpaceWithoutLocals(); in tiebreakLex()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h111 PresburgerSpace getSpaceWithoutLocals() const { in getSpaceWithoutLocals() function