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

[llvmlistbot at llvm.org]

MaheshRavishankar wrote:

> > This seems like a pretty heavy weight transformation to add to canonicalizations.
> 
> Which part? The transformation itself? As long as the matching phase has a "fail fast" path it seems fine to me actually. The most important thing is to do as little work as possible in the pattern when there is nothing to do.

An if-hoisting across a while does not fit in canonicalizations.

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