[Mlir-commits] [mlir] [mlir][scf] Add simple LICM pattern for `scf.while` (PR #76370)

[Mehdi Amini]

joker-eph wrote:

> Side comment: Isn't this argument also applies to this entire concept of uplifting scf.while to scf.for as part of canonicalization?

I am not so sure: it won't move operation from other dialects, or make operations executed that wouldn't be executed otherwise (like LICM on a zero-trip loop). It is purely a transformation from an scf operation to an equivalent other scf operation.


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