Home
last modified time | relevance | path

Searched refs:maybeSample (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DIntegerPolyhedronTest.cpp61 Optional<SmallVector<int64_t, 8>> maybeSample; in checkSample() local
65 maybeSample = poly.findIntegerSample(); in checkSample()
69 EXPECT_FALSE(maybeSample.has_value()); in checkSample()
70 if (maybeSample.has_value()) { in checkSample()
72 dump(*maybeSample); in checkSample()
81 ASSERT_TRUE(maybeSample.has_value()); in checkSample()
82 EXPECT_TRUE(poly.containsPoint(*maybeSample)); in checkSample()
H A DSimplexTest.cpp201 auto maybeSample = simplexFromConstraints(2, in TEST() local
211 EXPECT_TRUE(maybeSample.has_value()); in TEST()
212 EXPECT_THAT(*maybeSample, testing::ElementsAre(0, 2)); in TEST()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp1979 if (auto maybeSample = getSamplePointIfIntegral()) in findIntegerSample() local
1980 return maybeSample; in findIntegerSample()
2016 if (auto maybeSample = getSamplePointIfIntegral()) in findIntegerSample() local
2017 return *maybeSample; in findIntegerSample()