mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-12-29 03:01:08 +00:00
ba602c9059
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.
140 lines
4.6 KiB
C++
140 lines
4.6 KiB
C++
// Copyright (c) 2015-2016 The Khronos Group Inc.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
// Common validation fixtures for unit tests
|
|
|
|
#ifndef LIBSPIRV_TEST_VALIDATE_FIXTURES_H_
|
|
#define LIBSPIRV_TEST_VALIDATE_FIXTURES_H_
|
|
|
|
#include "source/val/validation_state.h"
|
|
#include "test_fixture.h"
|
|
#include "unit_spirv.h"
|
|
|
|
namespace spvtest {
|
|
|
|
template <typename T>
|
|
class ValidateBase : public ::testing::Test,
|
|
public ::testing::WithParamInterface<T> {
|
|
public:
|
|
ValidateBase();
|
|
|
|
virtual void TearDown();
|
|
|
|
// Returns the a spv_const_binary struct
|
|
spv_const_binary get_const_binary();
|
|
|
|
// Checks that 'code' is valid SPIR-V text representation and stores the
|
|
// binary version for further method calls.
|
|
void CompileSuccessfully(std::string code,
|
|
spv_target_env env = SPV_ENV_UNIVERSAL_1_0);
|
|
|
|
// Overwrites the word at index 'index' with the given word.
|
|
// For testing purposes, it is often useful to be able to manipulate the
|
|
// assembled binary before running the validator on it.
|
|
// This function overwrites the word at the given index with a new word.
|
|
void OverwriteAssembledBinary(uint32_t index, uint32_t word);
|
|
|
|
// Performs validation on the SPIR-V code.
|
|
spv_result_t ValidateInstructions(spv_target_env env = SPV_ENV_UNIVERSAL_1_0);
|
|
|
|
// Performs validation. Returns the status and stores validation state into
|
|
// the vstate_ member.
|
|
spv_result_t ValidateAndRetrieveValidationState(
|
|
spv_target_env env = SPV_ENV_UNIVERSAL_1_0);
|
|
|
|
std::string getDiagnosticString();
|
|
spv_position_t getErrorPosition();
|
|
spv_validator_options getValidatorOptions();
|
|
|
|
spv_binary binary_;
|
|
spv_diagnostic diagnostic_;
|
|
spv_validator_options options_;
|
|
std::unique_ptr<libspirv::ValidationState_t> vstate_;
|
|
};
|
|
|
|
template <typename T>
|
|
ValidateBase<T>::ValidateBase() : binary_(), diagnostic_() {
|
|
// Initialize to default command line options. Different tests can then
|
|
// specialize specific options as necessary.
|
|
options_ = spvValidatorOptionsCreate();
|
|
}
|
|
|
|
template <typename T>
|
|
spv_const_binary ValidateBase<T>::get_const_binary() {
|
|
return spv_const_binary(binary_);
|
|
}
|
|
|
|
template <typename T>
|
|
void ValidateBase<T>::TearDown() {
|
|
if (diagnostic_) {
|
|
spvDiagnosticPrint(diagnostic_);
|
|
}
|
|
spvDiagnosticDestroy(diagnostic_);
|
|
spvBinaryDestroy(binary_);
|
|
spvValidatorOptionsDestroy(options_);
|
|
}
|
|
|
|
template <typename T>
|
|
void ValidateBase<T>::CompileSuccessfully(std::string code,
|
|
spv_target_env env) {
|
|
spv_diagnostic diagnostic = nullptr;
|
|
ASSERT_EQ(SPV_SUCCESS,
|
|
spvTextToBinary(ScopedContext(env).context, code.c_str(),
|
|
code.size(), &binary_, &diagnostic))
|
|
<< "ERROR: " << diagnostic->error
|
|
<< "\nSPIR-V could not be compiled into binary:\n"
|
|
<< code;
|
|
}
|
|
|
|
template <typename T>
|
|
void ValidateBase<T>::OverwriteAssembledBinary(uint32_t index, uint32_t word) {
|
|
ASSERT_TRUE(index < binary_->wordCount)
|
|
<< "OverwriteAssembledBinary: The given index is larger than the binary "
|
|
"word count.";
|
|
binary_->code[index] = word;
|
|
}
|
|
|
|
template <typename T>
|
|
spv_result_t ValidateBase<T>::ValidateInstructions(spv_target_env env) {
|
|
return spvValidateWithOptions(ScopedContext(env).context, options_,
|
|
get_const_binary(), &diagnostic_);
|
|
}
|
|
|
|
template <typename T>
|
|
spv_result_t ValidateBase<T>::ValidateAndRetrieveValidationState(
|
|
spv_target_env env) {
|
|
return spvtools::ValidateBinaryAndKeepValidationState(
|
|
ScopedContext(env).context, options_, get_const_binary()->code,
|
|
get_const_binary()->wordCount, &diagnostic_, &vstate_);
|
|
}
|
|
|
|
template <typename T>
|
|
std::string ValidateBase<T>::getDiagnosticString() {
|
|
return diagnostic_ == nullptr ? std::string()
|
|
: std::string(diagnostic_->error);
|
|
}
|
|
|
|
template <typename T>
|
|
spv_validator_options ValidateBase<T>::getValidatorOptions() {
|
|
return options_;
|
|
}
|
|
|
|
template <typename T>
|
|
spv_position_t ValidateBase<T>::getErrorPosition() {
|
|
return diagnostic_ == nullptr ? spv_position_t() : diagnostic_->position;
|
|
}
|
|
|
|
} // namespace spvtest
|
|
#endif
|