Home
last modified time | relevance | path

Searched refs:getNumDimAndSymbolVars (Results 1 – 10 of 10) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h51 assert(valArgs.empty() || valArgs.size() == getNumDimAndSymbolVars()); in IntegerPolyhedron()
54 values.resize(getNumDimAndSymbolVars(), None); in IntegerPolyhedron()
73 assert(valArgs.empty() || valArgs.size() == getNumDimAndSymbolVars()); in IntegerPolyhedron()
75 values.resize(getNumDimAndSymbolVars(), None); in IntegerPolyhedron()
401 assert(pos < getNumDimAndSymbolVars() && "Invalid position"); in getValue()
408 assert(pos < getNumDimAndSymbolVars() && "Invalid position"); in hasValue()
419 assert(end <= getNumDimAndSymbolVars() && "invalid end position"); in getValues()
427 getValues(0, getNumDimAndSymbolVars(), values); in getAllValues()
443 assert(pos < getNumDimAndSymbolVars() && "invalid var position"); in setValue()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp160 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()
382 cst.getNumDimAndSymbolVars()); in areVarsUnique()
511 pos < cst->getNumDimAndSymbolVars()) { in turnSymbolIntoDim()
537 loc < other.getNumDimAndSymbolVars()) in mergeSymbolVars()
546 e = other.getNumDimAndSymbolVars(); in mergeSymbolVars()
711 values.size() == getNumDimAndSymbolVars(); in hasConsistentState()
1397 values.resize(getNumDimAndSymbolVars(), None); in clearAndCopyFrom()
[all …]
H A DUtils.cpp415 pos, /*offset=*/0, /*num=*/rank, cst.getNumDimAndSymbolVars(), in getLowerAndUpperBound()
421 assert(lbMap.getNumInputs() == cst.getNumDimAndSymbolVars() - rank); in getLowerAndUpperBound()
422 assert(ubMap.getNumInputs() == cst.getNumDimAndSymbolVars() - rank); in getLowerAndUpperBound()
554 cst.setDimSymbolSeparation(cst.getNumDimAndSymbolVars() - rank); in compute()
563 cst.getValues(cst.getNumDimVars(), cst.getNumDimAndSymbolVars(), &vars); in compute()
574 cst.projectOut(cst.getNumDimAndSymbolVars(), cst.getNumLocalVars()); in compute()
818 assert(sliceUnionCst.getNumDimAndSymbolVars() == 0); in computeSliceUnion()
854 if (sliceUnionCst.getNumDimAndSymbolVars() == 0) { in computeSliceUnion()
861 assert(sliceUnionCst.getNumDimAndSymbolVars() > 0); in computeSliceUnion()
909 if (sliceUnionCst.getNumDimAndSymbolVars() == 0) in computeSliceUnion()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerSpace.h100 unsigned getNumDimAndSymbolVars() const { in getNumDimAndSymbolVars() function
215 identifiers.resize(getNumDimAndSymbolVars()); in resetIds()
H A DIntegerRelation.h155 unsigned getNumDimAndSymbolVars() const { in getNumDimAndSymbolVars() function
156 return space.getNumDimAndSymbolVars(); in getNumDimAndSymbolVars()
H A DPWMAFunction.h52 unsigned getNumInputs() const { return domainSet.getNumDimAndSymbolVars(); } in getNumInputs()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp36 return getNumDimAndSymbolVars(); in getVarKindOffset()
173 assert(newSymbolCount <= getNumDimAndSymbolVars() && in setVarSymbolSeperation()
H A DIntegerRelation.cpp102 maybeLexMin->resize(getNumDimAndSymbolVars()); in findRationalLexMin()
122 maybeLexMin->resize(getNumDimAndSymbolVars()); in findIntegerLexMin()
918 for (unsigned i = 0, e = getNumDimAndSymbolVars(); i < e; ++i) in getLocalReprs()
1109 for (unsigned i = 0, e = getNumDimAndSymbolVars(); i < e; ++i) { in computeVolume()
1225 for (j = getNumDimAndSymbolVars(), f = getNumVars(); j < f; ++j) in removeRedundantLocalVars()
1407 if (!std::all_of(eq.begin() + getNumDimAndSymbolVars(), eq.end() - 1, in getConstantBoundOnDimSize()
H A DPWMAFunction.cpp38 assert(point.size() == domainSet.getNumDimAndSymbolVars() && in valueAt()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Utils/
H A DLoopUtils.cpp1875 cst->getValues(cst->getNumDimVars(), cst->getNumDimAndSymbolVars(), &symbols); in findHighestBlockForPlacement()
2673 cst.setDimSymbolSeparation(/*newSymbolCount=*/cst.getNumDimAndSymbolVars() - in createSeparationCondition()
2721 cst.getValues(0, cst.getNumDimAndSymbolVars(), &setOperands); in createSeparationCondition()
2747 cst.setDimSymbolSeparation(cst.getNumDimAndSymbolVars() - 1); in createFullTiles()