[Mlir-commits] [mlir] 7490305 - [MLIR] Add IntegerPolyhedron::getUniverse

[llvmlistbot at llvm.org]

Author: Groverkss
Date: 2022-01-08T02:59:56+05:30
New Revision: 74903059b267a9b0e70620c579150462aea615b1

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

LOG: [MLIR] Add IntegerPolyhedron::getUniverse

This operation already exists in FlatAffineConstraints but is added to
IntegerPolyhedron to keep consistancy in available methods.

Added: 
    

Modified: 
    mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h b/mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h
index 21e31cee1abe1..93fc184ed383d 100644
--- a/mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h
+++ b/mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h
@@ -83,6 +83,13 @@ class IntegerPolyhedron {
                               1,
                           numDims, numSymbols, numLocals) {}
 
+  /// Return a system with no constraints, i.e., one which is satisfied by all
+  /// points.
+  static IntegerPolyhedron getUniverse(unsigned numDims = 0,
+                                       unsigned numSymbols = 0) {
+    return IntegerPolyhedron(numDims, numSymbols);
+  }
+
   virtual ~IntegerPolyhedron() = default;
 
   /// Return the kind of this IntegerPolyhedron.