[Mlir-commits] [mlir] [MLIR] [SPIR-V] Verify element type in SPIR-V's vector-type verifier (PR #177787)

Jakub Kuderski llvmlistbot at llvm.org
Sun Jan 25 09:24:56 PST 2026


================
@@ -186,6 +186,13 @@ static Type parseAndVerifyType(SPIRVDialect const &dialect,
       parser.emitError(typeLoc, "only 1-D vector allowed but found ") << t;
       return Type();
     }
+    if (!isa<ScalarType>(t.getElementType())) {
+      parser.emitError(typeLoc,
+                       "vector element type has to be SPIR-V compatible "
+                       "integer, float or boolean but found ")
----------------
kuhar wrote:

```suggestion
                       "vector element type has to be SPIR-V scalar, but found ")
```

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


More information about the Mlir-commits mailing list