Searched refs:getNumDomainVars (Results 1 – 7 of 7) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | PresburgerSpaceTest.cpp | 21 EXPECT_EQ(space.getNumDomainVars(), 4u); in TEST()
43 EXPECT_EQ(space.getNumDomainVars(), 1u); in TEST()
48 EXPECT_EQ(space.getNumDomainVars(), 1u); in TEST()
64 EXPECT_EQ(space.getNumDomainVars(), 4u); in TEST()
95 EXPECT_EQ(space.getNumDomainVars(), 1u); in TEST()
100 EXPECT_EQ(space.getNumDomainVars(), 1u); in TEST()
|
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | PresburgerSpace.cpp | 18 return getNumDomainVars(); in getNumVarKind()
32 return getNumDomainVars(); in getVarKindOffset()
141 return getNumDomainVars() == other.getNumDomainVars() && in isCompatible()
182 os << "Domain: " << getNumDomainVars() << ", " in print()
|
| H A D | IntegerRelation.cpp | 243 /*numDims=*/getNumDomainVars(), in findSymbolicIntegerLexMin()
2190 rel.appendVar(VarKind::Domain, getNumDomainVars()); in intersectRange()
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | PresburgerRelation.h | 47 unsigned getNumDomainVars() const { return space.getNumDomainVars(); } in getNumDomainVars() function
183 assert(space.getNumDomainVars() == 0 && in PresburgerSet()
|
| H A D | IntegerRelation.h | 112 return PresburgerSpace::getRelationSpace(space.getNumDomainVars(), in getSpaceWithoutLocals()
149 unsigned getNumDomainVars() const { return space.getNumDomainVars(); } in getNumDomainVars() function
744 assert(space.getNumDomainVars() == 0 && in IntegerPolyhedron()
759 assert(space.getNumDomainVars() == 0 && in IntegerPolyhedron()
766 assert(space.getNumDomainVars() == 0 && in IntegerPolyhedron()
|
| H A D | PWMAFunction.h | 137 assert(space.getNumDomainVars() == 0 && in PWMAFunction()
|
| H A D | PresburgerSpace.h | 93 unsigned getNumDomainVars() const { return numDomain; } in getNumDomainVars() function
|