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

[Jakub Kuderski]

kuhar wrote:

> I believe this is at least well-defined. It doesn't matter what's inside of the loop. If the loop is "mustProgress", but something inside of the loop violates that property, we have UB and the loop can be replaced with `ub.poison`.

I understand it's well defined, I'm more concerned about the mechanics of how these attributes are set and `mustProgress` being the default.

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