// Copyright 2019-2021 The Khronos Group Inc.
//
// SPDX-License-Identifier: CC-BY-4.0

// Common Valid Usage
// Common to all dispatch and drawing commands
  * [[VUID-{refpage}-magFilter-04553]]
    If a slink:VkSampler created with pname:magFilter or pname:minFilter
    equal to ename:VK_FILTER_LINEAR and pname:compareEnable equal to
    ename:VK_FALSE is used to sample a slink:VkImageView as a result of this
    command, then the image view's
    <<resources-image-view-format-features,format features>> must: contain
    ename:VK_FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT
  * [[VUID-{refpage}-mipmapMode-04770]]
    If a slink:VkSampler created with pname:mipmapMode equal to
    ename:VK_SAMPLER_MIPMAP_MODE_LINEAR and pname:compareEnable equal to
    ename:VK_FALSE is used to sample a slink:VkImageView as a result of this
    command, then the image view's
    <<resources-image-view-format-features,format features>> must: contain
    ename:VK_FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT
  * [[VUID-{refpage}-None-02691]]
    If a sname:VkImageView is accessed using atomic operations as a result
    of this command, then the image view's
    <<resources-image-view-format-features,format features>> must: contain
    ename:VK_FORMAT_FEATURE_STORAGE_IMAGE_ATOMIC_BIT
ifdef::VK_IMG_filter_cubic,VK_EXT_filter_cubic[]
  * [[VUID-{refpage}-None-02692]]
    If a sname:VkImageView is sampled with ename:VK_FILTER_CUBIC_EXT as a
    result of this command, then the image view's
    <<resources-image-view-format-features,format features>> must: contain
    ename:VK_FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_CUBIC_BIT_EXT
ifndef::VK_EXT_filter_cubic[]
  * [[VUID-{refpage}-None-02693]]
    Any slink:VkImageView being sampled with ename:VK_FILTER_CUBIC_EXT as a
    result of this command must: not have a elink:VkImageViewType of
    ename:VK_IMAGE_VIEW_TYPE_3D, ename:VK_IMAGE_VIEW_TYPE_CUBE, or
    ename:VK_IMAGE_VIEW_TYPE_CUBE_ARRAY
endif::VK_EXT_filter_cubic[]
ifdef::VK_EXT_filter_cubic[]
  * [[VUID-{refpage}-filterCubic-02694]]
    Any slink:VkImageView being sampled with ename:VK_FILTER_CUBIC_EXT as a
    result of this command must: have a elink:VkImageViewType and format
    that supports cubic filtering, as specified by
    sname:VkFilterCubicImageViewImageFormatPropertiesEXT::pname:filterCubic
    returned by fname:vkGetPhysicalDeviceImageFormatProperties2
  * [[VUID-{refpage}-filterCubicMinmax-02695]]
    Any slink:VkImageView being sampled with ename:VK_FILTER_CUBIC_EXT with
    a reduction mode of either ename:VK_SAMPLER_REDUCTION_MODE_MIN or
    ename:VK_SAMPLER_REDUCTION_MODE_MAX as a result of this command must:
    have a elink:VkImageViewType and format that supports cubic filtering
    together with minmax filtering, as specified by
    sname:VkFilterCubicImageViewImageFormatPropertiesEXT::pname:filterCubicMinmax
    returned by fname:vkGetPhysicalDeviceImageFormatProperties2
endif::VK_EXT_filter_cubic[]
endif::VK_IMG_filter_cubic,VK_EXT_filter_cubic[]
ifdef::VK_NV_corner_sampled_image[]
  * [[VUID-{refpage}-flags-02696]]
    Any slink:VkImage created with a slink:VkImageCreateInfo::pname:flags
    containing ename:VK_IMAGE_CREATE_CORNER_SAMPLED_BIT_NV sampled as a
    result of this command must: only be sampled using a
    elink:VkSamplerAddressMode of
    ename:VK_SAMPLER_ADDRESS_MODE_CLAMP_TO_EDGE
endif::VK_NV_corner_sampled_image[]
ifdef::VK_KHR_format_feature_flags2[]
  * [[VUID-{refpage}-OpTypeImage-06423]]
    Any slink:VkImageView or slink:VkBufferView being written as a storage
    image or storage texel buffer where the image format field of the
    code:OpTypeImage is code:Unknown must: have image format features that
    support ename:VK_FORMAT_FEATURE_2_STORAGE_WRITE_WITHOUT_FORMAT_BIT_KHR
  * [[VUID-{refpage}-OpTypeImage-06424]]
    Any slink:VkImageView or slink:VkBufferView being read as a storage
    image or storage texel buffer where the image format field of the
    code:OpTypeImage is code:Unknown must: have image format features that
    support ename:VK_FORMAT_FEATURE_2_STORAGE_READ_WITHOUT_FORMAT_BIT_KHR
endif::VK_KHR_format_feature_flags2[]
  * [[VUID-{refpage}-None-02697]]
    For each set _n_ that is statically used by the sname:VkPipeline bound
    to the pipeline bind point used by this command, a descriptor set must:
    have been bound to _n_ at the same pipeline bind point, with a
    sname:VkPipelineLayout that is compatible for set _n_, with the
    sname:VkPipelineLayout used to create the current sname:VkPipeline, as
    described in <<descriptorsets-compatibility>>
ifndef::VK_KHR_maintenance4[]
  * [[VUID-{refpage}-None-02698]]
    For each push constant that is statically used by the sname:VkPipeline
    bound to the pipeline bind point used by this command, a push constant
    value must: have been set for the same pipeline bind point, with a
    sname:VkPipelineLayout that is compatible for push constants, with the
    sname:VkPipelineLayout used to create the current sname:VkPipeline, as
    described in <<descriptorsets-compatibility>>
endif::VK_KHR_maintenance4[]
ifdef::VK_KHR_maintenance4[]
  * [[VUID-{refpage}-maintenance4-06425]]
    If the <<features-maintenance4, pname:maintenance4>> feature is not
    enabled, then for each push constant that is statically used by the
    sname:VkPipeline bound to the pipeline bind point used by this command,
    a push constant value must: have been set for the same pipeline bind
    point, with a sname:VkPipelineLayout that is compatible for push
    constants, with the sname:VkPipelineLayout used to create the current
    sname:VkPipeline, as described in <<descriptorsets-compatibility>>
endif::VK_KHR_maintenance4[]
  * [[VUID-{refpage}-None-02699]]
    Descriptors in each bound descriptor set, specified via
    fname:vkCmdBindDescriptorSets, must: be valid if they are statically
    used by the sname:VkPipeline bound to the pipeline bind point used by
    this command
  * [[VUID-{refpage}-None-02700]]
    A valid pipeline must: be bound to the pipeline bind point used by this
    command
  * [[VUID-{refpage}-commandBuffer-02701]]
    If the sname:VkPipeline object bound to the pipeline bind point used by
    this command requires any dynamic state, that state must: have been set
    or inherited (if the `apiext:VK_NV_inherited_viewport_scissor` extension
    is enabled) for pname:commandBuffer, and done so after any previously
    bound pipeline with the corresponding state not specified as dynamic
  * [[VUID-{refpage}-None-02859]]
    There must: not have been any calls to dynamic state setting commands
    for any state not specified as dynamic in the sname:VkPipeline object
    bound to the pipeline bind point used by this command, since that
    pipeline was bound
  * [[VUID-{refpage}-None-02702]]
    If the sname:VkPipeline object bound to the pipeline bind point used by
    this command accesses a sname:VkSampler object that uses unnormalized
    coordinates, that sampler must: not be used to sample from any
    sname:VkImage with a sname:VkImageView of the type
    ename:VK_IMAGE_VIEW_TYPE_3D, ename:VK_IMAGE_VIEW_TYPE_CUBE,
    ename:VK_IMAGE_VIEW_TYPE_1D_ARRAY, ename:VK_IMAGE_VIEW_TYPE_2D_ARRAY or
    ename:VK_IMAGE_VIEW_TYPE_CUBE_ARRAY, in any shader stage
  * [[VUID-{refpage}-None-02703]]
    If the sname:VkPipeline object bound to the pipeline bind point used by
    this command accesses a sname:VkSampler object that uses unnormalized
    coordinates, that sampler must: not be used with any of the SPIR-V
    `OpImageSample*` or `OpImageSparseSample*` instructions with
    code:ImplicitLod, code:Dref or code:Proj in their name, in any shader
    stage
  * [[VUID-{refpage}-None-02704]]
    If the sname:VkPipeline object bound to the pipeline bind point used by
    this command accesses a sname:VkSampler object that uses unnormalized
    coordinates, that sampler must: not be used with any of the SPIR-V
    `OpImageSample*` or `OpImageSparseSample*` instructions that includes a
    LOD bias or any offset values, in any shader stage
  * [[VUID-{refpage}-None-02705]]
    If the <<features-robustBufferAccess,robust buffer access>> feature is
    not enabled, and if the sname:VkPipeline object bound to the pipeline
    bind point used by this command accesses a uniform buffer, it must: not
    access values outside of the range of the buffer as specified in the
    descriptor set bound to the same pipeline bind point
  * [[VUID-{refpage}-None-02706]]
    If the <<features-robustBufferAccess,robust buffer access>> feature is
    not enabled, and if the sname:VkPipeline object bound to the pipeline
    bind point used by this command accesses a storage buffer, it must: not
    access values outside of the range of the buffer as specified in the
    descriptor set bound to the same pipeline bind point
ifdef::VK_VERSION_1_1[]
  * [[VUID-{refpage}-commandBuffer-02707]]
    If pname:commandBuffer is an unprotected command buffer and
    <<limits-protectedNoFault, pname:protectedNoFault>> is not supported,
    any resource accessed by the slink:VkPipeline object bound to the
    pipeline bind point used by this command must: not be a protected
    resource
endif::VK_VERSION_1_1[]
  * [[VUID-{refpage}-None-04115]]
    If a slink:VkImageView is accessed using code:OpImageWrite as a result
    of this command, then the code:Type of the code:Texel operand of that
    instruction must: have at least as many components as the image view's
    format
  * [[VUID-{refpage}-OpImageWrite-04469]]
    If a slink:VkBufferView is accessed using code:OpImageWrite as a result
    of this command, then the code:Type of the code:Texel operand of that
    instruction must: have at least as many components as the buffer view's
    format
ifdef::VK_EXT_shader_image_atomic_int64[]
  * [[VUID-{refpage}-SampledType-04470]]
    If a slink:VkImageView with a elink:VkFormat that has a 64-bit component
    width is accessed as a result of this command, the code:SampledType of
    the code:OpTypeImage operand of that instruction must: have a code:Width
    of 64
  * [[VUID-{refpage}-SampledType-04471]]
    If a slink:VkImageView with a elink:VkFormat that has a component width
    less than 64-bit is accessed as a result of this command, the
    code:SampledType of the code:OpTypeImage operand of that instruction
    must: have a code:Width of 32
  * [[VUID-{refpage}-SampledType-04472]]
    If a slink:VkBufferView with a elink:VkFormat that has a 64-bit
    component width is accessed as a result of this command, the
    code:SampledType of the code:OpTypeImage operand of that instruction
    must: have a code:Width of 64
  * [[VUID-{refpage}-SampledType-04473]]
    If a slink:VkBufferView with a elink:VkFormat that has a component width
    less than 64-bit is accessed as a result of this command, the
    code:SampledType of the code:OpTypeImage operand of that instruction
    must: have a code:Width of 32
  * [[VUID-{refpage}-sparseImageInt64Atomics-04474]]
    If the
    <<features-sparseImageInt64Atomics,pname:sparseImageInt64Atomics>>
    feature is not enabled, slink:VkImage objects created with the
    ename:VK_IMAGE_CREATE_SPARSE_RESIDENCY_BIT flag must: not be accessed by
    atomic instructions through an code:OpTypeImage with a code:SampledType
    with a code:Width of 64 by this command
  * [[VUID-{refpage}-sparseImageInt64Atomics-04475]]
    If the
    <<features-sparseImageInt64Atomics,pname:sparseImageInt64Atomics>>
    feature is not enabled, slink:VkBuffer objects created with the
    ename:VK_BUFFER_CREATE_SPARSE_RESIDENCY_BIT flag must: not be accessed
    by atomic instructions through an code:OpTypeImage with a
    code:SampledType with a code:Width of 64 by this command
endif::VK_EXT_shader_image_atomic_int64[]
// Common Valid Usage