From dbf979a71ebbf4536d6c3c7d500b7eceef587f42 Mon Sep 17 00:00:00 2001 From: Three Of Twelve Date: Wed, 1 Dec 2021 04:29:55 +0000 Subject: [PATCH 1/2] Bump vulkan version to v1.2.201 --- changelog.md | 1 + generate-new/Vulkan-Docs | 2 +- src/Vulkan/CStruct/Extends.hs | 4 + src/Vulkan/Core10/APIConstants.hs | 2 +- src/Vulkan/Core10/CommandBufferBuilding.hs | 614 ++++++++++-------- src/Vulkan/Core10/Device.hs | 3 + src/Vulkan/Core10/Enums/StructureType.hs | 5 + src/Vulkan/Core10/FundamentalTypes.hs | 2 + src/Vulkan/Core10/Memory.hs | 14 +- src/Vulkan/Core10/Pass.hs | 17 +- .../Enums/SamplerYcbcrModelConversion.hs | 6 +- .../Promoted_From_VK_KHR_device_group.hs | 8 + ..._VK_KHR_get_physical_device_properties2.hs | 2 + ...Promoted_From_VK_KHR_create_renderpass2.hs | 21 +- ...moted_From_VK_KHR_depth_stencil_resolve.hs | 48 +- ...romoted_From_VK_KHR_draw_indirect_count.hs | 276 ++++---- ...M_rasterization_order_attachment_access.hs | 6 +- ...terization_order_attachment_access.hs-boot | 6 +- .../Extensions/VK_EXT_depth_clip_control.hs | 6 +- .../VK_EXT_depth_clip_control.hs-boot | 6 +- .../Extensions/VK_EXT_fragment_density_map.hs | 6 - src/Vulkan/Extensions/VK_EXT_multi_draw.hs | 276 ++++---- src/Vulkan/Extensions/VK_EXT_tooling_info.hs | 4 +- .../Extensions/VK_EXT_tooling_info.hs-boot | 4 +- .../Extensions/VK_EXT_transform_feedback.hs | 138 ++-- .../VK_FUCHSIA_buffer_collection.hs | 2 +- .../VK_FUCHSIA_buffer_collection.hs-boot | 2 +- .../Extensions/VK_HUAWEI_subpass_shading.hs | 8 + .../Extensions/VK_KHR_dynamic_rendering.hs | 10 - .../VK_KHR_get_display_properties2.hs | 4 +- .../VK_KHR_get_display_properties2.hs-boot | 4 +- .../Extensions/VK_KHR_ray_tracing_pipeline.hs | 16 + .../VK_NV_device_generated_commands.hs | 138 ++-- src/Vulkan/Extensions/VK_NV_mesh_shader.hs | 240 ++----- src/Vulkan/Extensions/VK_NV_ray_tracing.hs | 8 + src/Vulkan/Version.hs | 4 +- 36 files changed, 1026 insertions(+), 887 deletions(-) diff --git a/changelog.md b/changelog.md index d3bb2413f..ae0b7d9ba 100644 --- a/changelog.md +++ b/changelog.md @@ -1,6 +1,7 @@ # Change Log ## WIP +- Bump API version to v1.2.201 ## [3.14] - 2021-11-25 - Bump API version to v1.2.200 diff --git a/generate-new/Vulkan-Docs b/generate-new/Vulkan-Docs index 9ed8caef1..d70e01c0b 160000 --- a/generate-new/Vulkan-Docs +++ b/generate-new/Vulkan-Docs @@ -1 +1 @@ -Subproject commit 9ed8caef1a0b5abe9778adb39feff435b2328f1b +Subproject commit d70e01c0be7b8a7d20b186b30b29a75b18bba75d diff --git a/src/Vulkan/CStruct/Extends.hs b/src/Vulkan/CStruct/Extends.hs index 76c7ed489..76a38b944 100644 --- a/src/Vulkan/CStruct/Extends.hs +++ b/src/Vulkan/CStruct/Extends.hs @@ -980,6 +980,7 @@ type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where Extends DeviceCreateInfo PhysicalDeviceRGBA10X6FormatsFeaturesEXT = () Extends DeviceCreateInfo PhysicalDeviceDynamicRenderingFeaturesKHR = () Extends DeviceCreateInfo PhysicalDeviceImageViewMinLodFeaturesEXT = () + Extends DeviceCreateInfo PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM = () Extends DeviceQueueCreateInfo DeviceQueueGlobalPriorityCreateInfoEXT = () Extends FenceCreateInfo ExportFenceCreateInfo = () Extends FenceCreateInfo ExportFenceWin32HandleInfoKHR = () @@ -1147,6 +1148,7 @@ type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where Extends PhysicalDeviceFeatures2 PhysicalDeviceRGBA10X6FormatsFeaturesEXT = () Extends PhysicalDeviceFeatures2 PhysicalDeviceDynamicRenderingFeaturesKHR = () Extends PhysicalDeviceFeatures2 PhysicalDeviceImageViewMinLodFeaturesEXT = () + Extends PhysicalDeviceFeatures2 PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM = () Extends PhysicalDeviceImageFormatInfo2 PhysicalDeviceExternalImageFormatInfo = () Extends PhysicalDeviceImageFormatInfo2 ImageFormatListCreateInfo = () Extends PhysicalDeviceImageFormatInfo2 PhysicalDeviceImageDrmFormatModifierInfoEXT = () @@ -1714,6 +1716,7 @@ peekChainHead ty p c = case ty of STRUCTURE_TYPE_MULTIVIEW_PER_VIEW_ATTRIBUTES_INFO_NVX -> go @MultiviewPerViewAttributesInfoNVX STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_VIEW_MIN_LOD_FEATURES_EXT -> go @PhysicalDeviceImageViewMinLodFeaturesEXT STRUCTURE_TYPE_IMAGE_VIEW_MIN_LOD_CREATE_INFO_EXT -> go @ImageViewMinLodCreateInfoEXT + STRUCTURE_TYPE_PHYSICAL_DEVICE_RASTERIZATION_ORDER_ATTACHMENT_ACCESS_FEATURES_ARM -> go @PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM t -> throwIO $ IOError Nothing InvalidArgument "peekChainHead" ("Unrecognized struct type: " <> show t) Nothing Nothing where go :: forall e . (Typeable e, FromCStruct e, ToCStruct e, Show e) => IO b @@ -2091,6 +2094,7 @@ infix 6 ::& {-# complete (::&) :: MultiviewPerViewAttributesInfoNVX #-} {-# complete (::&) :: PhysicalDeviceImageViewMinLodFeaturesEXT #-} {-# complete (::&) :: ImageViewMinLodCreateInfoEXT #-} +{-# complete (::&) :: PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM #-} -- | View the head and tail of a 'Chain', see '::&' -- diff --git a/src/Vulkan/Core10/APIConstants.hs b/src/Vulkan/Core10/APIConstants.hs index 60ce3517f..662189359 100644 --- a/src/Vulkan/Core10/APIConstants.hs +++ b/src/Vulkan/Core10/APIConstants.hs @@ -178,7 +178,7 @@ pattern MAX_MEMORY_HEAPS = 16 type REMAINING_MIP_LEVELS = 0xffffffff --- | VK_REMAINING_MIP_LEVELS - Sentinel for all remaining array layers +-- | VK_REMAINING_MIP_LEVELS - Sentinel for all remaining mipmap levels -- -- = See Also -- diff --git a/src/Vulkan/Core10/CommandBufferBuilding.hs b/src/Vulkan/Core10/CommandBufferBuilding.hs index 2be4dda29..bc3adbc9b 100644 --- a/src/Vulkan/Core10/CommandBufferBuilding.hs +++ b/src/Vulkan/Core10/CommandBufferBuilding.hs @@ -1831,6 +1831,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDraw-None-06479# If a 'Vulkan.Core10.Handles.ImageView' +-- is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDraw-None-02691# If a 'Vulkan.Core10.Handles.ImageView' -- is accessed using atomic operations as a result of this command, -- then the image view’s @@ -2200,28 +2208,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDraw-primitiveTopology-03420# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDraw-None-04875# If the bound graphics pipeline state was --- created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDraw-None-04876# If the bound graphics pipeline state was -- created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -2247,14 +2233,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDraw-None-04879# If the bound graphics pipeline state was --- created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDraw-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -2288,36 +2266,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDraw-None-04912# If the bound graphics pipeline was --- created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDraw-pStrides-04913# If the bound graphics pipeline was --- created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDraw-None-04914# If the bound graphics pipeline state was --- created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDraw-imageView-06172# If the current render pass instance -- was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -2592,6 +2540,76 @@ foreign import ccall -- corresponding vertex buffer binding, as described in -- -- +-- - #VUID-vkCmdDraw-primitiveTopology-03420# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDraw-None-04912# If the bound graphics pipeline was +-- created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDraw-pStrides-04913# If the bound graphics pipeline was +-- created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDraw-None-04914# If the bound graphics pipeline state was +-- created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDraw-None-04875# If the bound graphics pipeline state was +-- created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDraw-None-04879# If the bound graphics pipeline state was +-- created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDraw-stage-06481# The bound graphics pipeline /must/ not +-- have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- == Valid Usage (Implicit) -- -- - #VUID-vkCmdDraw-commandBuffer-parameter# @commandBuffer@ /must/ be a @@ -2709,6 +2727,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawIndexed-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawIndexed-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -3084,28 +3110,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawIndexed-primitiveTopology-03420# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawIndexed-None-04875# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndexed-None-04876# If the bound graphics pipeline -- state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -3131,14 +3135,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawIndexed-None-04879# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndexed-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -3172,36 +3168,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawIndexed-None-04912# If the bound graphics pipeline --- was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawIndexed-pStrides-04913# If the bound graphics --- pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawIndexed-None-04914# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawIndexed-imageView-06172# If the current render pass -- instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -3476,6 +3442,76 @@ foreign import ccall -- within the corresponding vertex buffer binding, as described in -- -- +-- - #VUID-vkCmdDrawIndexed-primitiveTopology-03420# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDrawIndexed-None-04912# If the bound graphics pipeline +-- was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndexed-pStrides-04913# If the bound graphics +-- pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDrawIndexed-None-04914# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndexed-None-04875# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndexed-None-04879# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndexed-stage-06481# The bound graphics pipeline +-- /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdDrawIndexed-firstIndex-04932# (@indexSize@ × -- (@firstIndex@ + @indexCount@) + @offset@) /must/ be less than or -- equal to the size of the bound index buffer, with @indexSize@ being @@ -3587,6 +3623,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawIndirect-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawIndirect-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -3947,42 +3991,20 @@ foreign import ccall -- graphics pipeline /must/ have been created with -- 'Vulkan.Extensions.VK_NV_viewport_swizzle.PipelineViewportSwizzleStateCreateInfoNV'::@viewportCount@ -- greater or equal to the @viewportCount@ parameter in the last call --- to --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' --- --- - #VUID-vkCmdDrawIndirect-VkPipelineVieportCreateInfo-04142# If the --- bound graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_WITH_COUNT_EXT' --- dynamic state enabled and a --- 'Vulkan.Extensions.VK_NV_scissor_exclusive.PipelineViewportExclusiveScissorStateCreateInfoNV' --- structure chained from @VkPipelineVieportCreateInfo@, then the bound --- graphics pipeline /must/ have been created with --- 'Vulkan.Extensions.VK_NV_scissor_exclusive.PipelineViewportExclusiveScissorStateCreateInfoNV'::@exclusiveScissorCount@ --- greater or equal to the @viewportCount@ parameter in the last call --- to --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' --- --- - #VUID-vkCmdDrawIndirect-primitiveTopology-03420# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawIndirect-None-04875# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command +-- to +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' +-- +-- - #VUID-vkCmdDrawIndirect-VkPipelineVieportCreateInfo-04142# If the +-- bound graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_WITH_COUNT_EXT' +-- dynamic state enabled and a +-- 'Vulkan.Extensions.VK_NV_scissor_exclusive.PipelineViewportExclusiveScissorStateCreateInfoNV' +-- structure chained from @VkPipelineVieportCreateInfo@, then the bound +-- graphics pipeline /must/ have been created with +-- 'Vulkan.Extensions.VK_NV_scissor_exclusive.PipelineViewportExclusiveScissorStateCreateInfoNV'::@exclusiveScissorCount@ +-- greater or equal to the @viewportCount@ parameter in the last call +-- to +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- -- - #VUID-vkCmdDrawIndirect-None-04876# If the bound graphics pipeline -- state was created with the @@ -4009,14 +4031,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawIndirect-None-04879# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndirect-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -4050,36 +4064,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawIndirect-None-04912# If the bound graphics pipeline --- was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawIndirect-pStrides-04913# If the bound graphics --- pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawIndirect-None-04914# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawIndirect-imageView-06172# If the current render pass -- instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -4332,6 +4316,76 @@ foreign import ccall -- within the corresponding vertex buffer binding, as described in -- -- +-- - #VUID-vkCmdDrawIndirect-primitiveTopology-03420# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDrawIndirect-None-04912# If the bound graphics pipeline +-- was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndirect-pStrides-04913# If the bound graphics +-- pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDrawIndirect-None-04914# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndirect-None-04875# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndirect-None-04879# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndirect-stage-06481# The bound graphics pipeline +-- /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdDrawIndirect-buffer-02708# If @buffer@ is non-sparse then -- it /must/ be bound completely and contiguously to a single -- 'Vulkan.Core10.Handles.DeviceMemory' object @@ -4488,6 +4542,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawIndexedIndirect-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawIndexedIndirect-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -4863,28 +4925,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawIndexedIndirect-primitiveTopology-03420# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawIndexedIndirect-None-04875# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndexedIndirect-None-04876# If the bound graphics -- pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -4910,14 +4950,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawIndexedIndirect-None-04879# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndexedIndirect-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -4951,36 +4983,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawIndexedIndirect-None-04912# If the bound graphics --- pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawIndexedIndirect-pStrides-04913# If the bound graphics --- pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawIndexedIndirect-None-04914# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawIndexedIndirect-imageView-06172# If the current -- render pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -5233,6 +5235,76 @@ foreign import ccall -- within the corresponding vertex buffer binding, as described in -- -- +-- - #VUID-vkCmdDrawIndexedIndirect-primitiveTopology-03420# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDrawIndexedIndirect-None-04912# If the bound graphics +-- pipeline was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndexedIndirect-pStrides-04913# If the bound graphics +-- pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDrawIndexedIndirect-None-04914# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndexedIndirect-None-04875# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndexedIndirect-None-04879# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndexedIndirect-stage-06481# The bound graphics +-- pipeline /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdDrawIndexedIndirect-buffer-02708# If @buffer@ is -- non-sparse then it /must/ be bound completely and contiguously to a -- single 'Vulkan.Core10.Handles.DeviceMemory' object @@ -5384,6 +5456,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDispatch-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDispatch-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -5737,6 +5817,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDispatchIndirect-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDispatchIndirect-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -8632,10 +8720,10 @@ foreign import ccall -- -- Note -- --- It’s generally advised that attachments are cleared by using the +-- It is generally preferable to clear attachments by using the -- 'Vulkan.Core10.Enums.AttachmentLoadOp.ATTACHMENT_LOAD_OP_CLEAR' load --- operation at the start of rendering, which will be more efficient on --- some implementations. +-- operation at the start of rendering, as it is more efficient on some +-- implementations. -- -- == Valid Usage -- @@ -12945,18 +13033,6 @@ instance Zero ImageResolve where -- 'Vulkan.Core10.Pass.FramebufferCreateInfo'::@height@ the -- @framebuffer@ was created with -- --- - #VUID-VkRenderPassBeginInfo-pNext-02854# If the @pNext@ chain --- contains --- 'Vulkan.Core11.Promoted_From_VK_KHR_device_group.DeviceGroupRenderPassBeginInfo', --- the @offset.x@ member of each element of @pDeviceRenderAreas@ /must/ --- be greater than or equal to 0 --- --- - #VUID-VkRenderPassBeginInfo-pNext-02855# If the @pNext@ chain --- contains --- 'Vulkan.Core11.Promoted_From_VK_KHR_device_group.DeviceGroupRenderPassBeginInfo', --- the @offset.y@ member of each element of @pDeviceRenderAreas@ /must/ --- be greater than or equal to 0 --- -- - #VUID-VkRenderPassBeginInfo-pNext-02856# If the @pNext@ chain -- contains -- 'Vulkan.Core11.Promoted_From_VK_KHR_device_group.DeviceGroupRenderPassBeginInfo', diff --git a/src/Vulkan/Core10/Device.hs b/src/Vulkan/Core10/Device.hs index a81f0e125..c8d65b198 100644 --- a/src/Vulkan/Core10/Device.hs +++ b/src/Vulkan/Core10/Device.hs @@ -153,6 +153,7 @@ import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_private_data (PhysicalDevicePriva import {-# SOURCE #-} Vulkan.Core11.Originally_Based_On_VK_KHR_protected_memory (PhysicalDeviceProtectedMemoryFeatures) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_provoking_vertex (PhysicalDeviceProvokingVertexFeaturesEXT) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_rgba10x6_formats (PhysicalDeviceRGBA10X6FormatsFeaturesEXT) +import {-# SOURCE #-} Vulkan.Extensions.VK_ARM_rasterization_order_attachment_access (PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_ray_query (PhysicalDeviceRayQueryFeaturesKHR) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_ray_tracing_motion_blur (PhysicalDeviceRayTracingMotionBlurFeaturesNV) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_ray_tracing_pipeline (PhysicalDeviceRayTracingPipelineFeaturesKHR) @@ -809,6 +810,7 @@ instance es ~ '[] => Zero (DeviceQueueCreateInfo es) where -- 'Vulkan.Core11.Originally_Based_On_VK_KHR_protected_memory.PhysicalDeviceProtectedMemoryFeatures', -- 'Vulkan.Extensions.VK_EXT_provoking_vertex.PhysicalDeviceProvokingVertexFeaturesEXT', -- 'Vulkan.Extensions.VK_EXT_rgba10x6_formats.PhysicalDeviceRGBA10X6FormatsFeaturesEXT', +-- 'Vulkan.Extensions.VK_ARM_rasterization_order_attachment_access.PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM', -- 'Vulkan.Extensions.VK_KHR_ray_query.PhysicalDeviceRayQueryFeaturesKHR', -- 'Vulkan.Extensions.VK_NV_ray_tracing_motion_blur.PhysicalDeviceRayTracingMotionBlurFeaturesNV', -- 'Vulkan.Extensions.VK_KHR_ray_tracing_pipeline.PhysicalDeviceRayTracingPipelineFeaturesKHR', @@ -932,6 +934,7 @@ instance Extensible DeviceCreateInfo where getNext DeviceCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends DeviceCreateInfo e => b) -> Maybe b extends _ f + | Just Refl <- eqT @e @PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM = Just f | Just Refl <- eqT @e @PhysicalDeviceImageViewMinLodFeaturesEXT = Just f | Just Refl <- eqT @e @PhysicalDeviceDynamicRenderingFeaturesKHR = Just f | Just Refl <- eqT @e @PhysicalDeviceRGBA10X6FormatsFeaturesEXT = Just f diff --git a/src/Vulkan/Core10/Enums/StructureType.hs b/src/Vulkan/Core10/Enums/StructureType.hs index 59cbf9fec..da8b87e71 100644 --- a/src/Vulkan/Core10/Enums/StructureType.hs +++ b/src/Vulkan/Core10/Enums/StructureType.hs @@ -1159,6 +1159,8 @@ import GHC.Show (Show(showsPrec)) -- , -- , -- , +-- , +-- , -- , -- , -- , @@ -1168,6 +1170,8 @@ import GHC.Show (Show(showsPrec)) -- , -- , -- , +-- , +-- , -- , -- , -- , @@ -1175,6 +1179,7 @@ import GHC.Show (Show(showsPrec)) -- , -- , -- , +-- , -- , -- , -- , diff --git a/src/Vulkan/Core10/FundamentalTypes.hs b/src/Vulkan/Core10/FundamentalTypes.hs index 6a8d5d6df..4c3434b74 100644 --- a/src/Vulkan/Core10/FundamentalTypes.hs +++ b/src/Vulkan/Core10/FundamentalTypes.hs @@ -577,7 +577,9 @@ instance Zero Rect2D where -- 'Vulkan.Extensions.VK_AMD_display_native_hdr.SwapchainDisplayNativeHdrCreateInfoAMD', -- 'Vulkan.Extensions.VK_AMD_texture_gather_bias_lod.TextureLODGatherFormatPropertiesAMD', -- , +-- , -- , +-- , -- 'Vulkan.Extensions.VK_NV_ray_tracing.cmdBuildAccelerationStructureNV', -- 'Vulkan.Extensions.VK_NV_device_generated_commands.cmdExecuteGeneratedCommandsNV', -- 'Vulkan.Extensions.VK_EXT_color_write_enable.cmdSetColorWriteEnableEXT', diff --git a/src/Vulkan/Core10/Memory.hs b/src/Vulkan/Core10/Memory.hs index 6dc832123..856a183b1 100644 --- a/src/Vulkan/Core10/Memory.hs +++ b/src/Vulkan/Core10/Memory.hs @@ -162,13 +162,13 @@ foreign import ccall -- 'Vulkan.Core10.Enums.MemoryPropertyFlagBits.MEMORY_PROPERTY_PROTECTED_BIT' -- property) than for non-protected memory allocations. These limits can be -- system-wide, and depend on a variety of factors outside of the Vulkan --- implementation, so can’t be queried in Vulkan. Applications /should/ use --- as few allocations as possible from such memory types by suballocating --- aggressively, and be prepared for allocation failure even when there is --- apparently plenty of capacity remaining in the memory heap. As a --- guideline, the Vulkan conformance test suite requires that at least 80 --- minimum-size allocations can exist concurrently when no other uses of --- protected memory are active in the system. +-- implementation, so they cannot be queried in Vulkan. Applications +-- /should/ use as few allocations as possible from such memory types by +-- suballocating aggressively, and be prepared for allocation failure even +-- when there is apparently plenty of capacity remaining in the memory +-- heap. As a guideline, the Vulkan conformance test suite requires that at +-- least 80 minimum-size allocations can exist concurrently when no other +-- uses of protected memory are active in the system. -- -- Some platforms /may/ have a limit on the maximum size of a single -- allocation. For example, certain systems /may/ fail to create diff --git a/src/Vulkan/Core10/Pass.hs b/src/Vulkan/Core10/Pass.hs index 73f6e18d6..14df4a0e7 100644 --- a/src/Vulkan/Core10/Pass.hs +++ b/src/Vulkan/Core10/Pass.hs @@ -1241,12 +1241,6 @@ instance Zero AttachmentReference where -- and if @pResolveAttachments@ is not @NULL@, then each resolve -- attachment /must/ be 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' -- --- - #VUID-VkSubpassDescription-flags-03342# If @flags@ includes --- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_SHADER_RESOLVE_BIT_QCOM', --- and if @pDepthStencilResolveAttachmentKHR@ is not @NULL@, then the --- depth\/stencil resolve attachment /must/ be --- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' --- -- - #VUID-VkSubpassDescription-flags-03343# If @flags@ includes -- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_SHADER_RESOLVE_BIT_QCOM', -- then the subpass /must/ be the last subpass in a subpass dependency @@ -1778,8 +1772,15 @@ instance Zero SubpassDependency where -- member of any element of @pInputAttachments@, @pColorAttachments@, -- @pResolveAttachments@ or @pDepthStencilAttachment@, or any element -- of @pPreserveAttachments@ in any element of @pSubpasses@ is not --- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', it /must/ be less --- than @attachmentCount@ +-- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', then it /must/ be +-- less than @attachmentCount@ +-- +-- - #VUID-VkRenderPassCreateInfo-fragmentDensityMapAttachment-06471# If +-- the pNext chain includes a +-- 'Vulkan.Extensions.VK_EXT_fragment_density_map.RenderPassFragmentDensityMapCreateInfoEXT' +-- structure and the @fragmentDensityMapAttachment@ member is not +-- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', then @attachment@ +-- /must/ be less than @attachmentCount@ -- -- - #VUID-VkRenderPassCreateInfo-pAttachments-00836# For any member of -- @pAttachments@ with a @loadOp@ equal to diff --git a/src/Vulkan/Core11/Enums/SamplerYcbcrModelConversion.hs b/src/Vulkan/Core11/Enums/SamplerYcbcrModelConversion.hs index 33cf3d083..eae87d5d8 100644 --- a/src/Vulkan/Core11/Enums/SamplerYcbcrModelConversion.hs +++ b/src/Vulkan/Core11/Enums/SamplerYcbcrModelConversion.hs @@ -29,17 +29,17 @@ import GHC.Show (Show(showsPrec)) -- -- - 'SAMPLER_YCBCR_MODEL_CONVERSION_YCBCR_709' specifies the color model -- conversion from Y′CBCR to R′G′B′ defined in BT.709 and described in --- the “BT.709 Y’CBCR conversion” section of the +-- the “BT.709 Y′CBCR conversion” section of the -- . -- -- - 'SAMPLER_YCBCR_MODEL_CONVERSION_YCBCR_601' specifies the color model -- conversion from Y′CBCR to R′G′B′ defined in BT.601 and described in --- the “BT.601 Y’CBCR conversion” section of the +-- the “BT.601 Y′CBCR conversion” section of the -- . -- -- - 'SAMPLER_YCBCR_MODEL_CONVERSION_YCBCR_2020' specifies the color -- model conversion from Y′CBCR to R′G′B′ defined in BT.2020 and --- described in the “BT.2020 Y’CBCR conversion” section of the +-- described in the “BT.2020 Y′CBCR conversion” section of the -- . -- -- In the @VK_SAMPLER_YCBCR_MODEL_CONVERSION_YCBCR_*@ color models, for the diff --git a/src/Vulkan/Core11/Promoted_From_VK_KHR_device_group.hs b/src/Vulkan/Core11/Promoted_From_VK_KHR_device_group.hs index 0809f404e..7b3ebf836 100644 --- a/src/Vulkan/Core11/Promoted_From_VK_KHR_device_group.hs +++ b/src/Vulkan/Core11/Promoted_From_VK_KHR_device_group.hs @@ -280,6 +280,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDispatchBase-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDispatchBase-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s diff --git a/src/Vulkan/Core11/Promoted_From_VK_KHR_get_physical_device_properties2.hs b/src/Vulkan/Core11/Promoted_From_VK_KHR_get_physical_device_properties2.hs index 207214db3..0f4c8bf24 100644 --- a/src/Vulkan/Core11/Promoted_From_VK_KHR_get_physical_device_properties2.hs +++ b/src/Vulkan/Core11/Promoted_From_VK_KHR_get_physical_device_properties2.hs @@ -195,6 +195,7 @@ import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_provoking_vertex (PhysicalDeviceP import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_provoking_vertex (PhysicalDeviceProvokingVertexPropertiesEXT) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_push_descriptor (PhysicalDevicePushDescriptorPropertiesKHR) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_rgba10x6_formats (PhysicalDeviceRGBA10X6FormatsFeaturesEXT) +import {-# SOURCE #-} Vulkan.Extensions.VK_ARM_rasterization_order_attachment_access (PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_ray_query (PhysicalDeviceRayQueryFeaturesKHR) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_ray_tracing_motion_blur (PhysicalDeviceRayTracingMotionBlurFeaturesNV) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_ray_tracing_pipeline (PhysicalDeviceRayTracingPipelineFeaturesKHR) @@ -715,6 +716,7 @@ instance Extensible PhysicalDeviceFeatures2 where getNext PhysicalDeviceFeatures2{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceFeatures2 e => b) -> Maybe b extends _ f + | Just Refl <- eqT @e @PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM = Just f | Just Refl <- eqT @e @PhysicalDeviceImageViewMinLodFeaturesEXT = Just f | Just Refl <- eqT @e @PhysicalDeviceDynamicRenderingFeaturesKHR = Just f | Just Refl <- eqT @e @PhysicalDeviceRGBA10X6FormatsFeaturesEXT = Just f diff --git a/src/Vulkan/Core12/Promoted_From_VK_KHR_create_renderpass2.hs b/src/Vulkan/Core12/Promoted_From_VK_KHR_create_renderpass2.hs index 275c0fe6b..690e6821f 100644 --- a/src/Vulkan/Core12/Promoted_From_VK_KHR_create_renderpass2.hs +++ b/src/Vulkan/Core12/Promoted_From_VK_KHR_create_renderpass2.hs @@ -1851,8 +1851,23 @@ instance es ~ '[] => Zero (SubpassDependency2 es) where -- member of any element of @pInputAttachments@, @pColorAttachments@, -- @pResolveAttachments@ or @pDepthStencilAttachment@, or any element -- of @pPreserveAttachments@ in any given element of @pSubpasses@ is --- not 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', it /must/ be --- less than @attachmentCount@ +-- not 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', then it /must/ +-- be less than @attachmentCount@ +-- +-- - #VUID-VkRenderPassCreateInfo2-fragmentDensityMapAttachment-06472# If +-- the pNext chain includes a +-- 'Vulkan.Extensions.VK_EXT_fragment_density_map.RenderPassFragmentDensityMapCreateInfoEXT' +-- structure and the @fragmentDensityMapAttachment@ member is not +-- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', then @attachment@ +-- /must/ be less than @attachmentCount@ +-- +-- - #VUID-VkRenderPassCreateInfo2-pSubpasses-06473# If the @pSubpasses@ +-- pNext chain includes a +-- 'Vulkan.Core12.Promoted_From_VK_KHR_depth_stencil_resolve.SubpassDescriptionDepthStencilResolve' +-- structure and the @pDepthStencilResolveAttachment@ member is not +-- @NULL@ and does not have the value +-- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', then @attachment@ +-- /must/ be less than @attachmentCount@ -- -- - #VUID-VkRenderPassCreateInfo2-pAttachments-02522# For any member of -- @pAttachments@ with a @loadOp@ equal to @@ -1975,7 +1990,7 @@ instance es ~ '[] => Zero (SubpassDependency2 es) where -- -- - #VUID-VkRenderPassCreateInfo2-flags-04908# If @flags@ includes -- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_SHADER_RESOLVE_BIT_QCOM', --- and if @pDepthStencilResolveAttachmentKHR@ is not @NULL@, then the +-- and if @pDepthStencilResolveAttachment@ is not @NULL@, then the -- depth\/stencil resolve attachment /must/ be -- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' -- diff --git a/src/Vulkan/Core12/Promoted_From_VK_KHR_depth_stencil_resolve.hs b/src/Vulkan/Core12/Promoted_From_VK_KHR_depth_stencil_resolve.hs index 4e61023e9..46e6bbbed 100644 --- a/src/Vulkan/Core12/Promoted_From_VK_KHR_depth_stencil_resolve.hs +++ b/src/Vulkan/Core12/Promoted_From_VK_KHR_depth_stencil_resolve.hs @@ -154,12 +154,18 @@ instance Zero PhysicalDeviceDepthStencilResolveProperties where -- | VkSubpassDescriptionDepthStencilResolve - Structure specifying -- depth\/stencil resolve operations for a subpass -- +-- = Description +-- +-- If @pDepthStencilResolveAttachment@ is @NULL@, or if its attachment +-- index is 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', it indicates +-- that no depth\/stencil resolve attachment will be used in the subpass. +-- -- == Valid Usage -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-pDepthStencilResolveAttachment-03177# -- If @pDepthStencilResolveAttachment@ is not @NULL@ and does not have -- the value 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', --- @pDepthStencilAttachment@ /must/ not have the value +-- @pDepthStencilAttachment@ /must/ not be @NULL@ or have the value -- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-pDepthStencilResolveAttachment-03178# @@ -189,31 +195,45 @@ instance Zero PhysicalDeviceDepthStencilResolveProperties where -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_DEPTH_STENCIL_ATTACHMENT_BIT' -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-pDepthStencilResolveAttachment-03181# --- If the 'Vulkan.Core10.Enums.Format.Format' of +-- If @pDepthStencilResolveAttachment@ is not @NULL@ and does not have +-- the value 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' and +-- 'Vulkan.Core10.Enums.Format.Format' of -- @pDepthStencilResolveAttachment@ has a depth component, then the -- 'Vulkan.Core10.Enums.Format.Format' of @pDepthStencilAttachment@ -- /must/ have a depth component with the same number of bits and -- numerical type -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-pDepthStencilResolveAttachment-03182# --- If the 'Vulkan.Core10.Enums.Format.Format' of +-- If @pDepthStencilResolveAttachment@ is not @NULL@ and does not have +-- the value 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', and +-- 'Vulkan.Core10.Enums.Format.Format' of -- @pDepthStencilResolveAttachment@ has a stencil component, then the -- 'Vulkan.Core10.Enums.Format.Format' of @pDepthStencilAttachment@ -- /must/ have a stencil component with the same number of bits and -- numerical type -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-depthResolveMode-03183# --- The value of @depthResolveMode@ /must/ be one of the bits set in +-- If @pDepthStencilResolveAttachment@ is not @NULL@ and does not have +-- the value 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' and the +-- 'Vulkan.Core10.Enums.Format.Format' of +-- @pDepthStencilResolveAttachment@ has a depth component, then the +-- value of @depthResolveMode@ /must/ be one of the bits set in -- 'PhysicalDeviceDepthStencilResolveProperties'::@supportedDepthResolveModes@ -- or 'Vulkan.Core12.Enums.ResolveModeFlagBits.RESOLVE_MODE_NONE' -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-stencilResolveMode-03184# --- The value of @stencilResolveMode@ /must/ be one of the bits set in +-- If @pDepthStencilResolveAttachment@ is not @NULL@ and does not have +-- the value 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' and the +-- 'Vulkan.Core10.Enums.Format.Format' of +-- @pDepthStencilResolveAttachment@ has a stencil component, then the +-- value of @stencilResolveMode@ /must/ be one of the bits set in -- 'PhysicalDeviceDepthStencilResolveProperties'::@supportedStencilResolveModes@ -- or 'Vulkan.Core12.Enums.ResolveModeFlagBits.RESOLVE_MODE_NONE' -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-pDepthStencilResolveAttachment-03185# --- If the 'Vulkan.Core10.Enums.Format.Format' of +-- If @pDepthStencilResolveAttachment@ is not @NULL@ and does not have +-- the value 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', the +-- 'Vulkan.Core10.Enums.Format.Format' of -- @pDepthStencilResolveAttachment@ has both depth and stencil -- components, -- 'PhysicalDeviceDepthStencilResolveProperties'::@independentResolve@ @@ -223,7 +243,9 @@ instance Zero PhysicalDeviceDepthStencilResolveProperties where -- @depthResolveMode@ and @stencilResolveMode@ /must/ be identical -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-pDepthStencilResolveAttachment-03186# --- If the 'Vulkan.Core10.Enums.Format.Format' of +-- If @pDepthStencilResolveAttachment@ is not @NULL@ and does not have +-- the value 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', the +-- 'Vulkan.Core10.Enums.Format.Format' of -- @pDepthStencilResolveAttachment@ has both depth and stencil -- components, -- 'PhysicalDeviceDepthStencilResolveProperties'::@independentResolve@ @@ -234,18 +256,6 @@ instance Zero PhysicalDeviceDepthStencilResolveProperties where -- one of them /must/ be -- 'Vulkan.Core12.Enums.ResolveModeFlagBits.RESOLVE_MODE_NONE' -- --- - #VUID-VkSubpassDescriptionDepthStencilResolve-pDepthStencilResolveAttachment-04588# --- If the 'Vulkan.Core10.Enums.Format.Format' of --- @pDepthStencilResolveAttachment@ has a depth component, --- @depthResolveMode@ /must/ be a valid --- 'Vulkan.Core12.Enums.ResolveModeFlagBits.ResolveModeFlagBits' value --- --- - #VUID-VkSubpassDescriptionDepthStencilResolve-pDepthStencilResolveAttachment-04589# --- If the 'Vulkan.Core10.Enums.Format.Format' of --- @pDepthStencilResolveAttachment@ has a stencil component, --- @stencilResolveMode@ /must/ be a valid --- 'Vulkan.Core12.Enums.ResolveModeFlagBits.ResolveModeFlagBits' value --- -- == Valid Usage (Implicit) -- -- - #VUID-VkSubpassDescriptionDepthStencilResolve-sType-sType# @sType@ diff --git a/src/Vulkan/Core12/Promoted_From_VK_KHR_draw_indirect_count.hs b/src/Vulkan/Core12/Promoted_From_VK_KHR_draw_indirect_count.hs index e21187286..ebc7b2713 100644 --- a/src/Vulkan/Core12/Promoted_From_VK_KHR_draw_indirect_count.hs +++ b/src/Vulkan/Core12/Promoted_From_VK_KHR_draw_indirect_count.hs @@ -65,6 +65,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawIndirectCount-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawIndirectCount-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -441,28 +449,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawIndirectCount-primitiveTopology-03420# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawIndirectCount-None-04875# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndirectCount-None-04876# If the bound graphics -- pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -488,14 +474,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawIndirectCount-None-04879# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndirectCount-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -529,36 +507,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawIndirectCount-None-04912# If the bound graphics --- pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawIndirectCount-pStrides-04913# If the bound graphics --- pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawIndirectCount-None-04914# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawIndirectCount-imageView-06172# If the current render -- pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -811,6 +759,76 @@ foreign import ccall -- within the corresponding vertex buffer binding, as described in -- -- +-- - #VUID-vkCmdDrawIndirectCount-primitiveTopology-03420# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDrawIndirectCount-None-04912# If the bound graphics +-- pipeline was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndirectCount-pStrides-04913# If the bound graphics +-- pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDrawIndirectCount-None-04914# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndirectCount-None-04875# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndirectCount-None-04879# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndirectCount-stage-06481# The bound graphics +-- pipeline /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdDrawIndirectCount-buffer-02708# If @buffer@ is non-sparse -- then it /must/ be bound completely and contiguously to a single -- 'Vulkan.Core10.Handles.DeviceMemory' object @@ -991,6 +1009,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawIndexedIndirectCount-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawIndexedIndirectCount-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -1369,28 +1395,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawIndexedIndirectCount-primitiveTopology-03420# If the --- bound graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawIndexedIndirectCount-None-04875# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndexedIndirectCount-None-04876# If the bound -- graphics pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -1416,14 +1420,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawIndexedIndirectCount-None-04879# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndexedIndirectCount-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -1458,36 +1454,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawIndexedIndirectCount-None-04912# If the bound --- graphics pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawIndexedIndirectCount-pStrides-04913# If the bound --- graphics pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawIndexedIndirectCount-None-04914# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawIndexedIndirectCount-imageView-06172# If the current -- render pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -1741,6 +1707,76 @@ foreign import ccall -- described in -- -- +-- - #VUID-vkCmdDrawIndexedIndirectCount-primitiveTopology-03420# If the +-- bound graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDrawIndexedIndirectCount-None-04912# If the bound +-- graphics pipeline was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndexedIndirectCount-pStrides-04913# If the bound +-- graphics pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDrawIndexedIndirectCount-None-04914# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndexedIndirectCount-None-04875# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndexedIndirectCount-None-04879# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndexedIndirectCount-stage-06481# The bound graphics +-- pipeline /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdDrawIndexedIndirectCount-buffer-02708# If @buffer@ is -- non-sparse then it /must/ be bound completely and contiguously to a -- single 'Vulkan.Core10.Handles.DeviceMemory' object diff --git a/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs b/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs index bfbfd97a6..8bb552e49 100644 --- a/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs +++ b/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs @@ -63,7 +63,11 @@ -- -- == New Structures -- --- - 'PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM' +-- - Extending +-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2', +-- 'Vulkan.Core10.Device.DeviceCreateInfo': +-- +-- - 'PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM' -- -- == New Enums -- diff --git a/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs-boot b/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs-boot index d584c5817..6176b921b 100644 --- a/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs-boot +++ b/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs-boot @@ -63,7 +63,11 @@ -- -- == New Structures -- --- - 'PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM' +-- - Extending +-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2', +-- 'Vulkan.Core10.Device.DeviceCreateInfo': +-- +-- - 'PhysicalDeviceRasterizationOrderAttachmentAccessFeaturesARM' -- -- == New Enums -- diff --git a/src/Vulkan/Extensions/VK_EXT_depth_clip_control.hs b/src/Vulkan/Extensions/VK_EXT_depth_clip_control.hs index 4a4005d68..3bc6c2989 100644 --- a/src/Vulkan/Extensions/VK_EXT_depth_clip_control.hs +++ b/src/Vulkan/Extensions/VK_EXT_depth_clip_control.hs @@ -110,9 +110,9 @@ -- 3) Should the control provided in this extension be an enum that could -- be extended in the future? -- --- __RESOLVED__: Yes. It’s deemed highly unlikely that the depth range is --- changed to anything other than [0, 1] in the future. Should that happen, --- a new extension is required to extend such an enum, and that extension +-- __RESOLVED__: Yes. It is highly unlikely that the depth range is changed +-- to anything other than [0, 1] in the future. Should that happen a new +-- extension will be required to extend such an enum, and that extension -- might as well add a new struct to chain to -- 'Vulkan.Core10.Pipeline.PipelineViewportStateCreateInfo'::@pNext@ -- instead. diff --git a/src/Vulkan/Extensions/VK_EXT_depth_clip_control.hs-boot b/src/Vulkan/Extensions/VK_EXT_depth_clip_control.hs-boot index 6b46b95ff..3ddc612ef 100644 --- a/src/Vulkan/Extensions/VK_EXT_depth_clip_control.hs-boot +++ b/src/Vulkan/Extensions/VK_EXT_depth_clip_control.hs-boot @@ -110,9 +110,9 @@ -- 3) Should the control provided in this extension be an enum that could -- be extended in the future? -- --- __RESOLVED__: Yes. It’s deemed highly unlikely that the depth range is --- changed to anything other than [0, 1] in the future. Should that happen, --- a new extension is required to extend such an enum, and that extension +-- __RESOLVED__: Yes. It is highly unlikely that the depth range is changed +-- to anything other than [0, 1] in the future. Should that happen a new +-- extension will be required to extend such an enum, and that extension -- might as well add a new struct to chain to -- 'Vulkan.Core10.Pipeline.PipelineViewportStateCreateInfo'::@pNext@ -- instead. diff --git a/src/Vulkan/Extensions/VK_EXT_fragment_density_map.hs b/src/Vulkan/Extensions/VK_EXT_fragment_density_map.hs index 5fa8a7c7c..2b877e288 100644 --- a/src/Vulkan/Extensions/VK_EXT_fragment_density_map.hs +++ b/src/Vulkan/Extensions/VK_EXT_fragment_density_map.hs @@ -440,12 +440,6 @@ instance Zero PhysicalDeviceFragmentDensityMapPropertiesEXT where -- -- == Valid Usage -- --- - #VUID-VkRenderPassFragmentDensityMapCreateInfoEXT-fragmentDensityMapAttachment-02547# --- If @fragmentDensityMapAttachment@ is not --- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', --- @fragmentDensityMapAttachment@ /must/ be less than --- 'Vulkan.Core10.Pass.RenderPassCreateInfo'::@attachmentCount@ --- -- - #VUID-VkRenderPassFragmentDensityMapCreateInfoEXT-fragmentDensityMapAttachment-02548# -- If @fragmentDensityMapAttachment@ is not -- 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED', diff --git a/src/Vulkan/Extensions/VK_EXT_multi_draw.hs b/src/Vulkan/Extensions/VK_EXT_multi_draw.hs index 7eb6e954b..d10243cda 100644 --- a/src/Vulkan/Extensions/VK_EXT_multi_draw.hs +++ b/src/Vulkan/Extensions/VK_EXT_multi_draw.hs @@ -219,6 +219,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawMultiEXT-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawMultiEXT-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -595,28 +603,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawMultiEXT-primitiveTopology-03420# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawMultiEXT-None-04875# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMultiEXT-None-04876# If the bound graphics pipeline -- state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -642,14 +628,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawMultiEXT-None-04879# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMultiEXT-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -683,36 +661,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawMultiEXT-None-04912# If the bound graphics pipeline --- was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawMultiEXT-pStrides-04913# If the bound graphics --- pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawMultiEXT-None-04914# If the bound graphics pipeline --- state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawMultiEXT-imageView-06172# If the current render pass -- instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -987,6 +935,76 @@ foreign import ccall -- within the corresponding vertex buffer binding, as described in -- -- +-- - #VUID-vkCmdDrawMultiEXT-primitiveTopology-03420# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDrawMultiEXT-None-04912# If the bound graphics pipeline +-- was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawMultiEXT-pStrides-04913# If the bound graphics +-- pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDrawMultiEXT-None-04914# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawMultiEXT-None-04875# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawMultiEXT-None-04879# If the bound graphics pipeline +-- state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawMultiEXT-stage-06481# The bound graphics pipeline +-- /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdDrawMultiEXT-None-04933# The -- -- feature /must/ be enabled @@ -1107,6 +1125,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawMultiIndexedEXT-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawMultiIndexedEXT-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -1483,28 +1509,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawMultiIndexedEXT-primitiveTopology-03420# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawMultiIndexedEXT-None-04875# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMultiIndexedEXT-None-04876# If the bound graphics -- pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -1530,14 +1534,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawMultiIndexedEXT-None-04879# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMultiIndexedEXT-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -1571,36 +1567,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawMultiIndexedEXT-None-04912# If the bound graphics --- pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawMultiIndexedEXT-pStrides-04913# If the bound graphics --- pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawMultiIndexedEXT-None-04914# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawMultiIndexedEXT-imageView-06172# If the current -- render pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -1875,6 +1841,76 @@ foreign import ccall -- within the corresponding vertex buffer binding, as described in -- -- +-- - #VUID-vkCmdDrawMultiIndexedEXT-primitiveTopology-03420# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDrawMultiIndexedEXT-None-04912# If the bound graphics +-- pipeline was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawMultiIndexedEXT-pStrides-04913# If the bound graphics +-- pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDrawMultiIndexedEXT-None-04914# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawMultiIndexedEXT-None-04875# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawMultiIndexedEXT-None-04879# If the bound graphics +-- pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawMultiIndexedEXT-stage-06481# The bound graphics +-- pipeline /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdDrawMultiIndexedEXT-None-04937# The -- -- feature /must/ be enabled diff --git a/src/Vulkan/Extensions/VK_EXT_tooling_info.hs b/src/Vulkan/Extensions/VK_EXT_tooling_info.hs index 5c424d122..1602e0a33 100644 --- a/src/Vulkan/Extensions/VK_EXT_tooling_info.hs +++ b/src/Vulkan/Extensions/VK_EXT_tooling_info.hs @@ -146,8 +146,8 @@ -- 1) Why is this information separate from the layer mechanism? -- -- Some tooling may be built into a driver, or be part of the Vulkan loader --- etc. - and so tying this information directly to layers would’ve been --- awkward at best. +-- etc. Tying this information directly to layers would have been awkward +-- at best. -- -- == Version History -- diff --git a/src/Vulkan/Extensions/VK_EXT_tooling_info.hs-boot b/src/Vulkan/Extensions/VK_EXT_tooling_info.hs-boot index e9efa4e2e..143e7b344 100644 --- a/src/Vulkan/Extensions/VK_EXT_tooling_info.hs-boot +++ b/src/Vulkan/Extensions/VK_EXT_tooling_info.hs-boot @@ -146,8 +146,8 @@ -- 1) Why is this information separate from the layer mechanism? -- -- Some tooling may be built into a driver, or be part of the Vulkan loader --- etc. - and so tying this information directly to layers would’ve been --- awkward at best. +-- etc. Tying this information directly to layers would have been awkward +-- at best. -- -- == Version History -- diff --git a/src/Vulkan/Extensions/VK_EXT_transform_feedback.hs b/src/Vulkan/Extensions/VK_EXT_transform_feedback.hs index 310f02fb5..871863b0e 100644 --- a/src/Vulkan/Extensions/VK_EXT_transform_feedback.hs +++ b/src/Vulkan/Extensions/VK_EXT_transform_feedback.hs @@ -1219,6 +1219,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawIndirectByteCountEXT-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawIndirectByteCountEXT-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -1597,28 +1605,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawIndirectByteCountEXT-primitiveTopology-03420# If the --- bound graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04875# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04876# If the bound -- graphics pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -1644,14 +1630,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04879# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawIndirectByteCountEXT-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -1686,36 +1664,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04912# If the bound --- graphics pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawIndirectByteCountEXT-pStrides-04913# If the bound --- graphics pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04914# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawIndirectByteCountEXT-imageView-06172# If the current -- render pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -1969,6 +1917,76 @@ foreign import ccall -- described in -- -- +-- - #VUID-vkCmdDrawIndirectByteCountEXT-primitiveTopology-03420# If the +-- bound graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04912# If the bound +-- graphics pipeline was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndirectByteCountEXT-pStrides-04913# If the bound +-- graphics pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04914# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04875# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndirectByteCountEXT-None-04879# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdDrawIndirectByteCountEXT-stage-06481# The bound graphics +-- pipeline /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdDrawIndirectByteCountEXT-transformFeedback-02287# -- 'PhysicalDeviceTransformFeedbackFeaturesEXT'::@transformFeedback@ -- /must/ be enabled diff --git a/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs b/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs index 34dc3d177..8e1299598 100644 --- a/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs +++ b/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs @@ -50,7 +50,7 @@ -- -- A buffer collection is a collection of one or more buffers which were -- allocated together as a group and which all have the same properties. --- These properties describe the buffers’ internal representation such as +-- These properties describe the buffers\' internal representation such as -- its dimensions and memory layout. This ensures that all of the buffers -- can be used interchangeably by tasks that require swapping among -- multiple buffers, such as double-buffered graphics rendering. diff --git a/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs-boot b/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs-boot index f4606e743..1a7f8d6e5 100644 --- a/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs-boot +++ b/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs-boot @@ -50,7 +50,7 @@ -- -- A buffer collection is a collection of one or more buffers which were -- allocated together as a group and which all have the same properties. --- These properties describe the buffers’ internal representation such as +-- These properties describe the buffers\' internal representation such as -- its dimensions and memory layout. This ensures that all of the buffers -- can be used interchangeably by tasks that require swapping among -- multiple buffers, such as double-buffered graphics rendering. diff --git a/src/Vulkan/Extensions/VK_HUAWEI_subpass_shading.hs b/src/Vulkan/Extensions/VK_HUAWEI_subpass_shading.hs index d3d120eb7..fd7c7a53b 100644 --- a/src/Vulkan/Extensions/VK_HUAWEI_subpass_shading.hs +++ b/src/Vulkan/Extensions/VK_HUAWEI_subpass_shading.hs @@ -509,6 +509,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdSubpassShadingHUAWEI-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdSubpassShadingHUAWEI-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s diff --git a/src/Vulkan/Extensions/VK_KHR_dynamic_rendering.hs b/src/Vulkan/Extensions/VK_KHR_dynamic_rendering.hs index 2ff136e62..84c1c9a97 100644 --- a/src/Vulkan/Extensions/VK_KHR_dynamic_rendering.hs +++ b/src/Vulkan/Extensions/VK_KHR_dynamic_rendering.hs @@ -778,16 +778,6 @@ instance Zero PipelineRenderingCreateInfoKHR where -- 'Vulkan.Core10.APIConstants.NULL_HANDLE' /must/ be greater than or -- equal to @renderArea.offset.y@ + @renderArea.extent.height@ -- --- - #VUID-VkRenderingInfoKHR-pNext-06081# If the @pNext@ chain contains --- 'Vulkan.Core11.Promoted_From_VK_KHR_device_group.DeviceGroupRenderPassBeginInfo', --- the @offset.x@ member of each element of @pDeviceRenderAreas@ /must/ --- be greater than or equal to 0 --- --- - #VUID-VkRenderingInfoKHR-pNext-06082# If the @pNext@ chain contains --- 'Vulkan.Core11.Promoted_From_VK_KHR_device_group.DeviceGroupRenderPassBeginInfo', --- the @offset.y@ member of each element of @pDeviceRenderAreas@ /must/ --- be greater than or equal to 0 --- -- - #VUID-VkRenderingInfoKHR-pNext-06083# If the @pNext@ chain contains -- 'Vulkan.Core11.Promoted_From_VK_KHR_device_group.DeviceGroupRenderPassBeginInfo', -- the width of the @imageView@ member of any element of diff --git a/src/Vulkan/Extensions/VK_KHR_get_display_properties2.hs b/src/Vulkan/Extensions/VK_KHR_get_display_properties2.hs index 54d1b5820..7ef83ee87 100644 --- a/src/Vulkan/Extensions/VK_KHR_get_display_properties2.hs +++ b/src/Vulkan/Extensions/VK_KHR_get_display_properties2.hs @@ -110,11 +110,11 @@ -- -- - 'getPhysicalDeviceDisplayPlaneProperties2KHR': No. The only current -- input is a 'Vulkan.Core10.Handles.PhysicalDevice'. Other inputs --- wouldn’t make sense. +-- would not make sense. -- -- - 'getDisplayModeProperties2KHR': No. The only current inputs are a -- 'Vulkan.Core10.Handles.PhysicalDevice' and a --- 'Vulkan.Extensions.Handles.DisplayModeKHR'. Other inputs wouldn’t +-- 'Vulkan.Extensions.Handles.DisplayModeKHR'. Other inputs would not -- make sense. -- -- 3) Should additional display query functions be extended? diff --git a/src/Vulkan/Extensions/VK_KHR_get_display_properties2.hs-boot b/src/Vulkan/Extensions/VK_KHR_get_display_properties2.hs-boot index 686906f4b..43632ed51 100644 --- a/src/Vulkan/Extensions/VK_KHR_get_display_properties2.hs-boot +++ b/src/Vulkan/Extensions/VK_KHR_get_display_properties2.hs-boot @@ -110,11 +110,11 @@ -- -- - 'getPhysicalDeviceDisplayPlaneProperties2KHR': No. The only current -- input is a 'Vulkan.Core10.Handles.PhysicalDevice'. Other inputs --- wouldn’t make sense. +-- would not make sense. -- -- - 'getDisplayModeProperties2KHR': No. The only current inputs are a -- 'Vulkan.Core10.Handles.PhysicalDevice' and a --- 'Vulkan.Extensions.Handles.DisplayModeKHR'. Other inputs wouldn’t +-- 'Vulkan.Extensions.Handles.DisplayModeKHR'. Other inputs would not -- make sense. -- -- 3) Should additional display query functions be extended? diff --git a/src/Vulkan/Extensions/VK_KHR_ray_tracing_pipeline.hs b/src/Vulkan/Extensions/VK_KHR_ray_tracing_pipeline.hs index 356dd3d08..c22adb3dc 100644 --- a/src/Vulkan/Extensions/VK_KHR_ray_tracing_pipeline.hs +++ b/src/Vulkan/Extensions/VK_KHR_ray_tracing_pipeline.hs @@ -898,6 +898,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdTraceRaysKHR-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdTraceRaysKHR-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -1796,6 +1804,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdTraceRaysIndirectKHR-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdTraceRaysIndirectKHR-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s diff --git a/src/Vulkan/Extensions/VK_NV_device_generated_commands.hs b/src/Vulkan/Extensions/VK_NV_device_generated_commands.hs index 749878680..c1c58b7dc 100644 --- a/src/Vulkan/Extensions/VK_NV_device_generated_commands.hs +++ b/src/Vulkan/Extensions/VK_NV_device_generated_commands.hs @@ -734,6 +734,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -1112,28 +1120,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdExecuteGeneratedCommandsNV-primitiveTopology-03420# If --- the bound graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04875# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04876# If the bound -- graphics pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -1159,14 +1145,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04879# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdExecuteGeneratedCommandsNV-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -1201,36 +1179,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04912# If the bound --- graphics pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdExecuteGeneratedCommandsNV-pStrides-04913# If the bound --- graphics pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04914# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdExecuteGeneratedCommandsNV-imageView-06172# If the -- current render pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -1484,6 +1432,76 @@ foreign import ccall -- described in -- -- +-- - #VUID-vkCmdExecuteGeneratedCommandsNV-primitiveTopology-03420# If +-- the bound graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command, and the @primitiveTopology@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' +-- /must/ be of the same +-- +-- as the pipeline +-- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ +-- state +-- +-- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04912# If the bound +-- graphics pipeline was created with both the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- and +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic states enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdExecuteGeneratedCommandsNV-pStrides-04913# If the bound +-- graphics pipeline was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' +-- dynamic state enabled, but not the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command, and the @pStrides@ parameter of +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' +-- /must/ not be @NULL@ +-- +-- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04914# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' +-- dynamic state enabled, then +-- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' +-- /must/ have been called in the current command buffer prior to this +-- draw command +-- +-- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04875# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdExecuteGeneratedCommandsNV-None-04879# If the bound +-- graphics pipeline state was created with the +-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' +-- dynamic state enabled then +-- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' +-- /must/ have been called in the current command buffer prior to this +-- drawing command +-- +-- - #VUID-vkCmdExecuteGeneratedCommandsNV-stage-06481# The bound +-- graphics pipeline /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' +-- -- - #VUID-vkCmdExecuteGeneratedCommandsNV-commandBuffer-02970# -- @commandBuffer@ /must/ not be a protected command buffer -- diff --git a/src/Vulkan/Extensions/VK_NV_mesh_shader.hs b/src/Vulkan/Extensions/VK_NV_mesh_shader.hs index f5a72e903..065586c12 100644 --- a/src/Vulkan/Extensions/VK_NV_mesh_shader.hs +++ b/src/Vulkan/Extensions/VK_NV_mesh_shader.hs @@ -351,6 +351,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawMeshTasksNV-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawMeshTasksNV-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -727,28 +735,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawMeshTasksNV-primitiveTopology-03420# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawMeshTasksNV-None-04875# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMeshTasksNV-None-04876# If the bound graphics -- pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -774,14 +760,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawMeshTasksNV-None-04879# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMeshTasksNV-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -815,36 +793,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawMeshTasksNV-None-04912# If the bound graphics --- pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawMeshTasksNV-pStrides-04913# If the bound graphics --- pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawMeshTasksNV-None-04914# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawMeshTasksNV-imageView-06172# If the current render -- pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -1081,6 +1029,18 @@ foreign import ccall -- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@renderPass@ -- equal to 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- +-- - #VUID-vkCmdDrawMeshTasksNV-stage-06480# The bound graphics pipeline +-- /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_VERTEX_BIT', +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_CONTROL_BIT', +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_EVALUATION_BIT' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_GEOMETRY_BIT' +-- -- - #VUID-vkCmdDrawMeshTasksNV-taskCount-02119# @taskCount@ /must/ be -- less than or equal to -- 'PhysicalDeviceMeshShaderPropertiesNV'::@maxDrawMeshTasksCount@ @@ -1185,6 +1145,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawMeshTasksIndirectNV-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawMeshTasksIndirectNV-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -1563,28 +1531,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawMeshTasksIndirectNV-primitiveTopology-03420# If the --- bound graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawMeshTasksIndirectNV-None-04875# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMeshTasksIndirectNV-None-04876# If the bound graphics -- pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -1610,14 +1556,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawMeshTasksIndirectNV-None-04879# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMeshTasksIndirectNV-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -1652,36 +1590,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawMeshTasksIndirectNV-None-04912# If the bound graphics --- pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawMeshTasksIndirectNV-pStrides-04913# If the bound --- graphics pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawMeshTasksIndirectNV-None-04914# If the bound graphics --- pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawMeshTasksIndirectNV-imageView-06172# If the current -- render pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -1918,6 +1826,18 @@ foreign import ccall -- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@renderPass@ -- equal to 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- +-- - #VUID-vkCmdDrawMeshTasksIndirectNV-stage-06480# The bound graphics +-- pipeline /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_VERTEX_BIT', +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_CONTROL_BIT', +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_EVALUATION_BIT' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_GEOMETRY_BIT' +-- -- - #VUID-vkCmdDrawMeshTasksIndirectNV-buffer-02708# If @buffer@ is -- non-sparse then it /must/ be bound completely and contiguously to a -- single 'Vulkan.Core10.Handles.DeviceMemory' object @@ -2066,6 +1986,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s @@ -2444,28 +2372,6 @@ foreign import ccall -- to -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' -- --- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-primitiveTopology-03420# If --- the bound graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_TOPOLOGY_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command, and the @primitiveTopology@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetPrimitiveTopologyEXT' --- /must/ be of the same --- --- as the pipeline --- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo'::@topology@ --- state --- --- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-None-04875# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPatchControlPointsEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-None-04876# If the bound -- graphics pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -2491,14 +2397,6 @@ foreign import ccall -- drawing command and the @logicOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- --- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-None-04879# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PRIMITIVE_RESTART_ENABLE_EXT' --- dynamic state enabled then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state2.cmdSetPrimitiveRestartEnableEXT' --- /must/ have been called in the current command buffer prior to this --- drawing command --- -- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-primitiveFragmentShadingRateWithMultipleViewports-04552# -- If the -- @@ -2533,36 +2431,6 @@ foreign import ccall -- /must/ be the same as the current subpass color and\/or -- depth\/stencil attachments -- --- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-None-04912# If the bound --- graphics pipeline was created with both the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- and --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic states enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- --- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-pStrides-04913# If the bound --- graphics pipeline was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_BINDING_STRIDE_EXT' --- dynamic state enabled, but not the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ have been called in the current command buffer prior to this --- draw command, and the @pStrides@ parameter of --- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdBindVertexBuffers2EXT' --- /must/ not be @NULL@ --- --- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-None-04914# If the bound --- graphics pipeline state was created with the --- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' --- dynamic state enabled, then --- 'Vulkan.Extensions.VK_EXT_vertex_input_dynamic_state.cmdSetVertexInputEXT' --- /must/ have been called in the current command buffer prior to this --- draw command --- -- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-imageView-06172# If the -- current render pass instance was begun with -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.cmdBeginRenderingKHR', @@ -2799,6 +2667,18 @@ foreign import ccall -- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@renderPass@ -- equal to 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- +-- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-stage-06480# The bound +-- graphics pipeline /must/ not have been created with the +-- 'Vulkan.Core10.Pipeline.PipelineShaderStageCreateInfo'::@stage@ +-- member of an element of +-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo'::@pStages@ set +-- to +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_VERTEX_BIT', +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_CONTROL_BIT', +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_EVALUATION_BIT' +-- or +-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_GEOMETRY_BIT' +-- -- - #VUID-vkCmdDrawMeshTasksIndirectCountNV-buffer-02708# If @buffer@ is -- non-sparse then it /must/ be bound completely and contiguously to a -- single 'Vulkan.Core10.Handles.DeviceMemory' object diff --git a/src/Vulkan/Extensions/VK_NV_ray_tracing.hs b/src/Vulkan/Extensions/VK_NV_ray_tracing.hs index b94737ba7..d7e234ad8 100644 --- a/src/Vulkan/Extensions/VK_NV_ray_tracing.hs +++ b/src/Vulkan/Extensions/VK_NV_ray_tracing.hs @@ -1649,6 +1649,14 @@ foreign import ccall -- /must/ contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT' -- +-- - #VUID-vkCmdTraceRaysNV-None-06479# If a +-- 'Vulkan.Core10.Handles.ImageView' is sampled with +-- , +-- the image view’s +-- +-- /must/ contain +-- 'Vulkan.Extensions.VK_KHR_acceleration_structure.FORMAT_FEATURE_2_SAMPLED_IMAGE_DEPTH_COMPARISON_BIT_KHR' +-- -- - #VUID-vkCmdTraceRaysNV-None-02691# If a -- 'Vulkan.Core10.Handles.ImageView' is accessed using atomic -- operations as a result of this command, then the image view’s diff --git a/src/Vulkan/Version.hs b/src/Vulkan/Version.hs index aeb14cb66..02f15c4ce 100644 --- a/src/Vulkan/Version.hs +++ b/src/Vulkan/Version.hs @@ -19,11 +19,11 @@ import Data.Bits (shiftR) import Data.Word (Word32) pattern HEADER_VERSION :: Word32 -pattern HEADER_VERSION = 200 +pattern HEADER_VERSION = 201 pattern HEADER_VERSION_COMPLETE :: Word32 -pattern HEADER_VERSION_COMPLETE = MAKE_API_VERSION 1 2 200 +pattern HEADER_VERSION_COMPLETE = MAKE_API_VERSION 1 2 201 pattern MAKE_API_VERSION :: Word32 -> Word32 -> Word32 -> Word32 From e31c2789e0b1f81f99f7b4ee89cf0ece2f401430 Mon Sep 17 00:00:00 2001 From: actions-bot <58130806+actions-bot@users.noreply.github.com> Date: Wed, 1 Dec 2021 05:41:16 +0000 Subject: [PATCH 2/2] v3.14.1 - Bump API version to v1.2.201 --- changelog.md | 2 ++ package.yaml | 2 +- vulkan.cabal | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/changelog.md b/changelog.md index ae0b7d9ba..32fead613 100644 --- a/changelog.md +++ b/changelog.md @@ -1,6 +1,8 @@ # Change Log ## WIP + +## [3.14.1] - 2021-12-01 - Bump API version to v1.2.201 ## [3.14] - 2021-11-25 diff --git a/package.yaml b/package.yaml index 571e0c239..42ea792a6 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: vulkan -version: "3.14" +version: "3.14.1" synopsis: Bindings to the Vulkan graphics API. description: Please see [the readme](https://github.com/expipiplus1/vulkan/#readme) category: Graphics diff --git a/vulkan.cabal b/vulkan.cabal index e2718d771..de867674b 100644 --- a/vulkan.cabal +++ b/vulkan.cabal @@ -5,7 +5,7 @@ cabal-version: 2.2 -- see: https://github.com/sol/hpack name: vulkan -version: 3.14 +version: 3.14.1 synopsis: Bindings to the Vulkan graphics API. description: Please see [the readme](https://github.com/expipiplus1/vulkan/#readme) category: Graphics