[Mlir-commits] [mlir] [mlir][tosa] Finalize profile-based validation for TOSA v1.0 (PR #131208)

[TatWai Chong]

================
@@ -406,9 +431,9 @@ extensionComplianceMap = {
       {{Extension::fp8e4m3}, {{fp8e4m3T, fp8e4m3T}}},
       {{Extension::fp8e5m2}, {{fp8e5m2T, fp8e5m2T}}},
       {{Extension::bf16}, {{bf16T, bf16T}}}}},
-    {"tosa.dim",
-     {{{Extension::fp8e4m3}, {{fp8e4m3T}}},
-      {{Extension::fp8e5m2}, {{fp8e5m2T}}},
-      {{Extension::bf16}, {{bf16T}}}}},
+    {"tosa.variable_write",
----------------
tatwaichong wrote:

The supported extension of tosa.cond_if and tosa.while_loop is listed in the availability section. These ops support all types (based on `Supported Data Types` section of the spec) , so no needed to be listed here.

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