[Mlir-commits] [mlir] [mlir][SCF] Add `RecursiveMemoryEffects` to `scf.reduce` (PR #75314)

[Ivan Butygin]

Hardcode84 wrote:

It's checked in `wouldOpBeTriviallyDead`, which have special cases for terminators and `SymbolOpInterface` but otherwise just checks memory interfaces. We probably should add something like `DoNotErase` trait and check it in `wouldOpBeTriviallyDead` as well.

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