Lines Matching refs:valuePosMap
219 const AffineValueMap &dstAccessMap, ValuePositionMap *valuePosMap, in buildDimAndSymbolPositionMaps() argument
263 valuePosMap->addSymbolValue(value); in buildDimAndSymbolPositionMaps()
266 valuePosMap->addSrcValue(value); in buildDimAndSymbolPositionMaps()
268 valuePosMap->addDstValue(value); in buildDimAndSymbolPositionMaps()
305 const AffineValueMap &dstAccessMap, const ValuePositionMap &valuePosMap, in initDependenceConstraints() argument
315 unsigned numSymbols = valuePosMap.getNumSymbols(); in initDependenceConstraints()
343 dependenceConstraints->setIdValue(valuePosMap.getSymPos(value), value); in initDependenceConstraints()
374 const ValuePositionMap &valuePosMap, in addDomainConstraints() argument
389 return isSrc ? valuePosMap.getSrcDimOrSymPos(domain.getIdValue(i)) in addDomainConstraints()
390 : valuePosMap.getDstDimOrSymPos(domain.getIdValue(i)); in addDomainConstraints()
451 const ValuePositionMap &valuePosMap, in addMemRefAccessConstraints() argument
495 eq[valuePosMap.getSrcDimOrSymPos(srcOperands[j])] = srcFlatExpr[j]; in addMemRefAccessConstraints()
506 eq[valuePosMap.getDstDimOrSymPos(dstOperands[j])] -= destFlatExpr[j]; in addMemRefAccessConstraints()
526 dependenceDomain->setIdToConstant(valuePosMap.getSymPos(symbol), in addMemRefAccessConstraints()
548 ineq[valuePosMap.getSrcDimOrSymPos(srcOperands[j])] = in addMemRefAccessConstraints()
563 ineq[valuePosMap.getDstDimOrSymPos(dstOperands[j])] = in addMemRefAccessConstraints()
910 ValuePositionMap valuePosMap; in checkMemrefAccessDependence() local
912 dstAccessMap, &valuePosMap, in checkMemrefAccessDependence()
915 valuePosMap, dependenceConstraints); in checkMemrefAccessDependence()
917 assert(valuePosMap.getNumDims() == in checkMemrefAccessDependence()
923 if (failed(addMemRefAccessConstraints(srcAccessMap, dstAccessMap, valuePosMap, in checkMemrefAccessDependence()
931 addDomainConstraints(srcDomain, dstDomain, valuePosMap, in checkMemrefAccessDependence()