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

[Jakub Kuderski]

================
@@ -3332,7 +3369,10 @@ void scf::WhileOp::print(OpAsmPrinter &p) {
   p.printRegion(getBefore(), /*printEntryBlockArgs=*/false);
   p << " do ";
   p.printRegion(getAfter());
-  p.printOptionalAttrDictWithKeyword((*this)->getAttrs());
+  SmallVector<StringRef> elidedAttrs;
+  if (getMustProgress()) // true is default, elide it
----------------
kuhar wrote:

```suggestion
  if (getMustProgress()) // true is the default, elide it.
```

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