[Mlir-commits] [mlir] 72005a1 - [MLIR][Presburger] coalesce: add assert noting that locals are not yet supported

[Arjun P]

Author: Arjun P
Date: 2022-02-26T12:31:02Z
New Revision: 72005a132568d735445c6c2bdccebf39759ae738

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

LOG: [MLIR][Presburger] coalesce: add assert noting that locals are not yet supported

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/mlir/lib/Analysis/Presburger/PresburgerSet.cpp b/mlir/lib/Analysis/Presburger/PresburgerSet.cpp
index 662f2b54dd985..88fea1307dcfb 100644
--- a/mlir/lib/Analysis/Presburger/PresburgerSet.cpp
+++ b/mlir/lib/Analysis/Presburger/PresburgerSet.cpp
@@ -444,6 +444,8 @@ LogicalResult coalescePair(unsigned i, unsigned j,
 
   IntegerPolyhedron &a = polyhedrons[i];
   IntegerPolyhedron &b = polyhedrons[j];
+  assert(a.getNumLocalIds() == 0 && b.getNumLocalIds() == 0 &&
+         "Locals are not yet supported!");
   Simplex &simpA = simplices[i];
   Simplex &simpB = simplices[j];