2016-01-07 18:44:22 +00:00
|
|
|
// Copyright (c) 2015-2016 The Khronos Group Inc.
|
2015-05-22 17:26:19 +00:00
|
|
|
//
|
|
|
|
// Permission is hereby granted, free of charge, to any person obtaining a
|
|
|
|
// copy of this software and/or associated documentation files (the
|
|
|
|
// "Materials"), to deal in the Materials without restriction, including
|
|
|
|
// without limitation the rights to use, copy, modify, merge, publish,
|
|
|
|
// distribute, sublicense, and/or sell copies of the Materials, and to
|
|
|
|
// permit persons to whom the Materials are furnished to do so, subject to
|
|
|
|
// the following conditions:
|
|
|
|
//
|
|
|
|
// The above copyright notice and this permission notice shall be included
|
|
|
|
// in all copies or substantial portions of the Materials.
|
|
|
|
//
|
|
|
|
// MODIFICATIONS TO THIS FILE MAY MEAN IT NO LONGER ACCURATELY REFLECTS
|
|
|
|
// KHRONOS STANDARDS. THE UNMODIFIED, NORMATIVE VERSIONS OF KHRONOS
|
|
|
|
// SPECIFICATIONS AND HEADER INFORMATION ARE LOCATED AT
|
|
|
|
// https://www.khronos.org/registry/
|
|
|
|
//
|
|
|
|
// THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
|
|
|
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
|
|
|
// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
|
|
|
|
// IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
|
|
|
|
// CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
|
|
|
|
// TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
|
|
|
|
// MATERIALS OR THE USE OR OTHER DEALINGS IN THE MATERIALS.
|
|
|
|
|
2016-05-11 13:48:52 +00:00
|
|
|
#include <cassert>
|
|
|
|
#include <cstdio>
|
|
|
|
#include <cstring>
|
2015-05-22 17:26:19 +00:00
|
|
|
#include <vector>
|
|
|
|
|
2016-02-17 19:44:00 +00:00
|
|
|
#include "spirv-tools/libspirv.h"
|
2016-05-11 13:48:52 +00:00
|
|
|
#include "spirv_target_env.h"
|
2015-11-11 17:45:23 +00:00
|
|
|
|
2015-11-02 14:41:20 +00:00
|
|
|
void print_usage(char* argv0) {
|
2015-05-22 17:26:19 +00:00
|
|
|
printf(
|
2016-02-18 18:40:56 +00:00
|
|
|
R"(%s - Validate a SPIR-V binary file.
|
|
|
|
|
|
|
|
USAGE: %s [options] [<filename>]
|
|
|
|
|
|
|
|
The SPIR-V binary is read from <filename>. If no file is specified,
|
|
|
|
or if the filename is "-", then the binary is read from standard input.
|
|
|
|
|
2016-02-22 21:43:53 +00:00
|
|
|
NOTE: The validator is a work in progress.
|
|
|
|
|
2016-02-18 18:40:56 +00:00
|
|
|
Options:
|
2016-03-17 18:04:32 +00:00
|
|
|
-h, --help Print this help.
|
|
|
|
--version Display validator version information.
|
2016-05-11 13:48:52 +00:00
|
|
|
--target-env {vulkan1.0|spv1.0|spv1.1}
|
|
|
|
Use Vulkan1.0/SPIR-V1.0/SPIR-V1.1 validation rules.
|
2016-02-18 18:40:56 +00:00
|
|
|
)",
|
|
|
|
argv0, argv0);
|
2015-05-22 17:26:19 +00:00
|
|
|
}
|
|
|
|
|
2015-11-02 14:41:20 +00:00
|
|
|
int main(int argc, char** argv) {
|
|
|
|
const char* inFile = nullptr;
|
2016-04-07 18:41:34 +00:00
|
|
|
spv_target_env target_env = SPV_ENV_UNIVERSAL_1_1;
|
2015-05-22 17:26:19 +00:00
|
|
|
|
|
|
|
for (int argi = 1; argi < argc; ++argi) {
|
2016-02-18 23:04:11 +00:00
|
|
|
const char* cur_arg = argv[argi];
|
|
|
|
if ('-' == cur_arg[0]) {
|
2016-02-22 21:07:19 +00:00
|
|
|
if (0 == strcmp(cur_arg, "--version")) {
|
2016-04-22 00:50:11 +00:00
|
|
|
printf("%s\n", spvSoftwareVersionDetailsString());
|
2016-04-19 02:25:35 +00:00
|
|
|
printf("Targets:\n %s\n %s\n",
|
|
|
|
spvTargetEnvDescription(SPV_ENV_UNIVERSAL_1_1),
|
|
|
|
spvTargetEnvDescription(SPV_ENV_VULKAN_1_0));
|
2016-02-22 21:07:19 +00:00
|
|
|
return 0;
|
2016-03-17 18:04:32 +00:00
|
|
|
} else if (0 == strcmp(cur_arg, "--help") || 0 == strcmp(cur_arg, "-h")) {
|
|
|
|
print_usage(argv[0]);
|
|
|
|
return 0;
|
2016-05-11 13:48:52 +00:00
|
|
|
} else if (0 == strcmp(cur_arg, "--target-env")) {
|
|
|
|
if (argi + 1 < argc) {
|
|
|
|
const auto env_str = argv[++argi];
|
|
|
|
if (!spvParseTargetEnv(env_str, &target_env)) {
|
|
|
|
fprintf(stderr, "error: Unrecognized target env: %s\n", env_str);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
fprintf(stderr, "error: Missing argument to --target-env\n");
|
|
|
|
return 1;
|
|
|
|
}
|
2016-02-18 23:04:11 +00:00
|
|
|
} else if (0 == cur_arg[1]) {
|
2016-02-18 18:40:56 +00:00
|
|
|
// Setting a filename of "-" to indicate stdin.
|
|
|
|
if (!inFile) {
|
2016-02-18 23:04:11 +00:00
|
|
|
inFile = cur_arg;
|
2016-02-18 18:40:56 +00:00
|
|
|
} else {
|
|
|
|
fprintf(stderr, "error: More than one input file specified\n");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2015-05-22 17:26:19 +00:00
|
|
|
} else {
|
|
|
|
print_usage(argv[0]);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if (!inFile) {
|
2016-02-18 23:04:11 +00:00
|
|
|
inFile = cur_arg;
|
2015-05-22 17:26:19 +00:00
|
|
|
} else {
|
2016-02-18 18:40:56 +00:00
|
|
|
fprintf(stderr, "error: More than one input file specified\n");
|
2015-05-22 17:26:19 +00:00
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<uint32_t> contents;
|
2016-02-18 18:40:56 +00:00
|
|
|
const bool use_file = inFile && strcmp("-", inFile);
|
|
|
|
if (FILE* fp = (use_file ? fopen(inFile, "rb") : stdin)) {
|
2015-05-22 17:26:19 +00:00
|
|
|
uint32_t buf[1024];
|
|
|
|
while (size_t len = fread(buf, sizeof(uint32_t),
|
|
|
|
sizeof(buf) / sizeof(uint32_t), fp)) {
|
|
|
|
contents.insert(contents.end(), buf, buf + len);
|
|
|
|
}
|
2016-02-19 15:15:17 +00:00
|
|
|
if (use_file) fclose(fp);
|
2015-05-22 17:26:19 +00:00
|
|
|
} else {
|
|
|
|
fprintf(stderr, "error: file does not exist '%s'\n", inFile);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2015-11-11 16:05:07 +00:00
|
|
|
spv_const_binary_t binary = {contents.data(), contents.size()};
|
2015-05-22 17:26:19 +00:00
|
|
|
|
|
|
|
spv_diagnostic diagnostic = nullptr;
|
2016-03-31 16:16:51 +00:00
|
|
|
spv_context context = spvContextCreate(target_env);
|
2016-02-22 20:25:50 +00:00
|
|
|
spv_result_t error = spvValidate(context, &binary, &diagnostic);
|
2015-11-12 18:48:30 +00:00
|
|
|
spvContextDestroy(context);
|
2015-09-11 18:31:27 +00:00
|
|
|
if (error) {
|
|
|
|
spvDiagnosticPrint(diagnostic);
|
|
|
|
spvDiagnosticDestroy(diagnostic);
|
|
|
|
return error;
|
|
|
|
}
|
2015-05-22 17:26:19 +00:00
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|