Lines Matching refs:getNumSymbolVars

279   unsigned pos = getNumSymbolVars();  in appendSymbolVar()
333          a.getNumSymbolVars() == b.getNumSymbolVars() &&  in areVarsAligned()
461   assert(other.getNumSymbols() == getNumSymbolVars() && "symbol mismatch");  in composeMatchingMap()
491     unsigned j = getNumDimVars() + getNumSymbolVars();  in composeMatchingMap()
513     cst->setDimSymbolSeparation(cst->getNumSymbolVars() - 1);  in turnSymbolIntoDim()
545   for (unsigned t = other.getNumDimVars() + getNumSymbolVars(),  in mergeSymbolVars()
548     insertSymbolVar(getNumSymbolVars(), other.getValue(t));  in mergeSymbolVars()
550   assert(getNumSymbolVars() == other.getNumSymbolVars() &&  in mergeSymbolVars()
819                                       cst.getNumSymbolVars());  in detectAsMod()
1086     unsigned numMapSymbols = getNumSymbolVars();  in getSliceBounds()
1176   assert(boundMap.getNumSymbols() == getNumSymbolVars() && "symbol mismatch");  in addBound()
1206     unsigned j = getNumDimVars() + getNumSymbolVars();  in addBound()
1243   syms.reserve(getNumSymbolVars());  in computeAlignedMap()
1448   unsigned numSyms = cst.getNumSymbolVars();  in computeLocalVars()
1478   unsigned numSyms = getNumSymbolVars();  in getIneqAsAffineValueMap()
1523     return IntegerSet::get(getNumDimVars(), getNumSymbolVars(),  in getAsIntegerSet()
1555   unsigned numSyms = getNumSymbolVars();  in getAsIntegerSet()