[Mlir-commits] [mlir] [mlir][spirv] Verify matching of entry block arguments and function signature (PR #133167)

[Jakub Kuderski]

================
@@ -73,3 +73,24 @@ spirv.func @no_decoration_name_attr(%arg0 : !spirv.ptr<i32, PhysicalStorageBuffe
 spirv.func @no_decoration_name_attr(%arg0 : !spirv.ptr<i32, PhysicalStorageBuffer> { spirv.decoration = #spirv.decoration<Restrict>, random_attr = #spirv.decoration<Aliased> }) "None" {
   spirv.Return
 }
+
+// -----
+
+// expected-error @+2 {{'spirv.func' op entry block must have 1 arguments to match function signature}}
+module {
----------------
kuhar wrote:

+1

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