[Mlir-commits] [mlir] [MLIR][Presburger] Implement IntegerRelation::mergeAndAlignSymbols (PR #76736)
Kunwar Grover
llvmlistbot at llvm.org
Fri Jan 5 01:41:14 PST 2024
================
@@ -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
+/// exists in `other`, then align it; otherwise insert it assuming it is a new
+/// identifier. Then add identifiers that are in `other`, but not in `this` to
+/// `this`.
----------------
Groverkss wrote:
This is a little confusing... Can we write it steps?
https://github.com/llvm/llvm-project/pull/76736
More information about the Mlir-commits
mailing list