[Mlir-commits] [mlir] e897214 - [MLIR][Presburger] Remove redundant check from hasConsistentState

[llvmlistbot at llvm.org]

Author: Groverkss
Date: 2022-02-26T22:02:17+05:30
New Revision: e897214e97f20e954a7d65a6cc5873be366ad822

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

LOG: [MLIR][Presburger] Remove redundant check from hasConsistentState

This patch removes a redundant check in hasConsistentState which is always true
after introduction of PresburgerSpace.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D120615

Added: 
    

Modified: 
    mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp

Removed: 
    


################################################################################
diff  --git a/mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp b/mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
index dba7b04719f4d..ce24af0d467da 100644
--- a/mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
+++ b/mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
@@ -256,12 +256,6 @@ bool IntegerPolyhedron::hasConsistentState() const {
     return false;
   if (!equalities.hasConsistentState())
     return false;
-
-  // Catches errors where numDims, numSymbols, numIds aren't consistent.
-  if (getNumDimIds() > getNumIds() || getNumSymbolIds() > getNumIds() ||
-      getNumDimAndSymbolIds() > getNumIds())
-    return false;
-
   return true;
 }