[Mlir-commits] [mlir] [mlir][Interfaces] Add `ExecutionProgressOpInterface` + folding pattern (PR #179039)

[Mehdi Amini]

joker-eph wrote:

>  For example, what if we have a nested loop where the inner one is marked as mustProgress=false? I'm not sure it's reasonable for the emitted of the outer loop to be responsible for deciding this -- seems like a footgun. 

It's not clear to me why we can't align this on the memory effects: we have the recursive-memory-effects traits which just delegate this to the body.

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