aboutsummaryrefslogtreecommitdiff
path: root/mlir/unittests/Analysis/Presburger/SimplexTest.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'mlir/unittests/Analysis/Presburger/SimplexTest.cpp')
-rw-r--r--mlir/unittests/Analysis/Presburger/SimplexTest.cpp28
1 files changed, 16 insertions, 12 deletions
diff --git a/mlir/unittests/Analysis/Presburger/SimplexTest.cpp b/mlir/unittests/Analysis/Presburger/SimplexTest.cpp
index 63d0243..0955efd 100644
--- a/mlir/unittests/Analysis/Presburger/SimplexTest.cpp
+++ b/mlir/unittests/Analysis/Presburger/SimplexTest.cpp
@@ -20,26 +20,29 @@ using namespace mlir;
using namespace presburger;
/// Convenience functions to pass literals to Simplex.
-void addInequality(SimplexBase &simplex, ArrayRef<int64_t> coeffs) {
+static void addInequality(SimplexBase &simplex, ArrayRef<int64_t> coeffs) {
simplex.addInequality(getDynamicAPIntVec(coeffs));
}
-void addEquality(SimplexBase &simplex, ArrayRef<int64_t> coeffs) {
+static void addEquality(SimplexBase &simplex, ArrayRef<int64_t> coeffs) {
simplex.addEquality(getDynamicAPIntVec(coeffs));
}
-bool isRedundantInequality(Simplex &simplex, ArrayRef<int64_t> coeffs) {
+static bool isRedundantInequality(Simplex &simplex, ArrayRef<int64_t> coeffs) {
return simplex.isRedundantInequality(getDynamicAPIntVec(coeffs));
}
-bool isRedundantInequality(LexSimplex &simplex, ArrayRef<int64_t> coeffs) {
+static bool isRedundantInequality(LexSimplex &simplex,
+ ArrayRef<int64_t> coeffs) {
return simplex.isRedundantInequality(getDynamicAPIntVec(coeffs));
}
-bool isRedundantEquality(Simplex &simplex, ArrayRef<int64_t> coeffs) {
+static bool isRedundantEquality(Simplex &simplex, ArrayRef<int64_t> coeffs) {
return simplex.isRedundantEquality(getDynamicAPIntVec(coeffs));
}
-bool isSeparateInequality(LexSimplex &simplex, ArrayRef<int64_t> coeffs) {
+static bool isSeparateInequality(LexSimplex &simplex,
+ ArrayRef<int64_t> coeffs) {
return simplex.isSeparateInequality(getDynamicAPIntVec(coeffs));
}
-Simplex::IneqType findIneqType(Simplex &simplex, ArrayRef<int64_t> coeffs) {
+static Simplex::IneqType findIneqType(Simplex &simplex,
+ ArrayRef<int64_t> coeffs) {
return simplex.findIneqType(getDynamicAPIntVec(coeffs));
}
@@ -81,8 +84,9 @@ TEST(SimplexTest, addEquality_separate) {
EXPECT_TRUE(simplex.isEmpty());
}
-void expectInequalityMakesSetEmpty(Simplex &simplex, ArrayRef<int64_t> coeffs,
- bool expect) {
+static void expectInequalityMakesSetEmpty(Simplex &simplex,
+ ArrayRef<int64_t> coeffs,
+ bool expect) {
ASSERT_FALSE(simplex.isEmpty());
unsigned snapshot = simplex.getSnapshot();
addInequality(simplex, coeffs);
@@ -121,9 +125,9 @@ TEST(SimplexTest, addInequality_rollback) {
}
}
-Simplex simplexFromConstraints(unsigned nDim,
- ArrayRef<SmallVector<int64_t, 8>> ineqs,
- ArrayRef<SmallVector<int64_t, 8>> eqs) {
+static Simplex simplexFromConstraints(unsigned nDim,
+ ArrayRef<SmallVector<int64_t, 8>> ineqs,
+ ArrayRef<SmallVector<int64_t, 8>> eqs) {
Simplex simplex(nDim);
for (const auto &ineq : ineqs)
addInequality(simplex, ineq);