Home
last modified time | relevance | path

Searched refs:getNumRangeVars (Results 1 – 6 of 6) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSpaceTest.cpp25 EXPECT_EQ(space.getNumRangeVars(), 3u); in TEST()
35 EXPECT_EQ(space.getNumRangeVars(), 4u); in TEST()
49 EXPECT_EQ(space.getNumRangeVars(), 0u); in TEST()
68 EXPECT_EQ(space.getNumRangeVars(), 3u); in TEST()
101 EXPECT_EQ(space.getNumRangeVars(), 0u); in TEST()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp20 return getNumRangeVars(); in getNumVarKind()
142 getNumRangeVars() == other.getNumRangeVars() && in isCompatible()
183 << "Range: " << getNumRangeVars() << ", " in print()
H A DIntegerRelation.cpp2176 rel.appendVar(VarKind::Range, getNumRangeVars()); in intersectDomain()
2214 unsigned numBVars = getNumRangeVars(); in compose()
2217 appendVar(VarKind::Range, copyRel.getNumRangeVars()); in compose()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h48 unsigned getNumRangeVars() const { return space.getNumRangeVars(); } in getNumRangeVars() function
H A DIntegerRelation.h113 space.getNumRangeVars(), in getSpaceWithoutLocals()
150 unsigned getNumRangeVars() const { return space.getNumRangeVars(); } in getNumRangeVars() function
H A DPresburgerSpace.h94 unsigned getNumRangeVars() const { return numRange; } in getNumRangeVars() function