Skip to content

Commit

Permalink
Merge pull request #311 from expipiplus1/joe-183
Browse files Browse the repository at this point in the history
Bump vulkan version to v1.2.183
  • Loading branch information
expipiplus1 authored Jun 28, 2021
2 parents 4387948 + 49de7cf commit 1123da3
Show file tree
Hide file tree
Showing 37 changed files with 277 additions and 129 deletions.
3 changes: 3 additions & 0 deletions changelog.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,9 @@

## WIP

## [3.11.1] - 2021-06-28
- Bump API version to v1.2.183

## [3.11.0.2] - 2021-06-26
- Tweak cabal file to please `cabal check`

Expand Down
4 changes: 2 additions & 2 deletions generate-new/src/Bespoke.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1176,8 +1176,8 @@ cuLaunchSchemes :: BespokeScheme
cuLaunchSchemes =
BespokeScheme $ \case
"VkCuLaunchInfoNVX" -> \case
a | "pParams" <- name a -> Just (Preserve (type' a))
a | "pExtras" <- name a -> Just (Preserve (type' a))
a | "pParams" <- name a -> Just (Vector NotNullable VoidPtr)
a | "pExtras" <- name a -> Just (Vector NotNullable VoidPtr)
_ -> Nothing
_ -> const Nothing

Expand Down
5 changes: 4 additions & 1 deletion generate-new/src/Render/Stmts/Poke.hs
Original file line number Diff line number Diff line change
Expand Up @@ -496,7 +496,10 @@ lenRefFromSibling name = do
("either id (fromIntegral . Data.Vector.length)" <+> vec)
-- Assume vector for now, TODO, put this in CustomScheme
Custom _ -> pure $ Pure InlineOnce ("Data.Vector.length $" <+> vec)
_ -> throw "Trying to get the length of a non vector type sibling"
s ->
throw
$ "Trying to get the length of a non vector type sibling: "
<> show s


-- TODO: the type of the value here could be improved
Expand Down
2 changes: 0 additions & 2 deletions generate-new/src/Spec/Parse.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1056,8 +1056,6 @@ parseSPIRVThings thingType mkThing es = V.fromList <$> sequenceV
[ parseExtension e
| Element e <- es
, thingType == name e
-- https://github.com/KhronosGroup/Vulkan-Docs/issues/1565
, getAttr "name" e /= Just "RayTracingMotionBlurNV"
]
where
parseExtension n = do
Expand Down
2 changes: 1 addition & 1 deletion package.yaml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: vulkan
version: "3.11.0.2"
version: "3.11.1"
synopsis: Bindings to the Vulkan graphics API.
description: Please see [the readme](https://github.com/expipiplus1/vulkan/#readme)
category: Graphics
Expand Down
3 changes: 2 additions & 1 deletion src/Vulkan/CStruct/Extends.hs
Original file line number Diff line number Diff line change
Expand Up @@ -828,6 +828,7 @@ type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where
Extends DeviceCreateInfo PhysicalDeviceShaderDrawParametersFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceShaderFloat16Int8Features = ()
Extends DeviceCreateInfo PhysicalDeviceHostQueryResetFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceGlobalPriorityQueryFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceDeviceMemoryReportFeaturesEXT = ()
Extends DeviceCreateInfo DeviceDeviceMemoryReportCreateInfoEXT = ()
Extends DeviceCreateInfo PhysicalDeviceDescriptorIndexingFeatures = ()
Expand Down Expand Up @@ -1049,6 +1050,7 @@ type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where
Extends PhysicalDeviceFeatures2 PhysicalDeviceInheritedViewportScissorFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceYcbcr2Plane444FormatsFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceProvokingVertexFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceRayTracingMotionBlurFeaturesNV = ()
Extends PhysicalDeviceImageFormatInfo2 PhysicalDeviceExternalImageFormatInfo = ()
Extends PhysicalDeviceImageFormatInfo2 ImageFormatListCreateInfo = ()
Extends PhysicalDeviceImageFormatInfo2 PhysicalDeviceImageDrmFormatModifierInfoEXT = ()
Expand Down Expand Up @@ -1104,7 +1106,6 @@ type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where
Extends PhysicalDeviceProperties2 PhysicalDeviceFragmentShadingRateEnumsPropertiesNV = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceProvokingVertexPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceDrmPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceRayTracingMotionBlurFeaturesNV = ()
Extends PhysicalDeviceSurfaceInfo2KHR SurfaceFullScreenExclusiveInfoEXT = ()
Extends PhysicalDeviceSurfaceInfo2KHR SurfaceFullScreenExclusiveWin32InfoEXT = ()
Extends PipelineColorBlendStateCreateInfo PipelineColorBlendAdvancedStateCreateInfoEXT = ()
Expand Down
3 changes: 3 additions & 0 deletions src/Vulkan/Core10/CommandBuffer.hs
Original file line number Diff line number Diff line change
Expand Up @@ -537,6 +537,9 @@ foreign import ccall
--
-- - Host access to @commandBuffer@ /must/ be externally synchronized
--
-- - Host access to the 'Vulkan.Core10.Handles.CommandPool' that
-- @commandBuffer@ was allocated from /must/ be externally synchronized
--
-- == Return Codes
--
-- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-successcodes Success>]
Expand Down
7 changes: 7 additions & 0 deletions src/Vulkan/Core10/CommandBufferBuilding.hs
Original file line number Diff line number Diff line change
Expand Up @@ -7106,6 +7106,9 @@ foreign import ccall
-- - #VUID-vkCmdClearColorImage-image-00007# @image@ /must/ not have a
-- compressed or depth\/stencil format
--
-- - #VUID-vkCmdClearColorImage-pColor-04961# @pColor@ /must/ be a valid
-- pointer to a 'ClearColorValue' union
--
-- - #VUID-vkCmdClearColorImage-commandBuffer-01805# If @commandBuffer@
-- is an unprotected command buffer, then @image@ /must/ not be a
-- protected image
Expand Down Expand Up @@ -11449,6 +11452,10 @@ instance Zero ImageResolve where
-- a depth\/stencil format) of
-- 'Vulkan.Core10.Enums.AttachmentLoadOp.ATTACHMENT_LOAD_OP_CLEAR'
--
-- - #VUID-VkRenderPassBeginInfo-clearValueCount-04962# If
-- @clearValueCount@ is not @0@, @pClearValues@ /must/ be a valid
-- pointer to an array of @clearValueCount@ 'ClearValue' unions
--
-- - #VUID-VkRenderPassBeginInfo-renderPass-00904# @renderPass@ /must/ be
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#renderpass-compatibility compatible>
-- with the @renderPass@ member of the
Expand Down
3 changes: 3 additions & 0 deletions src/Vulkan/Core10/Device.hs
Original file line number Diff line number Diff line change
Expand Up @@ -120,6 +120,7 @@ import {-# SOURCE #-} Vulkan.Extensions.VK_NV_fragment_shader_barycentric (Physi
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_fragment_shader_interlock (PhysicalDeviceFragmentShaderInterlockFeaturesEXT)
import {-# SOURCE #-} Vulkan.Extensions.VK_NV_fragment_shading_rate_enums (PhysicalDeviceFragmentShadingRateEnumsFeaturesNV)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_fragment_shading_rate (PhysicalDeviceFragmentShadingRateFeaturesKHR)
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_global_priority_query (PhysicalDeviceGlobalPriorityQueryFeaturesEXT)
import {-# SOURCE #-} Vulkan.Core12.Promoted_From_VK_EXT_host_query_reset (PhysicalDeviceHostQueryResetFeatures)
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_image_robustness (PhysicalDeviceImageRobustnessFeaturesEXT)
import {-# SOURCE #-} Vulkan.Core12.Promoted_From_VK_KHR_imageless_framebuffer (PhysicalDeviceImagelessFramebufferFeatures)
Expand Down Expand Up @@ -745,6 +746,7 @@ instance es ~ '[] => Zero (DeviceQueueCreateInfo es) where
-- 'Vulkan.Extensions.VK_EXT_fragment_shader_interlock.PhysicalDeviceFragmentShaderInterlockFeaturesEXT',
-- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PhysicalDeviceFragmentShadingRateEnumsFeaturesNV',
-- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PhysicalDeviceFragmentShadingRateFeaturesKHR',
-- 'Vulkan.Extensions.VK_EXT_global_priority_query.PhysicalDeviceGlobalPriorityQueryFeaturesEXT',
-- 'Vulkan.Core12.Promoted_From_VK_EXT_host_query_reset.PhysicalDeviceHostQueryResetFeatures',
-- 'Vulkan.Extensions.VK_EXT_image_robustness.PhysicalDeviceImageRobustnessFeaturesEXT',
-- 'Vulkan.Core12.Promoted_From_VK_KHR_imageless_framebuffer.PhysicalDeviceImagelessFramebufferFeatures',
Expand Down Expand Up @@ -962,6 +964,7 @@ instance Extensible DeviceCreateInfo where
| Just Refl <- eqT @e @PhysicalDeviceDescriptorIndexingFeatures = Just f
| Just Refl <- eqT @e @DeviceDeviceMemoryReportCreateInfoEXT = Just f
| Just Refl <- eqT @e @PhysicalDeviceDeviceMemoryReportFeaturesEXT = Just f
| Just Refl <- eqT @e @PhysicalDeviceGlobalPriorityQueryFeaturesEXT = Just f
| Just Refl <- eqT @e @PhysicalDeviceHostQueryResetFeatures = Just f
| Just Refl <- eqT @e @PhysicalDeviceShaderFloat16Int8Features = Just f
| Just Refl <- eqT @e @PhysicalDeviceShaderDrawParametersFeatures = Just f
Expand Down
2 changes: 1 addition & 1 deletion src/Vulkan/Core10/Enums/PipelineCreateFlagBits.hs
Original file line number Diff line number Diff line change
Expand Up @@ -149,7 +149,7 @@ type PipelineCreateFlags = PipelineCreateFlagBits
-- pipelines.
--
-- - 'PIPELINE_CREATE_RAY_TRACING_ALLOW_MOTION_BIT_NV' specifies that the
-- pipeline is allowed to use OpTraceRaysMotionNV.
-- pipeline is allowed to use OpTraceRayMotionNV.
--
-- It is valid to set both 'PIPELINE_CREATE_ALLOW_DERIVATIVES_BIT' and
-- 'PIPELINE_CREATE_DERIVATIVE_BIT'. This allows a pipeline to be both a
Expand Down
7 changes: 4 additions & 3 deletions src/Vulkan/Core10/Enums/QueryPipelineStatisticFlagBits.hs
Original file line number Diff line number Diff line change
Expand Up @@ -46,9 +46,10 @@ type QueryPipelineStatisticFlags = QueryPipelineStatisticFlagBits
-- multiple times, affecting some of the counts.
--
-- If a pipeline has @rasterizerDiscardEnable@ enabled, implementations
-- /may/ discard primitives after the final vertex processing stage. As a
-- result, if @rasterizerDiscardEnable@ is enabled, the clipping input and
-- output primitives counters /may/ not be incremented.
-- /may/ discard primitives after the final
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader stage>.
-- As a result, if @rasterizerDiscardEnable@ is enabled, the clipping input
-- and output primitives counters /may/ not be incremented.
--
-- When a pipeline statistics query finishes, the result for that query is
-- marked as available. The application /can/ copy the result to a buffer
Expand Down
9 changes: 5 additions & 4 deletions src/Vulkan/Core10/Enums/SubpassDescriptionFlagBits.hs
Original file line number Diff line number Diff line change
Expand Up @@ -57,10 +57,11 @@ pattern SUBPASS_DESCRIPTION_FRAGMENT_REGION_BIT_QCOM = SubpassDescriptio
pattern SUBPASS_DESCRIPTION_PER_VIEW_POSITION_X_ONLY_BIT_NVX = SubpassDescriptionFlagBits 0x00000002
-- | 'SUBPASS_DESCRIPTION_PER_VIEW_ATTRIBUTES_BIT_NVX' specifies that shaders
-- compiled for this subpass write the attributes for all views in a single
-- invocation of each vertex processing stage. All pipelines compiled
-- against a subpass that includes this bit /must/ write per-view
-- attributes to the @*PerViewNV[]@ shader outputs, in addition to the
-- non-per-view (e.g. @Position@) outputs.
-- invocation of each
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader stage>.
-- All pipelines compiled against a subpass that includes this bit /must/
-- write per-view attributes to the @*PerViewNV[]@ shader outputs, in
-- addition to the non-per-view (e.g. @Position@) outputs.
pattern SUBPASS_DESCRIPTION_PER_VIEW_ATTRIBUTES_BIT_NVX = SubpassDescriptionFlagBits 0x00000001

conNameSubpassDescriptionFlagBits :: String
Expand Down
11 changes: 4 additions & 7 deletions src/Vulkan/Core10/Event.hs
Original file line number Diff line number Diff line change
Expand Up @@ -409,15 +409,12 @@ foreign import ccall
-- == Valid Usage
--
-- - #VUID-vkResetEvent-event-03821# There /must/ be an execution
-- dependency between
-- 'Vulkan.Core10.CommandBufferBuilding.cmdResetEvent' and the
-- execution of any 'Vulkan.Core10.CommandBufferBuilding.cmdWaitEvents'
-- that includes @event@ in its @pEvents@ parameter
-- dependency between 'resetEvent' and the execution of any
-- 'Vulkan.Core10.CommandBufferBuilding.cmdWaitEvents' that includes
-- @event@ in its @pEvents@ parameter
--
-- - #VUID-vkResetEvent-event-03822# There /must/ be an execution
-- dependency between
-- 'Vulkan.Core10.CommandBufferBuilding.cmdResetEvent' and the
-- execution of any
-- dependency between 'resetEvent' and the execution of any
-- 'Vulkan.Extensions.VK_KHR_synchronization2.cmdWaitEvents2KHR' that
-- includes @event@ in its @pEvents@ parameter
--
Expand Down
6 changes: 3 additions & 3 deletions src/Vulkan/Core10/Pass.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1314,9 +1314,9 @@ data SubpassDescription = SubpassDescription
-- @colorAttachmentCount@ 'AttachmentReference' structures defining the
-- resolve attachments for this subpass and their layouts.
resolveAttachments :: Vector AttachmentReference
, -- | @pDepthStencilAttachment@ is a pointer to an array of
-- 'AttachmentReference' structures specifying the depth\/stencil
-- attachment for this subpass and its layout.
, -- | @pDepthStencilAttachment@ is a pointer to a 'AttachmentReference'
-- structure specifying the depth\/stencil attachment for this subpass and
-- its layout.
depthStencilAttachment :: Maybe AttachmentReference
, -- | @pPreserveAttachments@ is a pointer to an array of
-- @preserveAttachmentCount@ render pass attachment indices identifying
Expand Down
49 changes: 33 additions & 16 deletions src/Vulkan/Core10/Pipeline.hs
Original file line number Diff line number Diff line change
Expand Up @@ -643,8 +643,8 @@ destroyPipeline device pipeline allocator = liftIO . evalContT $ do
-- also adjust the @y@ value to point to the lower left corner of the
-- viewport instead of the upper left corner. Using the negative @height@
-- allows the application to avoid having to negate the y component of the
-- @Position@ output from the last vertex processing stage in shaders that
-- also target other graphics APIs.
-- @Position@ output from the last
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader stage>.
--
-- The width and height of the
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#limits-maxViewportDimensions implementation-dependent maximum viewport dimensions>
Expand Down Expand Up @@ -1004,14 +1004,16 @@ instance Zero SpecializationInfo where
-- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxGeometryShaderInvocations@
--
-- - #VUID-VkPipelineShaderStageCreateInfo-stage-02596# If @stage@ is a
-- vertex processing stage, and the identified entry point writes to
-- @Layer@ for any primitive, it /must/ write the same value to @Layer@
-- for all vertices of a given primitive
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader stage>,
-- and the identified entry point writes to @Layer@ for any primitive,
-- it /must/ write the same value to @Layer@ for all vertices of a
-- given primitive
--
-- - #VUID-VkPipelineShaderStageCreateInfo-stage-02597# If @stage@ is a
-- vertex processing stage, and the identified entry point writes to
-- @ViewportIndex@ for any primitive, it /must/ write the same value to
-- @ViewportIndex@ for all vertices of a given primitive
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader stage>,
-- and the identified entry point writes to @ViewportIndex@ for any
-- primitive, it /must/ write the same value to @ViewportIndex@ for all
-- vertices of a given primitive
--
-- - #VUID-VkPipelineShaderStageCreateInfo-stage-00718# If @stage@ is
-- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_FRAGMENT_BIT',
Expand Down Expand Up @@ -3412,8 +3414,19 @@ instance Zero PipelineDepthStencilStateCreateInfo where
--
-- Pre-rasterization shader state is defined by:
--
-- - 'PipelineShaderStageCreateInfo' entries for each vertex processing
-- shader stage used
-- - 'PipelineShaderStageCreateInfo' entries for:
--
-- - Vertex shaders
--
-- - Tessellation control shaders
--
-- - Tessellation evaluation shaders
--
-- - Geometry shaders
--
-- - Task shaders
--
-- - Mesh shaders
--
-- - Within the 'Vulkan.Core10.Handles.PipelineLayout', all bindings that
-- affect the specified shader stages
Expand Down Expand Up @@ -3653,9 +3666,10 @@ instance Zero PipelineDepthStencilStateCreateInfo where
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader state>
-- and
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-fragment-shader fragment shader state>,
-- the fragment shader and last vertex processing shader stage and any
-- relevant state /must/ adhere to the pipeline linking rules described
-- in the
-- the fragment shader and last
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader stage>
-- and any relevant state /must/ adhere to the pipeline linking rules
-- described in the
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#interfaces Shader Interfaces>
-- chapter
--
Expand Down Expand Up @@ -4019,7 +4033,8 @@ instance Zero PipelineDepthStencilStateCreateInfo where
-- being created with
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader state>,
-- and any shader stage in @pStages@ specifies @Xfb@ execution mode it
-- /must/ be the last vertex processing stage
-- /must/ be the last
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader stage>
--
-- - #VUID-VkGraphicsPipelineCreateInfo-rasterizationStream-02319# If the
-- pipeline is being created with
Expand All @@ -4046,8 +4061,10 @@ instance Zero PipelineDepthStencilStateCreateInfo where
-- - #VUID-VkGraphicsPipelineCreateInfo-geometryStreams-02321# If the
-- pipeline is being created with
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader state>,
-- and the last vertex processing stage is a geometry shader, and that
-- geometry shader uses the @GeometryStreams@ capability, then
-- and the last
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#pipeline-graphics-subsets-pre-rasterization pre-rasterization shader stage>
-- is a geometry shader, and that geometry shader uses the
-- @GeometryStreams@ capability, then
-- 'Vulkan.Extensions.VK_EXT_transform_feedback.PhysicalDeviceTransformFeedbackFeaturesEXT'::@geometryStreams@
-- feature /must/ be enabled
--
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -686,6 +686,7 @@ instance Extensible PhysicalDeviceFeatures2 where
getNext PhysicalDeviceFeatures2{..} = next
extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceFeatures2 e => b) -> Maybe b
extends _ f
| Just Refl <- eqT @e @PhysicalDeviceRayTracingMotionBlurFeaturesNV = Just f
| Just Refl <- eqT @e @PhysicalDeviceProvokingVertexFeaturesEXT = Just f
| Just Refl <- eqT @e @PhysicalDeviceYcbcr2Plane444FormatsFeaturesEXT = Just f
| Just Refl <- eqT @e @PhysicalDeviceInheritedViewportScissorFeaturesNV = Just f
Expand Down Expand Up @@ -856,7 +857,6 @@ instance es ~ '[] => Zero (PhysicalDeviceFeatures2 es) where
-- 'Vulkan.Core11.Originally_Based_On_VK_KHR_protected_memory.PhysicalDeviceProtectedMemoryProperties',
-- 'Vulkan.Extensions.VK_EXT_provoking_vertex.PhysicalDeviceProvokingVertexPropertiesEXT',
-- 'Vulkan.Extensions.VK_KHR_push_descriptor.PhysicalDevicePushDescriptorPropertiesKHR',
-- 'Vulkan.Extensions.VK_NV_ray_tracing_motion_blur.PhysicalDeviceRayTracingMotionBlurFeaturesNV',
-- 'Vulkan.Extensions.VK_KHR_ray_tracing_pipeline.PhysicalDeviceRayTracingPipelinePropertiesKHR',
-- 'Vulkan.Extensions.VK_NV_ray_tracing.PhysicalDeviceRayTracingPropertiesNV',
-- 'Vulkan.Extensions.VK_EXT_robustness2.PhysicalDeviceRobustness2PropertiesEXT',
Expand Down Expand Up @@ -907,7 +907,6 @@ instance Extensible PhysicalDeviceProperties2 where
getNext PhysicalDeviceProperties2{..} = next
extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceProperties2 e => b) -> Maybe b
extends _ f
| Just Refl <- eqT @e @PhysicalDeviceRayTracingMotionBlurFeaturesNV = Just f
| Just Refl <- eqT @e @PhysicalDeviceDrmPropertiesEXT = Just f
| Just Refl <- eqT @e @PhysicalDeviceProvokingVertexPropertiesEXT = Just f
| Just Refl <- eqT @e @PhysicalDeviceFragmentShadingRateEnumsPropertiesNV = Just f
Expand Down
2 changes: 1 addition & 1 deletion src/Vulkan/Core11/Promoted_From_VK_KHR_maintenance2.hs
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ import Vulkan.Core11.Enums.TessellationDomainOrigin (TessellationDomainOrigin(..
--
-- @subpass@ and @inputAttachmentIndex@ index into the render pass as:
--
-- > pname:pCreateInfo->pSubpasses[subpass].pInputAttachments[inputAttachmentIndex]
-- > pCreateInfo->pSubpasses[subpass].pInputAttachments[inputAttachmentIndex]
--
-- == Valid Usage (Implicit)
--
Expand Down
3 changes: 2 additions & 1 deletion src/Vulkan/Extensions/VK_EXT_global_priority_query.hs
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,8 @@
-- == New Structures
--
-- - Extending
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2':
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2',
-- 'Vulkan.Core10.Device.DeviceCreateInfo':
--
-- - 'PhysicalDeviceGlobalPriorityQueryFeaturesEXT'
--
Expand Down
Loading

0 comments on commit 1123da3

Please sign in to comment.