Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h64 void setSpace(const PresburgerSpace &oSpace);
H A DIntegerRelation.h101 void setSpace(const PresburgerSpace &oSpace);
108 void setSpaceExceptLocals(const PresburgerSpace &oSpace);
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp41 void IntegerRelation::setSpace(const PresburgerSpace &oSpace) { in setSpace() argument
42 assert(space.getNumVars() == oSpace.getNumVars() && "invalid space!"); in setSpace()
43 space = oSpace; in setSpace()
46 void IntegerRelation::setSpaceExceptLocals(const PresburgerSpace &oSpace) { in setSpaceExceptLocals() argument
47 assert(oSpace.getNumLocalVars() == 0 && "no locals should be present!"); in setSpaceExceptLocals()
48 assert(oSpace.getNumVars() <= getNumVars() && "invalid space!"); in setSpaceExceptLocals()
49 unsigned newNumLocals = getNumVars() - oSpace.getNumVars(); in setSpaceExceptLocals()
50 space = oSpace; in setSpaceExceptLocals()
H A DPresburgerRelation.cpp24 void PresburgerRelation::setSpace(const PresburgerSpace &oSpace) { in setSpace() argument
26 space = oSpace; in setSpace()