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

[llvmlistbot at llvm.org]

================
@@ -1015,6 +1022,17 @@ bool PresburgerRelation::hasOnlyDivLocals() const {
   });
 }
 
+PresburgerRelation PresburgerRelation::simplify() const {
+  PresburgerRelation origin = *this;
----------------
gilsaia wrote:

The simplify function is currently a const member function, and now the simplify function of IntegerRelation is a non-const member function, in order to be able to call its simplify so there is a copy, here how to change will be more appropriate?

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