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

[Jakub Kuderski]

================
@@ -509,8 +510,10 @@ void ForOp::print(OpAsmPrinter &p) {
   p.printRegion(getRegion(),
                 /*printEntryBlockArgs=*/false,
                 /*printBlockTerminators=*/!getInitArgs().empty());
-  p.printOptionalAttrDict((*this)->getAttrs(),
-                          /*elidedAttrs=*/getUnsignedCmpAttrName().strref());
+  SmallVector<StringRef> elidedAttrs = {getUnsignedCmpAttrName().strref()};
+  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