Home
last modified time | relevance | path

Searched defs:IntegerPolyhedronTest (Results 1 – 1 of 1) sorted by relevance

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DIntegerPolyhedronTest.cpp132 TEST(IntegerPolyhedronTest, removeInequality) { in TEST() argument
151 TEST(IntegerPolyhedronTest, removeEquality) { in TEST() argument
170 TEST(IntegerPolyhedronTest, clearConstraints) { in TEST() argument
184 TEST(IntegerPolyhedronTest, removeIdRange) { in TEST() argument
202 TEST(IntegerPolyhedronTest, FindSampleTest) { in TEST() argument
443 TEST(IntegerPolyhedronTest, IsIntegerEmptyTest) { in TEST() argument
500 TEST(IntegerPolyhedronTest, removeRedundantConstraintsTest) { in TEST() argument
597 TEST(IntegerPolyhedronTest, addConstantUpperBound) { in TEST() argument
610 TEST(IntegerPolyhedronTest, addConstantLowerBound) { in TEST() argument
651 TEST(IntegerPolyhedronTest, computeLocalReprSimple) { in TEST() argument
[all …]