[Mlir-commits] [mlir] [mlir][spirv] Update spirv validation for module.mlir (PR #158678)

[Igor Wodiany]

https://github.com/IgWod-IMG created https://github.com/llvm/llvm-project/pull/158678

This is to check that the new `spirv-val` behaviour works correctly. Subsequent PRs will add validation to other target tests. This requires the most recent SPIRV-Tools to work (for existing build directories that use bundled SPIR-V tools `SPIRVTools-update` cmake target should do the trick).

>From 689afb385bb5a7cfea2542f8b041f5ecd375975f Mon Sep 17 00:00:00 2001
From: Igor Wodiany <igor.wodiany at imgtec.com>
Date: Mon, 15 Sep 2025 17:12:46 +0100
Subject: [PATCH] [mlir][spirv] Update spirv validation for module.mlir

This is to check that the new spir-val behaviour works correctly.
Subsequent PRs will add validation to other target tests.
---
 mlir/test/Target/SPIRV/module.mlir | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mlir/test/Target/SPIRV/module.mlir b/mlir/test/Target/SPIRV/module.mlir
index d4000dfa53810..7e52e549b5266 100644
--- a/mlir/test/Target/SPIRV/module.mlir
+++ b/mlir/test/Target/SPIRV/module.mlir
@@ -4,7 +4,7 @@
 // RUN: %if spirv-tools %{ rm -rf %t %}
 // RUN: %if spirv-tools %{ mkdir %t %}
 // RUN: %if spirv-tools %{ mlir-translate --no-implicit-module --serialize-spirv --split-input-file --spirv-save-validation-files-with-prefix=%t/module %s %}
-// RUN: %if spirv-tools %{ ls %t/module*.spv | xargs -I{} spirv-val {} %}
+// RUN: %if spirv-tools %{ spirv-val %t %}
 
 // CHECK:      spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader], []> {
 // CHECK-NEXT:   spirv.func @foo() "Inline" {