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

[Jakub Kuderski]

https://github.com/kuhar commented:

This got merged a little bit sooner than I expected. I'm not sure it's safe to mark loops as `mustprogress` by default without looking at their body first which may contain operations that may not progress. For example, what if we have a nested loop where the inner one is marked as `mustProgress=false`?

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