================ @@ -0,0 +1,10 @@ +// RUN: mlir-opt --no-implicit-module --convert-func-to-spirv -verify-diagnostics %s ---------------- matthias-springer wrote: This test should probably somewhere in `Test/Dialect/SPIRV`. https://github.com/llvm/llvm-project/pull/185068