StandaloneSpirv

VUID-StandaloneSpirv-OpControlBarrier-04682

If OpControlBarrier is used in ray generation, intersection, any-hit, closest hit, miss, fragment, vertex, tessellation evaluation, or geometry shaders, the execution Scope must be Subgroup

VUID-StandaloneSpirv-LocalSize-06426

For each compute shader entry point, either a LocalSize or LocalSizeId Execution Mode, or an object decorated with the WorkgroupSize decoration must be specified

VUID-StandaloneSpirv-DerivativeGroupQuadsNV-04684

For compute shaders using the DerivativeGroupQuadsNV execution mode, the first two dimensions of the local workgroup size must be a multiple of two

VUID-StandaloneSpirv-DerivativeGroupLinearNV-04778

For compute shaders using the DerivativeGroupLinearNV execution mode, the product of the dimensions of the local workgroup size must be a multiple of four

VUID-StandaloneSpirv-DerivativeGroupQuadsKHR-10151

For compute, mesh, or task shaders using the DerivativeGroupQuadsKHR execution mode, the first two dimensions of the local workgroup size must be a multiple of two

VUID-StandaloneSpirv-DerivativeGroupLinearKHR-10152

For compute, mesh, or task shaders using the DerivativeGroupLinearKHR execution mode, the product of the dimensions of the local workgroup size must be a multiple of four

VUID-StandaloneSpirv-OpGroupNonUniformBallotBitCount-04685

If OpGroupNonUniformBallotBitCount is used, the group operation must be limited to Reduce, InclusiveScan, or ExclusiveScan

VUID-StandaloneSpirv-None-04686

The Pointer operand of all atomic instructions must have a Storage Class limited to Uniform, Workgroup, Image, StorageBuffer, PhysicalStorageBuffer, or TaskPayloadWorkgroupEXT

VUID-StandaloneSpirv-Offset-04687

Output variables or block members decorated with Offset that have a 64-bit type, or a composite type containing a 64-bit type, must specify an Offset value aligned to a 8 byte boundary

VUID-StandaloneSpirv-Offset-04689

The size of any output block containing any member decorated with Offset that is a 64-bit type must be a multiple of 8

VUID-StandaloneSpirv-Offset-04690

The first member of an output block specifying a Offset decoration must specify a Offset value that is aligned to an 8 byte boundary if that block contains any member decorated with Offset and is a 64-bit type

VUID-StandaloneSpirv-Offset-04691

Output variables or block members decorated with Offset that have a 32-bit type, or a composite type contains a 32-bit type, must specify an Offset value aligned to a 4 byte boundary

VUID-StandaloneSpirv-Offset-04692

Output variables, blocks or block members decorated with Offsetmust only contain base types that have components that are either 32-bit or 64-bit in size

VUID-StandaloneSpirv-Offset-04716

Only variables or block members in the output interface decorated with Offset can be captured for transform feedback, and those variables or block members must also be decorated with XfbBuffer and XfbStride, or inherit XfbBuffer and XfbStride decorations from a block containing them

VUID-StandaloneSpirv-XfbBuffer-04693

All variables or block members in the output interface of the entry point being compiled decorated with a specific XfbBuffer value must all be decorated with identical XfbStride values

VUID-StandaloneSpirv-Stream-04694

If any variables or block members in the output interface of the entry point being compiled are decorated with Stream, then all variables belonging to the same XfbBuffer must specify the same Stream value

VUID-StandaloneSpirv-XfbBuffer-04696

For any two variables or block members in the output interface of the entry point being compiled with the same XfbBuffer value, the ranges determined by the Offset decoration and the size of the type must not overlap

VUID-StandaloneSpirv-XfbBuffer-04697

All block members in the output interface of the entry point being compiled that are in the same block and have a declared or inherited XfbBuffer decoration must specify the same XfbBuffer value

VUID-StandaloneSpirv-RayPayloadKHR-04698

RayPayloadKHR Storage Class must only be used in ray generation, closest hit or miss shaders

VUID-StandaloneSpirv-IncomingRayPayloadKHR-04699

IncomingRayPayloadKHR Storage Class must only be used in closest hit, any-hit, or miss shaders

VUID-StandaloneSpirv-IncomingRayPayloadKHR-04700

There must be at most one variable with the IncomingRayPayloadKHR

Storage Class in the input interface of an entry point

VUID-StandaloneSpirv-HitAttributeKHR-04701

HitAttributeKHR Storage Class must only be used in intersection, any-hit, or closest hit shaders

VUID-StandaloneSpirv-HitAttributeKHR-04702

There must be at most one variable with the HitAttributeKHR

Storage Class in the input interface of an entry point

VUID-StandaloneSpirv-HitAttributeKHR-04703

A variable with HitAttributeKHR Storage Class must only be written to in an intersection shader

VUID-StandaloneSpirv-CallableDataKHR-04704

CallableDataKHR Storage Class must only be used in ray generation, closest hit, miss, and callable shaders

VUID-StandaloneSpirv-IncomingCallableDataKHR-04705

IncomingCallableDataKHR Storage Class must only be used in callable shaders

VUID-StandaloneSpirv-IncomingCallableDataKHR-04706

There must be at most one variable with the IncomingCallableDataKHR Storage Class in the input interface of an entry point

VUID-StandaloneSpirv-ShaderRecordBufferKHR-07119

ShaderRecordBufferKHR Storage Class must only be used in ray generation, intersection, any-hit, closest hit, callable, or miss shaders

VUID-StandaloneSpirv-Base-07650

The Base operand of OpPtrAccessChain must have a storage class of Workgroup, StorageBuffer, or PhysicalStorageBuffer

VUID-StandaloneSpirv-Base-07651

If the Base operand of OpPtrAccessChain has a Workgroup

Storage Class, then the VariablePointers capability must be declared

VUID-StandaloneSpirv-Base-07652

If the Base operand of OpPtrAccessChain has a StorageBuffer Storage Class, then the VariablePointers or VariablePointersStorageBuffer capability must be declared

VUID-StandaloneSpirv-PhysicalStorageBuffer64-04708

If the PhysicalStorageBuffer64 addressing model is enabled, all instructions that support memory access operands and that use a physical pointer must include the Aligned operand

VUID-StandaloneSpirv-PhysicalStorageBuffer64-04709

If the PhysicalStorageBuffer64 addressing model is enabled, any access chain instruction that accesses into a RowMajor matrix must only be used as the Pointer operand to OpLoad or OpStore

VUID-StandaloneSpirv-PhysicalStorageBuffer64-04710

If the PhysicalStorageBuffer64 addressing model is enabled, OpConvertUToPtr and OpConvertPtrToU must use an integer type whose Width is 64

VUID-StandaloneSpirv-OpTypeForwardPointer-04711

OpTypeForwardPointer must have a Storage Class of PhysicalStorageBuffer

VUID-StandaloneSpirv-None-04745

All block members in a variable with a Storage Class of PushConstant declared as an array must only be accessed by dynamically uniform indices

VUID-StandaloneSpirv-OpVariable-06673

There must not be more than one OpVariable in the PushConstant Storage Class listed in the Interface for each OpEntryPoint

VUID-StandaloneSpirv-OpEntryPoint-06674

Each OpEntryPoint must not statically use more than one OpVariable in the PushConstant Storage Class

VUID-StandaloneSpirv-OpEntryPoint-08721

Each OpEntryPoint must not have more than one Input variable assigned the same Component word inside a Location slot, either explicitly or implicitly

VUID-StandaloneSpirv-OpEntryPoint-08722

Each OpEntryPoint must not have more than one Output variable assigned the same Component word inside a Location slot, either explicitly or implicitly

VUID-StandaloneSpirv-Result-04780

The Result Type operand of any OpImageRead or OpImageSparseRead instruction must be a vector of four components

VUID-StandaloneSpirv-Base-04781

The Base operand of any OpBitCount, OpBitReverse, OpBitFieldInsert, OpBitFieldSExtract, or OpBitFieldUExtract instruction must be a 32-bit integer scalar or a vector of 32-bit integers

VUID-StandaloneSpirv-PushConstant-06675

Any variable in the PushConstant or StorageBuffer storage class must be decorated as Block

VUID-StandaloneSpirv-Uniform-06676

Any variable in the Uniform Storage Class must be decorated as Block or BufferBlock

VUID-StandaloneSpirv-UniformConstant-06677

Any variable in the UniformConstant, StorageBuffer, or Uniform Storage Class must be decorated with DescriptorSet and Binding

VUID-StandaloneSpirv-InputAttachmentIndex-06678

Variables decorated with InputAttachmentIndex must be in the UniformConstant Storage Class

VUID-StandaloneSpirv-DescriptorSet-06491

If a variable is decorated by DescriptorSet or Binding, the Storage Class must correspond to an entry in Shader Resource and Storage Class Correspondence

VUID-StandaloneSpirv-Input-06778

Variables with a Storage Class of Input in a fragment shader stage that are decorated with PerVertexKHR must be declared as arrays

VUID-StandaloneSpirv-MeshEXT-07102

The module must not contain both an entry point that uses the TaskEXT or MeshEXT Execution Model and an entry point that uses the TaskNV or MeshNV Execution Model

VUID-StandaloneSpirv-MeshEXT-07106

In mesh shaders using the MeshEXT Execution Model

OpSetMeshOutputsEXT must be called before any outputs are written

VUID-StandaloneSpirv-MeshEXT-07107

In mesh shaders using the MeshEXT Execution Model all variables declared as output must not be read from

VUID-StandaloneSpirv-MeshEXT-07108

In mesh shaders using the MeshEXT Execution Model for OpSetMeshOutputsEXT instructions, the Vertex Count and Primitive Count operands must not depend on ViewIndex

VUID-StandaloneSpirv-MeshEXT-07109

In mesh shaders using the MeshEXT Execution Model variables decorated with PrimitivePointIndicesEXT, PrimitiveLineIndicesEXT, or PrimitiveTriangleIndicesEXT declared as an array must not be accessed by indices that depend on ViewIndex

VUID-StandaloneSpirv-MeshEXT-07110

In mesh shaders using the MeshEXT Execution Model any values stored in variables decorated with PrimitivePointIndicesEXT, PrimitiveLineIndicesEXT, or PrimitiveTriangleIndicesEXT must not depend on ViewIndex

VUID-StandaloneSpirv-MeshEXT-07111

In mesh shaders using the MeshEXT Execution Model variables in workgroup or private Storage Class declared as or containing a composite type must not be accessed by indices that depend on ViewIndex

VUID-StandaloneSpirv-MeshEXT-07330

In mesh shaders using the MeshEXT Execution Model the OutputVertices Execution Mode must be greater than 0

VUID-StandaloneSpirv-MeshEXT-07331

In mesh shaders using the MeshEXT Execution Model the OutputPrimitivesEXT Execution Mode must be greater than 0

VUID-StandaloneSpirv-Input-07290

Variables with a Storage Class of Input or Output and a type of OpTypeBool must be decorated with the BuiltIn decoration

VUID-StandaloneSpirv-TileImageEXT-08723

The tile image variable declarations must obey the constraints on the TileImageEXT Storage Class and the Location decoration described in Fragment Tile Image Interface

VUID-StandaloneSpirv-None-08724

The TileImageEXT Storage Class must only be used for declaring tile image variables

VUID-StandaloneSpirv-Pointer-08973

The Storage Class of the Pointer operand to OpCooperativeMatrixLoadKHR or OpCooperativeMatrixStoreKHRmust be limited to Workgroup, StorageBuffer, or PhysicalStorageBuffer

VUID-StandaloneSpirv-UniformBufferArrayDynamicIndexing-10127

If the UniformBufferArrayDynamicIndexing capability is not declared, and an instruction accesses memory through a uniform buffer, the uniform buffer through which that memory is accessed must be determined by constant integral expressions

VUID-StandaloneSpirv-SampledImageArrayDynamicIndexing-10128

If the SampledImageArrayDynamicIndexing capability is not declared, and an instruction accesses memory through a sampled image or sampler, the sampled image or sampler through which that memory is accessed must be determined by constant integral expressions

VUID-StandaloneSpirv-StorageBufferArrayDynamicIndexing-10129

If the StorageBufferArrayDynamicIndexing capability is not declared, and an instruction accesses memory through a storage buffer, the storage buffer through which that memory is accessed must be determined by constant integral expressions

VUID-StandaloneSpirv-StorageImageArrayDynamicIndexing-10130

If the StorageImageArrayDynamicIndexing capability is not declared, and an instruction accesses memory through a storage image, the storage image through which that memory is accessed must be determined by constant integral expressions

VUID-StandaloneSpirv-InputAttachmentArrayDynamicIndexing-10131

If the InputAttachmentArrayDynamicIndexing capability is not declared, and an instruction accesses memory through an input attachment, the input attachmnet through which that memory is accessed must be determined by constant integral expressions

VUID-StandaloneSpirv-UniformTexelBufferArrayDynamicIndexing-10132

If the UniformTexelBufferArrayDynamicIndexing capability is not declared, and an instruction accesses memory through a uniform texel buffer, the uniform texel buffer through which that memory is accessed must be determined by constant integral expressions

VUID-StandaloneSpirv-StorageTexelBufferArrayDynamicIndexing-10133

If the StorageTexelBufferArrayDynamicIndexing capability is not declared, and an instruction accesses memory through a storage texel buffer, the storage texel buffer through which that memory is accessed must be determined by constant integral expressions