@@ -20,26 +20,29 @@ using namespace mlir;
2020using namespace presburger ;
2121
2222// / Convenience functions to pass literals to Simplex.
23- void addInequality (SimplexBase &simplex, ArrayRef<int64_t > coeffs) {
23+ static void addInequality (SimplexBase &simplex, ArrayRef<int64_t > coeffs) {
2424 simplex.addInequality (getDynamicAPIntVec (coeffs));
2525}
26- void addEquality (SimplexBase &simplex, ArrayRef<int64_t > coeffs) {
26+ static void addEquality (SimplexBase &simplex, ArrayRef<int64_t > coeffs) {
2727 simplex.addEquality (getDynamicAPIntVec (coeffs));
2828}
29- bool isRedundantInequality (Simplex &simplex, ArrayRef<int64_t > coeffs) {
29+ static bool isRedundantInequality (Simplex &simplex, ArrayRef<int64_t > coeffs) {
3030 return simplex.isRedundantInequality (getDynamicAPIntVec (coeffs));
3131}
32- bool isRedundantInequality (LexSimplex &simplex, ArrayRef<int64_t > coeffs) {
32+ static bool isRedundantInequality (LexSimplex &simplex,
33+ ArrayRef<int64_t > coeffs) {
3334 return simplex.isRedundantInequality (getDynamicAPIntVec (coeffs));
3435}
35- bool isRedundantEquality (Simplex &simplex, ArrayRef<int64_t > coeffs) {
36+ static bool isRedundantEquality (Simplex &simplex, ArrayRef<int64_t > coeffs) {
3637 return simplex.isRedundantEquality (getDynamicAPIntVec (coeffs));
3738}
38- bool isSeparateInequality (LexSimplex &simplex, ArrayRef<int64_t > coeffs) {
39+ static bool isSeparateInequality (LexSimplex &simplex,
40+ ArrayRef<int64_t > coeffs) {
3941 return simplex.isSeparateInequality (getDynamicAPIntVec (coeffs));
4042}
4143
42- Simplex::IneqType findIneqType (Simplex &simplex, ArrayRef<int64_t > coeffs) {
44+ static Simplex::IneqType findIneqType (Simplex &simplex,
45+ ArrayRef<int64_t > coeffs) {
4346 return simplex.findIneqType (getDynamicAPIntVec (coeffs));
4447}
4548
@@ -81,8 +84,9 @@ TEST(SimplexTest, addEquality_separate) {
8184 EXPECT_TRUE (simplex.isEmpty ());
8285}
8386
84- void expectInequalityMakesSetEmpty (Simplex &simplex, ArrayRef<int64_t > coeffs,
85- bool expect) {
87+ static void expectInequalityMakesSetEmpty (Simplex &simplex,
88+ ArrayRef<int64_t > coeffs,
89+ bool expect) {
8690 ASSERT_FALSE (simplex.isEmpty ());
8791 unsigned snapshot = simplex.getSnapshot ();
8892 addInequality (simplex, coeffs);
@@ -121,9 +125,9 @@ TEST(SimplexTest, addInequality_rollback) {
121125 }
122126}
123127
124- Simplex simplexFromConstraints (unsigned nDim,
125- ArrayRef<SmallVector<int64_t , 8 >> ineqs,
126- ArrayRef<SmallVector<int64_t , 8 >> eqs) {
128+ static Simplex simplexFromConstraints (unsigned nDim,
129+ ArrayRef<SmallVector<int64_t , 8 >> ineqs,
130+ ArrayRef<SmallVector<int64_t , 8 >> eqs) {
127131 Simplex simplex (nDim);
128132 for (const auto &ineq : ineqs)
129133 addInequality (simplex, ineq);
0 commit comments