Searched refs:poly3 (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerPolyhedronTest.cpp | 500 IntegerPolyhedron poly3 = in TEST() local
502 poly3.removeRedundantConstraints(); in TEST()
505 EXPECT_EQ(poly3.getNumInequalities(), 0u); in TEST()
506 EXPECT_EQ(poly3.getNumEqualities(), 2u); in TEST()
815 IntegerPolyhedron poly3(PresburgerSpace::getSetSpace(1, 0, 1)); in TEST() local
816 poly3.addInequality({1, -1, -1}); in TEST()
817 poly3.addInequality({0, 1, 1}); in TEST()
818 poly3.addEquality({2, 1, 0}); in TEST()
820 EXPECT_TRUE(poly3.isEmpty()); in TEST()
1453 EXPECT_TRUE(poly3.containsPointNoLocal({0, 0})); in TEST()
[all …]
|