[Mlir-commits] [mlir] [MLIR][Presburger] Implement IntegerRelation::mergeAndAlignSymbols (PR #76736)

[Bharathi Ramana Joshi]

================
@@ -1288,6 +1288,38 @@ void IntegerRelation::eliminateRedundantLocalVar(unsigned posA, unsigned posB) {
   removeVar(posB);
 }
 
+/// First merge and align identifiers into `other` from `this`. If an identifier
----------------
iambrj wrote:

Ah, I had written "first" as the implementation can be broken down into two parts, and "first" is the first parts:
1. Merge and align identifiers into `other` from `this`
2. Add identifiers that are in `other`, but not `this` to `this`

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