summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorCorentin Wallez <cwallez@google.com>2018-06-20 13:29:38 -0400
committerDavid Neto <dneto@google.com>2018-06-21 15:53:15 -0400
commitba602c90593f570019e4eac3a32ed5dbf1f02b59 (patch)
tree4d7b1d495b9287cfc1e71fea396249577e1b1ad7 /tools
parente7ace1b28021750f7ee01f8641a978caad3a9406 (diff)
Add a WIP WebGPU environment. It disallows OpUndef
Add SPV_ENV_WEBGPU_0 for work-in-progress WebGPU. val: Disallow OpUndef in WebGPU env Silence unused variable warnings when !defined(SPIRV_EFFCE) Limit visibility of validate_instruction.cpp's symbols Only InstructionPass needs to be visible so all other functions are put in an anonymous namespace inside the libspirv namespace.
Diffstat (limited to 'tools')
-rw-r--r--tools/val/val.cpp9
1 files changed, 5 insertions, 4 deletions
diff --git a/tools/val/val.cpp b/tools/val/val.cpp
index ca16f2dd..68f6fad3 100644
--- a/tools/val/val.cpp
+++ b/tools/val/val.cpp
@@ -50,9 +50,9 @@ Options:
different type with compatible layout and
members.
--version Display validator version information.
- --target-env {vulkan1.0|vulkan1.1|opencl2.2|spv1.0|spv1.1|spv1.2|spv1.3}
+ --target-env {vulkan1.0|vulkan1.1|opencl2.2|spv1.0|spv1.1|spv1.2|spv1.3|webgpu0}
Use Vulkan 1.0, Vulkan 1.1, OpenCL 2.2, SPIR-V 1.0,
- SPIR-V 1.1, SPIR-V 1.2 or SPIR-V 1.3 validation rules.
+ SPIR-V 1.1, SPIR-V 1.2, SPIR-V 1.3 or WIP WebGPU validation rules.
)",
argv0, argv0);
}
@@ -91,14 +91,15 @@ int main(int argc, char** argv) {
}
} else if (0 == strcmp(cur_arg, "--version")) {
printf("%s\n", spvSoftwareVersionDetailsString());
- printf("Targets:\n %s\n %s\n %s\n %s\n %s\n %s\n %s\n",
+ printf("Targets:\n %s\n %s\n %s\n %s\n %s\n %s\n %s\n %s\n",
spvTargetEnvDescription(SPV_ENV_UNIVERSAL_1_0),
spvTargetEnvDescription(SPV_ENV_UNIVERSAL_1_1),
spvTargetEnvDescription(SPV_ENV_UNIVERSAL_1_2),
spvTargetEnvDescription(SPV_ENV_UNIVERSAL_1_3),
spvTargetEnvDescription(SPV_ENV_OPENCL_2_2),
spvTargetEnvDescription(SPV_ENV_VULKAN_1_0),
- spvTargetEnvDescription(SPV_ENV_VULKAN_1_1));
+ spvTargetEnvDescription(SPV_ENV_VULKAN_1_1),
+ spvTargetEnvDescription(SPV_ENV_WEBGPU_0));
continue_processing = false;
return_code = 0;
} else if (0 == strcmp(cur_arg, "--help") || 0 == strcmp(cur_arg, "-h")) {