Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DSimplexTest.cpp109 TEST(SimplexTest, isUnbounded) { in TEST() argument
112 .isUnbounded()); in TEST()
116 .isUnbounded()); in TEST()
120 .isUnbounded()); in TEST()
122 EXPECT_TRUE(simplexFromConstraints(2, {}, {}).isUnbounded()); in TEST()
134 .isUnbounded()); in TEST()
145 .isUnbounded()); in TEST()
156 .isUnbounded()); in TEST()
164 .isUnbounded()); in TEST()
172 .isUnbounded()); in TEST()
[all …]
H A DIntegerPolyhedronTest.cpp85 if (maybeLexMin.isUnbounded()) { in checkSample()
86 EXPECT_TRUE(Simplex(poly).isUnbounded()); in checkSample()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DUtils.h52 bool isUnbounded() const { return kind == OptimumKind::Unbounded; } in isUnbounded() function
H A DSimplex.h774 bool isUnbounded();
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp312 if (sample.isUnbounded()) in findIntegerLexMin()
1358 (optimum.isUnbounded() || *optimum < Fraction(0, 1))) { in computeOptimum()
1424 if (minimum.isUnbounded() || *minimum < Fraction(0, 1)) { in detectRedundant()
1436 bool Simplex::isUnbounded() { in isUnbounded() function in Simplex
1444 if (computeOptimum(Direction::Up, dir).isUnbounded()) in isUnbounded()
1447 if (computeOptimum(Direction::Down, dir).isUnbounded()) in isUnbounded()
H A DIntegerRelation.cpp776 if (!simplex.isUnbounded()) in findIntegerSample()
1120 if (min.isUnbounded() || max.isUnbounded()) { in computeVolume()