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

[Ming Yan]

================

----------------
NexMing wrote:

Sometimes, when we need to additionally pass values from the before region (those used inside the `scf.if`) to the `do` region, we must add new operands to `scf.condition`, which will also increase the number of results of `scf.while`. I found that I cannot modify an existing `scf.while` in place to add new results (or I may just not have found the way), so I can only create a new `scf.while` and ignore the extra results.

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