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

[Jakub Kuderski]

================
@@ -24,4 +25,15 @@
 
 #include "mlir/Dialect/UB/IR/UBOpsDialect.h.inc"
 
+namespace mlir {
+namespace ub {
+/// Populate a canonicalization pattern that erases "must progress" region
+/// branch ops that loop infinitely and replaces their results with poisoned
----------------
kuhar wrote:

```suggestion
/// branch ops that loop infinitely and replaces their results with poison
```

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