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

[Kunwar Grover]

================
@@ -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);
----------------
Groverkss wrote:

Can we restrict this change only to the Presburger library for now? We want to make other things use Identifiers as well, and are currently changing things to make them work.

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