[Mlir-commits] [mlir] [MLIR][SCF] Sink scf.if from scf.while before region into after region. (PR #165216)

[Ming Yan]

NexMing wrote:

> If there is "instability and uncertainty", that's a problem to add this in the first place. Otherwise I'd like to understand the path to get this into canonicalization? What does it mean for this to "become sufficiently stable"?

What I’m currently worried about is an extreme case where the number of operands to `scf.condition` could grow significantly, and likewise the number of result values of `scf.while` could increase substantially. This might make it look more complex, and I’m not sure whether this would violate the principles of canonicalization.


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