Searched refs:numDomain (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | PresburgerSpace.h | 79 static PresburgerSpace getRelationSpace(unsigned numDomain = 0,
83 return PresburgerSpace(numDomain, numRange, numSymbols, numLocals);
93 unsigned getNumDomainVars() const { return numDomain; } in getNumDomainVars()
99 unsigned getNumDimVars() const { return numDomain + numRange; } in getNumDimVars()
101 return numDomain + numRange + numSymbols; in getNumDimAndSymbolVars()
104 return numDomain + numRange + numSymbols + numLocals; in getNumVars()
230 PresburgerSpace(unsigned numDomain = 0, unsigned numRange = 0,
232 : numDomain(numDomain), numRange(numRange), numSymbols(numSymbols), in numDomain() argument
251 unsigned numDomain;
|
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerRelationTest.cpp | 19 static IntegerRelation parseRelationFromSet(StringRef set, unsigned numDomain) { in parseRelationFromSet() argument
22 rel.convertVarKind(VarKind::SetDim, 0, numDomain, VarKind::Domain); in parseRelationFromSet()
|
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | PresburgerSpace.cpp | 78 numDomain += num; in insertVar()
103 numDomain -= numVarsEliminated; in removeVarRange()
|