Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DIntegerPolyhedronTest.cpp840 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
863 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
888 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
913 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
938 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
961 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
986 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
1010 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
1034 EXPECT_EQ(poly1.getNumLocalVars(), poly2.getNumLocalVars()); in TEST()
1037 EXPECT_EQ(poly1.getNumLocalVars(), 3u); in TEST()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h50 unsigned getNumLocalVars() const { return space.getNumLocalVars(); } in getNumLocalVars() function
145 assert(space.getNumLocalVars() == 0 && in PresburgerRelation()
185 assert(space.getNumLocalVars() == 0 && in PresburgerSet()
H A DIntegerRelation.h152 unsigned getNumLocalVars() const { return space.getNumLocalVars(); } in getNumLocalVars() function
H A DPWMAFunction.h139 assert(space.getNumLocalVars() == 0 && in PWMAFunction()
H A DPresburgerSpace.h97 unsigned getNumLocalVars() const { return numLocals; } in getNumLocalVars() function
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp25 assert(space.getNumLocalVars() == 0 && "no locals should be present"); in setSpace()
256 std::vector<MaybeLocalRepr> repr(sI.getNumLocalVars()); in getSetDifference()
263 for (unsigned i = initBCounts.getSpace().getNumLocalVars(), in getSetDifference()
264 e = sI.getNumLocalVars(); in getSetDifference()
312 b.getNumLocalVars() - initBCounts.getSpace().getNumLocalVars(); in getSetDifference()
753 if (a.getNumLocalVars() != 0 || b.getNumLocalVars() != 0) in coalescePair()
H A DPresburgerSpace.cpp147 return isCompatible(other) && getNumLocalVars() == other.getNumLocalVars(); in isEqual()
185 << "Locals: " << getNumLocalVars() << "\n"; in print()
H A DIntegerRelation.cpp47 assert(oSpace.getNumLocalVars() == 0 && "no locals should be present!"); in setSpaceExceptLocals()
170 if (getNumLocalVars() == 0) in computeReprWithOnlyDivLocals()
178 std::vector<MaybeLocalRepr> reprs(getNumLocalVars()); in computeReprWithOnlyDivLocals()
224 space.removeVarRange(VarKind::Local, 0, getNumLocalVars()); in computeReprWithOnlyDivLocals()
251 getNumLocalVars()); in findSymbolicIntegerLexMin()
906 assert(point.size() == getNumVars() - getNumLocalVars() && in containsPointNoLocal()
922 DivisionRepr divs(getNumVars(), getNumLocalVars()); in getLocalReprs()
928 for (unsigned i = 0, e = getNumLocalVars(); i < e; ++i) { in getLocalReprs()
1141 assert(posA < getNumLocalVars() && "Invalid local var position"); in eliminateRedundantLocalVar()
1169 unsigned oldALocals = relA.getNumLocalVars(); in mergeLocalVars()
[all …]
H A DPWMAFunction.cpp123 other.domainSet.getNumLocalVars()); in mergeLocalVars()
125 domainSet.getNumLocalVars()); in mergeLocalVars()
290 assert(mafA.getDomain().getNumLocalVars() == 0 && in tiebreakLex()
H A DUtils.cpp274 unsigned initLocals = relA.getNumLocalVars(); in mergeLocalVars()
275 relA.insertVar(VarKind::Local, relA.getNumLocalVars(), in mergeLocalVars()
276 relB.getNumLocalVars()); in mergeLocalVars()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp171 /*num=*/localVarCst.getNumLocalVars()); in FlatAffineValueConstraints()
892 assert(getNumLocalVars() == localExprs.size() && in getLowerAndUpperBound()
1101 if (getNumLocalVars() == 0) { in getSliceBounds()
1158 if (localCst.getNumLocalVars() > 0) { in flattenAlignedMapAndMergeLocals()
1159 unsigned numLocalVars = getNumLocalVars(); in flattenAlignedMapAndMergeLocals()
1161 insertLocalVar(/*pos=*/0, /*num=*/localCst.getNumLocalVars()); in flattenAlignedMapAndMergeLocals()
1429 assert(getNumLocalVars() == 0 && "local vars not supported yet here"); in unionBoundingBox()
1462 for (unsigned i = 0, e = cst.getNumLocalVars(); i < e; ++i) in computeLocalVars()
1469 ArrayRef<AffineExpr>(memo).take_back(cst.getNumLocalVars()); in computeLocalVars()
1488 auto localExprs = ArrayRef<AffineExpr>(memo).take_back(getNumLocalVars()); in getIneqAsAffineValueMap()
[all …]
H A DUtils.cpp252 if (srcConstraints.getNumLocalVars() != 0) { in isSliceValid()
574 cst.projectOut(cst.getNumDimAndSymbolVars(), cst.getNumLocalVars()); in compute()
898 if (sliceUnionCst.getNumLocalVars() > 0 || in computeSliceUnion()
899 tmpSliceCst.getNumLocalVars() > 0 || in computeSliceUnion()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Utils/
H A DUtils.cpp1781 fac.projectOut(newRank, fac.getNumVars() - newRank - fac.getNumLocalVars()); in normalizeMemRefType()