Lines Matching refs:getNumDimAndSymbolVars
160 values.resize(getNumDimAndSymbolVars(), None); in FlatAffineValueConstraints()
300 assert(values.size() == getNumDimAndSymbolVars()); in insertVar()
319 assert(values.size() == getNumDimAndSymbolVars()); in insertVar()
350 assert(start <= cst.getNumDimAndSymbolVars() && in areVarsUnique()
352 assert(end <= cst.getNumDimAndSymbolVars() && "End position out of bounds"); in areVarsUnique()
370 return areVarsUnique(cst, 0, cst.getNumDimAndSymbolVars()); in areVarsUnique()
382 cst.getNumDimAndSymbolVars()); in areVarsUnique()
511 pos < cst->getNumDimAndSymbolVars()) { in turnSymbolIntoDim()
528 getValues(getNumDimVars(), getNumDimAndSymbolVars(), &aSymValues); in mergeSymbolVars()
537 loc < other.getNumDimAndSymbolVars()) in mergeSymbolVars()
546 e = other.getNumDimAndSymbolVars(); in mergeSymbolVars()
560 for (unsigned i = getNumDimVars(), e = getNumDimAndSymbolVars(); i < e; i++) { in convertLoopIVSymbolsToDims()
700 cst.setValues(0, cst.getNumDimAndSymbolVars(), operands); in addAffineIfOpDomain()
711 values.size() == getNumDimAndSymbolVars(); in hasConsistentState()
785 for (curVar = 0, e = cst.getNumDimAndSymbolVars(); curVar < e; ++curVar) { in detectAsMod()
911 unsigned symCount = getNumDimAndSymbolVars() - symStartPos; in getLowerAndUpperBound()
997 for (unsigned i = getNumDimVars(), e = getNumDimAndSymbolVars(); i < e; i++) in getSliceBounds()
1177 assert(pos < getNumDimAndSymbolVars() && "invalid position"); in addBound()
1375 for (unsigned i = 0, e = getNumDimAndSymbolVars(); i < e; i++) { in printSpace()
1397 values.resize(getNumDimAndSymbolVars(), None); in clearAndCopyFrom()
1410 assert(values.size() == getNumDimAndSymbolVars()); in fourierMotzkinEliminate()
1514 getValues(pos + 1, getNumDimAndSymbolVars(), &trailingOperands); in getIneqAsAffineValueMap()
1534 unsigned numDimsSymbols = getNumDimAndSymbolVars(); in getAsIntegerSet()
1800 for (unsigned i = rel.getNumDimVars(), e = rel.getNumDimAndSymbolVars(); in getRelationFromMap()