[Mlir-commits] [mlir] [MLIR][Presburger] Implement PresburgerSpace::mergeAndAlignVarKind (PR #76397)

[Kunwar Grover]

================
@@ -293,6 +294,39 @@ void PresburgerSpace::setVarSymbolSeperation(unsigned newSymbolCount) {
   // `identifiers` remains same.
 }
 
+void PresburgerSpace::mergeAndAlignVarKind(VarKind kind,
----------------
Groverkss wrote:

Let's do mergeSymbols only then. I don't think we should have merging for any other variable kind.

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