[Mlir-commits] [mlir] 29d1651 - [MLIR][Presburger] maybeLocalRepr: rename inEqualityPair -> inequalityPair

[Arjun P]

Author: Arjun P
Date: 2022-02-02T18:59:50+05:30
New Revision: 29d1651d7ba5a27c3ecdc7d238252285e03de176

URL: https://github.com/llvm/llvm-project/commit/29d1651d7ba5a27c3ecdc7d238252285e03de176
DIFF: https://github.com/llvm/llvm-project/commit/29d1651d7ba5a27c3ecdc7d238252285e03de176.diff

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

Added: 
    

Modified: 
    mlir/include/mlir/Analysis/Presburger/Utils.h
    mlir/lib/Analysis/Presburger/PresburgerSet.cpp
    mlir/lib/Analysis/Presburger/Utils.cpp

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Analysis/Presburger/Utils.h b/mlir/include/mlir/Analysis/Presburger/Utils.h
index 2f976842ae05..8e57ac151d25 100644
--- a/mlir/include/mlir/Analysis/Presburger/Utils.h
+++ b/mlir/include/mlir/Analysis/Presburger/Utils.h
@@ -35,7 +35,7 @@ struct MaybeLocalRepr {
     unsigned equalityIdx;
     struct {
       unsigned lowerBoundIdx, upperBoundIdx;
-    } inEqualityPair;
+    } inequalityPair;
   } repr;
 };
 

diff  --git a/mlir/lib/Analysis/Presburger/PresburgerSet.cpp b/mlir/lib/Analysis/Presburger/PresburgerSet.cpp
index 02bc7a30192b..3a7be6efa5bb 100644
--- a/mlir/lib/Analysis/Presburger/PresburgerSet.cpp
+++ b/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));

diff  --git a/mlir/lib/Analysis/Presburger/Utils.cpp b/mlir/lib/Analysis/Presburger/Utils.cpp
index bb7288185257..63ba4ecfdbf3 100644
--- a/mlir/lib/Analysis/Presburger/Utils.cpp
+++ b/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;
     }
   }