Home
last modified time | relevance | path

Searched refs:valueAt (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPWMAFunctionTest.cpp131 TEST(PWMAFunction, valueAt) { in TEST() argument
138 EXPECT_THAT(*nonNegPWMAF.valueAt({2, 3}), ElementsAre(11, 23)); in TEST()
139 EXPECT_THAT(*nonNegPWMAF.valueAt({-2, 3}), ElementsAre(11, 23)); in TEST()
140 EXPECT_THAT(*nonNegPWMAF.valueAt({2, -3}), ElementsAre(-1, -1)); in TEST()
141 EXPECT_FALSE(nonNegPWMAF.valueAt({-2, -3}).has_value()); in TEST()
150 EXPECT_THAT(*divPWMAF.valueAt({4, 3}), ElementsAre(11, 23)); in TEST()
151 EXPECT_THAT(*divPWMAF.valueAt({4, -3}), ElementsAre(-1, -1)); in TEST()
152 EXPECT_FALSE(divPWMAF.valueAt({3, 3}).has_value()); in TEST()
153 EXPECT_FALSE(divPWMAF.valueAt({3, -3}).has_value()); in TEST()
155 EXPECT_THAT(*divPWMAF.valueAt({-2, 3}), ElementsAre(11, 23)); in TEST()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPWMAFunction.h94 Optional<SmallVector<int64_t, 8>> valueAt(ArrayRef<int64_t> point) const;
162 Optional<SmallVector<int64_t, 8>> valueAt(ArrayRef<int64_t> point) const;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPWMAFunction.cpp37 MultiAffineFunction::valueAt(ArrayRef<int64_t> point) const { in valueAt() function in MultiAffineFunction
66 PWMAFunction::valueAt(ArrayRef<int64_t> point) const { in valueAt() function in PWMAFunction
70 if (Optional<SmallVector<int64_t, 8>> output = piece.valueAt(point)) in valueAt()
H A DIntegerRelation.cpp872 static int64_t valueAt(ArrayRef<int64_t> expr, ArrayRef<int64_t> point) { in valueAt() function
886 if (valueAt(getEquality(i), point) != 0) in containsPoint()
890 if (valueAt(getInequality(i), point) < 0) in containsPoint()