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

[Markus Böck]

https://github.com/zero9178 approved this pull request.

LGTM!

I am personally a bit more in favour of `mustProgress` defaulting to false (not necessarily in the interface, but for `scf` ops and ops that do not implement the interface) for the simple reason of it being the safe default. Just like we don't say ops are `Pure` by default (even if the majority of them are), saying that an op by default may not progress is always safe

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