[Mlir-commits] [llvm] [mlir] [mlir][tosa] Add profile-based operation validation (PR #126992)

[Luke Hutton]

================
@@ -99,7 +89,9 @@ def TosaValidation : Pass<"tosa-validate", "mlir::ModuleOp"> {
   let options = [
       ListOption<"profile", "profile", "std::string",
              "Validate if operations match for the given profile set">,
-      Option<"StrictOperationSpecAlignment", "strict-op-spec-alignment", "bool",
+      ListOption<"extension", "extension", "std::string",
----------------
lhutton1 wrote:

Yes they do e.g.
```
--tosa-validate=profile=pro_fp,pro_int extension=int16,bf16,fft,int4
```

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