[mlir] fix copypaste typos in asserts

[klensy]

This fixes few copypaste typos

I've also spotted weird getNumRows() == getNumRows(): looks like leftover after refactoring

llvm-project/mlir/lib/Analysis/Presburger/Simplex.cpp

Lines 107 to 111 in ea8e328

	unsigned SimplexBase::addZeroRow(bool makeRestricted) {
	// Resize the tableau to accommodate the extra row.
	unsigned newRow = tableau.appendExtraRow();
	assert(getNumRows() == getNumRows() && "Inconsistent tableau size");
	rowUnknown.emplace_back(~con.size());

[llvmbot]

@llvm/pr-subscribers-mlir

Author: klensy (klensy)

Changes

This fixes few copypaste typos

I've also spotted weird getNumRows() == getNumRows(): looks like leftover after refactoring

llvm-project/mlir/lib/Analysis/Presburger/Simplex.cpp

Lines 107 to 111 in ea8e328

	unsigned SimplexBase::addZeroRow(bool makeRestricted) {
	// Resize the tableau to accommodate the extra row.
	unsigned newRow = tableau.appendExtraRow();
	assert(getNumRows() == getNumRows() && "Inconsistent tableau size");
	rowUnknown.emplace_back(~con.size());

---

Full diff: https://github.com/llvm/llvm-project/pull/119878.diff

1 Files Affected:

• (modified) mlir/lib/Interfaces/ValueBoundsOpInterface.cpp (+6-6)

diff --git a/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp b/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
index 505e84e3ca0cf3..87f883c2e64850 100644
--- a/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
+++ b/mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
@@ -777,11 +777,11 @@ FailureOr<bool>
 ValueBoundsConstraintSet::areOverlappingSlices(MLIRContext *ctx,
                                                HyperrectangularSlice slice1,
                                                HyperrectangularSlice slice2) {
-  assert(slice1.getMixedOffsets().size() == slice1.getMixedOffsets().size() &&
+  assert(slice1.getMixedOffsets().size() == slice2.getMixedOffsets().size() &&
          "expected slices of same rank");
-  assert(slice1.getMixedSizes().size() == slice1.getMixedSizes().size() &&
+  assert(slice1.getMixedSizes().size() == slice2.getMixedSizes().size() &&
          "expected slices of same rank");
-  assert(slice1.getMixedStrides().size() == slice1.getMixedStrides().size() &&
+  assert(slice1.getMixedStrides().size() == slice2.getMixedStrides().size() &&
          "expected slices of same rank");
 
   Builder b(ctx);
@@ -842,11 +842,11 @@ FailureOr<bool>
 ValueBoundsConstraintSet::areEquivalentSlices(MLIRContext *ctx,
                                               HyperrectangularSlice slice1,
                                               HyperrectangularSlice slice2) {
-  assert(slice1.getMixedOffsets().size() == slice1.getMixedOffsets().size() &&
+  assert(slice1.getMixedOffsets().size() == slice2.getMixedOffsets().size() &&
          "expected slices of same rank");
-  assert(slice1.getMixedSizes().size() == slice1.getMixedSizes().size() &&
+  assert(slice1.getMixedSizes().size() == slice2.getMixedSizes().size() &&
          "expected slices of same rank");
-  assert(slice1.getMixedStrides().size() == slice1.getMixedStrides().size() &&
+  assert(slice1.getMixedStrides().size() == slice2.getMixedStrides().size() &&
          "expected slices of same rank");
 
   // The two slices are equivalent if all of their offsets, sizes and strides