205ff02098
Tighten the SPIR-V TOSA op definitions by introducing stricter named type constraints and aligning verifier coverage with the new type surface. Remove implication checks that are now enforced directly by operand/result type constraints. Drop the corresponding negative tests that no longer exercise those verifier paths. Signed-off-by: Davide Grohmann <davide.grohmann@arm.com> |
||
|---|---|---|
| .. | ||
| mlir-irdl-to-cpp | ||
| mlir-linalg-ods-gen | ||
| mlir-lsp-server | ||
| mlir-opt | ||
| mlir-parser-fuzzer | ||
| mlir-pdll | ||
| mlir-pdll-lsp-server | ||
| mlir-query | ||
| mlir-reduce | ||
| mlir-rewrite | ||
| mlir-runner | ||
| mlir-shlib | ||
| mlir-src-sharder | ||
| mlir-tblgen | ||
| mlir-translate | ||
| tblgen-lsp-server | ||
| tblgen-to-irdl | ||
| CMakeLists.txt | ||