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

[llvmlistbot at llvm.org]

Author: Igor Wodiany
Date: 2025-09-16T10:10:59+01:00
New Revision: bc931a596b67a01763ccfffdcae688bb2f54e2d6

URL: https://github.com/llvm/llvm-project/commit/bc931a596b67a01763ccfffdcae688bb2f54e2d6
DIFF: https://github.com/llvm/llvm-project/commit/bc931a596b67a01763ccfffdcae688bb2f54e2d6.diff

LOG: [mlir][spirv] Update spirv validation for module.mlir (#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
using bundled SPIR-V tools, running `SPIRVTools-update` cmake target
should update them accordingly.

The minimum required SPIRV-Tools version is commit
`14d42009a9435c34ea55b26cc8d92240c428a052`, merged in
https://github.com/KhronosGroup/SPIRV-Tools/pull/6292

Added: 
    

Modified: 
    mlir/test/Target/SPIRV/module.mlir

Removed: 
    


################################################################################
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" {