[MLIR][Presburger] maybeLocalRepr: rename inEqualityPair -> inequalityPair

Author: Superty

mlir/include/mlir/Analysis/Presburger/Utils.h

@@ -35,7 +35,7 @@ struct MaybeLocalRepr {
     unsigned equalityIdx;
     struct {
       unsigned lowerBoundIdx, upperBoundIdx;
-    } inEqualityPair;
+    } inequalityPair;
   } repr;
 };
 

mlir/lib/Analysis/Presburger/PresburgerSet.cpp

@@ -227,8 +227,8 @@ static void subtractRecursively(IntegerPolyhedron &b, Simplex &simplex,
     assert(maybeInequality.kind == ReprKind::Inequality &&
            "Subtraction is not supported when a representation of the local "
            "variables of the subtrahend cannot be found!");
-    auto lb = maybeInequality.repr.inEqualityPair.lowerBoundIdx;
-    auto ub = maybeInequality.repr.inEqualityPair.upperBoundIdx;
+    auto lb = maybeInequality.repr.inequalityPair.lowerBoundIdx;
+    auto ub = maybeInequality.repr.inequalityPair.upperBoundIdx;
 
     b.addInequality(sI.getInequality(lb));
     b.addInequality(sI.getInequality(ub));

mlir/lib/Analysis/Presburger/Utils.cpp

@@ -234,7 +234,7 @@ MaybeLocalRepr presburger_utils::computeSingleVarRepr(
         continue;
 
       repr.kind = ReprKind::Inequality;
-      repr.repr.inEqualityPair = {ubPos, lbPos};
+      repr.repr.inequalityPair = {ubPos, lbPos};
       return repr;
     }
   }