Home
last modified time | relevance | path

Searched refs:containsPoint (Results 1 – 7 of 7) sorted by relevance

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DPresburgerSetTest.cpp35 bool inS = s.containsPoint(point); in testUnionAtPoints()
36 bool inT = t.containsPoint(point); in testUnionAtPoints()
37 bool inUnion = unionSet.containsPoint(point); in testUnionAtPoints()
49 bool inS = s.containsPoint(point); in testIntersectAtPoints()
50 bool inT = t.containsPoint(point); in testIntersectAtPoints()
51 bool inIntersection = intersection.containsPoint(point); in testIntersectAtPoints()
62 bool inS = s.containsPoint(point); in testSubtractAtPoints()
63 bool inT = t.containsPoint(point); in testSubtractAtPoints()
64 bool inDiff = diff.containsPoint(point); in testSubtractAtPoints()
79 bool inS = s.containsPoint(point); in testComplementAtPoints()
[all …]
H A DIntegerPolyhedronTest.cpp84 EXPECT_TRUE(poly.containsPoint(*maybeSample)); in checkSample()
/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h145 bool containsPoint(ArrayRef<DynamicAPInt> point) const;
146 bool containsPoint(ArrayRef<int64_t> point) const { in containsPoint() function
147 return containsPoint(getDynamicAPIntVec(point)); in containsPoint()
H A DIntegerRelation.h425 bool containsPoint(ArrayRef<DynamicAPInt> point) const;
426 bool containsPoint(ArrayRef<int64_t> point) const { in containsPoint() function
427 return containsPoint(getDynamicAPIntVec(point)); in containsPoint()
/llvm-project/mlir/lib/Analysis/Presburger/
H A DPWMAFunction.cpp472 if (piece.domain.containsPoint(point)) in valueAt()
H A DPresburgerRelation.cpp123 bool PresburgerRelation::containsPoint(ArrayRef<DynamicAPInt> point) const { in containsPoint() function in PresburgerRelation
H A DIntegerRelation.cpp914 assert(boundedSet.containsPoint(*boundedSample) && in findIntegerSample()
991 bool IntegerRelation::containsPoint(ArrayRef<DynamicAPInt> point) const { in containsPoint()
988 bool IntegerRelation::containsPoint(ArrayRef<DynamicAPInt> point) const { containsPoint() function in IntegerRelation