Home
last modified time | relevance | path

Searched refs:getNumSymbolVars (Results 1 – 13 of 13) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp22 return getNumSymbolVars(); in getNumVarKind()
143 getNumSymbolVars() == other.getNumSymbolVars(); in isCompatible()
184 << "Symbols: " << getNumSymbolVars() << ", " in print()
H A DIntegerRelation.cpp88 assert(getNumSymbolVars() == 0 && "Symbols are not supported!"); in findRationalLexMin()
108 assert(getNumSymbolVars() == 0 && "Symbols are not supported!"); in findIntegerLexMin()
244 /*numSymbols=*/getNumSymbolVars())), in findSymbolicIntegerLexMin()
1414 lb->resize(getNumSymbolVars() + 1); in getConstantBoundOnDimSize()
1416 ub->resize(getNumSymbolVars() + 1); in getConstantBoundOnDimSize()
1490 lb->resize(getNumSymbolVars() + 1); in getConstantBoundOnDimSize()
1492 ub->resize(getNumSymbolVars() + 1); in getConstantBoundOnDimSize()
1499 for (unsigned c = 0, e = getNumSymbolVars() + 1; c < e; c++) { in getConstantBoundOnDimSize()
1510 (*lb)[getNumSymbolVars()] += atIneq(minLbPosition, pos) - 1; in getConstantBoundOnDimSize()
1993 SmallVector<int64_t, 4> minLb(getNumSymbolVars() + 1); in unionBoundingBox()
[all …]
H A DPresburgerRelation.cpp474 assert(getNumSymbolVars() == 0 && "Symbols are not yet supported!"); in computeVolume()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp279 unsigned pos = getNumSymbolVars(); in appendSymbolVar()
333 a.getNumSymbolVars() == b.getNumSymbolVars() && in areVarsAligned()
491 unsigned j = getNumDimVars() + getNumSymbolVars(); in composeMatchingMap()
548 insertSymbolVar(getNumSymbolVars(), other.getValue(t)); in mergeSymbolVars()
550 assert(getNumSymbolVars() == other.getNumSymbolVars() && in mergeSymbolVars()
1086 unsigned numMapSymbols = getNumSymbolVars(); in getSliceBounds()
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()
[all …]
H A DUtils.cpp245 if (srcConstraints.getNumSymbolVars() > 0) { in isSliceValid()
390 lb.resize(cstWithShapeBounds.getNumSymbolVars() + 1, 0); in getConstantBoundingSizeAndShape()
578 /*num=*/cst.getNumSymbolVars()); in compute()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h49 unsigned getNumSymbolVars() const { return space.getNumSymbolVars(); } in getNumSymbolVars() function
H A DIntegerRelation.h114 space.getNumSymbolVars()); in getSpaceWithoutLocals()
151 unsigned getNumSymbolVars() const { return space.getNumSymbolVars(); } in getNumSymbolVars() function
H A DPresburgerSpace.h96 unsigned getNumSymbolVars() const { return numSymbols; } in getNumSymbolVars() function
H A DSimplex.h611 assert(constraints.getNumSymbolVars() == symbolDomain.getNumVars() && in SymbolicLexSimplex()
/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSpaceTest.cpp50 EXPECT_EQ(space.getNumSymbolVars(), 2u); in TEST()
102 EXPECT_EQ(space.getNumSymbolVars(), 2u); in TEST()
H A DIntegerPolyhedronTest.cpp1168 ASSERT_NE(poly.getNumSymbolVars(), 0u); in expectSymbolicIntegerLexMin()
1171 parsePWMAF(/*numInputs=*/poly.getNumSymbolVars(), in expectSymbolicIntegerLexMin()
1173 /*numSymbols=*/poly.getNumSymbolVars()); in expectSymbolicIntegerLexMin()
1176 /*numDims=*/0, expectedUnboundedDomainRepr, poly.getNumSymbolVars()); in expectSymbolicIntegerLexMin()
/llvm-project-15.0.7/mlir/lib/Dialect/SCF/Utils/
H A DAffineCanonicalizationUtils.cpp253 /*symbolCount=*/constraints.getNumSymbolVars(), /*result=*/ivUb); in addLoopRangeConstraints()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Utils/
H A DLoopUtils.cpp2146 cst->getNumDimVars() + cst->getNumSymbolVars() - rank, 0, offset); in generateCopy()