[Mlir-commits] [mlir] Add options to generate-runtime-verification to enable faster pass running (PR #160331)

[Hanchenng Wu]

================
@@ -32,14 +32,16 @@ def RuntimeVerifiableOpInterface : OpInterface<"RuntimeVerifiableOpInterface"> {
       /*retTy=*/"void",
       /*methodName=*/"generateRuntimeVerification",
       /*args=*/(ins "::mlir::OpBuilder &":$builder,
-                    "::mlir::Location":$loc)
+                    "::mlir::Location":$loc,
+                    "unsigned":$verboseLevel)
----------------
HanchengWu wrote:

Hi Mehdi,

Thanks for your feedback. In the latest commit, I've updated the implementation so that each operation implementing RuntimeVerifiableOpInterface receives a function_ref callback through the generateRuntimeVerification method. The function_ref is default-initialized based on the verbosity options, but clients can override it with custom implementations as needed.

The changes maintain backward compatibility while providing the flexibility you suggested for different verification strategies.

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