Lines Matching refs:numSyms
2920 unsigned numSyms = cst.getNumSymbolIds(); in computeLocalVars() local
2925 for (unsigned i = numDims, e = numDims + numSyms; i < e; i++) in computeLocalVars()
2935 if (!memo[numDims + numSyms + i] && in computeLocalVars()
2936 detectAsFloorDiv(cst, /*pos=*/numDims + numSyms + i, context, memo)) in computeLocalVars()
2950 unsigned numSyms = getNumSymbolIds(); in getIneqAsAffineValueMap() local
2979 auto boundExpr = getAffineExprFromFlatForm(bound, numDims - 1, numSyms, in getIneqAsAffineValueMap()
2988 vmap.reset(AffineMap::get(numDims - 1, numSyms, boundExpr), operands); in getIneqAsAffineValueMap()
3026 unsigned numSyms = getNumSymbolIds(); in getAsIntegerSet() local
3036 exprs.push_back(getAffineExprFromFlatForm(getEquality(i), numDims, numSyms, in getAsIntegerSet()
3040 numSyms, localExprs, context)); in getAsIntegerSet()
3041 return IntegerSet::get(numDims, numSyms, exprs, eqFlags); in getAsIntegerSet()