[Mlir-commits] [mlir] [MLIR][Presburger] Add simplify function (PR #69107)

[Kunwar Grover]

================
@@ -91,6 +91,15 @@ class IntegerRelation {
     return IntegerRelation(space);
   }
 
+  /// Return an empty system containing an invalid equation 0=1.
+  static IntegerRelation getEmpty(const PresburgerSpace &space) {
+    IntegerRelation relult(0, 1, space.getNumVars() + 1, space);
----------------
Groverkss wrote:

nit: relult -> result

https://github.com/llvm/llvm-project/pull/69107