mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-27 22:00:07 +00:00
32573bb216
* Add validation for ray tracing builtins - Remove existing InstanceId testing that was combined with VertexId in awkward ways. - Rather than adding a new set of functions for each ray tracing builtin, add an error table that maps the builtin ID to the 3 common VUIDs for each builtin (I could see this being extended for other builtins in the future). - add F32 matrix validation function - augment existing PrimitiveId validation to verify Input storage class for the RT stages this is accepted in, and correct the list of stages that it is actually accepted in (only Intersection / Any Hit / Closest Hit) * add testing for ray tracing builtins - remove exising InstanceId testing as it was tangled in with VertexId in now weird ways and combine it with the new tests - add testing for ray tracing builtins - builtins accepted in the same stages and of the same types are combined into test functions - add some new matrix types to the code generator so they can be used for testing
4071 lines
171 KiB
C++
4071 lines
171 KiB
C++
// Copyright (c) 2018 Google LLC.
|
|
// Modifications Copyright (C) 2020 Advanced Micro Devices, Inc. All rights
|
|
// reserved.
|
|
//
|
|
// 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.
|
|
|
|
// Validates correctness of built-in variables.
|
|
|
|
#include <array>
|
|
#include <functional>
|
|
#include <list>
|
|
#include <map>
|
|
#include <set>
|
|
#include <sstream>
|
|
#include <stack>
|
|
#include <string>
|
|
#include <unordered_map>
|
|
#include <vector>
|
|
|
|
#include "source/diagnostic.h"
|
|
#include "source/opcode.h"
|
|
#include "source/spirv_target_env.h"
|
|
#include "source/util/bitutils.h"
|
|
#include "source/val/instruction.h"
|
|
#include "source/val/validate.h"
|
|
#include "source/val/validation_state.h"
|
|
|
|
namespace spvtools {
|
|
namespace val {
|
|
namespace {
|
|
|
|
// Returns a short textual description of the id defined by the given
|
|
// instruction.
|
|
std::string GetIdDesc(const Instruction& inst) {
|
|
std::ostringstream ss;
|
|
ss << "ID <" << inst.id() << "> (Op" << spvOpcodeString(inst.opcode()) << ")";
|
|
return ss.str();
|
|
}
|
|
|
|
// Gets underlying data type which is
|
|
// - member type if instruction is OpTypeStruct
|
|
// (member index is taken from decoration).
|
|
// - data type if id creates a pointer.
|
|
// - type of the constant if instruction is OpConst or OpSpecConst.
|
|
//
|
|
// Fails in any other case. The function is based on built-ins allowed by
|
|
// the Vulkan spec.
|
|
// TODO: If non-Vulkan validation rules are added then it might need
|
|
// to be refactored.
|
|
spv_result_t GetUnderlyingType(ValidationState_t& _,
|
|
const Decoration& decoration,
|
|
const Instruction& inst,
|
|
uint32_t* underlying_type) {
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
if (inst.opcode() != SpvOpTypeStruct) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< GetIdDesc(inst)
|
|
<< "Attempted to get underlying data type via member index for "
|
|
"non-struct type.";
|
|
}
|
|
*underlying_type = inst.word(decoration.struct_member_index() + 2);
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
if (inst.opcode() == SpvOpTypeStruct) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< GetIdDesc(inst)
|
|
<< " did not find an member index to get underlying data type for "
|
|
"struct type.";
|
|
}
|
|
|
|
if (spvOpcodeIsConstant(inst.opcode())) {
|
|
*underlying_type = inst.type_id();
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
uint32_t storage_class = 0;
|
|
if (!_.GetPointerTypeInfo(inst.type_id(), underlying_type, &storage_class)) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< GetIdDesc(inst)
|
|
<< " is decorated with BuiltIn. BuiltIn decoration should only be "
|
|
"applied to struct types, variables and constants.";
|
|
}
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
// Returns Storage Class used by the instruction if applicable.
|
|
// Returns SpvStorageClassMax if not.
|
|
SpvStorageClass GetStorageClass(const Instruction& inst) {
|
|
switch (inst.opcode()) {
|
|
case SpvOpTypePointer:
|
|
case SpvOpTypeForwardPointer: {
|
|
return SpvStorageClass(inst.word(2));
|
|
}
|
|
case SpvOpVariable: {
|
|
return SpvStorageClass(inst.word(3));
|
|
}
|
|
case SpvOpGenericCastToPtrExplicit: {
|
|
return SpvStorageClass(inst.word(4));
|
|
}
|
|
default: { break; }
|
|
}
|
|
return SpvStorageClassMax;
|
|
}
|
|
|
|
bool IsBuiltInValidForWebGPU(SpvBuiltIn label) {
|
|
switch (label) {
|
|
case SpvBuiltInPosition:
|
|
case SpvBuiltInVertexIndex:
|
|
case SpvBuiltInInstanceIndex:
|
|
case SpvBuiltInFrontFacing:
|
|
case SpvBuiltInFragCoord:
|
|
case SpvBuiltInFragDepth:
|
|
case SpvBuiltInNumWorkgroups:
|
|
case SpvBuiltInWorkgroupSize:
|
|
case SpvBuiltInLocalInvocationId:
|
|
case SpvBuiltInGlobalInvocationId:
|
|
case SpvBuiltInLocalInvocationIndex: {
|
|
return true;
|
|
}
|
|
default:
|
|
break;
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
typedef enum VUIDError_ {
|
|
VUIDErrorExecutionModel = 0,
|
|
VUIDErrorStorageClass = 1,
|
|
VUIDErrorType = 2,
|
|
VUIDErrorMax,
|
|
} VUIDError;
|
|
|
|
const static uint32_t NumRtBuiltins = 16;
|
|
|
|
typedef struct {
|
|
SpvBuiltIn builtIn;
|
|
uint32_t vuid[VUIDErrorMax]; // execution mode, storage class, type VUIDs
|
|
} RtBuiltinVUIDMapping;
|
|
|
|
std::array<RtBuiltinVUIDMapping, NumRtBuiltins> rtBuiltinInfo = {{
|
|
// clang-format off
|
|
{SpvBuiltInHitKindKHR, {4242, 4243, 4244}},
|
|
{SpvBuiltInHitTNV, {4245, 4246, 4247}},
|
|
{SpvBuiltInInstanceCustomIndexKHR, {4251, 4252, 4253}},
|
|
{SpvBuiltInInstanceId, {4254, 4255, 4256}},
|
|
{SpvBuiltInRayGeometryIndexKHR, {4345, 4346, 4347}},
|
|
{SpvBuiltInObjectRayDirectionKHR, {4299, 4300, 4301}},
|
|
{SpvBuiltInObjectRayOriginKHR, {4302, 4303, 4304}},
|
|
{SpvBuiltInObjectToWorldKHR, {4305, 4306, 4307}},
|
|
{SpvBuiltInWorldToObjectKHR, {4434, 4435, 4436}},
|
|
{SpvBuiltInIncomingRayFlagsKHR, {4248, 4249, 4250}},
|
|
{SpvBuiltInRayTminKHR, {4351, 4352, 4353}},
|
|
{SpvBuiltInRayTmaxKHR, {4348, 4349, 4350}},
|
|
{SpvBuiltInWorldRayDirectionKHR, {4428, 4429, 4430}},
|
|
{SpvBuiltInWorldRayOriginKHR, {4431, 4432, 4433}},
|
|
{SpvBuiltInLaunchIdKHR, {4266, 4267, 4268}},
|
|
{SpvBuiltInLaunchSizeKHR, {4269, 4270, 4271}},
|
|
// clang-format off
|
|
} };
|
|
|
|
uint32_t GetVUIDForRTBuiltin(SpvBuiltIn builtIn, VUIDError type) {
|
|
uint32_t vuid = 0;
|
|
for (const auto& iter: rtBuiltinInfo) {
|
|
if (iter.builtIn == builtIn) {
|
|
assert(type < VUIDErrorMax);
|
|
vuid = iter.vuid[type];
|
|
break;
|
|
}
|
|
}
|
|
return vuid;
|
|
}
|
|
|
|
bool IsExecutionModelValidForRtBuiltIn(SpvBuiltIn builtin,
|
|
SpvExecutionModel stage) {
|
|
switch (builtin) {
|
|
case SpvBuiltInHitKindKHR:
|
|
case SpvBuiltInHitTNV:
|
|
if (stage == SpvExecutionModelAnyHitKHR ||
|
|
stage == SpvExecutionModelClosestHitKHR) {
|
|
return true;
|
|
}
|
|
break;
|
|
case SpvBuiltInInstanceCustomIndexKHR:
|
|
case SpvBuiltInInstanceId:
|
|
case SpvBuiltInRayGeometryIndexKHR:
|
|
case SpvBuiltInObjectRayDirectionKHR:
|
|
case SpvBuiltInObjectRayOriginKHR:
|
|
case SpvBuiltInObjectToWorldKHR:
|
|
case SpvBuiltInWorldToObjectKHR:
|
|
switch (stage) {
|
|
case SpvExecutionModelIntersectionKHR:
|
|
case SpvExecutionModelAnyHitKHR:
|
|
case SpvExecutionModelClosestHitKHR:
|
|
return true;
|
|
default:
|
|
return false;
|
|
}
|
|
break;
|
|
case SpvBuiltInIncomingRayFlagsKHR:
|
|
case SpvBuiltInRayTminKHR:
|
|
case SpvBuiltInRayTmaxKHR:
|
|
case SpvBuiltInWorldRayDirectionKHR:
|
|
case SpvBuiltInWorldRayOriginKHR:
|
|
switch (stage) {
|
|
case SpvExecutionModelIntersectionKHR:
|
|
case SpvExecutionModelAnyHitKHR:
|
|
case SpvExecutionModelClosestHitKHR:
|
|
case SpvExecutionModelMissKHR:
|
|
return true;
|
|
default:
|
|
return false;
|
|
}
|
|
break;
|
|
case SpvBuiltInLaunchIdKHR:
|
|
case SpvBuiltInLaunchSizeKHR:
|
|
switch (stage) {
|
|
case SpvExecutionModelRayGenerationKHR:
|
|
case SpvExecutionModelIntersectionKHR:
|
|
case SpvExecutionModelAnyHitKHR:
|
|
case SpvExecutionModelClosestHitKHR:
|
|
case SpvExecutionModelMissKHR:
|
|
case SpvExecutionModelCallableKHR:
|
|
return true;
|
|
default:
|
|
return false;
|
|
}
|
|
break;
|
|
default:
|
|
break;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
// Helper class managing validation of built-ins.
|
|
// TODO: Generic functionality of this class can be moved into
|
|
// ValidationState_t to be made available to other users.
|
|
class BuiltInsValidator {
|
|
public:
|
|
BuiltInsValidator(ValidationState_t& vstate) : _(vstate) {}
|
|
|
|
// Run validation.
|
|
spv_result_t Run();
|
|
|
|
private:
|
|
// Goes through all decorations in the module, if decoration is BuiltIn
|
|
// calls ValidateSingleBuiltInAtDefinition().
|
|
spv_result_t ValidateBuiltInsAtDefinition();
|
|
|
|
// Validates the instruction defining an id with built-in decoration.
|
|
// Can be called multiple times for the same id, if multiple built-ins are
|
|
// specified. Seeds id_to_at_reference_checks_ with decorated ids if needed.
|
|
spv_result_t ValidateSingleBuiltInAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
|
|
// The following section contains functions which are called when id defined
|
|
// by |inst| is decorated with BuiltIn |decoration|.
|
|
// Most functions are specific to a single built-in and have naming scheme:
|
|
// ValidateXYZAtDefinition. Some functions are common to multiple kinds of
|
|
// BuiltIn.
|
|
spv_result_t ValidateClipOrCullDistanceAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst);
|
|
spv_result_t ValidateFragCoordAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateFragDepthAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateFrontFacingAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateHelperInvocationAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst);
|
|
spv_result_t ValidateInvocationIdAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateInstanceIndexAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateLayerOrViewportIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst);
|
|
spv_result_t ValidatePatchVerticesAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidatePointCoordAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidatePointSizeAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidatePositionAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidatePrimitiveIdAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateSampleIdAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateSampleMaskAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateSamplePositionAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateTessCoordAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateTessLevelOuterAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateTessLevelInnerAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateVertexIndexAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateVertexIdAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateLocalInvocationIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst);
|
|
spv_result_t ValidateWorkgroupSizeAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateBaseInstanceOrVertexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst);
|
|
spv_result_t ValidateDrawIndexAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateViewIndexAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
spv_result_t ValidateDeviceIndexAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
// Used for GlobalInvocationId, LocalInvocationId, NumWorkgroups, WorkgroupId.
|
|
spv_result_t ValidateComputeShaderI32Vec3InputAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst);
|
|
spv_result_t ValidateSMBuiltinsAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
|
|
// Used for SubgroupEqMask, SubgroupGeMask, SubgroupGtMask, SubgroupLtMask,
|
|
// SubgroupLeMask.
|
|
spv_result_t ValidateI32Vec4InputAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
// Used for SubgroupLocalInvocationId, SubgroupSize.
|
|
spv_result_t ValidateI32InputAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
// Used for SubgroupId, NumSubgroups.
|
|
spv_result_t ValidateComputeI32InputAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
|
|
spv_result_t ValidatePrimitiveShadingRateAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst);
|
|
|
|
spv_result_t ValidateShadingRateAtDefinition(const Decoration& decoration,
|
|
const Instruction& inst);
|
|
|
|
spv_result_t ValidateRayTracingBuiltinsAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst);
|
|
|
|
// The following section contains functions which are called when id defined
|
|
// by |referenced_inst| is
|
|
// 1. referenced by |referenced_from_inst|
|
|
// 2. dependent on |built_in_inst| which is decorated with BuiltIn
|
|
// |decoration|. Most functions are specific to a single built-in and have
|
|
// naming scheme: ValidateXYZAtReference. Some functions are common to
|
|
// multiple kinds of BuiltIn.
|
|
spv_result_t ValidateFragCoordAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateFragDepthAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateFrontFacingAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateHelperInvocationAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateInvocationIdAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateInstanceIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidatePatchVerticesAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidatePointCoordAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidatePointSizeAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidatePositionAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidatePrimitiveIdAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateSampleIdAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateSampleMaskAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateSamplePositionAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateTessCoordAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateTessLevelAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateLocalInvocationIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateVertexIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateLayerOrViewportIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateWorkgroupSizeAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateClipOrCullDistanceAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateBaseInstanceOrVertexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateDrawIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateViewIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateDeviceIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
// Used for GlobalInvocationId, LocalInvocationId, NumWorkgroups, WorkgroupId.
|
|
spv_result_t ValidateComputeShaderI32Vec3InputAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
// Used for SubgroupId and NumSubgroups.
|
|
spv_result_t ValidateComputeI32InputAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateSMBuiltinsAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidatePrimitiveShadingRateAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateShadingRateAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
spv_result_t ValidateRayTracingBuiltinsAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
// Validates that |built_in_inst| is not (even indirectly) referenced from
|
|
// within a function which can be called with |execution_model|.
|
|
//
|
|
// |vuid| - Vulkan ID for the error, or a negative value if none.
|
|
// |comment| - text explaining why the restriction was imposed.
|
|
// |decoration| - BuiltIn decoration which causes the restriction.
|
|
// |referenced_inst| - instruction which is dependent on |built_in_inst| and
|
|
// defines the id which was referenced.
|
|
// |referenced_from_inst| - instruction which references id defined by
|
|
// |referenced_inst| from within a function.
|
|
spv_result_t ValidateNotCalledWithExecutionModel(
|
|
int vuid, const char* comment, SpvExecutionModel execution_model,
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst);
|
|
|
|
// The following section contains functions which check that the decorated
|
|
// variable has the type specified in the function name. |diag| would be
|
|
// called with a corresponding error message, if validation is not successful.
|
|
spv_result_t ValidateBool(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateI32(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateI32Vec(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateI32Arr(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateOptionalArrayedI32(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateI32Helper(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag,
|
|
uint32_t underlying_type);
|
|
spv_result_t ValidateF32(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateOptionalArrayedF32(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateF32Helper(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag,
|
|
uint32_t underlying_type);
|
|
spv_result_t ValidateF32Vec(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateOptionalArrayedF32Vec(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateF32VecHelper(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag,
|
|
uint32_t underlying_type);
|
|
// If |num_components| is zero, the number of components is not checked.
|
|
spv_result_t ValidateF32Arr(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateOptionalArrayedF32Arr(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
spv_result_t ValidateF32ArrHelper(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag,
|
|
uint32_t underlying_type);
|
|
spv_result_t ValidateF32Mat(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t req_num_rows, uint32_t req_num_columns,
|
|
const std::function<spv_result_t(const std::string& message)>& diag);
|
|
|
|
// Generates strings like "Member #0 of struct ID <2>".
|
|
std::string GetDefinitionDesc(const Decoration& decoration,
|
|
const Instruction& inst) const;
|
|
|
|
// Generates strings like "ID <51> (OpTypePointer) is referencing ID <2>
|
|
// (OpTypeStruct) which is decorated with BuiltIn Position".
|
|
std::string GetReferenceDesc(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst,
|
|
SpvExecutionModel execution_model = SpvExecutionModelMax) const;
|
|
|
|
// Generates strings like "ID <51> (OpTypePointer) uses storage class
|
|
// UniformConstant".
|
|
std::string GetStorageClassDesc(const Instruction& inst) const;
|
|
|
|
// Updates inner working of the class. Is called sequentially for every
|
|
// instruction.
|
|
void Update(const Instruction& inst);
|
|
|
|
ValidationState_t& _;
|
|
|
|
// Mapping id -> list of rules which validate instruction referencing the
|
|
// id. Rules can create new rules and add them to this container.
|
|
// Using std::map, and not std::unordered_map to avoid iterator invalidation
|
|
// during rehashing.
|
|
std::map<uint32_t, std::list<std::function<spv_result_t(const Instruction&)>>>
|
|
id_to_at_reference_checks_;
|
|
|
|
// Id of the function we are currently inside. 0 if not inside a function.
|
|
uint32_t function_id_ = 0;
|
|
|
|
// Entry points which can (indirectly) call the current function.
|
|
// The pointer either points to a vector inside to function_to_entry_points_
|
|
// or to no_entry_points_. The pointer is guaranteed to never be null.
|
|
const std::vector<uint32_t> no_entry_points;
|
|
const std::vector<uint32_t>* entry_points_ = &no_entry_points;
|
|
|
|
// Execution models with which the current function can be called.
|
|
std::set<SpvExecutionModel> execution_models_;
|
|
};
|
|
|
|
void BuiltInsValidator::Update(const Instruction& inst) {
|
|
const SpvOp opcode = inst.opcode();
|
|
if (opcode == SpvOpFunction) {
|
|
// Entering a function.
|
|
assert(function_id_ == 0);
|
|
function_id_ = inst.id();
|
|
execution_models_.clear();
|
|
entry_points_ = &_.FunctionEntryPoints(function_id_);
|
|
// Collect execution models from all entry points from which the current
|
|
// function can be called.
|
|
for (const uint32_t entry_point : *entry_points_) {
|
|
if (const auto* models = _.GetExecutionModels(entry_point)) {
|
|
execution_models_.insert(models->begin(), models->end());
|
|
}
|
|
}
|
|
}
|
|
|
|
if (opcode == SpvOpFunctionEnd) {
|
|
// Exiting a function.
|
|
assert(function_id_ != 0);
|
|
function_id_ = 0;
|
|
entry_points_ = &no_entry_points;
|
|
execution_models_.clear();
|
|
}
|
|
}
|
|
|
|
std::string BuiltInsValidator::GetDefinitionDesc(
|
|
const Decoration& decoration, const Instruction& inst) const {
|
|
std::ostringstream ss;
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
assert(inst.opcode() == SpvOpTypeStruct);
|
|
ss << "Member #" << decoration.struct_member_index();
|
|
ss << " of struct ID <" << inst.id() << ">";
|
|
} else {
|
|
ss << GetIdDesc(inst);
|
|
}
|
|
return ss.str();
|
|
}
|
|
|
|
std::string BuiltInsValidator::GetReferenceDesc(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst, const Instruction& referenced_from_inst,
|
|
SpvExecutionModel execution_model) const {
|
|
std::ostringstream ss;
|
|
ss << GetIdDesc(referenced_from_inst) << " is referencing "
|
|
<< GetIdDesc(referenced_inst);
|
|
if (built_in_inst.id() != referenced_inst.id()) {
|
|
ss << " which is dependent on " << GetIdDesc(built_in_inst);
|
|
}
|
|
|
|
ss << " which is decorated with BuiltIn ";
|
|
ss << _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0]);
|
|
if (function_id_) {
|
|
ss << " in function <" << function_id_ << ">";
|
|
if (execution_model != SpvExecutionModelMax) {
|
|
ss << " called with execution model ";
|
|
ss << _.grammar().lookupOperandName(SPV_OPERAND_TYPE_EXECUTION_MODEL,
|
|
execution_model);
|
|
}
|
|
}
|
|
ss << ".";
|
|
return ss.str();
|
|
}
|
|
|
|
std::string BuiltInsValidator::GetStorageClassDesc(
|
|
const Instruction& inst) const {
|
|
std::ostringstream ss;
|
|
ss << GetIdDesc(inst) << " uses storage class ";
|
|
ss << _.grammar().lookupOperandName(SPV_OPERAND_TYPE_STORAGE_CLASS,
|
|
GetStorageClass(inst));
|
|
ss << ".";
|
|
return ss.str();
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateBool(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
if (!_.IsBoolScalarType(underlying_type)) {
|
|
return diag(GetDefinitionDesc(decoration, inst) + " is not a bool scalar.");
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateI32(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
return ValidateI32Helper(decoration, inst, diag, underlying_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateOptionalArrayedI32(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
// Strip the array, if present.
|
|
if (_.GetIdOpcode(underlying_type) == SpvOpTypeArray) {
|
|
underlying_type = _.FindDef(underlying_type)->word(2u);
|
|
}
|
|
|
|
return ValidateI32Helper(decoration, inst, diag, underlying_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateI32Helper(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag,
|
|
uint32_t underlying_type) {
|
|
if (!_.IsIntScalarType(underlying_type)) {
|
|
return diag(GetDefinitionDesc(decoration, inst) + " is not an int scalar.");
|
|
}
|
|
|
|
const uint32_t bit_width = _.GetBitWidth(underlying_type);
|
|
if (bit_width != 32) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst) << " has bit width " << bit_width
|
|
<< ".";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateOptionalArrayedF32(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
// Strip the array, if present.
|
|
if (_.GetIdOpcode(underlying_type) == SpvOpTypeArray) {
|
|
underlying_type = _.FindDef(underlying_type)->word(2u);
|
|
}
|
|
|
|
return ValidateF32Helper(decoration, inst, diag, underlying_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateF32(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
return ValidateF32Helper(decoration, inst, diag, underlying_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateF32Helper(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag,
|
|
uint32_t underlying_type) {
|
|
if (!_.IsFloatScalarType(underlying_type)) {
|
|
return diag(GetDefinitionDesc(decoration, inst) +
|
|
" is not a float scalar.");
|
|
}
|
|
|
|
const uint32_t bit_width = _.GetBitWidth(underlying_type);
|
|
if (bit_width != 32) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst) << " has bit width " << bit_width
|
|
<< ".";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateI32Vec(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
if (!_.IsIntVectorType(underlying_type)) {
|
|
return diag(GetDefinitionDesc(decoration, inst) + " is not an int vector.");
|
|
}
|
|
|
|
const uint32_t actual_num_components = _.GetDimension(underlying_type);
|
|
if (_.GetDimension(underlying_type) != num_components) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst) << " has "
|
|
<< actual_num_components << " components.";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
const uint32_t bit_width = _.GetBitWidth(underlying_type);
|
|
if (bit_width != 32) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst)
|
|
<< " has components with bit width " << bit_width << ".";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateOptionalArrayedF32Vec(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
// Strip the array, if present.
|
|
if (_.GetIdOpcode(underlying_type) == SpvOpTypeArray) {
|
|
underlying_type = _.FindDef(underlying_type)->word(2u);
|
|
}
|
|
|
|
return ValidateF32VecHelper(decoration, inst, num_components, diag,
|
|
underlying_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateF32Vec(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
return ValidateF32VecHelper(decoration, inst, num_components, diag,
|
|
underlying_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateF32VecHelper(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag,
|
|
uint32_t underlying_type) {
|
|
if (!_.IsFloatVectorType(underlying_type)) {
|
|
return diag(GetDefinitionDesc(decoration, inst) +
|
|
" is not a float vector.");
|
|
}
|
|
|
|
const uint32_t actual_num_components = _.GetDimension(underlying_type);
|
|
if (_.GetDimension(underlying_type) != num_components) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst) << " has "
|
|
<< actual_num_components << " components.";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
const uint32_t bit_width = _.GetBitWidth(underlying_type);
|
|
if (bit_width != 32) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst)
|
|
<< " has components with bit width " << bit_width << ".";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateI32Arr(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
const Instruction* const type_inst = _.FindDef(underlying_type);
|
|
if (type_inst->opcode() != SpvOpTypeArray) {
|
|
return diag(GetDefinitionDesc(decoration, inst) + " is not an array.");
|
|
}
|
|
|
|
const uint32_t component_type = type_inst->word(2);
|
|
if (!_.IsIntScalarType(component_type)) {
|
|
return diag(GetDefinitionDesc(decoration, inst) +
|
|
" components are not int scalar.");
|
|
}
|
|
|
|
const uint32_t bit_width = _.GetBitWidth(component_type);
|
|
if (bit_width != 32) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst)
|
|
<< " has components with bit width " << bit_width << ".";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateF32Arr(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
return ValidateF32ArrHelper(decoration, inst, num_components, diag,
|
|
underlying_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateOptionalArrayedF32Arr(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
|
|
// Strip an extra layer of arraying if present.
|
|
if (_.GetIdOpcode(underlying_type) == SpvOpTypeArray) {
|
|
uint32_t subtype = _.FindDef(underlying_type)->word(2u);
|
|
if (_.GetIdOpcode(subtype) == SpvOpTypeArray) {
|
|
underlying_type = subtype;
|
|
}
|
|
}
|
|
|
|
return ValidateF32ArrHelper(decoration, inst, num_components, diag,
|
|
underlying_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateF32ArrHelper(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t num_components,
|
|
const std::function<spv_result_t(const std::string& message)>& diag,
|
|
uint32_t underlying_type) {
|
|
const Instruction* const type_inst = _.FindDef(underlying_type);
|
|
if (type_inst->opcode() != SpvOpTypeArray) {
|
|
return diag(GetDefinitionDesc(decoration, inst) + " is not an array.");
|
|
}
|
|
|
|
const uint32_t component_type = type_inst->word(2);
|
|
if (!_.IsFloatScalarType(component_type)) {
|
|
return diag(GetDefinitionDesc(decoration, inst) +
|
|
" components are not float scalar.");
|
|
}
|
|
|
|
const uint32_t bit_width = _.GetBitWidth(component_type);
|
|
if (bit_width != 32) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst)
|
|
<< " has components with bit width " << bit_width << ".";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
if (num_components != 0) {
|
|
uint64_t actual_num_components = 0;
|
|
if (!_.GetConstantValUint64(type_inst->word(3), &actual_num_components)) {
|
|
assert(0 && "Array type definition is corrupt");
|
|
}
|
|
if (actual_num_components != num_components) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst) << " has "
|
|
<< actual_num_components << " components.";
|
|
return diag(ss.str());
|
|
}
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateF32Mat(
|
|
const Decoration& decoration, const Instruction& inst,
|
|
uint32_t req_num_rows, uint32_t req_num_columns,
|
|
const std::function<spv_result_t(const std::string& message)>& diag) {
|
|
uint32_t underlying_type = 0;
|
|
uint32_t num_rows = 0;
|
|
uint32_t num_cols = 0;
|
|
uint32_t col_type = 0;
|
|
uint32_t component_type = 0;
|
|
if (spv_result_t error =
|
|
GetUnderlyingType(_, decoration, inst, &underlying_type)) {
|
|
return error;
|
|
}
|
|
if (!_.GetMatrixTypeInfo(underlying_type, &num_rows, &num_cols, &col_type,
|
|
&component_type) ||
|
|
num_rows != req_num_rows || num_cols != req_num_columns) {
|
|
std::ostringstream ss;
|
|
ss << GetDefinitionDesc(decoration, inst) << " has columns " << num_cols
|
|
<< " and rows " << num_rows << " not equal to expected "
|
|
<< req_num_columns << "x" << req_num_rows << ".";
|
|
return diag(ss.str());
|
|
}
|
|
|
|
return ValidateF32VecHelper(decoration, inst, req_num_rows, diag, col_type);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateNotCalledWithExecutionModel(
|
|
int vuid, const char* comment, SpvExecutionModel execution_model,
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (function_id_) {
|
|
if (execution_models_.count(execution_model)) {
|
|
const char* execution_model_str = _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_EXECUTION_MODEL, execution_model);
|
|
const char* built_in_str = _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN, decoration.params()[0]);
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< (vuid < 0 ? std::string("") : _.VkErrorID(vuid)) << comment
|
|
<< " " << GetIdDesc(referenced_inst) << " depends on "
|
|
<< GetIdDesc(built_in_inst) << " which is decorated with BuiltIn "
|
|
<< built_in_str << "."
|
|
<< " Id <" << referenced_inst.id() << "> is later referenced by "
|
|
<< GetIdDesc(referenced_from_inst) << " in function <"
|
|
<< function_id_ << "> which is called with execution model "
|
|
<< execution_model_str << ".";
|
|
}
|
|
} else {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this,
|
|
vuid, comment, execution_model, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateClipOrCullDistanceAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateClipOrCullDistanceAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateClipOrCullDistanceAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
uint32_t operand = decoration.params()[0];
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be only used for variables with Input or Output storage "
|
|
"class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassInput) {
|
|
assert(function_id_ == 0);
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, -1,
|
|
"Vulkan spec doesn't allow BuiltIn ClipDistance/CullDistance to be "
|
|
"used for variables with Input storage class if execution model is "
|
|
"Vertex.",
|
|
SpvExecutionModelVertex, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassOutput) {
|
|
assert(function_id_ == 0);
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, -1,
|
|
"Vulkan spec doesn't allow BuiltIn ClipDistance/CullDistance to be "
|
|
"used for variables with Output storage class if execution model is "
|
|
"Fragment.",
|
|
SpvExecutionModelFragment, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
switch (execution_model) {
|
|
case SpvExecutionModelFragment:
|
|
case SpvExecutionModelVertex: {
|
|
if (spv_result_t error = ValidateF32Arr(
|
|
decoration, built_in_inst, /* Any number of components */ 0,
|
|
[this, &decoration, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
uint32_t vuid =
|
|
(decoration.params()[0] == SpvBuiltInClipDistance)
|
|
? 4191
|
|
: 4200;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit float array. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
}
|
|
case SpvExecutionModelTessellationControl:
|
|
case SpvExecutionModelTessellationEvaluation:
|
|
case SpvExecutionModelGeometry:
|
|
case SpvExecutionModelMeshNV: {
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
// The outer level of array is applied on the variable.
|
|
if (spv_result_t error = ValidateF32Arr(
|
|
decoration, built_in_inst, /* Any number of components */ 0,
|
|
[this, &decoration, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
uint32_t vuid =
|
|
(decoration.params()[0] == SpvBuiltInClipDistance)
|
|
? 4191
|
|
: 4200;
|
|
return _.diag(SPV_ERROR_INVALID_DATA,
|
|
&referenced_from_inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit float array. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
} else {
|
|
if (spv_result_t error = ValidateOptionalArrayedF32Arr(
|
|
decoration, built_in_inst, /* Any number of components */ 0,
|
|
[this, &decoration, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
uint32_t vuid =
|
|
(decoration.params()[0] == SpvBuiltInClipDistance)
|
|
? 4191
|
|
: 4200;
|
|
return _.diag(SPV_ERROR_INVALID_DATA,
|
|
&referenced_from_inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit float array. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
break;
|
|
}
|
|
|
|
default: {
|
|
uint32_t vuid =
|
|
(decoration.params()[0] == SpvBuiltInClipDistance) ? 4187 : 4196;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be used only with Fragment, Vertex, "
|
|
"TessellationControl, TessellationEvaluation or Geometry "
|
|
"execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateClipOrCullDistanceAtReference,
|
|
this, decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateFragCoordAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateF32Vec(
|
|
decoration, inst, 4,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4212) << "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn FragCoord "
|
|
"variable needs to be a 4-component 32-bit float "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateFragCoordAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateFragCoordAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4211) << spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn FragCoord to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4210)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn FragCoord to be used only with "
|
|
"Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateFragCoordAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateFragDepthAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateF32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4215) << "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn FragDepth "
|
|
"variable needs to be a 32-bit float scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateFragDepthAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateFragDepthAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4214) << spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn FragDepth to be only used for "
|
|
"variables with Output storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4213)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn FragDepth to be used only with "
|
|
"Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
|
|
for (const uint32_t entry_point : *entry_points_) {
|
|
// Every entry point from which this function is called needs to have
|
|
// Execution Mode DepthReplacing.
|
|
const auto* modes = _.GetExecutionModes(entry_point);
|
|
if (!modes || !modes->count(SpvExecutionModeDepthReplacing)) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4216)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec requires DepthReplacing execution mode to be "
|
|
"declared when using BuiltIn FragDepth. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateFragDepthAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateFrontFacingAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateBool(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4231) << "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn FrontFacing "
|
|
"variable needs to be a bool scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateFrontFacingAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateFrontFacingAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4230) << spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn FrontFacing to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4229)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn FrontFacing to be used only with "
|
|
"Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateFrontFacingAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateHelperInvocationAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateBool(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4241)
|
|
<< "According to the Vulkan spec BuiltIn HelperInvocation "
|
|
"variable needs to be a bool scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateHelperInvocationAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateHelperInvocationAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4240)
|
|
<< "Vulkan spec allows BuiltIn HelperInvocation to be only used "
|
|
"for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4239)
|
|
<< "Vulkan spec allows BuiltIn HelperInvocation to be used only "
|
|
"with Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateHelperInvocationAtReference, this,
|
|
decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateInvocationIdAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4259)
|
|
<< "According to the Vulkan spec BuiltIn InvocationId "
|
|
"variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateInvocationIdAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateInvocationIdAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4258)
|
|
<< "Vulkan spec allows BuiltIn InvocationId to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelTessellationControl &&
|
|
execution_model != SpvExecutionModelGeometry) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4257)
|
|
<< "Vulkan spec allows BuiltIn InvocationId to be used only "
|
|
"with TessellationControl or Geometry execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateInvocationIdAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateInstanceIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4265) << "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn InstanceIndex "
|
|
"variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateInstanceIndexAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateInstanceIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4264) << spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn InstanceIndex to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelVertex) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4263)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn InstanceIndex to be used only "
|
|
"with Vertex execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateInstanceIndexAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePatchVerticesAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4310)
|
|
<< "According to the Vulkan spec BuiltIn PatchVertices "
|
|
"variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidatePatchVerticesAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePatchVerticesAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4309)
|
|
<< "Vulkan spec allows BuiltIn PatchVertices to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelTessellationControl &&
|
|
execution_model != SpvExecutionModelTessellationEvaluation) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4308)
|
|
<< "Vulkan spec allows BuiltIn PatchVertices to be used only "
|
|
"with TessellationControl or TessellationEvaluation "
|
|
"execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidatePatchVerticesAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePointCoordAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateF32Vec(
|
|
decoration, inst, 2,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4313)
|
|
<< "According to the Vulkan spec BuiltIn PointCoord "
|
|
"variable needs to be a 2-component 32-bit float "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidatePointCoordAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePointCoordAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4312)
|
|
<< "Vulkan spec allows BuiltIn PointCoord to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4311)
|
|
<< "Vulkan spec allows BuiltIn PointCoord to be used only with "
|
|
"Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidatePointCoordAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePointSizeAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
// Seed at reference checks with this built-in.
|
|
return ValidatePointSizeAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePointSizeAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4316)
|
|
<< "Vulkan spec allows BuiltIn PointSize to be only used for "
|
|
"variables with Input or Output storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassInput) {
|
|
assert(function_id_ == 0);
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, 4315,
|
|
"Vulkan spec doesn't allow BuiltIn PointSize to be used for "
|
|
"variables with Input storage class if execution model is "
|
|
"Vertex.",
|
|
SpvExecutionModelVertex, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
switch (execution_model) {
|
|
case SpvExecutionModelVertex: {
|
|
if (spv_result_t error = ValidateF32(
|
|
decoration, built_in_inst,
|
|
[this, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4317)
|
|
<< "According to the Vulkan spec BuiltIn PointSize "
|
|
"variable needs to be a 32-bit float scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
}
|
|
case SpvExecutionModelTessellationControl:
|
|
case SpvExecutionModelTessellationEvaluation:
|
|
case SpvExecutionModelGeometry:
|
|
case SpvExecutionModelMeshNV: {
|
|
// PointSize can be a per-vertex variable for tessellation control,
|
|
// tessellation evaluation and geometry shader stages. In such cases
|
|
// variables will have an array of 32-bit floats.
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
// The array is on the variable, so this must be a 32-bit float.
|
|
if (spv_result_t error = ValidateF32(
|
|
decoration, built_in_inst,
|
|
[this, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA,
|
|
&referenced_from_inst)
|
|
<< _.VkErrorID(4317)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
"PointSize variable needs to be a 32-bit "
|
|
"float scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
} else {
|
|
if (spv_result_t error = ValidateOptionalArrayedF32(
|
|
decoration, built_in_inst,
|
|
[this, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA,
|
|
&referenced_from_inst)
|
|
<< _.VkErrorID(4317)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
"PointSize variable needs to be a 32-bit "
|
|
"float scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
break;
|
|
}
|
|
|
|
default: {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4314)
|
|
<< "Vulkan spec allows BuiltIn PointSize to be used only with "
|
|
"Vertex, TessellationControl, TessellationEvaluation or "
|
|
"Geometry execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidatePointSizeAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePositionAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
// Seed at reference checks with this built-in.
|
|
return ValidatePositionAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePositionAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "Vulkan spec allows BuiltIn Position to be only used for "
|
|
"variables with Input or Output storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassInput) {
|
|
assert(function_id_ == 0);
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, 4320,
|
|
"Vulkan spec doesn't allow BuiltIn Position to be used "
|
|
"for variables "
|
|
"with Input storage class if execution model is Vertex.",
|
|
SpvExecutionModelVertex, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
switch (execution_model) {
|
|
case SpvExecutionModelVertex: {
|
|
if (spv_result_t error = ValidateF32Vec(
|
|
decoration, built_in_inst, 4,
|
|
[this, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4321)
|
|
<< "According to the Vulkan spec BuiltIn Position "
|
|
"variable needs to be a 4-component 32-bit float "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
}
|
|
case SpvExecutionModelGeometry:
|
|
case SpvExecutionModelTessellationControl:
|
|
case SpvExecutionModelTessellationEvaluation:
|
|
case SpvExecutionModelMeshNV: {
|
|
// Position can be a per-vertex variable for tessellation control,
|
|
// tessellation evaluation, geometry and mesh shader stages. In such
|
|
// cases variables will have an array of 4-component 32-bit float
|
|
// vectors.
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
// The array is on the variable, so this must be a 4-component
|
|
// 32-bit float vector.
|
|
if (spv_result_t error = ValidateF32Vec(
|
|
decoration, built_in_inst, 4,
|
|
[this, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA,
|
|
&referenced_from_inst)
|
|
<< _.VkErrorID(4321)
|
|
<< "According to the Vulkan spec BuiltIn Position "
|
|
"variable needs to be a 4-component 32-bit "
|
|
"float vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
} else {
|
|
if (spv_result_t error = ValidateOptionalArrayedF32Vec(
|
|
decoration, built_in_inst, 4,
|
|
[this, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA,
|
|
&referenced_from_inst)
|
|
<< _.VkErrorID(4321)
|
|
<< "According to the Vulkan spec BuiltIn Position "
|
|
"variable needs to be a 4-component 32-bit "
|
|
"float vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
break;
|
|
}
|
|
|
|
default: {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4318)
|
|
<< "Vulkan spec allows BuiltIn Position to be used only "
|
|
"with Vertex, TessellationControl, TessellationEvaluation"
|
|
" or Geometry execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (spvIsWebGPUEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "WebGPU spec allows BuiltIn Position to be only used for "
|
|
"variables with Output storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
switch (execution_model) {
|
|
case SpvExecutionModelVertex: {
|
|
if (spv_result_t error = ValidateF32Vec(
|
|
decoration, built_in_inst, 4,
|
|
[this, &referenced_from_inst](
|
|
const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "According to the WebGPU spec BuiltIn Position "
|
|
"variable needs to be a 4-component 32-bit float "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
}
|
|
default: {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "WebGPU spec allows BuiltIn Position to be used only "
|
|
"with the Vertex execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidatePositionAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePrimitiveIdAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
// PrimitiveId can be a per-primitive variable for mesh shader stage.
|
|
// In such cases variable will have an array of 32-bit integers.
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
// This must be a 32-bit int scalar.
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4337)
|
|
<< "According to the Vulkan spec BuiltIn PrimitiveId "
|
|
"variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
} else {
|
|
if (spv_result_t error = ValidateOptionalArrayedI32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4337)
|
|
<< "According to the Vulkan spec BuiltIn PrimitiveId "
|
|
"variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidatePrimitiveIdAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePrimitiveIdAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "Vulkan spec allows BuiltIn PrimitiveId to be only used for "
|
|
"variables with Input or Output storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassOutput) {
|
|
assert(function_id_ == 0);
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, 4334,
|
|
"Vulkan spec doesn't allow BuiltIn PrimitiveId to be used for "
|
|
"variables with Output storage class if execution model is "
|
|
"TessellationControl.",
|
|
SpvExecutionModelTessellationControl, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, 4334,
|
|
"Vulkan spec doesn't allow BuiltIn PrimitiveId to be used for "
|
|
"variables with Output storage class if execution model is "
|
|
"TessellationEvaluation.",
|
|
SpvExecutionModelTessellationEvaluation, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, 4334,
|
|
"Vulkan spec doesn't allow BuiltIn PrimitiveId to be used for "
|
|
"variables with Output storage class if execution model is "
|
|
"Fragment.",
|
|
SpvExecutionModelFragment, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, 4334,
|
|
"Vulkan spec doesn't allow BuiltIn PrimitiveId to be used for "
|
|
"variables with Output storage class if execution model is "
|
|
"IntersectionKHR.",
|
|
SpvExecutionModelIntersectionKHR, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, 4334,
|
|
"Vulkan spec doesn't allow BuiltIn PrimitiveId to be used for "
|
|
"variables with Output storage class if execution model is "
|
|
"AnyHitKHR.",
|
|
SpvExecutionModelAnyHitKHR, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, 4334,
|
|
"Vulkan spec doesn't allow BuiltIn PrimitiveId to be used for "
|
|
"variables with Output storage class if execution model is "
|
|
"ClosestHitKHR.",
|
|
SpvExecutionModelClosestHitKHR, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
switch (execution_model) {
|
|
case SpvExecutionModelFragment:
|
|
case SpvExecutionModelTessellationControl:
|
|
case SpvExecutionModelTessellationEvaluation:
|
|
case SpvExecutionModelGeometry:
|
|
case SpvExecutionModelMeshNV:
|
|
case SpvExecutionModelIntersectionKHR:
|
|
case SpvExecutionModelAnyHitKHR:
|
|
case SpvExecutionModelClosestHitKHR: {
|
|
// Ok.
|
|
break;
|
|
}
|
|
|
|
default: {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4330)
|
|
<< "Vulkan spec allows BuiltIn PrimitiveId to be used only "
|
|
"with Fragment, TessellationControl, "
|
|
"TessellationEvaluation, Geometry, MeshNV, "
|
|
"IntersectionKHR, "
|
|
"AnyHitKHR, and ClosestHitKHR execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidatePrimitiveIdAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSampleIdAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4356)
|
|
<< "According to the Vulkan spec BuiltIn SampleId "
|
|
"variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateSampleIdAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSampleIdAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4355)
|
|
<< "Vulkan spec allows BuiltIn SampleId to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4354)
|
|
<< "Vulkan spec allows BuiltIn SampleId to be used only with "
|
|
"Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateSampleIdAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSampleMaskAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32Arr(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4359)
|
|
<< "According to the Vulkan spec BuiltIn SampleMask "
|
|
"variable needs to be a 32-bit int array. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateSampleMaskAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSampleMaskAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4358)
|
|
<< "Vulkan spec allows BuiltIn SampleMask to be only used for "
|
|
"variables with Input or Output storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4357)
|
|
<< "Vulkan spec allows BuiltIn SampleMask to be used only "
|
|
"with "
|
|
"Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateSampleMaskAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSamplePositionAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateF32Vec(
|
|
decoration, inst, 2,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4362)
|
|
<< "According to the Vulkan spec BuiltIn SamplePosition "
|
|
"variable needs to be a 2-component 32-bit float "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateSamplePositionAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSamplePositionAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4361)
|
|
<< "Vulkan spec allows BuiltIn SamplePosition to be only used "
|
|
"for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4360)
|
|
<< "Vulkan spec allows BuiltIn SamplePosition to be used only "
|
|
"with "
|
|
"Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateSamplePositionAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateTessCoordAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateF32Vec(
|
|
decoration, inst, 3,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4389)
|
|
<< "According to the Vulkan spec BuiltIn TessCoord "
|
|
"variable needs to be a 3-component 32-bit float "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateTessCoordAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateTessCoordAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4388)
|
|
<< "Vulkan spec allows BuiltIn TessCoord to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelTessellationEvaluation) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4387)
|
|
<< "Vulkan spec allows BuiltIn TessCoord to be used only with "
|
|
"TessellationEvaluation execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateTessCoordAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateTessLevelOuterAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateF32Arr(
|
|
decoration, inst, 4,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4393)
|
|
<< "According to the Vulkan spec BuiltIn TessLevelOuter "
|
|
"variable needs to be a 4-component 32-bit float "
|
|
"array. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateTessLevelAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateTessLevelInnerAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateF32Arr(
|
|
decoration, inst, 2,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4397)
|
|
<< "According to the Vulkan spec BuiltIn TessLevelOuter "
|
|
"variable needs to be a 2-component 32-bit float "
|
|
"array. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateTessLevelAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateTessLevelAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
uint32_t operand = decoration.params()[0];
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be only used for variables with Input or Output storage "
|
|
"class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassInput) {
|
|
assert(function_id_ == 0);
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, -1,
|
|
"Vulkan spec doesn't allow TessLevelOuter/TessLevelInner to be "
|
|
"used "
|
|
"for variables with Input storage class if execution model is "
|
|
"TessellationControl.",
|
|
SpvExecutionModelTessellationControl, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassOutput) {
|
|
assert(function_id_ == 0);
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateNotCalledWithExecutionModel, this, -1,
|
|
"Vulkan spec doesn't allow TessLevelOuter/TessLevelInner to be "
|
|
"used "
|
|
"for variables with Output storage class if execution model is "
|
|
"TessellationEvaluation.",
|
|
SpvExecutionModelTessellationEvaluation, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
switch (execution_model) {
|
|
case SpvExecutionModelTessellationControl:
|
|
case SpvExecutionModelTessellationEvaluation: {
|
|
// Ok.
|
|
break;
|
|
}
|
|
|
|
default: {
|
|
uint32_t vuid = (operand == SpvBuiltInTessLevelOuter) ? 4390 : 4394;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be used only with TessellationControl or "
|
|
"TessellationEvaluation execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateTessLevelAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateVertexIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4400) << "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn VertexIndex variable needs to be a "
|
|
"32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateVertexIndexAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateVertexIdAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
(void)decoration;
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "Vulkan spec doesn't allow BuiltIn VertexId "
|
|
"to be used.";
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateLocalInvocationIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsWebGPUEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "According to the WebGPU spec BuiltIn "
|
|
"LocalInvocationIndex variable needs to be a 32-bit "
|
|
"int."
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateLocalInvocationIndexAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateLocalInvocationIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsWebGPUEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "WebGPU spec allows BuiltIn LocalInvocationIndex to be only "
|
|
"used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelGLCompute) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "WebGPU spec allows BuiltIn VertexIndex to be used only "
|
|
"with GLCompute execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateLocalInvocationIndexAtReference,
|
|
this, decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateVertexIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4399) << spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn VertexIndex to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelVertex) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4398)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn VertexIndex to be used only with "
|
|
"Vertex execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateVertexIndexAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateLayerOrViewportIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
// This can be a per-primitive variable for mesh shader stage.
|
|
// In such cases variable will have an array of 32-bit integers.
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
// This must be a 32-bit int scalar.
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &decoration,
|
|
&inst](const std::string& message) -> spv_result_t {
|
|
uint32_t vuid =
|
|
(decoration.params()[0] == SpvBuiltInLayer) ? 4276 : 4408;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN, decoration.params()[0])
|
|
<< "variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
} else {
|
|
if (spv_result_t error = ValidateOptionalArrayedI32(
|
|
decoration, inst,
|
|
[this, &decoration,
|
|
&inst](const std::string& message) -> spv_result_t {
|
|
uint32_t vuid =
|
|
(decoration.params()[0] == SpvBuiltInLayer) ? 4276 : 4408;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN, decoration.params()[0])
|
|
<< "variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateLayerOrViewportIndexAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateLayerOrViewportIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
uint32_t operand = decoration.params()[0];
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be only used for variables with Input or Output storage "
|
|
"class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassInput) {
|
|
assert(function_id_ == 0);
|
|
for (const auto em :
|
|
{SpvExecutionModelVertex, SpvExecutionModelTessellationEvaluation,
|
|
SpvExecutionModelGeometry, SpvExecutionModelMeshNV}) {
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateNotCalledWithExecutionModel,
|
|
this, ((operand == SpvBuiltInLayer) ? 4274 : 4406),
|
|
"Vulkan spec doesn't allow BuiltIn Layer and "
|
|
"ViewportIndex to be "
|
|
"used for variables with Input storage class if "
|
|
"execution model is Vertex, TessellationEvaluation, "
|
|
"Geometry, or MeshNV.",
|
|
em, decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
}
|
|
|
|
if (storage_class == SpvStorageClassOutput) {
|
|
assert(function_id_ == 0);
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateNotCalledWithExecutionModel,
|
|
this, ((operand == SpvBuiltInLayer) ? 4275 : 4407),
|
|
"Vulkan spec doesn't allow BuiltIn Layer and "
|
|
"ViewportIndex to be "
|
|
"used for variables with Output storage class if "
|
|
"execution model is "
|
|
"Fragment.",
|
|
SpvExecutionModelFragment, decoration, built_in_inst,
|
|
referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
switch (execution_model) {
|
|
case SpvExecutionModelGeometry:
|
|
case SpvExecutionModelFragment:
|
|
case SpvExecutionModelMeshNV:
|
|
// Ok.
|
|
break;
|
|
case SpvExecutionModelVertex:
|
|
case SpvExecutionModelTessellationEvaluation: {
|
|
if (!_.HasCapability(SpvCapabilityShaderViewportIndexLayerEXT)) {
|
|
if (operand == SpvBuiltInViewportIndex &&
|
|
_.HasCapability(SpvCapabilityShaderViewportIndex))
|
|
break; // Ok
|
|
if (operand == SpvBuiltInLayer &&
|
|
_.HasCapability(SpvCapabilityShaderLayer))
|
|
break; // Ok
|
|
|
|
const char* capability = "ShaderViewportIndexLayerEXT";
|
|
|
|
if (operand == SpvBuiltInViewportIndex)
|
|
capability = "ShaderViewportIndexLayerEXT or ShaderViewportIndex";
|
|
if (operand == SpvBuiltInLayer)
|
|
capability = "ShaderViewportIndexLayerEXT or ShaderLayer";
|
|
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< "Using BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " in Vertex or Tessellation execution model requires the "
|
|
<< capability << " capability.";
|
|
}
|
|
break;
|
|
}
|
|
default: {
|
|
uint32_t vuid = (operand == SpvBuiltInLayer) ? 4272 : 4404;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be used only with Vertex, TessellationEvaluation, "
|
|
"Geometry, or Fragment execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateLayerOrViewportIndexAtReference,
|
|
this, decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateComputeShaderI32Vec3InputAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32Vec(
|
|
decoration, inst, 3,
|
|
[this, &decoration,
|
|
&inst](const std::string& message) -> spv_result_t {
|
|
uint32_t operand = decoration.params()[0];
|
|
uint32_t vuid = 0;
|
|
switch (operand) {
|
|
case SpvBuiltInGlobalInvocationId:
|
|
vuid = 4238;
|
|
break;
|
|
case SpvBuiltInLocalInvocationId:
|
|
vuid = 4283;
|
|
break;
|
|
case SpvBuiltInNumWorkgroups:
|
|
vuid = 4298;
|
|
break;
|
|
case SpvBuiltInWorkgroupId:
|
|
vuid = 4424;
|
|
break;
|
|
};
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid) << "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " variable needs to be a 3-component 32-bit int "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateComputeShaderI32Vec3InputAtReference(decoration, inst, inst,
|
|
inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateComputeShaderI32Vec3InputAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
uint32_t operand = decoration.params()[0];
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
uint32_t vuid = 0;
|
|
switch (operand) {
|
|
case SpvBuiltInGlobalInvocationId:
|
|
vuid = 4237;
|
|
break;
|
|
case SpvBuiltInLocalInvocationId:
|
|
vuid = 4282;
|
|
break;
|
|
case SpvBuiltInNumWorkgroups:
|
|
vuid = 4297;
|
|
break;
|
|
case SpvBuiltInWorkgroupId:
|
|
vuid = 4423;
|
|
break;
|
|
};
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid) << spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
bool has_vulkan_model = execution_model == SpvExecutionModelGLCompute ||
|
|
execution_model == SpvExecutionModelTaskNV ||
|
|
execution_model == SpvExecutionModelMeshNV;
|
|
bool has_webgpu_model = execution_model == SpvExecutionModelGLCompute;
|
|
if ((spvIsVulkanEnv(_.context()->target_env) && !has_vulkan_model) ||
|
|
(spvIsWebGPUEnv(_.context()->target_env) && !has_webgpu_model)) {
|
|
uint32_t vuid = 0;
|
|
switch (operand) {
|
|
case SpvBuiltInGlobalInvocationId:
|
|
vuid = 4236;
|
|
break;
|
|
case SpvBuiltInLocalInvocationId:
|
|
vuid = 4281;
|
|
break;
|
|
case SpvBuiltInNumWorkgroups:
|
|
vuid = 4296;
|
|
break;
|
|
case SpvBuiltInWorkgroupId:
|
|
vuid = 4422;
|
|
break;
|
|
};
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be used only with GLCompute execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateComputeShaderI32Vec3InputAtReference, this,
|
|
decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateComputeI32InputAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " cannot be used as a member decoration ";
|
|
}
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &decoration,
|
|
&inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateComputeI32InputAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateComputeI32InputAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
bool has_vulkan_model = execution_model == SpvExecutionModelGLCompute ||
|
|
execution_model == SpvExecutionModelTaskNV ||
|
|
execution_model == SpvExecutionModelMeshNV;
|
|
if (spvIsVulkanEnv(_.context()->target_env) && !has_vulkan_model) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be used only with GLCompute execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateComputeI32InputAtReference, this,
|
|
decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateI32InputAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " cannot be used as a member decoration ";
|
|
}
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &decoration,
|
|
&inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int. " << message;
|
|
})) {
|
|
return error;
|
|
}
|
|
|
|
const SpvStorageClass storage_class = GetStorageClass(inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, inst, inst, inst) << " "
|
|
<< GetStorageClassDesc(inst);
|
|
}
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateI32Vec4InputAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (decoration.struct_member_index() != Decoration::kInvalidMember) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " cannot be used as a member decoration ";
|
|
}
|
|
if (spv_result_t error = ValidateI32Vec(
|
|
decoration, inst, 4,
|
|
[this, &decoration,
|
|
&inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 4-component 32-bit int "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
|
|
const SpvStorageClass storage_class = GetStorageClass(inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, inst, inst, inst) << " "
|
|
<< GetStorageClassDesc(inst);
|
|
}
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateWorkgroupSizeAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
if (spvIsVulkanEnv(_.context()->target_env) &&
|
|
!spvOpcodeIsConstant(inst.opcode())) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4426)
|
|
<< "Vulkan spec requires BuiltIn WorkgroupSize to be a "
|
|
"constant. "
|
|
<< GetIdDesc(inst) << " is not a constant.";
|
|
}
|
|
|
|
if (spv_result_t error = ValidateI32Vec(
|
|
decoration, inst, 3,
|
|
[this, &inst](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4427) << "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn WorkgroupSize variable needs to be a "
|
|
"3-component 32-bit int vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateWorkgroupSizeAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateWorkgroupSizeAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelGLCompute) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4425)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be used only with GLCompute execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateWorkgroupSizeAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateBaseInstanceOrVertexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
&decoration](const std::string& message) -> spv_result_t {
|
|
uint32_t vuid = (decoration.params()[0] == SpvBuiltInBaseInstance)
|
|
? 4183
|
|
: 4186;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
return ValidateBaseInstanceOrVertexAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateBaseInstanceOrVertexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
uint32_t operand = decoration.params()[0];
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
uint32_t vuid = (operand == SpvBuiltInBaseInstance) ? 4182 : 4185;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelVertex) {
|
|
uint32_t vuid = (operand == SpvBuiltInBaseInstance) ? 4181 : 4184;
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be used only with Vertex execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateBaseInstanceOrVertexAtReference,
|
|
this, decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateDrawIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
&decoration](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4209)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
return ValidateDrawIndexAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateDrawIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
uint32_t operand = decoration.params()[0];
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4208) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelVertex &&
|
|
execution_model != SpvExecutionModelMeshNV &&
|
|
execution_model != SpvExecutionModelTaskNV) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4207) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be used only with Vertex, MeshNV, or TaskNV execution "
|
|
"model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateDrawIndexAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateViewIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
&decoration](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4403)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
return ValidateViewIndexAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateViewIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
uint32_t operand = decoration.params()[0];
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4402) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model == SpvExecutionModelGLCompute) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4401) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be not be used with GLCompute execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateViewIndexAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateDeviceIndexAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
&decoration](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4206)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
return ValidateDeviceIndexAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateDeviceIndexAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
uint32_t operand = decoration.params()[0];
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4205) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
operand)
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateDeviceIndexAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSMBuiltinsAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
&decoration](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "According to the "
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateSMBuiltinsAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSMBuiltinsAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< spvLogStringForEnv(_.context()->target_env)
|
|
<< " spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be only used for "
|
|
"variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateSMBuiltinsAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePrimitiveShadingRateAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
&decoration](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4486)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidatePrimitiveShadingRateAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidatePrimitiveShadingRateAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassOutput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4485) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be only used for variables with Output storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
switch (execution_model) {
|
|
case SpvExecutionModelVertex:
|
|
case SpvExecutionModelGeometry:
|
|
case SpvExecutionModelMeshNV:
|
|
break;
|
|
default: {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4484) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be used only with Vertex, Geometry, or MeshNV "
|
|
"execution models. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidatePrimitiveShadingRateAtReference,
|
|
this, decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateShadingRateAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
&decoration](const std::string& message) -> spv_result_t {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(4492)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateShadingRateAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateShadingRateAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4491) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (execution_model != SpvExecutionModelFragment) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(4490) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be used only with the Fragment execution model. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(std::bind(
|
|
&BuiltInsValidator::ValidateShadingRateAtReference, this, decoration,
|
|
built_in_inst, referenced_from_inst, std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateRayTracingBuiltinsAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvBuiltIn builtin = SpvBuiltIn(decoration.params()[0]);
|
|
switch (builtin) {
|
|
case SpvBuiltInHitTNV:
|
|
case SpvBuiltInRayTminKHR:
|
|
case SpvBuiltInRayTmaxKHR:
|
|
// f32 scalar
|
|
if (spv_result_t error = ValidateF32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
builtin](const std::string& message) -> spv_result_t {
|
|
uint32_t vuid = GetVUIDForRTBuiltin(builtin, VUIDErrorType);
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN, builtin)
|
|
<< " variable needs to be a 32-bit float scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
case SpvBuiltInHitKindKHR:
|
|
case SpvBuiltInInstanceCustomIndexKHR:
|
|
case SpvBuiltInInstanceId:
|
|
case SpvBuiltInRayGeometryIndexKHR:
|
|
case SpvBuiltInIncomingRayFlagsKHR:
|
|
// i32 scalar
|
|
if (spv_result_t error = ValidateI32(
|
|
decoration, inst,
|
|
[this, &inst,
|
|
builtin](const std::string& message) -> spv_result_t {
|
|
uint32_t vuid = GetVUIDForRTBuiltin(builtin, VUIDErrorType);
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN, builtin)
|
|
<< " variable needs to be a 32-bit int scalar. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
case SpvBuiltInObjectRayDirectionKHR:
|
|
case SpvBuiltInObjectRayOriginKHR:
|
|
case SpvBuiltInWorldRayDirectionKHR:
|
|
case SpvBuiltInWorldRayOriginKHR:
|
|
// f32 vec3
|
|
if (spv_result_t error = ValidateF32Vec(
|
|
decoration, inst, 3,
|
|
[this, &inst,
|
|
builtin](const std::string& message) -> spv_result_t {
|
|
uint32_t vuid = GetVUIDForRTBuiltin(builtin, VUIDErrorType);
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN, builtin)
|
|
<< " variable needs to be a 3-component 32-bit float "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
case SpvBuiltInLaunchIdKHR:
|
|
case SpvBuiltInLaunchSizeKHR:
|
|
// i32 vec3
|
|
if (spv_result_t error = ValidateI32Vec(
|
|
decoration, inst, 3,
|
|
[this, &inst,
|
|
builtin](const std::string& message) -> spv_result_t {
|
|
uint32_t vuid = GetVUIDForRTBuiltin(builtin, VUIDErrorType);
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN, builtin)
|
|
<< " variable needs to be a 3-component 32-bit int "
|
|
"vector. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
case SpvBuiltInObjectToWorldKHR:
|
|
case SpvBuiltInWorldToObjectKHR:
|
|
// f32 mat4x3
|
|
if (spv_result_t error = ValidateF32Mat(
|
|
decoration, inst, 3, 4,
|
|
[this, &inst,
|
|
builtin](const std::string& message) -> spv_result_t {
|
|
uint32_t vuid = GetVUIDForRTBuiltin(builtin, VUIDErrorType);
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< _.VkErrorID(vuid)
|
|
<< "According to the Vulkan spec BuiltIn "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_BUILT_IN, builtin)
|
|
<< " variable needs to be a matrix with"
|
|
<< " 4 columns of 3-component vectors of 32-bit "
|
|
"floats. "
|
|
<< message;
|
|
})) {
|
|
return error;
|
|
}
|
|
break;
|
|
default:
|
|
assert(0 && "Unexpected ray tracing builtin");
|
|
break;
|
|
}
|
|
}
|
|
|
|
// Seed at reference checks with this built-in.
|
|
return ValidateRayTracingBuiltinsAtReference(decoration, inst, inst, inst);
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateRayTracingBuiltinsAtReference(
|
|
const Decoration& decoration, const Instruction& built_in_inst,
|
|
const Instruction& referenced_inst,
|
|
const Instruction& referenced_from_inst) {
|
|
if (spvIsVulkanEnv(_.context()->target_env)) {
|
|
const SpvBuiltIn builtin = SpvBuiltIn(decoration.params()[0]);
|
|
const SpvStorageClass storage_class = GetStorageClass(referenced_from_inst);
|
|
if (storage_class != SpvStorageClassMax &&
|
|
storage_class != SpvStorageClassInput) {
|
|
uint32_t vuid = GetVUIDForRTBuiltin(builtin, VUIDErrorStorageClass);
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid) << "Vulkan spec allows BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be only used for variables with Input storage class. "
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst)
|
|
<< " " << GetStorageClassDesc(referenced_from_inst);
|
|
}
|
|
|
|
for (const SpvExecutionModel execution_model : execution_models_) {
|
|
if (!IsExecutionModelValidForRtBuiltIn(builtin, execution_model)) {
|
|
uint32_t vuid = GetVUIDForRTBuiltin(builtin, VUIDErrorExecutionModel);
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &referenced_from_inst)
|
|
<< _.VkErrorID(vuid) << "Vulkan spec does not allow BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0])
|
|
<< " to be used with the execution model "
|
|
<< _.grammar().lookupOperandName(
|
|
SPV_OPERAND_TYPE_EXECUTION_MODEL, execution_model)
|
|
<< ".\n"
|
|
<< GetReferenceDesc(decoration, built_in_inst, referenced_inst,
|
|
referenced_from_inst, execution_model);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (function_id_ == 0) {
|
|
// Propagate this rule to all dependant ids in the global scope.
|
|
id_to_at_reference_checks_[referenced_from_inst.id()].push_back(
|
|
std::bind(&BuiltInsValidator::ValidateRayTracingBuiltinsAtReference,
|
|
this, decoration, built_in_inst, referenced_from_inst,
|
|
std::placeholders::_1));
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateSingleBuiltInAtDefinition(
|
|
const Decoration& decoration, const Instruction& inst) {
|
|
const SpvBuiltIn label = SpvBuiltIn(decoration.params()[0]);
|
|
|
|
// Builtins can only be applied to variables, structures or constants.
|
|
auto target_opcode = inst.opcode();
|
|
if (target_opcode != SpvOpTypeStruct && target_opcode != SpvOpVariable &&
|
|
!spvOpcodeIsConstant(target_opcode)) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "BuiltIns can only target variables, structs or constants";
|
|
}
|
|
|
|
if (!spvIsVulkanOrWebGPUEnv(_.context()->target_env)) {
|
|
// Early return. All currently implemented rules are based on Vulkan or
|
|
// WebGPU spec.
|
|
//
|
|
// TODO: If you are adding validation rules for environments other than
|
|
// Vulkan or WebGPU (or general rules which are not environment
|
|
// independent), then you need to modify or remove this condition. Consider
|
|
// also adding early returns into BuiltIn-specific rules, so that the system
|
|
// doesn't spawn new rules which don't do anything.
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
if (spvIsWebGPUEnv(_.context()->target_env) &&
|
|
!IsBuiltInValidForWebGPU(label)) {
|
|
return _.diag(SPV_ERROR_INVALID_DATA, &inst)
|
|
<< "WebGPU does not allow BuiltIn "
|
|
<< _.grammar().lookupOperandName(SPV_OPERAND_TYPE_BUILT_IN,
|
|
decoration.params()[0]);
|
|
}
|
|
|
|
// If you are adding a new BuiltIn enum, please register it here.
|
|
// If the newly added enum has validation rules associated with it
|
|
// consider leaving a TODO and/or creating an issue.
|
|
switch (label) {
|
|
case SpvBuiltInClipDistance:
|
|
case SpvBuiltInCullDistance: {
|
|
return ValidateClipOrCullDistanceAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInFragCoord: {
|
|
return ValidateFragCoordAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInFragDepth: {
|
|
return ValidateFragDepthAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInFrontFacing: {
|
|
return ValidateFrontFacingAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInGlobalInvocationId:
|
|
case SpvBuiltInLocalInvocationId:
|
|
case SpvBuiltInNumWorkgroups:
|
|
case SpvBuiltInWorkgroupId: {
|
|
return ValidateComputeShaderI32Vec3InputAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInHelperInvocation: {
|
|
return ValidateHelperInvocationAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInInvocationId: {
|
|
return ValidateInvocationIdAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInInstanceIndex: {
|
|
return ValidateInstanceIndexAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInLayer:
|
|
case SpvBuiltInViewportIndex: {
|
|
return ValidateLayerOrViewportIndexAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInPatchVertices: {
|
|
return ValidatePatchVerticesAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInPointCoord: {
|
|
return ValidatePointCoordAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInPointSize: {
|
|
return ValidatePointSizeAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInPosition: {
|
|
return ValidatePositionAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInPrimitiveId: {
|
|
return ValidatePrimitiveIdAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInSampleId: {
|
|
return ValidateSampleIdAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInSampleMask: {
|
|
return ValidateSampleMaskAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInSamplePosition: {
|
|
return ValidateSamplePositionAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInSubgroupId:
|
|
case SpvBuiltInNumSubgroups: {
|
|
return ValidateComputeI32InputAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInSubgroupLocalInvocationId:
|
|
case SpvBuiltInSubgroupSize: {
|
|
return ValidateI32InputAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInSubgroupEqMask:
|
|
case SpvBuiltInSubgroupGeMask:
|
|
case SpvBuiltInSubgroupGtMask:
|
|
case SpvBuiltInSubgroupLeMask:
|
|
case SpvBuiltInSubgroupLtMask: {
|
|
return ValidateI32Vec4InputAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInTessCoord: {
|
|
return ValidateTessCoordAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInTessLevelOuter: {
|
|
return ValidateTessLevelOuterAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInTessLevelInner: {
|
|
return ValidateTessLevelInnerAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInVertexIndex: {
|
|
return ValidateVertexIndexAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInWorkgroupSize: {
|
|
return ValidateWorkgroupSizeAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInVertexId: {
|
|
return ValidateVertexIdAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInLocalInvocationIndex: {
|
|
return ValidateLocalInvocationIndexAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInWarpsPerSMNV:
|
|
case SpvBuiltInSMCountNV:
|
|
case SpvBuiltInWarpIDNV:
|
|
case SpvBuiltInSMIDNV: {
|
|
return ValidateSMBuiltinsAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInBaseInstance:
|
|
case SpvBuiltInBaseVertex: {
|
|
return ValidateBaseInstanceOrVertexAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInDrawIndex: {
|
|
return ValidateDrawIndexAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInViewIndex: {
|
|
return ValidateViewIndexAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInDeviceIndex: {
|
|
return ValidateDeviceIndexAtDefinition(decoration, inst);
|
|
}
|
|
// Ray tracing builtins
|
|
case SpvBuiltInHitKindKHR: // alias SpvBuiltInHitKindNV
|
|
case SpvBuiltInHitTNV: // NOT present in KHR
|
|
case SpvBuiltInInstanceId:
|
|
case SpvBuiltInLaunchIdKHR: // alias SpvBuiltInLaunchIdNV
|
|
case SpvBuiltInLaunchSizeKHR: // alias SpvBuiltInLaunchSizeNV
|
|
case SpvBuiltInWorldRayOriginKHR: // alias SpvBuiltInWorldRayOriginNV
|
|
case SpvBuiltInWorldRayDirectionKHR: // alias SpvBuiltInWorldRayDirectionNV
|
|
case SpvBuiltInObjectRayOriginKHR: // alias SpvBuiltInObjectRayOriginNV
|
|
case SpvBuiltInObjectRayDirectionKHR: // alias
|
|
// SpvBuiltInObjectRayDirectionNV
|
|
case SpvBuiltInRayTminKHR: // alias SpvBuiltInRayTminNV
|
|
case SpvBuiltInRayTmaxKHR: // alias SpvBuiltInRayTmaxNV
|
|
case SpvBuiltInInstanceCustomIndexKHR: // alias
|
|
// SpvBuiltInInstanceCustomIndexNV
|
|
case SpvBuiltInObjectToWorldKHR: // alias SpvBuiltInObjectToWorldNV
|
|
case SpvBuiltInWorldToObjectKHR: // alias SpvBuiltInWorldToObjectNV
|
|
case SpvBuiltInIncomingRayFlagsKHR: // alias SpvBuiltInIncomingRayFlagsNV
|
|
case SpvBuiltInRayGeometryIndexKHR: { // NOT present in NV
|
|
return ValidateRayTracingBuiltinsAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInWorkDim:
|
|
case SpvBuiltInGlobalSize:
|
|
case SpvBuiltInEnqueuedWorkgroupSize:
|
|
case SpvBuiltInGlobalOffset:
|
|
case SpvBuiltInGlobalLinearId:
|
|
case SpvBuiltInSubgroupMaxSize:
|
|
case SpvBuiltInNumEnqueuedSubgroups:
|
|
case SpvBuiltInBaryCoordNoPerspAMD:
|
|
case SpvBuiltInBaryCoordNoPerspCentroidAMD:
|
|
case SpvBuiltInBaryCoordNoPerspSampleAMD:
|
|
case SpvBuiltInBaryCoordSmoothAMD:
|
|
case SpvBuiltInBaryCoordSmoothCentroidAMD:
|
|
case SpvBuiltInBaryCoordSmoothSampleAMD:
|
|
case SpvBuiltInBaryCoordPullModelAMD:
|
|
case SpvBuiltInFragStencilRefEXT:
|
|
case SpvBuiltInViewportMaskNV:
|
|
case SpvBuiltInSecondaryPositionNV:
|
|
case SpvBuiltInSecondaryViewportMaskNV:
|
|
case SpvBuiltInPositionPerViewNV:
|
|
case SpvBuiltInViewportMaskPerViewNV:
|
|
case SpvBuiltInFullyCoveredEXT:
|
|
case SpvBuiltInMax:
|
|
case SpvBuiltInTaskCountNV:
|
|
case SpvBuiltInPrimitiveCountNV:
|
|
case SpvBuiltInPrimitiveIndicesNV:
|
|
case SpvBuiltInClipDistancePerViewNV:
|
|
case SpvBuiltInCullDistancePerViewNV:
|
|
case SpvBuiltInLayerPerViewNV:
|
|
case SpvBuiltInMeshViewCountNV:
|
|
case SpvBuiltInMeshViewIndicesNV:
|
|
case SpvBuiltInBaryCoordNV:
|
|
case SpvBuiltInBaryCoordNoPerspNV:
|
|
case SpvBuiltInFragmentSizeNV: // alias SpvBuiltInFragSizeEXT
|
|
case SpvBuiltInInvocationsPerPixelNV: // alias
|
|
// SpvBuiltInFragInvocationCountEXT
|
|
// No validation rules (for the moment).
|
|
break;
|
|
|
|
case SpvBuiltInPrimitiveShadingRateKHR: {
|
|
return ValidatePrimitiveShadingRateAtDefinition(decoration, inst);
|
|
}
|
|
case SpvBuiltInShadingRateKHR: {
|
|
return ValidateShadingRateAtDefinition(decoration, inst);
|
|
}
|
|
}
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::ValidateBuiltInsAtDefinition() {
|
|
for (const auto& kv : _.id_decorations()) {
|
|
const uint32_t id = kv.first;
|
|
const auto& decorations = kv.second;
|
|
if (decorations.empty()) {
|
|
continue;
|
|
}
|
|
|
|
const Instruction* inst = _.FindDef(id);
|
|
assert(inst);
|
|
|
|
for (const auto& decoration : kv.second) {
|
|
if (decoration.dec_type() != SpvDecorationBuiltIn) {
|
|
continue;
|
|
}
|
|
|
|
if (spv_result_t error =
|
|
ValidateSingleBuiltInAtDefinition(decoration, *inst)) {
|
|
return error;
|
|
}
|
|
}
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
spv_result_t BuiltInsValidator::Run() {
|
|
// First pass: validate all built-ins at definition and seed
|
|
// id_to_at_reference_checks_ with built-ins.
|
|
if (auto error = ValidateBuiltInsAtDefinition()) {
|
|
return error;
|
|
}
|
|
|
|
if (id_to_at_reference_checks_.empty()) {
|
|
// No validation tasks were seeded. Nothing else to do.
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
// Second pass: validate every id reference in the module using
|
|
// rules in id_to_at_reference_checks_.
|
|
for (const Instruction& inst : _.ordered_instructions()) {
|
|
Update(inst);
|
|
|
|
std::set<uint32_t> already_checked;
|
|
|
|
for (const auto& operand : inst.operands()) {
|
|
if (!spvIsIdType(operand.type)) {
|
|
// Not id.
|
|
continue;
|
|
}
|
|
|
|
const uint32_t id = inst.word(operand.offset);
|
|
if (id == inst.id()) {
|
|
// No need to check result id.
|
|
continue;
|
|
}
|
|
|
|
if (!already_checked.insert(id).second) {
|
|
// The instruction has already referenced this id.
|
|
continue;
|
|
}
|
|
|
|
// Instruction references the id. Run all checks associated with the id
|
|
// on the instruction. id_to_at_reference_checks_ can be modified in the
|
|
// process, iterators are safe because it's a tree-based map.
|
|
const auto it = id_to_at_reference_checks_.find(id);
|
|
if (it != id_to_at_reference_checks_.end()) {
|
|
for (const auto& check : it->second) {
|
|
if (spv_result_t error = check(inst)) {
|
|
return error;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
return SPV_SUCCESS;
|
|
}
|
|
|
|
} // namespace
|
|
|
|
// Validates correctness of built-in variables.
|
|
spv_result_t ValidateBuiltIns(ValidationState_t& _) {
|
|
BuiltInsValidator validator(_);
|
|
return validator.Run();
|
|
}
|
|
|
|
} // namespace val
|
|
} // namespace spvtools
|