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

[Matthias Springer]

================
@@ -265,7 +265,8 @@ def ForOp : SCF_Op<"for",
                        AnySignlessIntegerOrIndex:$upperBound,
                        AnySignlessIntegerOrIndex:$step,
                        Variadic<AnyType>:$initArgs,
-                       UnitAttr:$unsignedCmp);
+                       UnitAttr:$unsignedCmp,
+                       DefaultValuedAttr<BoolAttr, "true">:$mustProgress);
----------------
matthias-springer wrote:

I think we normally use underscores, but the other names are in camel case here...

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