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

[Ming Yan]

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

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

The reason is to avoid creating a new `scf.while`, which would inflate its result values, and to avoid additional def-use chain analysis that would increase compile-time overhead. Therefore, I made it more specific, and this also satisfies my need (lifting `cf` to `scf.while`).

I know this may be overly specific, but a more general implementation would become complex and harder to review. We can treat this as an initial version and improve it gradually later, right?

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