[Mlir-commits] [mlir] [mlir][scf] Align `scf.while` `before` block args in canonicalizer (PR #76195)

[Matthias Springer]

================
@@ -3872,14 +3872,89 @@ struct WhileRemoveDuplicatedResults : public OpRewritePattern<WhileOp> {
     return success();
   }
 };
+
+/// If both ranges contain same values return mappping indices from args1 to
----------------
matthias-springer wrote:

Isn't this actually a mapping from `args2` to `args1`?

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