diff --git a/changelog.md b/changelog.md --- a/changelog.md +++ b/changelog.md @@ -2,6 +2,9 @@ ## WIP +## [3.14.1] - 2021-12-01 +- Bump API version to v1.2.201 + ## [3.14] - 2021-11-25 - Bump API version to v1.2.200 diff --git a/package.yaml b/package.yaml --- 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/src/Vulkan/CStruct/Extends.hs b/src/Vulkan/CStruct/Extends.hs --- a/src/Vulkan/CStruct/Extends.hs +++ b/src/Vulkan/CStruct/Extends.hs @@ -980,6 +980,7 @@ 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 @@ 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 @@ 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 @@ {-# 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 --- a/src/Vulkan/Core10/APIConstants.hs +++ b/src/Vulkan/Core10/APIConstants.hs @@ -178,7 +178,7 @@ 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 --- a/src/Vulkan/Core10/CommandBufferBuilding.hs +++ b/src/Vulkan/Core10/CommandBufferBuilding.hs @@ -1831,6 +1831,14 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- /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 @@ -3962,28 +4006,6 @@ -- 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 --- -- - #VUID-vkCmdDrawIndirect-None-04876# If the bound graphics pipeline -- state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE_EXT' @@ -4009,14 +4031,6 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- /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 @@ -- /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 @@ -- -- 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 -- @@ -12944,18 +13032,6 @@ -- than or equal to -- '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 diff --git a/src/Vulkan/Core10/Device.hs b/src/Vulkan/Core10/Device.hs --- a/src/Vulkan/Core10/Device.hs +++ b/src/Vulkan/Core10/Device.hs @@ -153,6 +153,7 @@ 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 @@ -- '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 @@ 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 --- a/src/Vulkan/Core10/Enums/StructureType.hs +++ b/src/Vulkan/Core10/Enums/StructureType.hs @@ -1159,6 +1159,8 @@ -- , -- , -- , +-- , +-- , -- , -- , -- , @@ -1168,6 +1170,8 @@ -- , -- , -- , +-- , +-- , -- , -- , -- , @@ -1175,6 +1179,7 @@ -- , -- , -- , +-- , -- , -- , -- , diff --git a/src/Vulkan/Core10/FundamentalTypes.hs b/src/Vulkan/Core10/FundamentalTypes.hs --- a/src/Vulkan/Core10/FundamentalTypes.hs +++ b/src/Vulkan/Core10/FundamentalTypes.hs @@ -577,7 +577,9 @@ -- '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 --- a/src/Vulkan/Core10/Memory.hs +++ b/src/Vulkan/Core10/Memory.hs @@ -162,13 +162,13 @@ -- '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 --- a/src/Vulkan/Core10/Pass.hs +++ b/src/Vulkan/Core10/Pass.hs @@ -1241,12 +1241,6 @@ -- 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 @@ -- 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 --- a/src/Vulkan/Core11/Enums/SamplerYcbcrModelConversion.hs +++ b/src/Vulkan/Core11/Enums/SamplerYcbcrModelConversion.hs @@ -29,17 +29,17 @@ -- -- - '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 --- 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 @@ -- /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 --- 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 (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 @@ 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 --- a/src/Vulkan/Core12/Promoted_From_VK_KHR_create_renderpass2.hs +++ b/src/Vulkan/Core12/Promoted_From_VK_KHR_create_renderpass2.hs @@ -1851,9 +1851,24 @@ -- 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 -- 'Vulkan.Core10.Enums.AttachmentLoadOp.ATTACHMENT_LOAD_OP_CLEAR', the @@ -1975,7 +1990,7 @@ -- -- - #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 --- 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 @@ -- | 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 @@ -- '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 @@ -- @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@ @@ -233,18 +255,6 @@ -- @depthResolveMode@ and @stencilResolveMode@ /must/ be identical or -- 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) -- 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 --- 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 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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', @@ -1740,6 +1706,76 @@ -- contained within the corresponding vertex buffer binding, as -- 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 diff --git a/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs b/src/Vulkan/Extensions/VK_ARM_rasterization_order_attachment_access.hs --- 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 --- 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 --- 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 --- 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 --- a/src/Vulkan/Extensions/VK_EXT_fragment_density_map.hs +++ b/src/Vulkan/Extensions/VK_EXT_fragment_density_map.hs @@ -440,12 +440,6 @@ -- -- == 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 --- a/src/Vulkan/Extensions/VK_EXT_multi_draw.hs +++ b/src/Vulkan/Extensions/VK_EXT_multi_draw.hs @@ -219,6 +219,14 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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', @@ -1874,6 +1840,76 @@ -- binding, any attribute data fetched /must/ be entirely contained -- 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 -- diff --git a/src/Vulkan/Extensions/VK_EXT_tooling_info.hs b/src/Vulkan/Extensions/VK_EXT_tooling_info.hs --- 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 --- 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 --- a/src/Vulkan/Extensions/VK_EXT_transform_feedback.hs +++ b/src/Vulkan/Extensions/VK_EXT_transform_feedback.hs @@ -1219,6 +1219,14 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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', @@ -1968,6 +1916,76 @@ -- contained within the corresponding vertex buffer binding, as -- 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@ diff --git a/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs b/src/Vulkan/Extensions/VK_FUCHSIA_buffer_collection.hs --- 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 --- 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 --- a/src/Vulkan/Extensions/VK_HUAWEI_subpass_shading.hs +++ b/src/Vulkan/Extensions/VK_HUAWEI_subpass_shading.hs @@ -509,6 +509,14 @@ -- /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 --- a/src/Vulkan/Extensions/VK_KHR_dynamic_rendering.hs +++ b/src/Vulkan/Extensions/VK_KHR_dynamic_rendering.hs @@ -778,16 +778,6 @@ -- '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 --- 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 --- 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 --- a/src/Vulkan/Extensions/VK_KHR_ray_tracing_pipeline.hs +++ b/src/Vulkan/Extensions/VK_KHR_ray_tracing_pipeline.hs @@ -898,6 +898,14 @@ -- /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 @@ -1795,6 +1803,14 @@ -- -- /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 diff --git a/src/Vulkan/Extensions/VK_NV_device_generated_commands.hs b/src/Vulkan/Extensions/VK_NV_device_generated_commands.hs --- a/src/Vulkan/Extensions/VK_NV_device_generated_commands.hs +++ b/src/Vulkan/Extensions/VK_NV_device_generated_commands.hs @@ -734,6 +734,14 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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', @@ -1483,6 +1431,76 @@ -- contained within the corresponding vertex buffer binding, as -- 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 --- a/src/Vulkan/Extensions/VK_NV_mesh_shader.hs +++ b/src/Vulkan/Extensions/VK_NV_mesh_shader.hs @@ -351,6 +351,14 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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 @@ -- '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 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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 @@ -- '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 @@ -- /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 @@ -- 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 @@ -- 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 @@ -- /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', @@ -2798,6 +2666,18 @@ -- the currently bound pipeline /must/ have been created with a -- '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 diff --git a/src/Vulkan/Extensions/VK_NV_ray_tracing.hs b/src/Vulkan/Extensions/VK_NV_ray_tracing.hs --- a/src/Vulkan/Extensions/VK_NV_ray_tracing.hs +++ b/src/Vulkan/Extensions/VK_NV_ray_tracing.hs @@ -1649,6 +1649,14 @@ -- /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 --- a/src/Vulkan/Version.hs +++ b/src/Vulkan/Version.hs @@ -19,11 +19,11 @@ 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 diff --git a/vulkan.cabal b/vulkan.cabal --- a/vulkan.cabal +++ b/vulkan.cabal @@ -5,7 +5,7 @@ -- 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