[Mlir-commits] [mlir] Implement `insertVar` having `Identifier` parameter (PR #76993)

[Zain Jaffal]

================
@@ -870,8 +871,8 @@ unsigned FlatLinearValueConstraints::insertSymbolVar(unsigned pos,
 }
 
 unsigned FlatLinearValueConstraints::insertVar(VarKind kind, unsigned pos,
-                                               unsigned num) {
-  unsigned absolutePos = IntegerPolyhedron::insertVar(kind, pos, num);
+                                               unsigned num, Identifier id) {
+  unsigned absolutePos = IntegerPolyhedron::insertVar(kind, pos, num, id);
----------------
zjaffal wrote:

> Can we restrict this change only to the Presburger library for now?

So I will need to remove modifications for `insertVar`  in `IntegerPolyhedron`, `FlatLinearValueConstraints` and `PresburgerRelation`.

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