{-# language CPP #-} -- No documentation found for Chapter "Pipeline" module Vulkan.Core10.Pipeline ( createGraphicsPipelines , withGraphicsPipelines , createComputePipelines , withComputePipelines , destroyPipeline , Viewport(..) , SpecializationMapEntry(..) , SpecializationInfo(..) , PipelineShaderStageCreateInfo(..) , ComputePipelineCreateInfo(..) , VertexInputBindingDescription(..) , VertexInputAttributeDescription(..) , PipelineVertexInputStateCreateInfo(..) , PipelineInputAssemblyStateCreateInfo(..) , PipelineTessellationStateCreateInfo(..) , PipelineViewportStateCreateInfo(..) , PipelineRasterizationStateCreateInfo(..) , PipelineMultisampleStateCreateInfo(..) , PipelineColorBlendAttachmentState(..) , PipelineColorBlendStateCreateInfo(..) , PipelineDynamicStateCreateInfo(..) , StencilOpState(..) , PipelineDepthStencilStateCreateInfo(..) , GraphicsPipelineCreateInfo(..) , Pipeline(..) , PipelineDynamicStateCreateFlags(..) , PipelineMultisampleStateCreateFlags(..) , PipelineRasterizationStateCreateFlags(..) , PipelineViewportStateCreateFlags(..) , PipelineTessellationStateCreateFlags(..) , PipelineInputAssemblyStateCreateFlags(..) , PipelineVertexInputStateCreateFlags(..) , PrimitiveTopology(..) , CompareOp(..) , PolygonMode(..) , FrontFace(..) , BlendFactor(..) , BlendOp(..) , StencilOp(..) , LogicOp(..) , VertexInputRate(..) , DynamicState(..) , CullModeFlagBits(..) , CullModeFlags , ShaderStageFlagBits(..) , ShaderStageFlags , PipelineCreateFlagBits(..) , PipelineCreateFlags , PipelineShaderStageCreateFlagBits(..) , PipelineShaderStageCreateFlags , ColorComponentFlagBits(..) , ColorComponentFlags , PipelineLayoutCreateFlagBits(..) , PipelineLayoutCreateFlags , PipelineColorBlendStateCreateFlagBits(..) , PipelineColorBlendStateCreateFlags , PipelineDepthStencilStateCreateFlagBits(..) , PipelineDepthStencilStateCreateFlags , SampleMask ) where import Vulkan.CStruct.Utils (FixedArray) import Vulkan.Internal.Utils (traceAroundEvent) import Control.Exception.Base (bracket) import Control.Monad (unless) import Control.Monad.IO.Class (liftIO) import Data.Foldable (traverse_) import Data.Typeable (eqT) import Foreign.Marshal.Alloc (allocaBytes) import Foreign.Marshal.Alloc (callocBytes) import Foreign.Marshal.Alloc (free) import Foreign.Marshal.Utils (maybePeek) import GHC.Base (when) import GHC.IO (throwIO) import GHC.Ptr (castPtr) import GHC.Ptr (nullFunPtr) import Foreign.Ptr (nullPtr) import qualified Foreign.Ptr (nullPtr) import Foreign.Ptr (plusPtr) import Data.ByteString (packCString) import Data.ByteString (useAsCString) import Data.Coerce (coerce) import Control.Monad.Trans.Class (lift) import Control.Monad.Trans.Cont (evalContT) import Data.Vector (generateM) import qualified Data.Vector (imapM_) import qualified Data.Vector (length) import qualified Data.Vector (null) import Vulkan.CStruct (FromCStruct) import Vulkan.CStruct (FromCStruct(..)) import Vulkan.CStruct (ToCStruct) import Vulkan.CStruct (ToCStruct(..)) import Vulkan.Zero (Zero(..)) import Control.Monad.IO.Class (MonadIO) import Data.Type.Equality ((:~:)(Refl)) import Data.Typeable (Typeable) import Foreign.C.Types (CChar) import Foreign.C.Types (CFloat) import Foreign.C.Types (CFloat(..)) import Foreign.C.Types (CFloat(CFloat)) import Foreign.C.Types (CSize) import Foreign.C.Types (CSize(..)) import Foreign.C.Types (CSize(CSize)) import Foreign.Storable (Storable) import Foreign.Storable (Storable(peek)) import Foreign.Storable (Storable(poke)) import qualified Foreign.Storable (Storable(..)) import GHC.Generics (Generic) import GHC.IO.Exception (IOErrorType(..)) import GHC.IO.Exception (IOException(..)) import Data.Int (Int32) import Foreign.Ptr (FunPtr) import Foreign.Ptr (Ptr) import Data.Word (Word32) import Data.Word (Word64) import Data.ByteString (ByteString) import Data.Kind (Type) import Control.Monad.Trans.Cont (ContT(..)) import Data.Vector (Vector) import Vulkan.CStruct.Utils (advancePtrBytes) import Vulkan.Core10.FundamentalTypes (bool32ToBool) import Vulkan.Core10.FundamentalTypes (boolToBool32) import Vulkan.CStruct.Extends (forgetExtensions) import Vulkan.CStruct.Utils (lowerArrayPtr) import Vulkan.CStruct.Extends (peekSomeCStruct) import Vulkan.CStruct.Extends (pokeSomeCStruct) import Vulkan.CStruct.Extends (withSomeCStruct) import Vulkan.NamedType ((:::)) import Vulkan.Core10.AllocationCallbacks (AllocationCallbacks) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_dynamic_rendering (AttachmentSampleCountInfoAMD) import Vulkan.Core10.Enums.BlendFactor (BlendFactor) import Vulkan.Core10.Enums.BlendOp (BlendOp) import Vulkan.Core10.FundamentalTypes (Bool32) import Vulkan.CStruct.Extends (Chain) import Vulkan.Core10.Enums.ColorComponentFlagBits (ColorComponentFlags) import Vulkan.Core10.Enums.CompareOp (CompareOp) import Vulkan.Core10.Enums.CullModeFlagBits (CullModeFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_debug_utils (DebugUtilsObjectNameInfoEXT) import Vulkan.Core10.Handles (Device) import Vulkan.Core10.Handles (Device(..)) import Vulkan.Core10.Handles (Device(Device)) import Vulkan.Dynamic (DeviceCmds(pVkCreateComputePipelines)) import Vulkan.Dynamic (DeviceCmds(pVkCreateGraphicsPipelines)) import Vulkan.Dynamic (DeviceCmds(pVkDestroyPipeline)) import Vulkan.Core10.Handles (Device_T) import Vulkan.Core10.Enums.DynamicState (DynamicState) import Vulkan.CStruct.Extends (Extends) import Vulkan.CStruct.Extends (Extendss) import Vulkan.CStruct.Extends (Extensible(..)) import Vulkan.Core10.Enums.Format (Format) import Vulkan.Core10.Enums.FrontFace (FrontFace) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_graphics_pipeline_library (GraphicsPipelineLibraryCreateInfoEXT) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_device_generated_commands (GraphicsPipelineShaderGroupsCreateInfoNV) import Vulkan.Core10.Enums.LogicOp (LogicOp) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_dynamic_rendering (MultiviewPerViewAttributesInfoNVX) import Vulkan.CStruct.Extends (PeekChain) import Vulkan.CStruct.Extends (PeekChain(..)) import Vulkan.Core10.Handles (Pipeline) import Vulkan.Core10.Handles (Pipeline(..)) import Vulkan.Core10.Handles (PipelineCache) import Vulkan.Core10.Handles (PipelineCache(..)) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_blend_operation_advanced (PipelineColorBlendAdvancedStateCreateInfoEXT) import Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits (PipelineColorBlendStateCreateFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_color_write_enable (PipelineColorWriteCreateInfoEXT) import {-# SOURCE #-} Vulkan.Extensions.VK_AMD_pipeline_compiler_control (PipelineCompilerControlCreateInfoAMD) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_framebuffer_mixed_samples (PipelineCoverageModulationStateCreateInfoNV) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_coverage_reduction_mode (PipelineCoverageReductionStateCreateInfoNV) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_fragment_coverage_to_color (PipelineCoverageToColorStateCreateInfoNV) import Vulkan.Core10.Enums.PipelineCreateFlagBits (PipelineCreateFlags) import {-# SOURCE #-} Vulkan.Core13.Promoted_From_VK_EXT_pipeline_creation_feedback (PipelineCreationFeedbackCreateInfo) import Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits (PipelineDepthStencilStateCreateFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_discard_rectangles (PipelineDiscardRectangleStateCreateInfoEXT) import Vulkan.Core10.Enums.PipelineDynamicStateCreateFlags (PipelineDynamicStateCreateFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_fragment_shading_rate_enums (PipelineFragmentShadingRateEnumStateCreateInfoNV) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_fragment_shading_rate (PipelineFragmentShadingRateStateCreateInfoKHR) import Vulkan.Core10.Enums.PipelineInputAssemblyStateCreateFlags (PipelineInputAssemblyStateCreateFlags) import Vulkan.Core10.Handles (PipelineLayout) import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_pipeline_library (PipelineLibraryCreateInfoKHR) import Vulkan.Core10.Enums.PipelineMultisampleStateCreateFlags (PipelineMultisampleStateCreateFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_conservative_rasterization (PipelineRasterizationConservativeStateCreateInfoEXT) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_depth_clip_enable (PipelineRasterizationDepthClipStateCreateInfoEXT) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_line_rasterization (PipelineRasterizationLineStateCreateInfoEXT) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_provoking_vertex (PipelineRasterizationProvokingVertexStateCreateInfoEXT) import Vulkan.Core10.Enums.PipelineRasterizationStateCreateFlags (PipelineRasterizationStateCreateFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_AMD_rasterization_order (PipelineRasterizationStateRasterizationOrderAMD) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_transform_feedback (PipelineRasterizationStateStreamCreateInfoEXT) import {-# SOURCE #-} Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering (PipelineRenderingCreateInfo) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_representative_fragment_test (PipelineRepresentativeFragmentTestStateCreateInfoNV) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_sample_locations (PipelineSampleLocationsStateCreateInfoEXT) import Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits (PipelineShaderStageCreateFlags) import {-# SOURCE #-} Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control (PipelineShaderStageRequiredSubgroupSizeCreateInfo) import {-# SOURCE #-} Vulkan.Core11.Promoted_From_VK_KHR_maintenance2 (PipelineTessellationDomainOriginStateCreateInfo) import Vulkan.Core10.Enums.PipelineTessellationStateCreateFlags (PipelineTessellationStateCreateFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_vertex_attribute_divisor (PipelineVertexInputDivisorStateCreateInfoEXT) import Vulkan.Core10.Enums.PipelineVertexInputStateCreateFlags (PipelineVertexInputStateCreateFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_shading_rate_image (PipelineViewportCoarseSampleOrderStateCreateInfoNV) import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_depth_clip_control (PipelineViewportDepthClipControlCreateInfoEXT) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_scissor_exclusive (PipelineViewportExclusiveScissorStateCreateInfoNV) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_shading_rate_image (PipelineViewportShadingRateImageStateCreateInfoNV) import Vulkan.Core10.Enums.PipelineViewportStateCreateFlags (PipelineViewportStateCreateFlags) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_viewport_swizzle (PipelineViewportSwizzleStateCreateInfoNV) import {-# SOURCE #-} Vulkan.Extensions.VK_NV_clip_space_w_scaling (PipelineViewportWScalingStateCreateInfoNV) import Vulkan.CStruct.Extends (PokeChain) import Vulkan.CStruct.Extends (PokeChain(..)) import Vulkan.Core10.Enums.PolygonMode (PolygonMode) import Vulkan.Core10.Enums.PrimitiveTopology (PrimitiveTopology) import Vulkan.Core10.FundamentalTypes (Rect2D) import Vulkan.Core10.Handles (RenderPass) import Vulkan.Core10.Enums.Result (Result) import Vulkan.Core10.Enums.Result (Result(..)) import Vulkan.Core10.Enums.SampleCountFlagBits (SampleCountFlagBits) import Vulkan.Core10.Enums.SampleCountFlagBits (SampleCountFlagBits(SampleCountFlagBits)) import Vulkan.Core10.FundamentalTypes (SampleMask) import Vulkan.Core10.Handles (ShaderModule) import {-# SOURCE #-} Vulkan.Core10.Shader (ShaderModuleCreateInfo) import Vulkan.Core10.Enums.ShaderStageFlagBits (ShaderStageFlagBits) import Vulkan.CStruct.Extends (SomeStruct) import Vulkan.CStruct.Extends (SomeStruct(..)) import Vulkan.Core10.Enums.StencilOp (StencilOp) import Vulkan.Core10.Enums.StructureType (StructureType) import {-# SOURCE #-} Vulkan.Extensions.VK_HUAWEI_subpass_shading (SubpassShadingPipelineCreateInfoHUAWEI) import Vulkan.Core10.Enums.VertexInputRate (VertexInputRate) import Vulkan.Exception (VulkanException(..)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_COMPUTE_PIPELINE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_GRAPHICS_PIPELINE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_COLOR_BLEND_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_DEPTH_STENCIL_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_DYNAMIC_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_INPUT_ASSEMBLY_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_MULTISAMPLE_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_RASTERIZATION_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_SHADER_STAGE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_TESSELLATION_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_VERTEX_INPUT_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_VIEWPORT_STATE_CREATE_INFO)) import Vulkan.Core10.Enums.Result (Result(SUCCESS)) import Vulkan.Core10.Enums.BlendFactor (BlendFactor(..)) import Vulkan.Core10.Enums.BlendOp (BlendOp(..)) import Vulkan.Core10.Enums.ColorComponentFlagBits (ColorComponentFlagBits(..)) import Vulkan.Core10.Enums.ColorComponentFlagBits (ColorComponentFlags) import Vulkan.Core10.Enums.CompareOp (CompareOp(..)) import Vulkan.Core10.Enums.CullModeFlagBits (CullModeFlagBits(..)) import Vulkan.Core10.Enums.CullModeFlagBits (CullModeFlags) import Vulkan.Core10.Enums.DynamicState (DynamicState(..)) import Vulkan.Core10.Enums.FrontFace (FrontFace(..)) import Vulkan.Core10.Enums.LogicOp (LogicOp(..)) import Vulkan.Core10.Handles (Pipeline(..)) import Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits (PipelineColorBlendStateCreateFlagBits(..)) import Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits (PipelineColorBlendStateCreateFlags) import Vulkan.Core10.Enums.PipelineCreateFlagBits (PipelineCreateFlagBits(..)) import Vulkan.Core10.Enums.PipelineCreateFlagBits (PipelineCreateFlags) import Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits (PipelineDepthStencilStateCreateFlagBits(..)) import Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits (PipelineDepthStencilStateCreateFlags) import Vulkan.Core10.Enums.PipelineDynamicStateCreateFlags (PipelineDynamicStateCreateFlags(..)) import Vulkan.Core10.Enums.PipelineInputAssemblyStateCreateFlags (PipelineInputAssemblyStateCreateFlags(..)) import Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits (PipelineLayoutCreateFlagBits(..)) import Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits (PipelineLayoutCreateFlags) import Vulkan.Core10.Enums.PipelineMultisampleStateCreateFlags (PipelineMultisampleStateCreateFlags(..)) import Vulkan.Core10.Enums.PipelineRasterizationStateCreateFlags (PipelineRasterizationStateCreateFlags(..)) import Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits (PipelineShaderStageCreateFlagBits(..)) import Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits (PipelineShaderStageCreateFlags) import Vulkan.Core10.Enums.PipelineTessellationStateCreateFlags (PipelineTessellationStateCreateFlags(..)) import Vulkan.Core10.Enums.PipelineVertexInputStateCreateFlags (PipelineVertexInputStateCreateFlags(..)) import Vulkan.Core10.Enums.PipelineViewportStateCreateFlags (PipelineViewportStateCreateFlags(..)) import Vulkan.Core10.Enums.PolygonMode (PolygonMode(..)) import Vulkan.Core10.Enums.PrimitiveTopology (PrimitiveTopology(..)) import Vulkan.Core10.FundamentalTypes (SampleMask) import Vulkan.Core10.Enums.ShaderStageFlagBits (ShaderStageFlagBits(..)) import Vulkan.Core10.Enums.ShaderStageFlagBits (ShaderStageFlags) import Vulkan.Core10.Enums.StencilOp (StencilOp(..)) import Vulkan.Core10.Enums.VertexInputRate (VertexInputRate(..)) foreign import ccall #if !defined(SAFE_FOREIGN_CALLS) unsafe #endif "dynamic" mkVkCreateGraphicsPipelines :: FunPtr (Ptr Device_T -> PipelineCache -> Word32 -> Ptr (SomeStruct GraphicsPipelineCreateInfo) -> Ptr AllocationCallbacks -> Ptr Pipeline -> IO Result) -> Ptr Device_T -> PipelineCache -> Word32 -> Ptr (SomeStruct GraphicsPipelineCreateInfo) -> Ptr AllocationCallbacks -> Ptr Pipeline -> IO Result -- | vkCreateGraphicsPipelines - Create graphics pipelines -- -- = Description -- -- The 'GraphicsPipelineCreateInfo' structure includes an array of -- 'PipelineShaderStageCreateInfo' structures for each of the desired -- active shader stages, as well as creation information for all relevant -- fixed-function stages, and a pipeline layout. -- -- == Valid Usage -- -- - #VUID-vkCreateGraphicsPipelines-flags-00720# If the @flags@ member -- of any element of @pCreateInfos@ contains the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and the @basePipelineIndex@ member of that same element is not -- @-1@, @basePipelineIndex@ /must/ be less than the index into -- @pCreateInfos@ that corresponds to that element -- -- - #VUID-vkCreateGraphicsPipelines-flags-00721# If the @flags@ member -- of any element of @pCreateInfos@ contains the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, the base pipeline /must/ have been created with the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_ALLOW_DERIVATIVES_BIT' -- flag set -- -- - #VUID-vkCreateGraphicsPipelines-pipelineCache-02876# If -- @pipelineCache@ was created with -- 'Vulkan.Core10.Enums.PipelineCacheCreateFlagBits.PIPELINE_CACHE_CREATE_EXTERNALLY_SYNCHRONIZED_BIT', -- host access to @pipelineCache@ /must/ be -- -- -- Note -- -- An implicit cache may be provided by the implementation or a layer. For -- this reason, it is still valid to set -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_FAIL_ON_PIPELINE_COMPILE_REQUIRED_BIT' -- on @flags@ for any element of @pCreateInfos@ while passing -- 'Vulkan.Core10.APIConstants.NULL_HANDLE' for @pipelineCache@. -- -- == Valid Usage (Implicit) -- -- - #VUID-vkCreateGraphicsPipelines-device-parameter# @device@ /must/ be -- a valid 'Vulkan.Core10.Handles.Device' handle -- -- - #VUID-vkCreateGraphicsPipelines-pipelineCache-parameter# If -- @pipelineCache@ is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- @pipelineCache@ /must/ be a valid -- 'Vulkan.Core10.Handles.PipelineCache' handle -- -- - #VUID-vkCreateGraphicsPipelines-pCreateInfos-parameter# -- @pCreateInfos@ /must/ be a valid pointer to an array of -- @createInfoCount@ valid 'GraphicsPipelineCreateInfo' structures -- -- - #VUID-vkCreateGraphicsPipelines-pAllocator-parameter# If -- @pAllocator@ is not @NULL@, @pAllocator@ /must/ be a valid pointer -- to a valid 'Vulkan.Core10.AllocationCallbacks.AllocationCallbacks' -- structure -- -- - #VUID-vkCreateGraphicsPipelines-pPipelines-parameter# @pPipelines@ -- /must/ be a valid pointer to an array of @createInfoCount@ -- 'Vulkan.Core10.Handles.Pipeline' handles -- -- - #VUID-vkCreateGraphicsPipelines-createInfoCount-arraylength# -- @createInfoCount@ /must/ be greater than @0@ -- -- - #VUID-vkCreateGraphicsPipelines-pipelineCache-parent# If -- @pipelineCache@ is a valid handle, it /must/ have been created, -- allocated, or retrieved from @device@ -- -- == Return Codes -- -- [] -- -- - 'Vulkan.Core10.Enums.Result.SUCCESS' -- -- - 'Vulkan.Extensions.VK_EXT_pipeline_creation_cache_control.PIPELINE_COMPILE_REQUIRED_EXT' -- -- [] -- -- - 'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_HOST_MEMORY' -- -- - 'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_DEVICE_MEMORY' -- -- - 'Vulkan.Core10.Enums.Result.ERROR_INVALID_SHADER_NV' -- -- = See Also -- -- , -- 'Vulkan.Core10.AllocationCallbacks.AllocationCallbacks', -- 'Vulkan.Core10.Handles.Device', 'GraphicsPipelineCreateInfo', -- 'Vulkan.Core10.Handles.Pipeline', 'Vulkan.Core10.Handles.PipelineCache' createGraphicsPipelines :: forall io . (MonadIO io) => -- | @device@ is the logical device that creates the graphics pipelines. Device -> -- | @pipelineCache@ is either 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- indicating that pipeline caching is disabled; or the handle of a valid -- -- object, in which case use of that cache is enabled for the duration of -- the command. PipelineCache -> -- | @pCreateInfos@ is a pointer to an array of 'GraphicsPipelineCreateInfo' -- structures. ("createInfos" ::: Vector (SomeStruct GraphicsPipelineCreateInfo)) -> -- | @pAllocator@ controls host memory allocation as described in the -- -- chapter. ("allocator" ::: Maybe AllocationCallbacks) -> io (Result, ("pipelines" ::: Vector Pipeline)) createGraphicsPipelines device pipelineCache createInfos allocator = liftIO . evalContT $ do let vkCreateGraphicsPipelinesPtr = pVkCreateGraphicsPipelines (case device of Device{deviceCmds} -> deviceCmds) lift $ unless (vkCreateGraphicsPipelinesPtr /= nullFunPtr) $ throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkCreateGraphicsPipelines is null" Nothing Nothing let vkCreateGraphicsPipelines' = mkVkCreateGraphicsPipelines vkCreateGraphicsPipelinesPtr pPCreateInfos <- ContT $ allocaBytes @(GraphicsPipelineCreateInfo _) ((Data.Vector.length (createInfos)) * 144) Data.Vector.imapM_ (\i e -> ContT $ pokeSomeCStruct (forgetExtensions (pPCreateInfos `plusPtr` (144 * (i)) :: Ptr (GraphicsPipelineCreateInfo _))) (e) . ($ ())) (createInfos) pAllocator <- case (allocator) of Nothing -> pure nullPtr Just j -> ContT $ withCStruct (j) pPPipelines <- ContT $ bracket (callocBytes @Pipeline ((fromIntegral ((fromIntegral (Data.Vector.length $ (createInfos)) :: Word32))) * 8)) free r <- lift $ traceAroundEvent "vkCreateGraphicsPipelines" (vkCreateGraphicsPipelines' (deviceHandle (device)) (pipelineCache) ((fromIntegral (Data.Vector.length $ (createInfos)) :: Word32)) (forgetExtensions (pPCreateInfos)) pAllocator (pPPipelines)) lift $ when (r < SUCCESS) (throwIO (VulkanException r)) pPipelines <- lift $ generateM (fromIntegral ((fromIntegral (Data.Vector.length $ (createInfos)) :: Word32))) (\i -> peek @Pipeline ((pPPipelines `advancePtrBytes` (8 * (i)) :: Ptr Pipeline))) pure $ (r, pPipelines) -- | A convenience wrapper to make a compatible pair of calls to -- 'createGraphicsPipelines' and 'destroyPipeline' -- -- To ensure that 'destroyPipeline' is always called: pass -- 'Control.Exception.bracket' (or the allocate function from your -- favourite resource management library) as the last argument. -- To just extract the pair pass '(,)' as the last argument. -- withGraphicsPipelines :: forall io r . MonadIO io => Device -> PipelineCache -> Vector (SomeStruct GraphicsPipelineCreateInfo) -> Maybe AllocationCallbacks -> (io (Result, Vector Pipeline) -> ((Result, Vector Pipeline) -> io ()) -> r) -> r withGraphicsPipelines device pipelineCache pCreateInfos pAllocator b = b (createGraphicsPipelines device pipelineCache pCreateInfos pAllocator) (\(_, o1) -> traverse_ (\o1Elem -> destroyPipeline device o1Elem pAllocator) o1) foreign import ccall #if !defined(SAFE_FOREIGN_CALLS) unsafe #endif "dynamic" mkVkCreateComputePipelines :: FunPtr (Ptr Device_T -> PipelineCache -> Word32 -> Ptr (SomeStruct ComputePipelineCreateInfo) -> Ptr AllocationCallbacks -> Ptr Pipeline -> IO Result) -> Ptr Device_T -> PipelineCache -> Word32 -> Ptr (SomeStruct ComputePipelineCreateInfo) -> Ptr AllocationCallbacks -> Ptr Pipeline -> IO Result -- | vkCreateComputePipelines - Creates a new compute pipeline object -- -- == Valid Usage -- -- - #VUID-vkCreateComputePipelines-flags-00695# If the @flags@ member of -- any element of @pCreateInfos@ contains the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and the @basePipelineIndex@ member of that same element is not -- @-1@, @basePipelineIndex@ /must/ be less than the index into -- @pCreateInfos@ that corresponds to that element -- -- - #VUID-vkCreateComputePipelines-flags-00696# If the @flags@ member of -- any element of @pCreateInfos@ contains the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, the base pipeline /must/ have been created with the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_ALLOW_DERIVATIVES_BIT' -- flag set -- -- - #VUID-vkCreateComputePipelines-pipelineCache-02873# If -- @pipelineCache@ was created with -- 'Vulkan.Core10.Enums.PipelineCacheCreateFlagBits.PIPELINE_CACHE_CREATE_EXTERNALLY_SYNCHRONIZED_BIT', -- host access to @pipelineCache@ /must/ be -- -- -- == Valid Usage (Implicit) -- -- - #VUID-vkCreateComputePipelines-device-parameter# @device@ /must/ be -- a valid 'Vulkan.Core10.Handles.Device' handle -- -- - #VUID-vkCreateComputePipelines-pipelineCache-parameter# If -- @pipelineCache@ is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- @pipelineCache@ /must/ be a valid -- 'Vulkan.Core10.Handles.PipelineCache' handle -- -- - #VUID-vkCreateComputePipelines-pCreateInfos-parameter# -- @pCreateInfos@ /must/ be a valid pointer to an array of -- @createInfoCount@ valid 'ComputePipelineCreateInfo' structures -- -- - #VUID-vkCreateComputePipelines-pAllocator-parameter# If @pAllocator@ -- is not @NULL@, @pAllocator@ /must/ be a valid pointer to a valid -- 'Vulkan.Core10.AllocationCallbacks.AllocationCallbacks' structure -- -- - #VUID-vkCreateComputePipelines-pPipelines-parameter# @pPipelines@ -- /must/ be a valid pointer to an array of @createInfoCount@ -- 'Vulkan.Core10.Handles.Pipeline' handles -- -- - #VUID-vkCreateComputePipelines-createInfoCount-arraylength# -- @createInfoCount@ /must/ be greater than @0@ -- -- - #VUID-vkCreateComputePipelines-pipelineCache-parent# If -- @pipelineCache@ is a valid handle, it /must/ have been created, -- allocated, or retrieved from @device@ -- -- == Return Codes -- -- [] -- -- - 'Vulkan.Core10.Enums.Result.SUCCESS' -- -- - 'Vulkan.Extensions.VK_EXT_pipeline_creation_cache_control.PIPELINE_COMPILE_REQUIRED_EXT' -- -- [] -- -- - 'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_HOST_MEMORY' -- -- - 'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_DEVICE_MEMORY' -- -- - 'Vulkan.Core10.Enums.Result.ERROR_INVALID_SHADER_NV' -- -- = See Also -- -- , -- 'Vulkan.Core10.AllocationCallbacks.AllocationCallbacks', -- 'ComputePipelineCreateInfo', 'Vulkan.Core10.Handles.Device', -- 'Vulkan.Core10.Handles.Pipeline', 'Vulkan.Core10.Handles.PipelineCache' createComputePipelines :: forall io . (MonadIO io) => -- | @device@ is the logical device that creates the compute pipelines. Device -> -- | @pipelineCache@ is either 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- indicating that pipeline caching is disabled; or the handle of a valid -- -- object, in which case use of that cache is enabled for the duration of -- the command. PipelineCache -> -- | @pCreateInfos@ is a pointer to an array of 'ComputePipelineCreateInfo' -- structures. ("createInfos" ::: Vector (SomeStruct ComputePipelineCreateInfo)) -> -- | @pAllocator@ controls host memory allocation as described in the -- -- chapter. ("allocator" ::: Maybe AllocationCallbacks) -> io (Result, ("pipelines" ::: Vector Pipeline)) createComputePipelines device pipelineCache createInfos allocator = liftIO . evalContT $ do let vkCreateComputePipelinesPtr = pVkCreateComputePipelines (case device of Device{deviceCmds} -> deviceCmds) lift $ unless (vkCreateComputePipelinesPtr /= nullFunPtr) $ throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkCreateComputePipelines is null" Nothing Nothing let vkCreateComputePipelines' = mkVkCreateComputePipelines vkCreateComputePipelinesPtr pPCreateInfos <- ContT $ allocaBytes @(ComputePipelineCreateInfo _) ((Data.Vector.length (createInfos)) * 96) Data.Vector.imapM_ (\i e -> ContT $ pokeSomeCStruct (forgetExtensions (pPCreateInfos `plusPtr` (96 * (i)) :: Ptr (ComputePipelineCreateInfo _))) (e) . ($ ())) (createInfos) pAllocator <- case (allocator) of Nothing -> pure nullPtr Just j -> ContT $ withCStruct (j) pPPipelines <- ContT $ bracket (callocBytes @Pipeline ((fromIntegral ((fromIntegral (Data.Vector.length $ (createInfos)) :: Word32))) * 8)) free r <- lift $ traceAroundEvent "vkCreateComputePipelines" (vkCreateComputePipelines' (deviceHandle (device)) (pipelineCache) ((fromIntegral (Data.Vector.length $ (createInfos)) :: Word32)) (forgetExtensions (pPCreateInfos)) pAllocator (pPPipelines)) lift $ when (r < SUCCESS) (throwIO (VulkanException r)) pPipelines <- lift $ generateM (fromIntegral ((fromIntegral (Data.Vector.length $ (createInfos)) :: Word32))) (\i -> peek @Pipeline ((pPPipelines `advancePtrBytes` (8 * (i)) :: Ptr Pipeline))) pure $ (r, pPipelines) -- | A convenience wrapper to make a compatible pair of calls to -- 'createComputePipelines' and 'destroyPipeline' -- -- To ensure that 'destroyPipeline' is always called: pass -- 'Control.Exception.bracket' (or the allocate function from your -- favourite resource management library) as the last argument. -- To just extract the pair pass '(,)' as the last argument. -- withComputePipelines :: forall io r . MonadIO io => Device -> PipelineCache -> Vector (SomeStruct ComputePipelineCreateInfo) -> Maybe AllocationCallbacks -> (io (Result, Vector Pipeline) -> ((Result, Vector Pipeline) -> io ()) -> r) -> r withComputePipelines device pipelineCache pCreateInfos pAllocator b = b (createComputePipelines device pipelineCache pCreateInfos pAllocator) (\(_, o1) -> traverse_ (\o1Elem -> destroyPipeline device o1Elem pAllocator) o1) foreign import ccall #if !defined(SAFE_FOREIGN_CALLS) unsafe #endif "dynamic" mkVkDestroyPipeline :: FunPtr (Ptr Device_T -> Pipeline -> Ptr AllocationCallbacks -> IO ()) -> Ptr Device_T -> Pipeline -> Ptr AllocationCallbacks -> IO () -- | vkDestroyPipeline - Destroy a pipeline object -- -- == Valid Usage -- -- - #VUID-vkDestroyPipeline-pipeline-00765# All submitted commands that -- refer to @pipeline@ /must/ have completed execution -- -- - #VUID-vkDestroyPipeline-pipeline-00766# If -- 'Vulkan.Core10.AllocationCallbacks.AllocationCallbacks' were -- provided when @pipeline@ was created, a compatible set of callbacks -- /must/ be provided here -- -- - #VUID-vkDestroyPipeline-pipeline-00767# If no -- 'Vulkan.Core10.AllocationCallbacks.AllocationCallbacks' were -- provided when @pipeline@ was created, @pAllocator@ /must/ be @NULL@ -- -- == Valid Usage (Implicit) -- -- - #VUID-vkDestroyPipeline-device-parameter# @device@ /must/ be a valid -- 'Vulkan.Core10.Handles.Device' handle -- -- - #VUID-vkDestroyPipeline-pipeline-parameter# If @pipeline@ is not -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', @pipeline@ /must/ be a -- valid 'Vulkan.Core10.Handles.Pipeline' handle -- -- - #VUID-vkDestroyPipeline-pAllocator-parameter# If @pAllocator@ is not -- @NULL@, @pAllocator@ /must/ be a valid pointer to a valid -- 'Vulkan.Core10.AllocationCallbacks.AllocationCallbacks' structure -- -- - #VUID-vkDestroyPipeline-pipeline-parent# If @pipeline@ is a valid -- handle, it /must/ have been created, allocated, or retrieved from -- @device@ -- -- == Host Synchronization -- -- - Host access to @pipeline@ /must/ be externally synchronized -- -- = See Also -- -- , -- 'Vulkan.Core10.AllocationCallbacks.AllocationCallbacks', -- 'Vulkan.Core10.Handles.Device', 'Vulkan.Core10.Handles.Pipeline' destroyPipeline :: forall io . (MonadIO io) => -- | @device@ is the logical device that destroys the pipeline. Device -> -- | @pipeline@ is the handle of the pipeline to destroy. Pipeline -> -- | @pAllocator@ controls host memory allocation as described in the -- -- chapter. ("allocator" ::: Maybe AllocationCallbacks) -> io () destroyPipeline device pipeline allocator = liftIO . evalContT $ do let vkDestroyPipelinePtr = pVkDestroyPipeline (case device of Device{deviceCmds} -> deviceCmds) lift $ unless (vkDestroyPipelinePtr /= nullFunPtr) $ throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkDestroyPipeline is null" Nothing Nothing let vkDestroyPipeline' = mkVkDestroyPipeline vkDestroyPipelinePtr pAllocator <- case (allocator) of Nothing -> pure nullPtr Just j -> ContT $ withCStruct (j) lift $ traceAroundEvent "vkDestroyPipeline" (vkDestroyPipeline' (deviceHandle (device)) (pipeline) pAllocator) pure $ () -- | VkViewport - Structure specifying a viewport -- -- = Description -- -- Note -- -- Despite their names, @minDepth@ /can/ be less than, equal to, or greater -- than @maxDepth@. -- -- The framebuffer depth coordinate @z@f /may/ be represented using either -- a fixed-point or floating-point representation. However, a -- floating-point representation /must/ be used if the depth\/stencil -- attachment has a floating-point depth component. If an m-bit fixed-point -- representation is used, we assume that it represents each value -- \(\frac{k}{2^m - 1}\), where k ∈ { 0, 1, …​, 2m-1 }, as k (e.g. 1.0 is -- represented in binary as a string of all ones). -- -- The viewport parameters shown in the above equations are found from -- these values as -- -- - ox = @x@ + @width@ \/ 2 -- -- - oy = @y@ + @height@ \/ 2 -- -- - oz = @minDepth@ -- -- - px = @width@ -- -- - py = @height@ -- -- - pz = @maxDepth@ - @minDepth@. -- -- If a render pass transform is enabled, the values (px,py) and (ox, oy) -- defining the viewport are transformed as described in -- -- before participating in the viewport transform. -- -- The application /can/ specify a negative term for @height@, which has -- the effect of negating the y coordinate in clip space before performing -- the transform. When using a negative @height@, the application /should/ -- 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 -- . -- -- The width and height of the -- -- /must/ be greater than or equal to the width and height of the largest -- image which /can/ be created and attached to a framebuffer. -- -- The floating-point viewport bounds are represented with an -- . -- -- == Valid Usage -- -- - #VUID-VkViewport-width-01770# @width@ /must/ be greater than @0.0@ -- -- - #VUID-VkViewport-width-01771# @width@ /must/ be less than or equal -- to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxViewportDimensions@[0] -- -- - #VUID-VkViewport-height-01773# The absolute value of @height@ /must/ -- be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxViewportDimensions@[1] -- -- - #VUID-VkViewport-x-01774# @x@ /must/ be greater than or equal to -- @viewportBoundsRange@[0] -- -- - #VUID-VkViewport-x-01232# (@x@ + @width@) /must/ be less than or -- equal to @viewportBoundsRange@[1] -- -- - #VUID-VkViewport-y-01775# @y@ /must/ be greater than or equal to -- @viewportBoundsRange@[0] -- -- - #VUID-VkViewport-y-01776# @y@ /must/ be less than or equal to -- @viewportBoundsRange@[1] -- -- - #VUID-VkViewport-y-01777# (@y@ + @height@) /must/ be greater than or -- equal to @viewportBoundsRange@[0] -- -- - #VUID-VkViewport-y-01233# (@y@ + @height@) /must/ be less than or -- equal to @viewportBoundsRange@[1] -- -- - #VUID-VkViewport-minDepth-01234# Unless -- @VK_EXT_depth_range_unrestricted@ extension is enabled @minDepth@ -- /must/ be between @0.0@ and @1.0@, inclusive -- -- - #VUID-VkViewport-maxDepth-01235# Unless -- @VK_EXT_depth_range_unrestricted@ extension is enabled @maxDepth@ -- /must/ be between @0.0@ and @1.0@, inclusive -- -- = See Also -- -- , -- 'Vulkan.Extensions.VK_NV_inherited_viewport_scissor.CommandBufferInheritanceViewportScissorInfoNV', -- 'PipelineViewportStateCreateInfo', -- 'Vulkan.Core10.CommandBufferBuilding.cmdSetViewport', -- 'Vulkan.Core13.Promoted_From_VK_EXT_extended_dynamic_state.cmdSetViewportWithCount', -- 'Vulkan.Extensions.VK_EXT_extended_dynamic_state.cmdSetViewportWithCountEXT' data Viewport = Viewport { -- | @x@ and @y@ are the viewport’s upper left corner (x,y). x :: Float , -- No documentation found for Nested "VkViewport" "y" y :: Float , -- | @width@ and @height@ are the viewport’s width and height, respectively. width :: Float , -- No documentation found for Nested "VkViewport" "height" height :: Float , -- | @minDepth@ and @maxDepth@ are the depth range for the viewport. minDepth :: Float , -- No documentation found for Nested "VkViewport" "maxDepth" maxDepth :: Float } deriving (Typeable, Eq) #if defined(GENERIC_INSTANCES) deriving instance Generic (Viewport) #endif deriving instance Show Viewport instance ToCStruct Viewport where withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p) pokeCStruct p Viewport{..} f = do poke ((p `plusPtr` 0 :: Ptr CFloat)) (CFloat (x)) poke ((p `plusPtr` 4 :: Ptr CFloat)) (CFloat (y)) poke ((p `plusPtr` 8 :: Ptr CFloat)) (CFloat (width)) poke ((p `plusPtr` 12 :: Ptr CFloat)) (CFloat (height)) poke ((p `plusPtr` 16 :: Ptr CFloat)) (CFloat (minDepth)) poke ((p `plusPtr` 20 :: Ptr CFloat)) (CFloat (maxDepth)) f cStructSize = 24 cStructAlignment = 4 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr CFloat)) (CFloat (zero)) poke ((p `plusPtr` 4 :: Ptr CFloat)) (CFloat (zero)) poke ((p `plusPtr` 8 :: Ptr CFloat)) (CFloat (zero)) poke ((p `plusPtr` 12 :: Ptr CFloat)) (CFloat (zero)) poke ((p `plusPtr` 16 :: Ptr CFloat)) (CFloat (zero)) poke ((p `plusPtr` 20 :: Ptr CFloat)) (CFloat (zero)) f instance FromCStruct Viewport where peekCStruct p = do x <- peek @CFloat ((p `plusPtr` 0 :: Ptr CFloat)) y <- peek @CFloat ((p `plusPtr` 4 :: Ptr CFloat)) width <- peek @CFloat ((p `plusPtr` 8 :: Ptr CFloat)) height <- peek @CFloat ((p `plusPtr` 12 :: Ptr CFloat)) minDepth <- peek @CFloat ((p `plusPtr` 16 :: Ptr CFloat)) maxDepth <- peek @CFloat ((p `plusPtr` 20 :: Ptr CFloat)) pure $ Viewport (coerce @CFloat @Float x) (coerce @CFloat @Float y) (coerce @CFloat @Float width) (coerce @CFloat @Float height) (coerce @CFloat @Float minDepth) (coerce @CFloat @Float maxDepth) instance Storable Viewport where sizeOf ~_ = 24 alignment ~_ = 4 peek = peekCStruct poke ptr poked = pokeCStruct ptr poked (pure ()) instance Zero Viewport where zero = Viewport zero zero zero zero zero zero -- | VkSpecializationMapEntry - Structure specifying a specialization map -- entry -- -- = Description -- -- If a @constantID@ value is not a specialization constant ID used in the -- shader, that map entry does not affect the behavior of the pipeline. -- -- == Valid Usage -- -- - #VUID-VkSpecializationMapEntry-constantID-00776# For a @constantID@ -- specialization constant declared in a shader, @size@ /must/ match -- the byte size of the @constantID@. If the specialization constant is -- of type @boolean@, @size@ /must/ be the byte size of -- 'Vulkan.Core10.FundamentalTypes.Bool32' -- -- = See Also -- -- , -- 'SpecializationInfo' data SpecializationMapEntry = SpecializationMapEntry { -- | @constantID@ is the ID of the specialization constant in SPIR-V. constantID :: Word32 , -- | @offset@ is the byte offset of the specialization constant value within -- the supplied data buffer. offset :: Word32 , -- | @size@ is the byte size of the specialization constant value within the -- supplied data buffer. size :: Word64 } deriving (Typeable, Eq) #if defined(GENERIC_INSTANCES) deriving instance Generic (SpecializationMapEntry) #endif deriving instance Show SpecializationMapEntry instance ToCStruct SpecializationMapEntry where withCStruct x f = allocaBytes 16 $ \p -> pokeCStruct p x (f p) pokeCStruct p SpecializationMapEntry{..} f = do poke ((p `plusPtr` 0 :: Ptr Word32)) (constantID) poke ((p `plusPtr` 4 :: Ptr Word32)) (offset) poke ((p `plusPtr` 8 :: Ptr CSize)) (CSize (size)) f cStructSize = 16 cStructAlignment = 8 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr Word32)) (zero) poke ((p `plusPtr` 4 :: Ptr Word32)) (zero) poke ((p `plusPtr` 8 :: Ptr CSize)) (CSize (zero)) f instance FromCStruct SpecializationMapEntry where peekCStruct p = do constantID <- peek @Word32 ((p `plusPtr` 0 :: Ptr Word32)) offset <- peek @Word32 ((p `plusPtr` 4 :: Ptr Word32)) size <- peek @CSize ((p `plusPtr` 8 :: Ptr CSize)) pure $ SpecializationMapEntry constantID offset (coerce @CSize @Word64 size) instance Storable SpecializationMapEntry where sizeOf ~_ = 16 alignment ~_ = 8 peek = peekCStruct poke ptr poked = pokeCStruct ptr poked (pure ()) instance Zero SpecializationMapEntry where zero = SpecializationMapEntry zero zero zero -- | VkSpecializationInfo - Structure specifying specialization information -- -- == Valid Usage -- -- - #VUID-VkSpecializationInfo-offset-00773# The @offset@ member of each -- element of @pMapEntries@ /must/ be less than @dataSize@ -- -- - #VUID-VkSpecializationInfo-pMapEntries-00774# The @size@ member of -- each element of @pMapEntries@ /must/ be less than or equal to -- @dataSize@ minus @offset@ -- -- - #VUID-VkSpecializationInfo-constantID-04911# The @constantID@ value -- of each element of @pMapEntries@ /must/ be unique within -- @pMapEntries@ -- -- == Valid Usage (Implicit) -- -- - #VUID-VkSpecializationInfo-pMapEntries-parameter# If @mapEntryCount@ -- is not @0@, @pMapEntries@ /must/ be a valid pointer to an array of -- @mapEntryCount@ valid 'SpecializationMapEntry' structures -- -- - #VUID-VkSpecializationInfo-pData-parameter# If @dataSize@ is not -- @0@, @pData@ /must/ be a valid pointer to an array of @dataSize@ -- bytes -- -- = See Also -- -- , -- 'PipelineShaderStageCreateInfo', 'SpecializationMapEntry' data SpecializationInfo = SpecializationInfo { -- | @pMapEntries@ is a pointer to an array of 'SpecializationMapEntry' -- structures which map constant IDs to offsets in @pData@. mapEntries :: Vector SpecializationMapEntry , -- | @dataSize@ is the byte size of the @pData@ buffer. dataSize :: Word64 , -- | @pData@ contains the actual constant values to specialize with. data' :: Ptr () } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (SpecializationInfo) #endif deriving instance Show SpecializationInfo instance ToCStruct SpecializationInfo where withCStruct x f = allocaBytes 32 $ \p -> pokeCStruct p x (f p) pokeCStruct p SpecializationInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr Word32)) ((fromIntegral (Data.Vector.length $ (mapEntries)) :: Word32)) pPMapEntries' <- ContT $ allocaBytes @SpecializationMapEntry ((Data.Vector.length (mapEntries)) * 16) lift $ Data.Vector.imapM_ (\i e -> poke (pPMapEntries' `plusPtr` (16 * (i)) :: Ptr SpecializationMapEntry) (e)) (mapEntries) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr SpecializationMapEntry))) (pPMapEntries') lift $ poke ((p `plusPtr` 16 :: Ptr CSize)) (CSize (dataSize)) lift $ poke ((p `plusPtr` 24 :: Ptr (Ptr ()))) (data') lift $ f cStructSize = 32 cStructAlignment = 8 pokeZeroCStruct p f = do poke ((p `plusPtr` 24 :: Ptr (Ptr ()))) (zero) f instance FromCStruct SpecializationInfo where peekCStruct p = do mapEntryCount <- peek @Word32 ((p `plusPtr` 0 :: Ptr Word32)) pMapEntries <- peek @(Ptr SpecializationMapEntry) ((p `plusPtr` 8 :: Ptr (Ptr SpecializationMapEntry))) pMapEntries' <- generateM (fromIntegral mapEntryCount) (\i -> peekCStruct @SpecializationMapEntry ((pMapEntries `advancePtrBytes` (16 * (i)) :: Ptr SpecializationMapEntry))) dataSize <- peek @CSize ((p `plusPtr` 16 :: Ptr CSize)) pData <- peek @(Ptr ()) ((p `plusPtr` 24 :: Ptr (Ptr ()))) pure $ SpecializationInfo pMapEntries' (coerce @CSize @Word64 dataSize) pData instance Zero SpecializationInfo where zero = SpecializationInfo mempty zero zero -- | VkPipelineShaderStageCreateInfo - Structure specifying parameters of a -- newly created pipeline shader stage -- -- = Description -- -- If the -- -- feature is enabled and an instance of -- 'Vulkan.Core10.Shader.ShaderModuleCreateInfo' is included in the @pNext@ -- chain, @module@ /can/ be 'Vulkan.Core10.APIConstants.NULL_HANDLE'. If -- @module@ is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', the shader -- code used by the pipeline is defined by @module@. If @module@ is -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', the shader code is defined by -- the chained 'Vulkan.Core10.Shader.ShaderModuleCreateInfo'. -- -- == Valid Usage -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-00704# If the -- -- feature is not enabled, @stage@ /must/ not be -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_GEOMETRY_BIT' -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-00705# If the -- -- feature is not enabled, @stage@ /must/ not be -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_CONTROL_BIT' -- or -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_EVALUATION_BIT' -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-02091# If the -- -- feature is not enabled, @stage@ /must/ not be -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-02092# If the -- -- feature is not enabled, @stage@ /must/ not be -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-00706# @stage@ /must/ -- not be -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_ALL_GRAPHICS', -- or 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_ALL' -- -- - #VUID-VkPipelineShaderStageCreateInfo-pName-00707# @pName@ /must/ be -- the name of an @OpEntryPoint@ in @module@ with an execution model -- that matches @stage@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-maxClipDistances-00708# If the -- identified entry point includes any variable in its interface that -- is declared with the @ClipDistance@ @BuiltIn@ decoration, that -- variable /must/ not have an array size greater than -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxClipDistances@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-maxCullDistances-00709# If the -- identified entry point includes any variable in its interface that -- is declared with the @CullDistance@ @BuiltIn@ decoration, that -- variable /must/ not have an array size greater than -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxCullDistances@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-maxCombinedClipAndCullDistances-00710# -- If the identified entry point includes any variables in its -- interface that are declared with the @ClipDistance@ or -- @CullDistance@ @BuiltIn@ decoration, those variables /must/ not have -- array sizes which sum to more than -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxCombinedClipAndCullDistances@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-maxSampleMaskWords-00711# If -- the identified entry point includes any variable in its interface -- that is declared with the -- 'Vulkan.Core10.FundamentalTypes.SampleMask' @BuiltIn@ decoration, -- that variable /must/ not have an array size greater than -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxSampleMaskWords@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-00712# If @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_VERTEX_BIT', -- the identified entry point /must/ not include any input variable in -- its interface that is decorated with @CullDistance@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-00713# If @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_CONTROL_BIT' -- or -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TESSELLATION_EVALUATION_BIT', -- and the identified entry point has an @OpExecutionMode@ instruction -- specifying a patch size with @OutputVertices@, the patch size /must/ -- be greater than @0@ and less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxTessellationPatchSize@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-00714# If @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_GEOMETRY_BIT', -- the identified entry point /must/ have an @OpExecutionMode@ -- instruction specifying a maximum output vertex count that is greater -- than @0@ and less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxGeometryOutputVertices@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-00715# If @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_GEOMETRY_BIT', -- the identified entry point /must/ have an @OpExecutionMode@ -- instruction specifying an invocation count that is greater than @0@ -- and less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxGeometryShaderInvocations@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-02596# If @stage@ is a -- , -- 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 -- , -- 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', -- the identified entry point /must/ not include any output variables -- in its interface decorated with @CullDistance@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-06685# If @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_FRAGMENT_BIT', -- and the identified entry point writes to @FragDepth@ in any -- execution path, all execution paths that are not exclusive to helper -- invocations /must/ either discard the fragment, or write or -- initialize the value of @FragDepth@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-06686# If @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_FRAGMENT_BIT', -- and the identified entry point writes to @FragStencilRefEXT@ in any -- execution path, all execution paths that are not exclusive to helper -- invocations /must/ either discard the fragment, or write or -- initialize the value of @FragStencilRefEXT@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-02093# If @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV', -- the identified entry point /must/ have an @OpExecutionMode@ -- instruction specifying a maximum output vertex count, -- @OutputVertices@, that is greater than @0@ and less than or equal to -- 'Vulkan.Extensions.VK_NV_mesh_shader.PhysicalDeviceMeshShaderPropertiesNV'::@maxMeshOutputVertices@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-02094# If @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV', -- the identified entry point /must/ have an @OpExecutionMode@ -- instruction specifying a maximum output primitive count, -- @OutputPrimitivesNV@, that is greater than @0@ and less than or -- equal to -- 'Vulkan.Extensions.VK_NV_mesh_shader.PhysicalDeviceMeshShaderPropertiesNV'::@maxMeshOutputPrimitives@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-flags-02784# If @flags@ has -- the -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PIPELINE_SHADER_STAGE_CREATE_ALLOW_VARYING_SUBGROUP_SIZE_BIT' -- flag set, the -- -- feature /must/ be enabled -- -- - #VUID-VkPipelineShaderStageCreateInfo-flags-02785# If @flags@ has -- the -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PIPELINE_SHADER_STAGE_CREATE_REQUIRE_FULL_SUBGROUPS_BIT' -- flag set, the -- -- feature /must/ be enabled -- -- - #VUID-VkPipelineShaderStageCreateInfo-pNext-02754# If a -- 'Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control.PipelineShaderStageRequiredSubgroupSizeCreateInfo' -- structure is included in the @pNext@ chain, @flags@ /must/ not have -- the -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PIPELINE_SHADER_STAGE_CREATE_ALLOW_VARYING_SUBGROUP_SIZE_BIT' -- flag set -- -- - #VUID-VkPipelineShaderStageCreateInfo-pNext-02755# If a -- 'Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control.PipelineShaderStageRequiredSubgroupSizeCreateInfo' -- structure is included in the @pNext@ chain, the -- -- feature /must/ be enabled, and @stage@ /must/ be a valid bit -- specified in -- -- -- - #VUID-VkPipelineShaderStageCreateInfo-pNext-02756# If a -- 'Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control.PipelineShaderStageRequiredSubgroupSizeCreateInfo' -- structure is included in the @pNext@ chain and @stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_COMPUTE_BIT', -- the local workgroup size of the shader /must/ be less than or equal -- to the product of -- 'Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control.PipelineShaderStageRequiredSubgroupSizeCreateInfo'::@requiredSubgroupSize@ -- and -- -- -- - #VUID-VkPipelineShaderStageCreateInfo-pNext-02757# If a -- 'Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control.PipelineShaderStageRequiredSubgroupSizeCreateInfo' -- structure is included in the @pNext@ chain, and @flags@ has the -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PIPELINE_SHADER_STAGE_CREATE_REQUIRE_FULL_SUBGROUPS_BIT' -- flag set, the local workgroup size in the X dimension of the -- pipeline /must/ be a multiple of -- 'Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control.PipelineShaderStageRequiredSubgroupSizeCreateInfo'::@requiredSubgroupSize@ -- -- - #VUID-VkPipelineShaderStageCreateInfo-flags-02758# If @flags@ has -- both the -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PIPELINE_SHADER_STAGE_CREATE_REQUIRE_FULL_SUBGROUPS_BIT' -- and -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PIPELINE_SHADER_STAGE_CREATE_ALLOW_VARYING_SUBGROUP_SIZE_BIT' -- flags set, the local workgroup size in the X dimension of the -- pipeline /must/ be a multiple of -- -- -- - #VUID-VkPipelineShaderStageCreateInfo-flags-02759# If @flags@ has -- the -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PIPELINE_SHADER_STAGE_CREATE_REQUIRE_FULL_SUBGROUPS_BIT' -- flag set and @flags@ does not have the -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PIPELINE_SHADER_STAGE_CREATE_ALLOW_VARYING_SUBGROUP_SIZE_BIT' -- flag set and no -- 'Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control.PipelineShaderStageRequiredSubgroupSizeCreateInfo' -- structure is included in the @pNext@ chain, the local workgroup size -- in the X dimension of the pipeline /must/ be a multiple of -- -- -- - #VUID-VkPipelineShaderStageCreateInfo-module-04145# The SPIR-V code -- that was used to create @module@ /must/ be valid as described by the -- -- after applying the specializations provided in -- @pSpecializationInfo@, if any, and then converting all -- specialization constants into fixed constants -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineShaderStageCreateInfo-sType-sType# @sType@ /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_SHADER_STAGE_CREATE_INFO' -- -- - #VUID-VkPipelineShaderStageCreateInfo-pNext-pNext# Each @pNext@ -- member of any structure (including this one) in the @pNext@ chain -- /must/ be either @NULL@ or a pointer to a valid instance of -- 'Vulkan.Extensions.VK_EXT_debug_utils.DebugUtilsObjectNameInfoEXT', -- 'Vulkan.Core13.Promoted_From_VK_EXT_subgroup_size_control.PipelineShaderStageRequiredSubgroupSizeCreateInfo', -- or 'Vulkan.Core10.Shader.ShaderModuleCreateInfo' -- -- - #VUID-VkPipelineShaderStageCreateInfo-sType-unique# The @sType@ -- value of each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkPipelineShaderStageCreateInfo-flags-parameter# @flags@ -- /must/ be a valid combination of -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PipelineShaderStageCreateFlagBits' -- values -- -- - #VUID-VkPipelineShaderStageCreateInfo-stage-parameter# @stage@ -- /must/ be a valid -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.ShaderStageFlagBits' value -- -- - #VUID-VkPipelineShaderStageCreateInfo-module-parameter# If @module@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', @module@ /must/ be -- a valid 'Vulkan.Core10.Handles.ShaderModule' handle -- -- - #VUID-VkPipelineShaderStageCreateInfo-pName-parameter# @pName@ -- /must/ be a null-terminated UTF-8 string -- -- - #VUID-VkPipelineShaderStageCreateInfo-pSpecializationInfo-parameter# -- If @pSpecializationInfo@ is not @NULL@, @pSpecializationInfo@ /must/ -- be a valid pointer to a valid 'SpecializationInfo' structure -- -- = See Also -- -- , -- 'ComputePipelineCreateInfo', 'GraphicsPipelineCreateInfo', -- 'Vulkan.Extensions.VK_NV_device_generated_commands.GraphicsShaderGroupCreateInfoNV', -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PipelineShaderStageCreateFlags', -- 'Vulkan.Extensions.VK_KHR_ray_tracing_pipeline.RayTracingPipelineCreateInfoKHR', -- 'Vulkan.Extensions.VK_NV_ray_tracing.RayTracingPipelineCreateInfoNV', -- 'Vulkan.Core10.Handles.ShaderModule', -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.ShaderStageFlagBits', -- 'SpecializationInfo', 'Vulkan.Core10.Enums.StructureType.StructureType' data PipelineShaderStageCreateInfo (es :: [Type]) = PipelineShaderStageCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is a bitmask of -- 'Vulkan.Core10.Enums.PipelineShaderStageCreateFlagBits.PipelineShaderStageCreateFlagBits' -- specifying how the pipeline shader stage will be generated. flags :: PipelineShaderStageCreateFlags , -- | @stage@ is a -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.ShaderStageFlagBits' value -- specifying a single pipeline stage. stage :: ShaderStageFlagBits , -- | @module@ is a 'Vulkan.Core10.Handles.ShaderModule' object containing the -- shader for this stage. module' :: ShaderModule , -- | @pName@ is a pointer to a null-terminated UTF-8 string specifying the -- entry point name of the shader for this stage. name :: ByteString , -- | @pSpecializationInfo@ is a pointer to a 'SpecializationInfo' structure, -- as described in -- , -- or @NULL@. specializationInfo :: Maybe SpecializationInfo } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineShaderStageCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (PipelineShaderStageCreateInfo es) instance Extensible PipelineShaderStageCreateInfo where extensibleTypeName = "PipelineShaderStageCreateInfo" setNext PipelineShaderStageCreateInfo{..} next' = PipelineShaderStageCreateInfo{next = next', ..} getNext PipelineShaderStageCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineShaderStageCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @PipelineShaderStageRequiredSubgroupSizeCreateInfo = Just f | Just Refl <- eqT @e @DebugUtilsObjectNameInfoEXT = Just f | Just Refl <- eqT @e @(ShaderModuleCreateInfo '[]) = Just f | otherwise = Nothing instance (Extendss PipelineShaderStageCreateInfo es, PokeChain es) => ToCStruct (PipelineShaderStageCreateInfo es) where withCStruct x f = allocaBytes 48 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineShaderStageCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_SHADER_STAGE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineShaderStageCreateFlags)) (flags) lift $ poke ((p `plusPtr` 20 :: Ptr ShaderStageFlagBits)) (stage) lift $ poke ((p `plusPtr` 24 :: Ptr ShaderModule)) (module') pName'' <- ContT $ useAsCString (name) lift $ poke ((p `plusPtr` 32 :: Ptr (Ptr CChar))) pName'' pSpecializationInfo'' <- case (specializationInfo) of Nothing -> pure nullPtr Just j -> ContT $ withCStruct (j) lift $ poke ((p `plusPtr` 40 :: Ptr (Ptr SpecializationInfo))) pSpecializationInfo'' lift $ f cStructSize = 48 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_SHADER_STAGE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' lift $ poke ((p `plusPtr` 20 :: Ptr ShaderStageFlagBits)) (zero) pName'' <- ContT $ useAsCString (mempty) lift $ poke ((p `plusPtr` 32 :: Ptr (Ptr CChar))) pName'' lift $ f instance (Extendss PipelineShaderStageCreateInfo es, PeekChain es) => FromCStruct (PipelineShaderStageCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineShaderStageCreateFlags ((p `plusPtr` 16 :: Ptr PipelineShaderStageCreateFlags)) stage <- peek @ShaderStageFlagBits ((p `plusPtr` 20 :: Ptr ShaderStageFlagBits)) module' <- peek @ShaderModule ((p `plusPtr` 24 :: Ptr ShaderModule)) pName <- packCString =<< peek ((p `plusPtr` 32 :: Ptr (Ptr CChar))) pSpecializationInfo <- peek @(Ptr SpecializationInfo) ((p `plusPtr` 40 :: Ptr (Ptr SpecializationInfo))) pSpecializationInfo' <- maybePeek (\j -> peekCStruct @SpecializationInfo (j)) pSpecializationInfo pure $ PipelineShaderStageCreateInfo next flags stage module' pName pSpecializationInfo' instance es ~ '[] => Zero (PipelineShaderStageCreateInfo es) where zero = PipelineShaderStageCreateInfo () zero zero zero mempty Nothing -- | VkComputePipelineCreateInfo - Structure specifying parameters of a newly -- created compute pipeline -- -- = Description -- -- The parameters @basePipelineHandle@ and @basePipelineIndex@ are -- described in more detail in -- . -- -- == Valid Usage -- -- - #VUID-VkComputePipelineCreateInfo-flags-00697# If @flags@ contains -- the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and @basePipelineIndex@ is -1, @basePipelineHandle@ /must/ be -- a valid handle to a compute 'Vulkan.Core10.Handles.Pipeline' -- -- - #VUID-VkComputePipelineCreateInfo-flags-00698# If @flags@ contains -- the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and @basePipelineHandle@ is -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', @basePipelineIndex@ /must/ -- be a valid index into the calling command’s @pCreateInfos@ parameter -- -- - #VUID-VkComputePipelineCreateInfo-flags-00699# If @flags@ contains -- the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and @basePipelineIndex@ is not -1, @basePipelineHandle@ /must/ -- be 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkComputePipelineCreateInfo-flags-00700# If @flags@ contains -- the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and @basePipelineHandle@ is not -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', @basePipelineIndex@ /must/ -- be -1 -- -- - #VUID-VkComputePipelineCreateInfo-stage-00701# The @stage@ member of -- @stage@ /must/ be -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_COMPUTE_BIT' -- -- - #VUID-VkComputePipelineCreateInfo-stage-00702# The shader code for -- the entry point identified by @stage@ and the rest of the state -- identified by this structure /must/ adhere to the pipeline linking -- rules described in the -- -- chapter -- -- - #VUID-VkComputePipelineCreateInfo-layout-00703# @layout@ /must/ be -- -- with the layout of the compute shader specified in @stage@ -- -- - #VUID-VkComputePipelineCreateInfo-layout-01687# The number of -- resources in @layout@ accessible to the compute shader stage /must/ -- be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxPerStageResources@ -- -- - #VUID-VkComputePipelineCreateInfo-flags-03364# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_LIBRARY_BIT_KHR' -- -- - #VUID-VkComputePipelineCreateInfo-flags-03365# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_NO_NULL_ANY_HIT_SHADERS_BIT_KHR' -- -- - #VUID-VkComputePipelineCreateInfo-flags-03366# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_NO_NULL_CLOSEST_HIT_SHADERS_BIT_KHR' -- -- - #VUID-VkComputePipelineCreateInfo-flags-03367# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_NO_NULL_MISS_SHADERS_BIT_KHR' -- -- - #VUID-VkComputePipelineCreateInfo-flags-03368# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_NO_NULL_INTERSECTION_SHADERS_BIT_KHR' -- -- - #VUID-VkComputePipelineCreateInfo-flags-03369# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_SKIP_TRIANGLES_BIT_KHR' -- -- - #VUID-VkComputePipelineCreateInfo-flags-03370# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_SKIP_AABBS_BIT_KHR' -- -- - #VUID-VkComputePipelineCreateInfo-flags-03576# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_SHADER_GROUP_HANDLE_CAPTURE_REPLAY_BIT_KHR' -- -- - #VUID-VkComputePipelineCreateInfo-flags-04945# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_ALLOW_MOTION_BIT_NV' -- -- - #VUID-VkComputePipelineCreateInfo-flags-02874# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_INDIRECT_BINDABLE_BIT_NV' -- -- - #VUID-VkComputePipelineCreateInfo-pipelineCreationCacheControl-02875# -- If the -- -- feature is not enabled, @flags@ /must/ not include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_FAIL_ON_PIPELINE_COMPILE_REQUIRED_BIT' -- or -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_EARLY_RETURN_ON_FAILURE_BIT' -- -- - #VUID-VkComputePipelineCreateInfo-pipelineStageCreationFeedbackCount-06566# -- If -- 'Vulkan.Core13.Promoted_From_VK_EXT_pipeline_creation_feedback.PipelineCreationFeedbackCreateInfo'::@pipelineStageCreationFeedbackCount@ -- is not @0@, it /must/ be @1@ -- -- == Valid Usage (Implicit) -- -- - #VUID-VkComputePipelineCreateInfo-sType-sType# @sType@ /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_COMPUTE_PIPELINE_CREATE_INFO' -- -- - #VUID-VkComputePipelineCreateInfo-pNext-pNext# Each @pNext@ member -- of any structure (including this one) in the @pNext@ chain /must/ be -- either @NULL@ or a pointer to a valid instance of -- 'Vulkan.Extensions.VK_AMD_pipeline_compiler_control.PipelineCompilerControlCreateInfoAMD', -- 'Vulkan.Core13.Promoted_From_VK_EXT_pipeline_creation_feedback.PipelineCreationFeedbackCreateInfo', -- or -- 'Vulkan.Extensions.VK_HUAWEI_subpass_shading.SubpassShadingPipelineCreateInfoHUAWEI' -- -- - #VUID-VkComputePipelineCreateInfo-sType-unique# The @sType@ value of -- each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkComputePipelineCreateInfo-flags-parameter# @flags@ /must/ be -- a valid combination of -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PipelineCreateFlagBits' -- values -- -- - #VUID-VkComputePipelineCreateInfo-stage-parameter# @stage@ /must/ be -- a valid 'PipelineShaderStageCreateInfo' structure -- -- - #VUID-VkComputePipelineCreateInfo-layout-parameter# @layout@ /must/ -- be a valid 'Vulkan.Core10.Handles.PipelineLayout' handle -- -- - #VUID-VkComputePipelineCreateInfo-commonparent# Both of -- @basePipelineHandle@, and @layout@ that are valid handles of -- non-ignored parameters /must/ have been created, allocated, or -- retrieved from the same 'Vulkan.Core10.Handles.Device' -- -- = See Also -- -- , -- 'Vulkan.Core10.Handles.Pipeline', -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PipelineCreateFlags', -- 'Vulkan.Core10.Handles.PipelineLayout', 'PipelineShaderStageCreateInfo', -- 'Vulkan.Core10.Enums.StructureType.StructureType', -- 'createComputePipelines' data ComputePipelineCreateInfo (es :: [Type]) = ComputePipelineCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is a bitmask of -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PipelineCreateFlagBits' -- specifying how the pipeline will be generated. flags :: PipelineCreateFlags , -- | @stage@ is a 'PipelineShaderStageCreateInfo' structure describing the -- compute shader. stage :: SomeStruct PipelineShaderStageCreateInfo , -- | @layout@ is the description of binding locations used by both the -- pipeline and descriptor sets used with the pipeline. layout :: PipelineLayout , -- | @basePipelineHandle@ is a pipeline to derive from basePipelineHandle :: Pipeline , -- | @basePipelineIndex@ is an index into the @pCreateInfos@ parameter to use -- as a pipeline to derive from basePipelineIndex :: Int32 } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (ComputePipelineCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (ComputePipelineCreateInfo es) instance Extensible ComputePipelineCreateInfo where extensibleTypeName = "ComputePipelineCreateInfo" setNext ComputePipelineCreateInfo{..} next' = ComputePipelineCreateInfo{next = next', ..} getNext ComputePipelineCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends ComputePipelineCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @PipelineCompilerControlCreateInfoAMD = Just f | Just Refl <- eqT @e @SubpassShadingPipelineCreateInfoHUAWEI = Just f | Just Refl <- eqT @e @PipelineCreationFeedbackCreateInfo = Just f | otherwise = Nothing instance (Extendss ComputePipelineCreateInfo es, PokeChain es) => ToCStruct (ComputePipelineCreateInfo es) where withCStruct x f = allocaBytes 96 $ \p -> pokeCStruct p x (f p) pokeCStruct p ComputePipelineCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_COMPUTE_PIPELINE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineCreateFlags)) (flags) ContT $ pokeSomeCStruct (forgetExtensions ((p `plusPtr` 24 :: Ptr (PipelineShaderStageCreateInfo _)))) (stage) . ($ ()) lift $ poke ((p `plusPtr` 72 :: Ptr PipelineLayout)) (layout) lift $ poke ((p `plusPtr` 80 :: Ptr Pipeline)) (basePipelineHandle) lift $ poke ((p `plusPtr` 88 :: Ptr Int32)) (basePipelineIndex) lift $ f cStructSize = 96 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_COMPUTE_PIPELINE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' ContT $ pokeSomeCStruct (forgetExtensions ((p `plusPtr` 24 :: Ptr (PipelineShaderStageCreateInfo _)))) ((SomeStruct zero)) . ($ ()) lift $ poke ((p `plusPtr` 72 :: Ptr PipelineLayout)) (zero) lift $ poke ((p `plusPtr` 88 :: Ptr Int32)) (zero) lift $ f instance (Extendss ComputePipelineCreateInfo es, PeekChain es) => FromCStruct (ComputePipelineCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineCreateFlags ((p `plusPtr` 16 :: Ptr PipelineCreateFlags)) stage <- peekSomeCStruct (forgetExtensions ((p `plusPtr` 24 :: Ptr (PipelineShaderStageCreateInfo _)))) layout <- peek @PipelineLayout ((p `plusPtr` 72 :: Ptr PipelineLayout)) basePipelineHandle <- peek @Pipeline ((p `plusPtr` 80 :: Ptr Pipeline)) basePipelineIndex <- peek @Int32 ((p `plusPtr` 88 :: Ptr Int32)) pure $ ComputePipelineCreateInfo next flags stage layout basePipelineHandle basePipelineIndex instance es ~ '[] => Zero (ComputePipelineCreateInfo es) where zero = ComputePipelineCreateInfo () zero (SomeStruct zero) zero zero zero -- | VkVertexInputBindingDescription - Structure specifying vertex input -- binding description -- -- == Valid Usage -- -- - #VUID-VkVertexInputBindingDescription-binding-00618# @binding@ -- /must/ be less than -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxVertexInputBindings@ -- -- - #VUID-VkVertexInputBindingDescription-stride-00619# @stride@ /must/ -- be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxVertexInputBindingStride@ -- -- - #VUID-VkVertexInputBindingDescription-stride-04456# If the -- @VK_KHR_portability_subset@ extension is enabled, @stride@ /must/ be -- a multiple of, and at least as large as, -- 'Vulkan.Extensions.VK_KHR_portability_subset.PhysicalDevicePortabilitySubsetPropertiesKHR'::@minVertexInputBindingStrideAlignment@ -- -- == Valid Usage (Implicit) -- -- - #VUID-VkVertexInputBindingDescription-inputRate-parameter# -- @inputRate@ /must/ be a valid -- 'Vulkan.Core10.Enums.VertexInputRate.VertexInputRate' value -- -- = See Also -- -- , -- 'PipelineVertexInputStateCreateInfo', -- 'Vulkan.Core10.Enums.VertexInputRate.VertexInputRate' data VertexInputBindingDescription = VertexInputBindingDescription { -- | @binding@ is the binding number that this structure describes. binding :: Word32 , -- | @stride@ is the byte stride between consecutive elements within the -- buffer. stride :: Word32 , -- | @inputRate@ is a 'Vulkan.Core10.Enums.VertexInputRate.VertexInputRate' -- value specifying whether vertex attribute addressing is a function of -- the vertex index or of the instance index. inputRate :: VertexInputRate } deriving (Typeable, Eq) #if defined(GENERIC_INSTANCES) deriving instance Generic (VertexInputBindingDescription) #endif deriving instance Show VertexInputBindingDescription instance ToCStruct VertexInputBindingDescription where withCStruct x f = allocaBytes 12 $ \p -> pokeCStruct p x (f p) pokeCStruct p VertexInputBindingDescription{..} f = do poke ((p `plusPtr` 0 :: Ptr Word32)) (binding) poke ((p `plusPtr` 4 :: Ptr Word32)) (stride) poke ((p `plusPtr` 8 :: Ptr VertexInputRate)) (inputRate) f cStructSize = 12 cStructAlignment = 4 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr Word32)) (zero) poke ((p `plusPtr` 4 :: Ptr Word32)) (zero) poke ((p `plusPtr` 8 :: Ptr VertexInputRate)) (zero) f instance FromCStruct VertexInputBindingDescription where peekCStruct p = do binding <- peek @Word32 ((p `plusPtr` 0 :: Ptr Word32)) stride <- peek @Word32 ((p `plusPtr` 4 :: Ptr Word32)) inputRate <- peek @VertexInputRate ((p `plusPtr` 8 :: Ptr VertexInputRate)) pure $ VertexInputBindingDescription binding stride inputRate instance Storable VertexInputBindingDescription where sizeOf ~_ = 12 alignment ~_ = 4 peek = peekCStruct poke ptr poked = pokeCStruct ptr poked (pure ()) instance Zero VertexInputBindingDescription where zero = VertexInputBindingDescription zero zero zero -- | VkVertexInputAttributeDescription - Structure specifying vertex input -- attribute description -- -- == Valid Usage -- -- - #VUID-VkVertexInputAttributeDescription-location-00620# @location@ -- /must/ be less than -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxVertexInputAttributes@ -- -- - #VUID-VkVertexInputAttributeDescription-binding-00621# @binding@ -- /must/ be less than -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxVertexInputBindings@ -- -- - #VUID-VkVertexInputAttributeDescription-offset-00622# @offset@ -- /must/ be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxVertexInputAttributeOffset@ -- -- - #VUID-VkVertexInputAttributeDescription-format-00623# @format@ -- /must/ be allowed as a vertex buffer format, as specified by the -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_VERTEX_BUFFER_BIT' -- flag in -- 'Vulkan.Core10.DeviceInitialization.FormatProperties'::@bufferFeatures@ -- returned by -- 'Vulkan.Core10.DeviceInitialization.getPhysicalDeviceFormatProperties' -- -- - #VUID-VkVertexInputAttributeDescription-vertexAttributeAccessBeyondStride-04457# -- If the @VK_KHR_portability_subset@ extension is enabled, and -- 'Vulkan.Extensions.VK_KHR_portability_subset.PhysicalDevicePortabilitySubsetFeaturesKHR'::@vertexAttributeAccessBeyondStride@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE', the sum of @offset@ plus -- the size of the vertex attribute data described by @format@ /must/ -- not be greater than @stride@ in the 'VertexInputBindingDescription' -- referenced in @binding@ -- -- == Valid Usage (Implicit) -- -- - #VUID-VkVertexInputAttributeDescription-format-parameter# @format@ -- /must/ be a valid 'Vulkan.Core10.Enums.Format.Format' value -- -- = See Also -- -- , -- 'Vulkan.Core10.Enums.Format.Format', -- 'PipelineVertexInputStateCreateInfo' data VertexInputAttributeDescription = VertexInputAttributeDescription { -- | @location@ is the shader input location number for this attribute. location :: Word32 , -- | @binding@ is the binding number which this attribute takes its data -- from. binding :: Word32 , -- | @format@ is the size and type of the vertex attribute data. format :: Format , -- | @offset@ is a byte offset of this attribute relative to the start of an -- element in the vertex input binding. offset :: Word32 } deriving (Typeable, Eq) #if defined(GENERIC_INSTANCES) deriving instance Generic (VertexInputAttributeDescription) #endif deriving instance Show VertexInputAttributeDescription instance ToCStruct VertexInputAttributeDescription where withCStruct x f = allocaBytes 16 $ \p -> pokeCStruct p x (f p) pokeCStruct p VertexInputAttributeDescription{..} f = do poke ((p `plusPtr` 0 :: Ptr Word32)) (location) poke ((p `plusPtr` 4 :: Ptr Word32)) (binding) poke ((p `plusPtr` 8 :: Ptr Format)) (format) poke ((p `plusPtr` 12 :: Ptr Word32)) (offset) f cStructSize = 16 cStructAlignment = 4 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr Word32)) (zero) poke ((p `plusPtr` 4 :: Ptr Word32)) (zero) poke ((p `plusPtr` 8 :: Ptr Format)) (zero) poke ((p `plusPtr` 12 :: Ptr Word32)) (zero) f instance FromCStruct VertexInputAttributeDescription where peekCStruct p = do location <- peek @Word32 ((p `plusPtr` 0 :: Ptr Word32)) binding <- peek @Word32 ((p `plusPtr` 4 :: Ptr Word32)) format <- peek @Format ((p `plusPtr` 8 :: Ptr Format)) offset <- peek @Word32 ((p `plusPtr` 12 :: Ptr Word32)) pure $ VertexInputAttributeDescription location binding format offset instance Storable VertexInputAttributeDescription where sizeOf ~_ = 16 alignment ~_ = 4 peek = peekCStruct poke ptr poked = pokeCStruct ptr poked (pure ()) instance Zero VertexInputAttributeDescription where zero = VertexInputAttributeDescription zero zero zero zero -- | VkPipelineVertexInputStateCreateInfo - Structure specifying parameters -- of a newly created pipeline vertex input state -- -- == Valid Usage -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-vertexBindingDescriptionCount-00613# -- @vertexBindingDescriptionCount@ /must/ be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxVertexInputBindings@ -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-vertexAttributeDescriptionCount-00614# -- @vertexAttributeDescriptionCount@ /must/ be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxVertexInputAttributes@ -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-binding-00615# For every -- @binding@ specified by each element of -- @pVertexAttributeDescriptions@, a 'VertexInputBindingDescription' -- /must/ exist in @pVertexBindingDescriptions@ with the same value of -- @binding@ -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-pVertexBindingDescriptions-00616# -- All elements of @pVertexBindingDescriptions@ /must/ describe -- distinct binding numbers -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-pVertexAttributeDescriptions-00617# -- All elements of @pVertexAttributeDescriptions@ /must/ describe -- distinct attribute locations -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-sType-sType# @sType@ -- /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_VERTEX_INPUT_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-pNext-pNext# @pNext@ -- /must/ be @NULL@ or a pointer to a valid instance of -- 'Vulkan.Extensions.VK_EXT_vertex_attribute_divisor.PipelineVertexInputDivisorStateCreateInfoEXT' -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-sType-unique# The @sType@ -- value of each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-flags-zerobitmask# -- @flags@ /must/ be @0@ -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-pVertexBindingDescriptions-parameter# -- If @vertexBindingDescriptionCount@ is not @0@, -- @pVertexBindingDescriptions@ /must/ be a valid pointer to an array -- of @vertexBindingDescriptionCount@ valid -- 'VertexInputBindingDescription' structures -- -- - #VUID-VkPipelineVertexInputStateCreateInfo-pVertexAttributeDescriptions-parameter# -- If @vertexAttributeDescriptionCount@ is not @0@, -- @pVertexAttributeDescriptions@ /must/ be a valid pointer to an array -- of @vertexAttributeDescriptionCount@ valid -- 'VertexInputAttributeDescription' structures -- -- = See Also -- -- , -- 'GraphicsPipelineCreateInfo', -- 'Vulkan.Extensions.VK_NV_device_generated_commands.GraphicsShaderGroupCreateInfoNV', -- 'Vulkan.Core10.Enums.PipelineVertexInputStateCreateFlags.PipelineVertexInputStateCreateFlags', -- 'Vulkan.Core10.Enums.StructureType.StructureType', -- 'VertexInputAttributeDescription', 'VertexInputBindingDescription' data PipelineVertexInputStateCreateInfo (es :: [Type]) = PipelineVertexInputStateCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is reserved for future use. flags :: PipelineVertexInputStateCreateFlags , -- | @pVertexBindingDescriptions@ is a pointer to an array of -- 'VertexInputBindingDescription' structures. vertexBindingDescriptions :: Vector VertexInputBindingDescription , -- | @pVertexAttributeDescriptions@ is a pointer to an array of -- 'VertexInputAttributeDescription' structures. vertexAttributeDescriptions :: Vector VertexInputAttributeDescription } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineVertexInputStateCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (PipelineVertexInputStateCreateInfo es) instance Extensible PipelineVertexInputStateCreateInfo where extensibleTypeName = "PipelineVertexInputStateCreateInfo" setNext PipelineVertexInputStateCreateInfo{..} next' = PipelineVertexInputStateCreateInfo{next = next', ..} getNext PipelineVertexInputStateCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineVertexInputStateCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @PipelineVertexInputDivisorStateCreateInfoEXT = Just f | otherwise = Nothing instance (Extendss PipelineVertexInputStateCreateInfo es, PokeChain es) => ToCStruct (PipelineVertexInputStateCreateInfo es) where withCStruct x f = allocaBytes 48 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineVertexInputStateCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_VERTEX_INPUT_STATE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineVertexInputStateCreateFlags)) (flags) lift $ poke ((p `plusPtr` 20 :: Ptr Word32)) ((fromIntegral (Data.Vector.length $ (vertexBindingDescriptions)) :: Word32)) pPVertexBindingDescriptions' <- ContT $ allocaBytes @VertexInputBindingDescription ((Data.Vector.length (vertexBindingDescriptions)) * 12) lift $ Data.Vector.imapM_ (\i e -> poke (pPVertexBindingDescriptions' `plusPtr` (12 * (i)) :: Ptr VertexInputBindingDescription) (e)) (vertexBindingDescriptions) lift $ poke ((p `plusPtr` 24 :: Ptr (Ptr VertexInputBindingDescription))) (pPVertexBindingDescriptions') lift $ poke ((p `plusPtr` 32 :: Ptr Word32)) ((fromIntegral (Data.Vector.length $ (vertexAttributeDescriptions)) :: Word32)) pPVertexAttributeDescriptions' <- ContT $ allocaBytes @VertexInputAttributeDescription ((Data.Vector.length (vertexAttributeDescriptions)) * 16) lift $ Data.Vector.imapM_ (\i e -> poke (pPVertexAttributeDescriptions' `plusPtr` (16 * (i)) :: Ptr VertexInputAttributeDescription) (e)) (vertexAttributeDescriptions) lift $ poke ((p `plusPtr` 40 :: Ptr (Ptr VertexInputAttributeDescription))) (pPVertexAttributeDescriptions') lift $ f cStructSize = 48 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_VERTEX_INPUT_STATE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' lift $ f instance (Extendss PipelineVertexInputStateCreateInfo es, PeekChain es) => FromCStruct (PipelineVertexInputStateCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineVertexInputStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineVertexInputStateCreateFlags)) vertexBindingDescriptionCount <- peek @Word32 ((p `plusPtr` 20 :: Ptr Word32)) pVertexBindingDescriptions <- peek @(Ptr VertexInputBindingDescription) ((p `plusPtr` 24 :: Ptr (Ptr VertexInputBindingDescription))) pVertexBindingDescriptions' <- generateM (fromIntegral vertexBindingDescriptionCount) (\i -> peekCStruct @VertexInputBindingDescription ((pVertexBindingDescriptions `advancePtrBytes` (12 * (i)) :: Ptr VertexInputBindingDescription))) vertexAttributeDescriptionCount <- peek @Word32 ((p `plusPtr` 32 :: Ptr Word32)) pVertexAttributeDescriptions <- peek @(Ptr VertexInputAttributeDescription) ((p `plusPtr` 40 :: Ptr (Ptr VertexInputAttributeDescription))) pVertexAttributeDescriptions' <- generateM (fromIntegral vertexAttributeDescriptionCount) (\i -> peekCStruct @VertexInputAttributeDescription ((pVertexAttributeDescriptions `advancePtrBytes` (16 * (i)) :: Ptr VertexInputAttributeDescription))) pure $ PipelineVertexInputStateCreateInfo next flags pVertexBindingDescriptions' pVertexAttributeDescriptions' instance es ~ '[] => Zero (PipelineVertexInputStateCreateInfo es) where zero = PipelineVertexInputStateCreateInfo () zero mempty mempty -- | VkPipelineInputAssemblyStateCreateInfo - Structure specifying parameters -- of a newly created pipeline input assembly state -- -- = Description -- -- Restarting the assembly of primitives discards the most recent index -- values if those elements formed an incomplete primitive, and restarts -- the primitive assembly using the subsequent indices, but only assembling -- the immediately following element through the end of the originally -- specified elements. The primitive restart index value comparison is -- performed before adding the @vertexOffset@ value to the index value. -- -- == Valid Usage -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-topology-06252# If -- @topology@ is -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_POINT_LIST', -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_LINE_LIST', -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_TRIANGLE_LIST', -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_LINE_LIST_WITH_ADJACENCY' -- or -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_TRIANGLE_LIST_WITH_ADJACENCY', -- and @primitiveRestartEnable@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', the -- -- feature /must/ be enabled -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-topology-06253# If -- @topology@ is -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_PATCH_LIST', -- and @primitiveRestartEnable@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', the -- -- feature /must/ be enabled -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-topology-00429# If the -- -- feature is not enabled, @topology@ /must/ not be any of -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_LINE_LIST_WITH_ADJACENCY', -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_LINE_STRIP_WITH_ADJACENCY', -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_TRIANGLE_LIST_WITH_ADJACENCY' -- or -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_TRIANGLE_STRIP_WITH_ADJACENCY' -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-topology-00430# If the -- -- feature is not enabled, @topology@ /must/ not be -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_PATCH_LIST' -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-triangleFans-04452# If -- the @VK_KHR_portability_subset@ extension is enabled, and -- 'Vulkan.Extensions.VK_KHR_portability_subset.PhysicalDevicePortabilitySubsetFeaturesKHR'::@triangleFans@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE', @topology@ /must/ not be -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_TRIANGLE_FAN' -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-sType-sType# @sType@ -- /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_INPUT_ASSEMBLY_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-pNext-pNext# @pNext@ -- /must/ be @NULL@ -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-flags-zerobitmask# -- @flags@ /must/ be @0@ -- -- - #VUID-VkPipelineInputAssemblyStateCreateInfo-topology-parameter# -- @topology@ /must/ be a valid -- 'Vulkan.Core10.Enums.PrimitiveTopology.PrimitiveTopology' value -- -- = See Also -- -- , -- 'Vulkan.Core10.FundamentalTypes.Bool32', 'GraphicsPipelineCreateInfo', -- 'Vulkan.Core10.Enums.PipelineInputAssemblyStateCreateFlags.PipelineInputAssemblyStateCreateFlags', -- 'Vulkan.Core10.Enums.PrimitiveTopology.PrimitiveTopology', -- 'Vulkan.Core10.Enums.StructureType.StructureType' data PipelineInputAssemblyStateCreateInfo = PipelineInputAssemblyStateCreateInfo { -- | @flags@ is reserved for future use. flags :: PipelineInputAssemblyStateCreateFlags , -- | @topology@ is a -- 'Vulkan.Core10.Enums.PrimitiveTopology.PrimitiveTopology' defining the -- primitive topology, as described below. topology :: PrimitiveTopology , -- | @primitiveRestartEnable@ controls whether a special vertex index value -- is treated as restarting the assembly of primitives. This enable only -- applies to indexed draws -- ('Vulkan.Core10.CommandBufferBuilding.cmdDrawIndexed', -- 'Vulkan.Extensions.VK_EXT_multi_draw.cmdDrawMultiIndexedEXT', and -- 'Vulkan.Core10.CommandBufferBuilding.cmdDrawIndexedIndirect'), and the -- special index value is either 0xFFFFFFFF when the @indexType@ parameter -- of 'Vulkan.Core10.CommandBufferBuilding.cmdBindIndexBuffer' is equal to -- 'Vulkan.Core10.Enums.IndexType.INDEX_TYPE_UINT32', 0xFF when @indexType@ -- is equal to 'Vulkan.Core10.Enums.IndexType.INDEX_TYPE_UINT8_EXT', or -- 0xFFFF when @indexType@ is equal to -- 'Vulkan.Core10.Enums.IndexType.INDEX_TYPE_UINT16'. Primitive restart is -- not allowed for “list” topologies, unless one of the features -- -- (for -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_PATCH_LIST') -- or -- -- (for all other list topologies) is enabled. primitiveRestartEnable :: Bool } deriving (Typeable, Eq) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineInputAssemblyStateCreateInfo) #endif deriving instance Show PipelineInputAssemblyStateCreateInfo instance ToCStruct PipelineInputAssemblyStateCreateInfo where withCStruct x f = allocaBytes 32 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineInputAssemblyStateCreateInfo{..} f = do poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_INPUT_ASSEMBLY_STATE_CREATE_INFO) poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr) poke ((p `plusPtr` 16 :: Ptr PipelineInputAssemblyStateCreateFlags)) (flags) poke ((p `plusPtr` 20 :: Ptr PrimitiveTopology)) (topology) poke ((p `plusPtr` 24 :: Ptr Bool32)) (boolToBool32 (primitiveRestartEnable)) f cStructSize = 32 cStructAlignment = 8 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_INPUT_ASSEMBLY_STATE_CREATE_INFO) poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr) poke ((p `plusPtr` 20 :: Ptr PrimitiveTopology)) (zero) poke ((p `plusPtr` 24 :: Ptr Bool32)) (boolToBool32 (zero)) f instance FromCStruct PipelineInputAssemblyStateCreateInfo where peekCStruct p = do flags <- peek @PipelineInputAssemblyStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineInputAssemblyStateCreateFlags)) topology <- peek @PrimitiveTopology ((p `plusPtr` 20 :: Ptr PrimitiveTopology)) primitiveRestartEnable <- peek @Bool32 ((p `plusPtr` 24 :: Ptr Bool32)) pure $ PipelineInputAssemblyStateCreateInfo flags topology (bool32ToBool primitiveRestartEnable) instance Storable PipelineInputAssemblyStateCreateInfo where sizeOf ~_ = 32 alignment ~_ = 8 peek = peekCStruct poke ptr poked = pokeCStruct ptr poked (pure ()) instance Zero PipelineInputAssemblyStateCreateInfo where zero = PipelineInputAssemblyStateCreateInfo zero zero zero -- | VkPipelineTessellationStateCreateInfo - Structure specifying parameters -- of a newly created pipeline tessellation state -- -- == Valid Usage -- -- - #VUID-VkPipelineTessellationStateCreateInfo-patchControlPoints-01214# -- @patchControlPoints@ /must/ be greater than zero and less than or -- equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxTessellationPatchSize@ -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineTessellationStateCreateInfo-sType-sType# @sType@ -- /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_TESSELLATION_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineTessellationStateCreateInfo-pNext-pNext# @pNext@ -- /must/ be @NULL@ or a pointer to a valid instance of -- 'Vulkan.Core11.Promoted_From_VK_KHR_maintenance2.PipelineTessellationDomainOriginStateCreateInfo' -- -- - #VUID-VkPipelineTessellationStateCreateInfo-sType-unique# The -- @sType@ value of each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkPipelineTessellationStateCreateInfo-flags-zerobitmask# -- @flags@ /must/ be @0@ -- -- = See Also -- -- , -- 'GraphicsPipelineCreateInfo', -- 'Vulkan.Extensions.VK_NV_device_generated_commands.GraphicsShaderGroupCreateInfoNV', -- 'Vulkan.Core10.Enums.PipelineTessellationStateCreateFlags.PipelineTessellationStateCreateFlags', -- 'Vulkan.Core10.Enums.StructureType.StructureType' data PipelineTessellationStateCreateInfo (es :: [Type]) = PipelineTessellationStateCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is reserved for future use. flags :: PipelineTessellationStateCreateFlags , -- | @patchControlPoints@ is the number of control points per patch. patchControlPoints :: Word32 } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineTessellationStateCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (PipelineTessellationStateCreateInfo es) instance Extensible PipelineTessellationStateCreateInfo where extensibleTypeName = "PipelineTessellationStateCreateInfo" setNext PipelineTessellationStateCreateInfo{..} next' = PipelineTessellationStateCreateInfo{next = next', ..} getNext PipelineTessellationStateCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineTessellationStateCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @PipelineTessellationDomainOriginStateCreateInfo = Just f | otherwise = Nothing instance (Extendss PipelineTessellationStateCreateInfo es, PokeChain es) => ToCStruct (PipelineTessellationStateCreateInfo es) where withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineTessellationStateCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_TESSELLATION_STATE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineTessellationStateCreateFlags)) (flags) lift $ poke ((p `plusPtr` 20 :: Ptr Word32)) (patchControlPoints) lift $ f cStructSize = 24 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_TESSELLATION_STATE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' lift $ poke ((p `plusPtr` 20 :: Ptr Word32)) (zero) lift $ f instance (Extendss PipelineTessellationStateCreateInfo es, PeekChain es) => FromCStruct (PipelineTessellationStateCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineTessellationStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineTessellationStateCreateFlags)) patchControlPoints <- peek @Word32 ((p `plusPtr` 20 :: Ptr Word32)) pure $ PipelineTessellationStateCreateInfo next flags patchControlPoints instance es ~ '[] => Zero (PipelineTessellationStateCreateInfo es) where zero = PipelineTessellationStateCreateInfo () zero zero -- | VkPipelineViewportStateCreateInfo - Structure specifying parameters of a -- newly created pipeline viewport state -- -- == Valid Usage -- -- - #VUID-VkPipelineViewportStateCreateInfo-viewportCount-01216# If the -- -- feature is not enabled, @viewportCount@ /must/ not be greater than -- @1@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-scissorCount-01217# If the -- -- feature is not enabled, @scissorCount@ /must/ not be greater than -- @1@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-viewportCount-01218# -- @viewportCount@ /must/ be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxViewports@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-scissorCount-01219# -- @scissorCount@ /must/ be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxViewports@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-x-02821# The @x@ and @y@ -- members of @offset@ member of any element of @pScissors@ /must/ be -- greater than or equal to @0@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-offset-02822# Evaluation of -- (@offset.x@ + @extent.width@) /must/ not cause a signed integer -- addition overflow for any element of @pScissors@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-offset-02823# Evaluation of -- (@offset.y@ + @extent.height@) /must/ not cause a signed integer -- addition overflow for any element of @pScissors@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-scissorCount-04134# If the -- graphics pipeline is being created without -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_WITH_COUNT' -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SCISSOR_WITH_COUNT' -- set then @scissorCount@ and @viewportCount@ /must/ be identical -- -- - #VUID-VkPipelineViewportStateCreateInfo-viewportCount-04135# If the -- graphics pipeline is being created with -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_WITH_COUNT' -- set then @viewportCount@ /must/ be @0@, otherwise it /must/ be -- greater than @0@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-scissorCount-04136# If the -- graphics pipeline is being created with -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SCISSOR_WITH_COUNT' -- set then @scissorCount@ /must/ be @0@, otherwise it /must/ be -- greater than @0@ -- -- - #VUID-VkPipelineViewportStateCreateInfo-viewportWScalingEnable-01726# -- If the @viewportWScalingEnable@ member of a -- 'Vulkan.Extensions.VK_NV_clip_space_w_scaling.PipelineViewportWScalingStateCreateInfoNV' -- structure included in the @pNext@ chain is -- 'Vulkan.Core10.FundamentalTypes.TRUE', the @viewportCount@ member of -- the -- 'Vulkan.Extensions.VK_NV_clip_space_w_scaling.PipelineViewportWScalingStateCreateInfoNV' -- structure /must/ be greater than or equal to -- 'PipelineViewportStateCreateInfo'::@viewportCount@ -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineViewportStateCreateInfo-sType-sType# @sType@ /must/ -- be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_VIEWPORT_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineViewportStateCreateInfo-pNext-pNext# Each @pNext@ -- member of any structure (including this one) in the @pNext@ chain -- /must/ be either @NULL@ or a pointer to a valid instance of -- 'Vulkan.Extensions.VK_NV_shading_rate_image.PipelineViewportCoarseSampleOrderStateCreateInfoNV', -- 'Vulkan.Extensions.VK_EXT_depth_clip_control.PipelineViewportDepthClipControlCreateInfoEXT', -- 'Vulkan.Extensions.VK_NV_scissor_exclusive.PipelineViewportExclusiveScissorStateCreateInfoNV', -- 'Vulkan.Extensions.VK_NV_shading_rate_image.PipelineViewportShadingRateImageStateCreateInfoNV', -- 'Vulkan.Extensions.VK_NV_viewport_swizzle.PipelineViewportSwizzleStateCreateInfoNV', -- or -- 'Vulkan.Extensions.VK_NV_clip_space_w_scaling.PipelineViewportWScalingStateCreateInfoNV' -- -- - #VUID-VkPipelineViewportStateCreateInfo-sType-unique# The @sType@ -- value of each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkPipelineViewportStateCreateInfo-flags-zerobitmask# @flags@ -- /must/ be @0@ -- -- = See Also -- -- , -- 'GraphicsPipelineCreateInfo', -- 'Vulkan.Core10.Enums.PipelineViewportStateCreateFlags.PipelineViewportStateCreateFlags', -- 'Vulkan.Core10.FundamentalTypes.Rect2D', -- 'Vulkan.Core10.Enums.StructureType.StructureType', 'Viewport' data PipelineViewportStateCreateInfo (es :: [Type]) = PipelineViewportStateCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is reserved for future use. flags :: PipelineViewportStateCreateFlags , -- | @viewportCount@ is the number of viewports used by the pipeline. viewportCount :: Word32 , -- | @pViewports@ is a pointer to an array of 'Viewport' structures, defining -- the viewport transforms. If the viewport state is dynamic, this member -- is ignored. viewports :: Vector Viewport , -- | @scissorCount@ is the number of -- -- and /must/ match the number of viewports. scissorCount :: Word32 , -- | @pScissors@ is a pointer to an array of -- 'Vulkan.Core10.FundamentalTypes.Rect2D' structures defining the -- rectangular bounds of the scissor for the corresponding viewport. If the -- scissor state is dynamic, this member is ignored. scissors :: Vector Rect2D } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineViewportStateCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (PipelineViewportStateCreateInfo es) instance Extensible PipelineViewportStateCreateInfo where extensibleTypeName = "PipelineViewportStateCreateInfo" setNext PipelineViewportStateCreateInfo{..} next' = PipelineViewportStateCreateInfo{next = next', ..} getNext PipelineViewportStateCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineViewportStateCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @PipelineViewportDepthClipControlCreateInfoEXT = Just f | Just Refl <- eqT @e @PipelineViewportCoarseSampleOrderStateCreateInfoNV = Just f | Just Refl <- eqT @e @PipelineViewportShadingRateImageStateCreateInfoNV = Just f | Just Refl <- eqT @e @PipelineViewportExclusiveScissorStateCreateInfoNV = Just f | Just Refl <- eqT @e @PipelineViewportSwizzleStateCreateInfoNV = Just f | Just Refl <- eqT @e @PipelineViewportWScalingStateCreateInfoNV = Just f | otherwise = Nothing instance (Extendss PipelineViewportStateCreateInfo es, PokeChain es) => ToCStruct (PipelineViewportStateCreateInfo es) where withCStruct x f = allocaBytes 48 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineViewportStateCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_VIEWPORT_STATE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineViewportStateCreateFlags)) (flags) let pViewportsLength = Data.Vector.length $ (viewports) viewportCount'' <- lift $ if (viewportCount) == 0 then pure $ fromIntegral pViewportsLength else do unless (fromIntegral pViewportsLength == (viewportCount) || pViewportsLength == 0) $ throwIO $ IOError Nothing InvalidArgument "" "pViewports must be empty or have 'viewportCount' elements" Nothing Nothing pure (viewportCount) lift $ poke ((p `plusPtr` 20 :: Ptr Word32)) (viewportCount'') pViewports'' <- if Data.Vector.null (viewports) then pure nullPtr else do pPViewports <- ContT $ allocaBytes @Viewport (((Data.Vector.length (viewports))) * 24) lift $ Data.Vector.imapM_ (\i e -> poke (pPViewports `plusPtr` (24 * (i)) :: Ptr Viewport) (e)) ((viewports)) pure $ pPViewports lift $ poke ((p `plusPtr` 24 :: Ptr (Ptr Viewport))) pViewports'' let pScissorsLength = Data.Vector.length $ (scissors) scissorCount'' <- lift $ if (scissorCount) == 0 then pure $ fromIntegral pScissorsLength else do unless (fromIntegral pScissorsLength == (scissorCount) || pScissorsLength == 0) $ throwIO $ IOError Nothing InvalidArgument "" "pScissors must be empty or have 'scissorCount' elements" Nothing Nothing pure (scissorCount) lift $ poke ((p `plusPtr` 32 :: Ptr Word32)) (scissorCount'') pScissors'' <- if Data.Vector.null (scissors) then pure nullPtr else do pPScissors <- ContT $ allocaBytes @Rect2D (((Data.Vector.length (scissors))) * 16) lift $ Data.Vector.imapM_ (\i e -> poke (pPScissors `plusPtr` (16 * (i)) :: Ptr Rect2D) (e)) ((scissors)) pure $ pPScissors lift $ poke ((p `plusPtr` 40 :: Ptr (Ptr Rect2D))) pScissors'' lift $ f cStructSize = 48 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_VIEWPORT_STATE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' lift $ f instance (Extendss PipelineViewportStateCreateInfo es, PeekChain es) => FromCStruct (PipelineViewportStateCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineViewportStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineViewportStateCreateFlags)) viewportCount <- peek @Word32 ((p `plusPtr` 20 :: Ptr Word32)) pViewports <- peek @(Ptr Viewport) ((p `plusPtr` 24 :: Ptr (Ptr Viewport))) let pViewportsLength = if pViewports == nullPtr then 0 else (fromIntegral viewportCount) pViewports' <- generateM pViewportsLength (\i -> peekCStruct @Viewport ((pViewports `advancePtrBytes` (24 * (i)) :: Ptr Viewport))) scissorCount <- peek @Word32 ((p `plusPtr` 32 :: Ptr Word32)) pScissors <- peek @(Ptr Rect2D) ((p `plusPtr` 40 :: Ptr (Ptr Rect2D))) let pScissorsLength = if pScissors == nullPtr then 0 else (fromIntegral scissorCount) pScissors' <- generateM pScissorsLength (\i -> peekCStruct @Rect2D ((pScissors `advancePtrBytes` (16 * (i)) :: Ptr Rect2D))) pure $ PipelineViewportStateCreateInfo next flags viewportCount pViewports' scissorCount pScissors' instance es ~ '[] => Zero (PipelineViewportStateCreateInfo es) where zero = PipelineViewportStateCreateInfo () zero zero mempty zero mempty -- | VkPipelineRasterizationStateCreateInfo - Structure specifying parameters -- of a newly created pipeline rasterization state -- -- = Description -- -- The application /can/ also add a -- 'Vulkan.Extensions.VK_AMD_rasterization_order.PipelineRasterizationStateRasterizationOrderAMD' -- structure to the @pNext@ chain of a -- 'PipelineRasterizationStateCreateInfo' structure. This structure enables -- selecting the rasterization order to use when rendering with the -- corresponding graphics pipeline as described in -- . -- -- == Valid Usage -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-depthClampEnable-00782# -- If the -- -- feature is not enabled, @depthClampEnable@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-polygonMode-01507# If -- the -- -- feature is not enabled, @polygonMode@ /must/ be -- 'Vulkan.Core10.Enums.PolygonMode.POLYGON_MODE_FILL' or -- 'Vulkan.Core10.Enums.PolygonMode.POLYGON_MODE_FILL_RECTANGLE_NV' -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-polygonMode-01414# If -- the @VK_NV_fill_rectangle@ extension is not enabled, @polygonMode@ -- /must/ not be -- 'Vulkan.Core10.Enums.PolygonMode.POLYGON_MODE_FILL_RECTANGLE_NV' -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-pointPolygons-04458# If -- the @VK_KHR_portability_subset@ extension is enabled, and -- 'Vulkan.Extensions.VK_KHR_portability_subset.PhysicalDevicePortabilitySubsetFeaturesKHR'::@pointPolygons@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE', and -- @rasterizerDiscardEnable@ is 'Vulkan.Core10.FundamentalTypes.FALSE', -- @polygonMode@ /must/ not be -- 'Vulkan.Core10.Enums.PolygonMode.POLYGON_MODE_POINT' -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-sType-sType# @sType@ -- /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_RASTERIZATION_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-pNext-pNext# Each -- @pNext@ member of any structure (including this one) in the @pNext@ -- chain /must/ be either @NULL@ or a pointer to a valid instance of -- 'Vulkan.Extensions.VK_EXT_conservative_rasterization.PipelineRasterizationConservativeStateCreateInfoEXT', -- 'Vulkan.Extensions.VK_EXT_depth_clip_enable.PipelineRasterizationDepthClipStateCreateInfoEXT', -- 'Vulkan.Extensions.VK_EXT_line_rasterization.PipelineRasterizationLineStateCreateInfoEXT', -- 'Vulkan.Extensions.VK_EXT_provoking_vertex.PipelineRasterizationProvokingVertexStateCreateInfoEXT', -- 'Vulkan.Extensions.VK_AMD_rasterization_order.PipelineRasterizationStateRasterizationOrderAMD', -- or -- 'Vulkan.Extensions.VK_EXT_transform_feedback.PipelineRasterizationStateStreamCreateInfoEXT' -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-sType-unique# The -- @sType@ value of each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-flags-zerobitmask# -- @flags@ /must/ be @0@ -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-polygonMode-parameter# -- @polygonMode@ /must/ be a valid -- 'Vulkan.Core10.Enums.PolygonMode.PolygonMode' value -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-cullMode-parameter# -- @cullMode@ /must/ be a valid combination of -- 'Vulkan.Core10.Enums.CullModeFlagBits.CullModeFlagBits' values -- -- - #VUID-VkPipelineRasterizationStateCreateInfo-frontFace-parameter# -- @frontFace@ /must/ be a valid -- 'Vulkan.Core10.Enums.FrontFace.FrontFace' value -- -- = See Also -- -- , -- 'Vulkan.Core10.FundamentalTypes.Bool32', -- 'Vulkan.Core10.Enums.CullModeFlagBits.CullModeFlags', -- 'Vulkan.Core10.Enums.FrontFace.FrontFace', 'GraphicsPipelineCreateInfo', -- 'Vulkan.Core10.Enums.PipelineRasterizationStateCreateFlags.PipelineRasterizationStateCreateFlags', -- 'Vulkan.Core10.Enums.PolygonMode.PolygonMode', -- 'Vulkan.Core10.Enums.StructureType.StructureType' data PipelineRasterizationStateCreateInfo (es :: [Type]) = PipelineRasterizationStateCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is reserved for future use. flags :: PipelineRasterizationStateCreateFlags , -- | @depthClampEnable@ controls whether to clamp the fragment’s depth values -- as described in -- . -- If the pipeline is not created with -- 'Vulkan.Extensions.VK_EXT_depth_clip_enable.PipelineRasterizationDepthClipStateCreateInfoEXT' -- present then enabling depth clamp will also disable clipping primitives -- to the z planes of the frustrum as described in -- . -- Otherwise depth clipping is controlled by the state set in -- 'Vulkan.Extensions.VK_EXT_depth_clip_enable.PipelineRasterizationDepthClipStateCreateInfoEXT'. depthClampEnable :: Bool , -- | @rasterizerDiscardEnable@ controls whether primitives are discarded -- immediately before the rasterization stage. rasterizerDiscardEnable :: Bool , -- | @polygonMode@ is the triangle rendering mode. See -- 'Vulkan.Core10.Enums.PolygonMode.PolygonMode'. polygonMode :: PolygonMode , -- | @cullMode@ is the triangle facing direction used for primitive culling. -- See 'Vulkan.Core10.Enums.CullModeFlagBits.CullModeFlagBits'. cullMode :: CullModeFlags , -- | @frontFace@ is a 'Vulkan.Core10.Enums.FrontFace.FrontFace' value -- specifying the front-facing triangle orientation to be used for culling. frontFace :: FrontFace , -- | @depthBiasEnable@ controls whether to bias fragment depth values. depthBiasEnable :: Bool , -- | @depthBiasConstantFactor@ is a scalar factor controlling the constant -- depth value added to each fragment. depthBiasConstantFactor :: Float , -- | @depthBiasClamp@ is the maximum (or minimum) depth bias of a fragment. depthBiasClamp :: Float , -- | @depthBiasSlopeFactor@ is a scalar factor applied to a fragment’s slope -- in depth bias calculations. depthBiasSlopeFactor :: Float , -- | @lineWidth@ is the width of rasterized line segments. lineWidth :: Float } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineRasterizationStateCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (PipelineRasterizationStateCreateInfo es) instance Extensible PipelineRasterizationStateCreateInfo where extensibleTypeName = "PipelineRasterizationStateCreateInfo" setNext PipelineRasterizationStateCreateInfo{..} next' = PipelineRasterizationStateCreateInfo{next = next', ..} getNext PipelineRasterizationStateCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineRasterizationStateCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @PipelineRasterizationProvokingVertexStateCreateInfoEXT = Just f | Just Refl <- eqT @e @PipelineRasterizationLineStateCreateInfoEXT = Just f | Just Refl <- eqT @e @PipelineRasterizationDepthClipStateCreateInfoEXT = Just f | Just Refl <- eqT @e @PipelineRasterizationStateStreamCreateInfoEXT = Just f | Just Refl <- eqT @e @PipelineRasterizationConservativeStateCreateInfoEXT = Just f | Just Refl <- eqT @e @PipelineRasterizationStateRasterizationOrderAMD = Just f | otherwise = Nothing instance (Extendss PipelineRasterizationStateCreateInfo es, PokeChain es) => ToCStruct (PipelineRasterizationStateCreateInfo es) where withCStruct x f = allocaBytes 64 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineRasterizationStateCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_RASTERIZATION_STATE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineRasterizationStateCreateFlags)) (flags) lift $ poke ((p `plusPtr` 20 :: Ptr Bool32)) (boolToBool32 (depthClampEnable)) lift $ poke ((p `plusPtr` 24 :: Ptr Bool32)) (boolToBool32 (rasterizerDiscardEnable)) lift $ poke ((p `plusPtr` 28 :: Ptr PolygonMode)) (polygonMode) lift $ poke ((p `plusPtr` 32 :: Ptr CullModeFlags)) (cullMode) lift $ poke ((p `plusPtr` 36 :: Ptr FrontFace)) (frontFace) lift $ poke ((p `plusPtr` 40 :: Ptr Bool32)) (boolToBool32 (depthBiasEnable)) lift $ poke ((p `plusPtr` 44 :: Ptr CFloat)) (CFloat (depthBiasConstantFactor)) lift $ poke ((p `plusPtr` 48 :: Ptr CFloat)) (CFloat (depthBiasClamp)) lift $ poke ((p `plusPtr` 52 :: Ptr CFloat)) (CFloat (depthBiasSlopeFactor)) lift $ poke ((p `plusPtr` 56 :: Ptr CFloat)) (CFloat (lineWidth)) lift $ f cStructSize = 64 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_RASTERIZATION_STATE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' lift $ poke ((p `plusPtr` 20 :: Ptr Bool32)) (boolToBool32 (zero)) lift $ poke ((p `plusPtr` 24 :: Ptr Bool32)) (boolToBool32 (zero)) lift $ poke ((p `plusPtr` 28 :: Ptr PolygonMode)) (zero) lift $ poke ((p `plusPtr` 36 :: Ptr FrontFace)) (zero) lift $ poke ((p `plusPtr` 40 :: Ptr Bool32)) (boolToBool32 (zero)) lift $ poke ((p `plusPtr` 44 :: Ptr CFloat)) (CFloat (zero)) lift $ poke ((p `plusPtr` 48 :: Ptr CFloat)) (CFloat (zero)) lift $ poke ((p `plusPtr` 52 :: Ptr CFloat)) (CFloat (zero)) lift $ poke ((p `plusPtr` 56 :: Ptr CFloat)) (CFloat (zero)) lift $ f instance (Extendss PipelineRasterizationStateCreateInfo es, PeekChain es) => FromCStruct (PipelineRasterizationStateCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineRasterizationStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineRasterizationStateCreateFlags)) depthClampEnable <- peek @Bool32 ((p `plusPtr` 20 :: Ptr Bool32)) rasterizerDiscardEnable <- peek @Bool32 ((p `plusPtr` 24 :: Ptr Bool32)) polygonMode <- peek @PolygonMode ((p `plusPtr` 28 :: Ptr PolygonMode)) cullMode <- peek @CullModeFlags ((p `plusPtr` 32 :: Ptr CullModeFlags)) frontFace <- peek @FrontFace ((p `plusPtr` 36 :: Ptr FrontFace)) depthBiasEnable <- peek @Bool32 ((p `plusPtr` 40 :: Ptr Bool32)) depthBiasConstantFactor <- peek @CFloat ((p `plusPtr` 44 :: Ptr CFloat)) depthBiasClamp <- peek @CFloat ((p `plusPtr` 48 :: Ptr CFloat)) depthBiasSlopeFactor <- peek @CFloat ((p `plusPtr` 52 :: Ptr CFloat)) lineWidth <- peek @CFloat ((p `plusPtr` 56 :: Ptr CFloat)) pure $ PipelineRasterizationStateCreateInfo next flags (bool32ToBool depthClampEnable) (bool32ToBool rasterizerDiscardEnable) polygonMode cullMode frontFace (bool32ToBool depthBiasEnable) (coerce @CFloat @Float depthBiasConstantFactor) (coerce @CFloat @Float depthBiasClamp) (coerce @CFloat @Float depthBiasSlopeFactor) (coerce @CFloat @Float lineWidth) instance es ~ '[] => Zero (PipelineRasterizationStateCreateInfo es) where zero = PipelineRasterizationStateCreateInfo () zero zero zero zero zero zero zero zero zero zero zero -- | VkPipelineMultisampleStateCreateInfo - Structure specifying parameters -- of a newly created pipeline multisample state -- -- = Description -- -- Each bit in the sample mask is associated with a unique -- -- as defined for the -- . -- Each bit b for mask word w in the sample mask corresponds to sample -- index i, where i = 32 × w + b. @pSampleMask@ has a length equal to ⌈ -- @rasterizationSamples@ \/ 32 ⌉ words. -- -- If @pSampleMask@ is @NULL@, it is treated as if the mask has all bits -- set to @1@. -- -- == Valid Usage -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-sampleShadingEnable-00784# -- If the -- -- feature is not enabled, @sampleShadingEnable@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-alphaToOneEnable-00785# -- If the -- -- feature is not enabled, @alphaToOneEnable@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-minSampleShading-00786# -- @minSampleShading@ /must/ be in the range [0,1] -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-rasterizationSamples-01415# -- If the @VK_NV_framebuffer_mixed_samples@ extension is enabled, and -- if the subpass has any color attachments and @rasterizationSamples@ -- is greater than the number of color samples, then -- @sampleShadingEnable@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-sType-sType# @sType@ -- /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_MULTISAMPLE_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-pNext-pNext# Each @pNext@ -- member of any structure (including this one) in the @pNext@ chain -- /must/ be either @NULL@ or a pointer to a valid instance of -- 'Vulkan.Extensions.VK_NV_framebuffer_mixed_samples.PipelineCoverageModulationStateCreateInfoNV', -- 'Vulkan.Extensions.VK_NV_coverage_reduction_mode.PipelineCoverageReductionStateCreateInfoNV', -- 'Vulkan.Extensions.VK_NV_fragment_coverage_to_color.PipelineCoverageToColorStateCreateInfoNV', -- or -- 'Vulkan.Extensions.VK_EXT_sample_locations.PipelineSampleLocationsStateCreateInfoEXT' -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-sType-unique# The @sType@ -- value of each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-flags-zerobitmask# -- @flags@ /must/ be @0@ -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-rasterizationSamples-parameter# -- @rasterizationSamples@ /must/ be a valid -- 'Vulkan.Core10.Enums.SampleCountFlagBits.SampleCountFlagBits' value -- -- - #VUID-VkPipelineMultisampleStateCreateInfo-pSampleMask-parameter# If -- @pSampleMask@ is not @NULL@, @pSampleMask@ /must/ be a valid pointer -- to an array of -- \(\lceil{\mathit{rasterizationSamples} \over 32}\rceil\) -- 'Vulkan.Core10.FundamentalTypes.SampleMask' values -- -- = See Also -- -- , -- 'Vulkan.Core10.FundamentalTypes.Bool32', 'GraphicsPipelineCreateInfo', -- 'Vulkan.Core10.Enums.PipelineMultisampleStateCreateFlags.PipelineMultisampleStateCreateFlags', -- 'Vulkan.Core10.Enums.SampleCountFlagBits.SampleCountFlagBits', -- 'Vulkan.Core10.FundamentalTypes.SampleMask', -- 'Vulkan.Core10.Enums.StructureType.StructureType' data PipelineMultisampleStateCreateInfo (es :: [Type]) = PipelineMultisampleStateCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is reserved for future use. flags :: PipelineMultisampleStateCreateFlags , -- | @rasterizationSamples@ is a -- 'Vulkan.Core10.Enums.SampleCountFlagBits.SampleCountFlagBits' value -- specifying the number of samples used in rasterization. rasterizationSamples :: SampleCountFlagBits , -- | @sampleShadingEnable@ /can/ be used to enable -- . sampleShadingEnable :: Bool , -- | @minSampleShading@ specifies a minimum fraction of sample shading if -- @sampleShadingEnable@ is set to 'Vulkan.Core10.FundamentalTypes.TRUE'. minSampleShading :: Float , -- | @pSampleMask@ is a pointer to an array of -- 'Vulkan.Core10.FundamentalTypes.SampleMask' values used in the -- . sampleMask :: Vector SampleMask , -- | @alphaToCoverageEnable@ controls whether a temporary coverage value is -- generated based on the alpha component of the fragment’s first color -- output as specified in the -- -- section. alphaToCoverageEnable :: Bool , -- | @alphaToOneEnable@ controls whether the alpha component of the -- fragment’s first color output is replaced with one as described in -- . alphaToOneEnable :: Bool } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineMultisampleStateCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (PipelineMultisampleStateCreateInfo es) instance Extensible PipelineMultisampleStateCreateInfo where extensibleTypeName = "PipelineMultisampleStateCreateInfo" setNext PipelineMultisampleStateCreateInfo{..} next' = PipelineMultisampleStateCreateInfo{next = next', ..} getNext PipelineMultisampleStateCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineMultisampleStateCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @PipelineCoverageReductionStateCreateInfoNV = Just f | Just Refl <- eqT @e @PipelineCoverageModulationStateCreateInfoNV = Just f | Just Refl <- eqT @e @PipelineSampleLocationsStateCreateInfoEXT = Just f | Just Refl <- eqT @e @PipelineCoverageToColorStateCreateInfoNV = Just f | otherwise = Nothing instance (Extendss PipelineMultisampleStateCreateInfo es, PokeChain es) => ToCStruct (PipelineMultisampleStateCreateInfo es) where withCStruct x f = allocaBytes 48 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineMultisampleStateCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_MULTISAMPLE_STATE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineMultisampleStateCreateFlags)) (flags) lift $ poke ((p `plusPtr` 20 :: Ptr SampleCountFlagBits)) (rasterizationSamples) lift $ poke ((p `plusPtr` 24 :: Ptr Bool32)) (boolToBool32 (sampleShadingEnable)) lift $ poke ((p `plusPtr` 28 :: Ptr CFloat)) (CFloat (minSampleShading)) pSampleMask'' <- case Data.Vector.length (sampleMask) of 0 -> pure nullPtr vecLen -> do let requiredLen = case (rasterizationSamples) of SampleCountFlagBits n -> (n + 31) `quot` 32 lift $ unless (requiredLen == fromIntegral vecLen) $ throwIO $ IOError Nothing InvalidArgument "" "sampleMask must be either empty or contain enough bits to cover all the sample specified by 'rasterizationSamples'" Nothing Nothing do pPSampleMask' <- ContT $ allocaBytes @SampleMask ((Data.Vector.length ((sampleMask))) * 4) lift $ Data.Vector.imapM_ (\i e -> poke (pPSampleMask' `plusPtr` (4 * (i)) :: Ptr SampleMask) (e)) ((sampleMask)) pure $ pPSampleMask' lift $ poke ((p `plusPtr` 32 :: Ptr (Ptr SampleMask))) pSampleMask'' lift $ poke ((p `plusPtr` 40 :: Ptr Bool32)) (boolToBool32 (alphaToCoverageEnable)) lift $ poke ((p `plusPtr` 44 :: Ptr Bool32)) (boolToBool32 (alphaToOneEnable)) lift $ f cStructSize = 48 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_MULTISAMPLE_STATE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' lift $ poke ((p `plusPtr` 20 :: Ptr SampleCountFlagBits)) (zero) lift $ poke ((p `plusPtr` 24 :: Ptr Bool32)) (boolToBool32 (zero)) lift $ poke ((p `plusPtr` 28 :: Ptr CFloat)) (CFloat (zero)) lift $ poke ((p `plusPtr` 40 :: Ptr Bool32)) (boolToBool32 (zero)) lift $ poke ((p `plusPtr` 44 :: Ptr Bool32)) (boolToBool32 (zero)) lift $ f instance (Extendss PipelineMultisampleStateCreateInfo es, PeekChain es) => FromCStruct (PipelineMultisampleStateCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineMultisampleStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineMultisampleStateCreateFlags)) rasterizationSamples <- peek @SampleCountFlagBits ((p `plusPtr` 20 :: Ptr SampleCountFlagBits)) sampleShadingEnable <- peek @Bool32 ((p `plusPtr` 24 :: Ptr Bool32)) minSampleShading <- peek @CFloat ((p `plusPtr` 28 :: Ptr CFloat)) pSampleMask <- peek @(Ptr SampleMask) ((p `plusPtr` 32 :: Ptr (Ptr SampleMask))) pSampleMask' <- if pSampleMask == nullPtr then pure mempty else generateM (case rasterizationSamples of SampleCountFlagBits n -> (fromIntegral n + 31) `quot` 32) (\i -> peek @SampleMask (((pSampleMask) `advancePtrBytes` (4 * (i)) :: Ptr SampleMask))) alphaToCoverageEnable <- peek @Bool32 ((p `plusPtr` 40 :: Ptr Bool32)) alphaToOneEnable <- peek @Bool32 ((p `plusPtr` 44 :: Ptr Bool32)) pure $ PipelineMultisampleStateCreateInfo next flags rasterizationSamples (bool32ToBool sampleShadingEnable) (coerce @CFloat @Float minSampleShading) pSampleMask' (bool32ToBool alphaToCoverageEnable) (bool32ToBool alphaToOneEnable) instance es ~ '[] => Zero (PipelineMultisampleStateCreateInfo es) where zero = PipelineMultisampleStateCreateInfo () zero zero zero zero mempty zero zero -- | VkPipelineColorBlendAttachmentState - Structure specifying a pipeline -- color blend attachment state -- -- == Valid Usage -- -- - #VUID-VkPipelineColorBlendAttachmentState-srcColorBlendFactor-00608# -- If the -- -- feature is not enabled, @srcColorBlendFactor@ /must/ not be -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_SRC1_COLOR', -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_SRC1_COLOR', -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_SRC1_ALPHA', or -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_SRC1_ALPHA' -- -- - #VUID-VkPipelineColorBlendAttachmentState-dstColorBlendFactor-00609# -- If the -- -- feature is not enabled, @dstColorBlendFactor@ /must/ not be -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_SRC1_COLOR', -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_SRC1_COLOR', -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_SRC1_ALPHA', or -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_SRC1_ALPHA' -- -- - #VUID-VkPipelineColorBlendAttachmentState-srcAlphaBlendFactor-00610# -- If the -- -- feature is not enabled, @srcAlphaBlendFactor@ /must/ not be -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_SRC1_COLOR', -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_SRC1_COLOR', -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_SRC1_ALPHA', or -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_SRC1_ALPHA' -- -- - #VUID-VkPipelineColorBlendAttachmentState-dstAlphaBlendFactor-00611# -- If the -- -- feature is not enabled, @dstAlphaBlendFactor@ /must/ not be -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_SRC1_COLOR', -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_SRC1_COLOR', -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_SRC1_ALPHA', or -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_SRC1_ALPHA' -- -- - #VUID-VkPipelineColorBlendAttachmentState-colorBlendOp-01406# If -- either of @colorBlendOp@ or @alphaBlendOp@ is an -- , -- then @colorBlendOp@ /must/ equal @alphaBlendOp@ -- -- - #VUID-VkPipelineColorBlendAttachmentState-advancedBlendIndependentBlend-01407# -- If -- 'Vulkan.Extensions.VK_EXT_blend_operation_advanced.PhysicalDeviceBlendOperationAdvancedPropertiesEXT'::@advancedBlendIndependentBlend@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE' and @colorBlendOp@ is an -- , -- then @colorBlendOp@ /must/ be the same for all attachments -- -- - #VUID-VkPipelineColorBlendAttachmentState-advancedBlendIndependentBlend-01408# -- If -- 'Vulkan.Extensions.VK_EXT_blend_operation_advanced.PhysicalDeviceBlendOperationAdvancedPropertiesEXT'::@advancedBlendIndependentBlend@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE' and @alphaBlendOp@ is an -- , -- then @alphaBlendOp@ /must/ be the same for all attachments -- -- - #VUID-VkPipelineColorBlendAttachmentState-advancedBlendAllOperations-01409# -- If -- 'Vulkan.Extensions.VK_EXT_blend_operation_advanced.PhysicalDeviceBlendOperationAdvancedPropertiesEXT'::@advancedBlendAllOperations@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE', then @colorBlendOp@ -- /must/ not be 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_ZERO_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_SRC_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_DST_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_SRC_OVER_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_DST_OVER_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_SRC_IN_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_DST_IN_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_SRC_OUT_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_DST_OUT_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_SRC_ATOP_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_DST_ATOP_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_XOR_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_INVERT_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_INVERT_RGB_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_LINEARDODGE_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_LINEARBURN_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_VIVIDLIGHT_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_LINEARLIGHT_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_PINLIGHT_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_HARDMIX_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_PLUS_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_PLUS_CLAMPED_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_PLUS_CLAMPED_ALPHA_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_PLUS_DARKER_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_MINUS_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_MINUS_CLAMPED_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_CONTRAST_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_INVERT_OVG_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_RED_EXT', -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_GREEN_EXT', or -- 'Vulkan.Core10.Enums.BlendOp.BLEND_OP_BLUE_EXT' -- -- - #VUID-VkPipelineColorBlendAttachmentState-colorBlendOp-01410# If -- @colorBlendOp@ or @alphaBlendOp@ is an -- , -- then @colorAttachmentCount@ of the subpass this pipeline is compiled -- against /must/ be less than or equal to -- 'Vulkan.Extensions.VK_EXT_blend_operation_advanced.PhysicalDeviceBlendOperationAdvancedPropertiesEXT'::@advancedBlendMaxColorAttachments@ -- -- - #VUID-VkPipelineColorBlendAttachmentState-constantAlphaColorBlendFactors-04454# -- If the @VK_KHR_portability_subset@ extension is enabled, and -- 'Vulkan.Extensions.VK_KHR_portability_subset.PhysicalDevicePortabilitySubsetFeaturesKHR'::@constantAlphaColorBlendFactors@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE', @srcColorBlendFactor@ -- /must/ not be -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_CONSTANT_ALPHA' or -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_CONSTANT_ALPHA' -- -- - #VUID-VkPipelineColorBlendAttachmentState-constantAlphaColorBlendFactors-04455# -- If the @VK_KHR_portability_subset@ extension is enabled, and -- 'Vulkan.Extensions.VK_KHR_portability_subset.PhysicalDevicePortabilitySubsetFeaturesKHR'::@constantAlphaColorBlendFactors@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE', @dstColorBlendFactor@ -- /must/ not be -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_CONSTANT_ALPHA' or -- 'Vulkan.Core10.Enums.BlendFactor.BLEND_FACTOR_ONE_MINUS_CONSTANT_ALPHA' -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineColorBlendAttachmentState-srcColorBlendFactor-parameter# -- @srcColorBlendFactor@ /must/ be a valid -- 'Vulkan.Core10.Enums.BlendFactor.BlendFactor' value -- -- - #VUID-VkPipelineColorBlendAttachmentState-dstColorBlendFactor-parameter# -- @dstColorBlendFactor@ /must/ be a valid -- 'Vulkan.Core10.Enums.BlendFactor.BlendFactor' value -- -- - #VUID-VkPipelineColorBlendAttachmentState-colorBlendOp-parameter# -- @colorBlendOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.BlendOp.BlendOp' value -- -- - #VUID-VkPipelineColorBlendAttachmentState-srcAlphaBlendFactor-parameter# -- @srcAlphaBlendFactor@ /must/ be a valid -- 'Vulkan.Core10.Enums.BlendFactor.BlendFactor' value -- -- - #VUID-VkPipelineColorBlendAttachmentState-dstAlphaBlendFactor-parameter# -- @dstAlphaBlendFactor@ /must/ be a valid -- 'Vulkan.Core10.Enums.BlendFactor.BlendFactor' value -- -- - #VUID-VkPipelineColorBlendAttachmentState-alphaBlendOp-parameter# -- @alphaBlendOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.BlendOp.BlendOp' value -- -- - #VUID-VkPipelineColorBlendAttachmentState-colorWriteMask-parameter# -- @colorWriteMask@ /must/ be a valid combination of -- 'Vulkan.Core10.Enums.ColorComponentFlagBits.ColorComponentFlagBits' -- values -- -- = See Also -- -- , -- 'Vulkan.Core10.Enums.BlendFactor.BlendFactor', -- 'Vulkan.Core10.Enums.BlendOp.BlendOp', -- 'Vulkan.Core10.FundamentalTypes.Bool32', -- 'Vulkan.Core10.Enums.ColorComponentFlagBits.ColorComponentFlags', -- 'PipelineColorBlendStateCreateInfo' data PipelineColorBlendAttachmentState = PipelineColorBlendAttachmentState { -- | @blendEnable@ controls whether blending is enabled for the corresponding -- color attachment. If blending is not enabled, the source fragment’s -- color for that attachment is passed through unmodified. blendEnable :: Bool , -- | @srcColorBlendFactor@ selects which blend factor is used to determine -- the source factors (Sr,Sg,Sb). srcColorBlendFactor :: BlendFactor , -- | @dstColorBlendFactor@ selects which blend factor is used to determine -- the destination factors (Dr,Dg,Db). dstColorBlendFactor :: BlendFactor , -- | @colorBlendOp@ selects which blend operation is used to calculate the -- RGB values to write to the color attachment. colorBlendOp :: BlendOp , -- | @srcAlphaBlendFactor@ selects which blend factor is used to determine -- the source factor Sa. srcAlphaBlendFactor :: BlendFactor , -- | @dstAlphaBlendFactor@ selects which blend factor is used to determine -- the destination factor Da. dstAlphaBlendFactor :: BlendFactor , -- | @alphaBlendOp@ selects which blend operation is use to calculate the -- alpha values to write to the color attachment. alphaBlendOp :: BlendOp , -- | @colorWriteMask@ is a bitmask of -- 'Vulkan.Core10.Enums.ColorComponentFlagBits.ColorComponentFlagBits' -- specifying which of the R, G, B, and\/or A components are enabled for -- writing, as described for the -- . colorWriteMask :: ColorComponentFlags } deriving (Typeable, Eq) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineColorBlendAttachmentState) #endif deriving instance Show PipelineColorBlendAttachmentState instance ToCStruct PipelineColorBlendAttachmentState where withCStruct x f = allocaBytes 32 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineColorBlendAttachmentState{..} f = do poke ((p `plusPtr` 0 :: Ptr Bool32)) (boolToBool32 (blendEnable)) poke ((p `plusPtr` 4 :: Ptr BlendFactor)) (srcColorBlendFactor) poke ((p `plusPtr` 8 :: Ptr BlendFactor)) (dstColorBlendFactor) poke ((p `plusPtr` 12 :: Ptr BlendOp)) (colorBlendOp) poke ((p `plusPtr` 16 :: Ptr BlendFactor)) (srcAlphaBlendFactor) poke ((p `plusPtr` 20 :: Ptr BlendFactor)) (dstAlphaBlendFactor) poke ((p `plusPtr` 24 :: Ptr BlendOp)) (alphaBlendOp) poke ((p `plusPtr` 28 :: Ptr ColorComponentFlags)) (colorWriteMask) f cStructSize = 32 cStructAlignment = 4 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr Bool32)) (boolToBool32 (zero)) poke ((p `plusPtr` 4 :: Ptr BlendFactor)) (zero) poke ((p `plusPtr` 8 :: Ptr BlendFactor)) (zero) poke ((p `plusPtr` 12 :: Ptr BlendOp)) (zero) poke ((p `plusPtr` 16 :: Ptr BlendFactor)) (zero) poke ((p `plusPtr` 20 :: Ptr BlendFactor)) (zero) poke ((p `plusPtr` 24 :: Ptr BlendOp)) (zero) f instance FromCStruct PipelineColorBlendAttachmentState where peekCStruct p = do blendEnable <- peek @Bool32 ((p `plusPtr` 0 :: Ptr Bool32)) srcColorBlendFactor <- peek @BlendFactor ((p `plusPtr` 4 :: Ptr BlendFactor)) dstColorBlendFactor <- peek @BlendFactor ((p `plusPtr` 8 :: Ptr BlendFactor)) colorBlendOp <- peek @BlendOp ((p `plusPtr` 12 :: Ptr BlendOp)) srcAlphaBlendFactor <- peek @BlendFactor ((p `plusPtr` 16 :: Ptr BlendFactor)) dstAlphaBlendFactor <- peek @BlendFactor ((p `plusPtr` 20 :: Ptr BlendFactor)) alphaBlendOp <- peek @BlendOp ((p `plusPtr` 24 :: Ptr BlendOp)) colorWriteMask <- peek @ColorComponentFlags ((p `plusPtr` 28 :: Ptr ColorComponentFlags)) pure $ PipelineColorBlendAttachmentState (bool32ToBool blendEnable) srcColorBlendFactor dstColorBlendFactor colorBlendOp srcAlphaBlendFactor dstAlphaBlendFactor alphaBlendOp colorWriteMask instance Storable PipelineColorBlendAttachmentState where sizeOf ~_ = 32 alignment ~_ = 4 peek = peekCStruct poke ptr poked = pokeCStruct ptr poked (pure ()) instance Zero PipelineColorBlendAttachmentState where zero = PipelineColorBlendAttachmentState zero zero zero zero zero zero zero zero -- | VkPipelineColorBlendStateCreateInfo - Structure specifying parameters of -- a newly created pipeline color blend state -- -- == Valid Usage -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-pAttachments-00605# If the -- -- feature is not enabled, all elements of @pAttachments@ /must/ be -- identical -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-logicOpEnable-00606# If -- the -- -- feature is not enabled, @logicOpEnable@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-logicOpEnable-00607# If -- @logicOpEnable@ is 'Vulkan.Core10.FundamentalTypes.TRUE', @logicOp@ -- /must/ be a valid 'Vulkan.Core10.Enums.LogicOp.LogicOp' value -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-rasterizationOrderColorAttachmentAccess-06465# -- If the -- -- feature is not enabled, @flags@ /must/ not include -- 'Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits.PIPELINE_COLOR_BLEND_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_ACCESS_BIT_ARM' -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-sType-sType# @sType@ -- /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_COLOR_BLEND_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-pNext-pNext# Each @pNext@ -- member of any structure (including this one) in the @pNext@ chain -- /must/ be either @NULL@ or a pointer to a valid instance of -- 'Vulkan.Extensions.VK_EXT_blend_operation_advanced.PipelineColorBlendAdvancedStateCreateInfoEXT' -- or -- 'Vulkan.Extensions.VK_EXT_color_write_enable.PipelineColorWriteCreateInfoEXT' -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-sType-unique# The @sType@ -- value of each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-flags-parameter# @flags@ -- /must/ be a valid combination of -- 'Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits.PipelineColorBlendStateCreateFlagBits' -- values -- -- - #VUID-VkPipelineColorBlendStateCreateInfo-pAttachments-parameter# If -- @attachmentCount@ is not @0@, @pAttachments@ /must/ be a valid -- pointer to an array of @attachmentCount@ valid -- 'PipelineColorBlendAttachmentState' structures -- -- = See Also -- -- , -- 'Vulkan.Core10.FundamentalTypes.Bool32', 'GraphicsPipelineCreateInfo', -- 'Vulkan.Core10.Enums.LogicOp.LogicOp', -- 'PipelineColorBlendAttachmentState', -- 'Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits.PipelineColorBlendStateCreateFlags', -- 'Vulkan.Core10.Enums.StructureType.StructureType' data PipelineColorBlendStateCreateInfo (es :: [Type]) = PipelineColorBlendStateCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is a bitmask of -- 'Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits.PipelineColorBlendStateCreateFlagBits' -- specifying additional color blending information. flags :: PipelineColorBlendStateCreateFlags , -- | @logicOpEnable@ controls whether to apply -- . logicOpEnable :: Bool , -- | @logicOp@ selects which logical operation to apply. logicOp :: LogicOp , -- | @pAttachments@ is a pointer to an array of -- 'PipelineColorBlendAttachmentState' structures defining blend state for -- each color attachment. attachments :: Vector PipelineColorBlendAttachmentState , -- | @blendConstants@ is a pointer to an array of four values used as the R, -- G, B, and A components of the blend constant that are used in blending, -- depending on the -- . blendConstants :: (Float, Float, Float, Float) } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineColorBlendStateCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (PipelineColorBlendStateCreateInfo es) instance Extensible PipelineColorBlendStateCreateInfo where extensibleTypeName = "PipelineColorBlendStateCreateInfo" setNext PipelineColorBlendStateCreateInfo{..} next' = PipelineColorBlendStateCreateInfo{next = next', ..} getNext PipelineColorBlendStateCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineColorBlendStateCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @PipelineColorWriteCreateInfoEXT = Just f | Just Refl <- eqT @e @PipelineColorBlendAdvancedStateCreateInfoEXT = Just f | otherwise = Nothing instance (Extendss PipelineColorBlendStateCreateInfo es, PokeChain es) => ToCStruct (PipelineColorBlendStateCreateInfo es) where withCStruct x f = allocaBytes 56 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineColorBlendStateCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_COLOR_BLEND_STATE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineColorBlendStateCreateFlags)) (flags) lift $ poke ((p `plusPtr` 20 :: Ptr Bool32)) (boolToBool32 (logicOpEnable)) lift $ poke ((p `plusPtr` 24 :: Ptr LogicOp)) (logicOp) lift $ poke ((p `plusPtr` 28 :: Ptr Word32)) ((fromIntegral (Data.Vector.length $ (attachments)) :: Word32)) pPAttachments' <- ContT $ allocaBytes @PipelineColorBlendAttachmentState ((Data.Vector.length (attachments)) * 32) lift $ Data.Vector.imapM_ (\i e -> poke (pPAttachments' `plusPtr` (32 * (i)) :: Ptr PipelineColorBlendAttachmentState) (e)) (attachments) lift $ poke ((p `plusPtr` 32 :: Ptr (Ptr PipelineColorBlendAttachmentState))) (pPAttachments') let pBlendConstants' = lowerArrayPtr ((p `plusPtr` 40 :: Ptr (FixedArray 4 CFloat))) lift $ case (blendConstants) of (e0, e1, e2, e3) -> do poke (pBlendConstants' :: Ptr CFloat) (CFloat (e0)) poke (pBlendConstants' `plusPtr` 4 :: Ptr CFloat) (CFloat (e1)) poke (pBlendConstants' `plusPtr` 8 :: Ptr CFloat) (CFloat (e2)) poke (pBlendConstants' `plusPtr` 12 :: Ptr CFloat) (CFloat (e3)) lift $ f cStructSize = 56 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_COLOR_BLEND_STATE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' lift $ poke ((p `plusPtr` 20 :: Ptr Bool32)) (boolToBool32 (zero)) lift $ poke ((p `plusPtr` 24 :: Ptr LogicOp)) (zero) let pBlendConstants' = lowerArrayPtr ((p `plusPtr` 40 :: Ptr (FixedArray 4 CFloat))) lift $ case ((zero, zero, zero, zero)) of (e0, e1, e2, e3) -> do poke (pBlendConstants' :: Ptr CFloat) (CFloat (e0)) poke (pBlendConstants' `plusPtr` 4 :: Ptr CFloat) (CFloat (e1)) poke (pBlendConstants' `plusPtr` 8 :: Ptr CFloat) (CFloat (e2)) poke (pBlendConstants' `plusPtr` 12 :: Ptr CFloat) (CFloat (e3)) lift $ f instance (Extendss PipelineColorBlendStateCreateInfo es, PeekChain es) => FromCStruct (PipelineColorBlendStateCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineColorBlendStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineColorBlendStateCreateFlags)) logicOpEnable <- peek @Bool32 ((p `plusPtr` 20 :: Ptr Bool32)) logicOp <- peek @LogicOp ((p `plusPtr` 24 :: Ptr LogicOp)) attachmentCount <- peek @Word32 ((p `plusPtr` 28 :: Ptr Word32)) pAttachments <- peek @(Ptr PipelineColorBlendAttachmentState) ((p `plusPtr` 32 :: Ptr (Ptr PipelineColorBlendAttachmentState))) pAttachments' <- generateM (fromIntegral attachmentCount) (\i -> peekCStruct @PipelineColorBlendAttachmentState ((pAttachments `advancePtrBytes` (32 * (i)) :: Ptr PipelineColorBlendAttachmentState))) let pblendConstants = lowerArrayPtr @CFloat ((p `plusPtr` 40 :: Ptr (FixedArray 4 CFloat))) blendConstants0 <- peek @CFloat ((pblendConstants `advancePtrBytes` 0 :: Ptr CFloat)) blendConstants1 <- peek @CFloat ((pblendConstants `advancePtrBytes` 4 :: Ptr CFloat)) blendConstants2 <- peek @CFloat ((pblendConstants `advancePtrBytes` 8 :: Ptr CFloat)) blendConstants3 <- peek @CFloat ((pblendConstants `advancePtrBytes` 12 :: Ptr CFloat)) pure $ PipelineColorBlendStateCreateInfo next flags (bool32ToBool logicOpEnable) logicOp pAttachments' (((coerce @CFloat @Float blendConstants0), (coerce @CFloat @Float blendConstants1), (coerce @CFloat @Float blendConstants2), (coerce @CFloat @Float blendConstants3))) instance es ~ '[] => Zero (PipelineColorBlendStateCreateInfo es) where zero = PipelineColorBlendStateCreateInfo () zero zero zero mempty (zero, zero, zero, zero) -- | VkPipelineDynamicStateCreateInfo - Structure specifying parameters of a -- newly created pipeline dynamic state -- -- == Valid Usage -- -- - #VUID-VkPipelineDynamicStateCreateInfo-pDynamicStates-01442# Each -- element of @pDynamicStates@ /must/ be unique -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineDynamicStateCreateInfo-sType-sType# @sType@ /must/ -- be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_DYNAMIC_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineDynamicStateCreateInfo-pNext-pNext# @pNext@ /must/ -- be @NULL@ -- -- - #VUID-VkPipelineDynamicStateCreateInfo-flags-zerobitmask# @flags@ -- /must/ be @0@ -- -- - #VUID-VkPipelineDynamicStateCreateInfo-pDynamicStates-parameter# If -- @dynamicStateCount@ is not @0@, @pDynamicStates@ /must/ be a valid -- pointer to an array of @dynamicStateCount@ valid -- 'Vulkan.Core10.Enums.DynamicState.DynamicState' values -- -- = See Also -- -- , -- 'Vulkan.Core10.Enums.DynamicState.DynamicState', -- 'GraphicsPipelineCreateInfo', -- 'Vulkan.Core10.Enums.PipelineDynamicStateCreateFlags.PipelineDynamicStateCreateFlags', -- 'Vulkan.Extensions.VK_KHR_ray_tracing_pipeline.RayTracingPipelineCreateInfoKHR', -- 'Vulkan.Core10.Enums.StructureType.StructureType' data PipelineDynamicStateCreateInfo = PipelineDynamicStateCreateInfo { -- | @flags@ is reserved for future use. flags :: PipelineDynamicStateCreateFlags , -- | @pDynamicStates@ is a pointer to an array of -- 'Vulkan.Core10.Enums.DynamicState.DynamicState' values specifying which -- pieces of pipeline state will use the values from dynamic state commands -- rather than from pipeline state creation information. dynamicStates :: Vector DynamicState } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineDynamicStateCreateInfo) #endif deriving instance Show PipelineDynamicStateCreateInfo instance ToCStruct PipelineDynamicStateCreateInfo where withCStruct x f = allocaBytes 32 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineDynamicStateCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_DYNAMIC_STATE_CREATE_INFO) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr) lift $ poke ((p `plusPtr` 16 :: Ptr PipelineDynamicStateCreateFlags)) (flags) lift $ poke ((p `plusPtr` 20 :: Ptr Word32)) ((fromIntegral (Data.Vector.length $ (dynamicStates)) :: Word32)) pPDynamicStates' <- ContT $ allocaBytes @DynamicState ((Data.Vector.length (dynamicStates)) * 4) lift $ Data.Vector.imapM_ (\i e -> poke (pPDynamicStates' `plusPtr` (4 * (i)) :: Ptr DynamicState) (e)) (dynamicStates) lift $ poke ((p `plusPtr` 24 :: Ptr (Ptr DynamicState))) (pPDynamicStates') lift $ f cStructSize = 32 cStructAlignment = 8 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_DYNAMIC_STATE_CREATE_INFO) poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr) f instance FromCStruct PipelineDynamicStateCreateInfo where peekCStruct p = do flags <- peek @PipelineDynamicStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineDynamicStateCreateFlags)) dynamicStateCount <- peek @Word32 ((p `plusPtr` 20 :: Ptr Word32)) pDynamicStates <- peek @(Ptr DynamicState) ((p `plusPtr` 24 :: Ptr (Ptr DynamicState))) pDynamicStates' <- generateM (fromIntegral dynamicStateCount) (\i -> peek @DynamicState ((pDynamicStates `advancePtrBytes` (4 * (i)) :: Ptr DynamicState))) pure $ PipelineDynamicStateCreateInfo flags pDynamicStates' instance Zero PipelineDynamicStateCreateInfo where zero = PipelineDynamicStateCreateInfo zero mempty -- | VkStencilOpState - Structure specifying stencil operation state -- -- == Valid Usage (Implicit) -- -- = See Also -- -- , -- 'Vulkan.Core10.Enums.CompareOp.CompareOp', -- 'PipelineDepthStencilStateCreateInfo', -- 'Vulkan.Core10.Enums.StencilOp.StencilOp' data StencilOpState = StencilOpState { -- | @failOp@ is a 'Vulkan.Core10.Enums.StencilOp.StencilOp' value specifying -- the action performed on samples that fail the stencil test. -- -- #VUID-VkStencilOpState-failOp-parameter# @failOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.StencilOp.StencilOp' value failOp :: StencilOp , -- | @passOp@ is a 'Vulkan.Core10.Enums.StencilOp.StencilOp' value specifying -- the action performed on samples that pass both the depth and stencil -- tests. -- -- #VUID-VkStencilOpState-passOp-parameter# @passOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.StencilOp.StencilOp' value passOp :: StencilOp , -- | @depthFailOp@ is a 'Vulkan.Core10.Enums.StencilOp.StencilOp' value -- specifying the action performed on samples that pass the stencil test -- and fail the depth test. -- -- #VUID-VkStencilOpState-depthFailOp-parameter# @depthFailOp@ /must/ be a -- valid 'Vulkan.Core10.Enums.StencilOp.StencilOp' value depthFailOp :: StencilOp , -- | @compareOp@ is a 'Vulkan.Core10.Enums.CompareOp.CompareOp' value -- specifying the comparison operator used in the stencil test. -- -- #VUID-VkStencilOpState-compareOp-parameter# @compareOp@ /must/ be a -- valid 'Vulkan.Core10.Enums.CompareOp.CompareOp' value compareOp :: CompareOp , -- | @compareMask@ selects the bits of the unsigned integer stencil values -- participating in the stencil test. compareMask :: Word32 , -- | @writeMask@ selects the bits of the unsigned integer stencil values -- updated by the stencil test in the stencil framebuffer attachment. writeMask :: Word32 , -- | @reference@ is an integer reference value that is used in the unsigned -- stencil comparison. reference :: Word32 } deriving (Typeable, Eq) #if defined(GENERIC_INSTANCES) deriving instance Generic (StencilOpState) #endif deriving instance Show StencilOpState instance ToCStruct StencilOpState where withCStruct x f = allocaBytes 28 $ \p -> pokeCStruct p x (f p) pokeCStruct p StencilOpState{..} f = do poke ((p `plusPtr` 0 :: Ptr StencilOp)) (failOp) poke ((p `plusPtr` 4 :: Ptr StencilOp)) (passOp) poke ((p `plusPtr` 8 :: Ptr StencilOp)) (depthFailOp) poke ((p `plusPtr` 12 :: Ptr CompareOp)) (compareOp) poke ((p `plusPtr` 16 :: Ptr Word32)) (compareMask) poke ((p `plusPtr` 20 :: Ptr Word32)) (writeMask) poke ((p `plusPtr` 24 :: Ptr Word32)) (reference) f cStructSize = 28 cStructAlignment = 4 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr StencilOp)) (zero) poke ((p `plusPtr` 4 :: Ptr StencilOp)) (zero) poke ((p `plusPtr` 8 :: Ptr StencilOp)) (zero) poke ((p `plusPtr` 12 :: Ptr CompareOp)) (zero) poke ((p `plusPtr` 16 :: Ptr Word32)) (zero) poke ((p `plusPtr` 20 :: Ptr Word32)) (zero) poke ((p `plusPtr` 24 :: Ptr Word32)) (zero) f instance FromCStruct StencilOpState where peekCStruct p = do failOp <- peek @StencilOp ((p `plusPtr` 0 :: Ptr StencilOp)) passOp <- peek @StencilOp ((p `plusPtr` 4 :: Ptr StencilOp)) depthFailOp <- peek @StencilOp ((p `plusPtr` 8 :: Ptr StencilOp)) compareOp <- peek @CompareOp ((p `plusPtr` 12 :: Ptr CompareOp)) compareMask <- peek @Word32 ((p `plusPtr` 16 :: Ptr Word32)) writeMask <- peek @Word32 ((p `plusPtr` 20 :: Ptr Word32)) reference <- peek @Word32 ((p `plusPtr` 24 :: Ptr Word32)) pure $ StencilOpState failOp passOp depthFailOp compareOp compareMask writeMask reference instance Storable StencilOpState where sizeOf ~_ = 28 alignment ~_ = 4 peek = peekCStruct poke ptr poked = pokeCStruct ptr poked (pure ()) instance Zero StencilOpState where zero = StencilOpState zero zero zero zero zero zero zero -- | VkPipelineDepthStencilStateCreateInfo - Structure specifying parameters -- of a newly created pipeline depth stencil state -- -- == Valid Usage -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-depthBoundsTestEnable-00598# -- If the -- -- feature is not enabled, @depthBoundsTestEnable@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-separateStencilMaskRef-04453# -- If the @VK_KHR_portability_subset@ extension is enabled, and -- 'Vulkan.Extensions.VK_KHR_portability_subset.PhysicalDevicePortabilitySubsetFeaturesKHR'::@separateStencilMaskRef@ -- is 'Vulkan.Core10.FundamentalTypes.FALSE', and the value of -- 'PipelineDepthStencilStateCreateInfo'::@stencilTestEnable@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', and the value of -- 'PipelineRasterizationStateCreateInfo'::@cullMode@ is -- 'Vulkan.Core10.Enums.CullModeFlagBits.CULL_MODE_NONE', the value of -- @reference@ in each of the 'StencilOpState' structs in @front@ and -- @back@ /must/ be the same -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-rasterizationOrderDepthAttachmentAccess-06463# -- If the -- -- feature is not enabled, @flags@ /must/ not include -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PIPELINE_DEPTH_STENCIL_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_DEPTH_ACCESS_BIT_ARM' -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-rasterizationOrderStencilAttachmentAccess-06464# -- If the -- -- feature is not enabled, @flags@ /must/ not include -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PIPELINE_DEPTH_STENCIL_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_STENCIL_ACCESS_BIT_ARM' -- -- == Valid Usage (Implicit) -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-sType-sType# @sType@ -- /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_DEPTH_STENCIL_STATE_CREATE_INFO' -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-pNext-pNext# @pNext@ -- /must/ be @NULL@ -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-flags-parameter# @flags@ -- /must/ be a valid combination of -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PipelineDepthStencilStateCreateFlagBits' -- values -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-depthCompareOp-parameter# -- @depthCompareOp@ /must/ be a valid -- 'Vulkan.Core10.Enums.CompareOp.CompareOp' value -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-front-parameter# @front@ -- /must/ be a valid 'StencilOpState' structure -- -- - #VUID-VkPipelineDepthStencilStateCreateInfo-back-parameter# @back@ -- /must/ be a valid 'StencilOpState' structure -- -- = See Also -- -- , -- 'Vulkan.Core10.FundamentalTypes.Bool32', -- 'Vulkan.Core10.Enums.CompareOp.CompareOp', 'GraphicsPipelineCreateInfo', -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PipelineDepthStencilStateCreateFlags', -- 'StencilOpState', 'Vulkan.Core10.Enums.StructureType.StructureType' data PipelineDepthStencilStateCreateInfo = PipelineDepthStencilStateCreateInfo { -- | @flags@ is a bitmask of -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PipelineDepthStencilStateCreateFlagBits' -- specifying additional depth\/stencil state information. flags :: PipelineDepthStencilStateCreateFlags , -- | @depthTestEnable@ controls whether -- -- is enabled. depthTestEnable :: Bool , -- | @depthWriteEnable@ controls whether -- -- are enabled when @depthTestEnable@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE'. Depth writes are always disabled -- when @depthTestEnable@ is 'Vulkan.Core10.FundamentalTypes.FALSE'. depthWriteEnable :: Bool , -- | @depthCompareOp@ is the comparison operator used in the -- . depthCompareOp :: CompareOp , -- | @depthBoundsTestEnable@ controls whether -- -- is enabled. depthBoundsTestEnable :: Bool , -- | @stencilTestEnable@ controls whether -- -- is enabled. stencilTestEnable :: Bool , -- | @front@ and @back@ control the parameters of the -- . front :: StencilOpState , -- No documentation found for Nested "VkPipelineDepthStencilStateCreateInfo" "back" back :: StencilOpState , -- | @minDepthBounds@ is the minimum depth bound used in the -- . minDepthBounds :: Float , -- | @maxDepthBounds@ is the maximum depth bound used in the -- . maxDepthBounds :: Float } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (PipelineDepthStencilStateCreateInfo) #endif deriving instance Show PipelineDepthStencilStateCreateInfo instance ToCStruct PipelineDepthStencilStateCreateInfo where withCStruct x f = allocaBytes 104 $ \p -> pokeCStruct p x (f p) pokeCStruct p PipelineDepthStencilStateCreateInfo{..} f = do poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_DEPTH_STENCIL_STATE_CREATE_INFO) poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr) poke ((p `plusPtr` 16 :: Ptr PipelineDepthStencilStateCreateFlags)) (flags) poke ((p `plusPtr` 20 :: Ptr Bool32)) (boolToBool32 (depthTestEnable)) poke ((p `plusPtr` 24 :: Ptr Bool32)) (boolToBool32 (depthWriteEnable)) poke ((p `plusPtr` 28 :: Ptr CompareOp)) (depthCompareOp) poke ((p `plusPtr` 32 :: Ptr Bool32)) (boolToBool32 (depthBoundsTestEnable)) poke ((p `plusPtr` 36 :: Ptr Bool32)) (boolToBool32 (stencilTestEnable)) poke ((p `plusPtr` 40 :: Ptr StencilOpState)) (front) poke ((p `plusPtr` 68 :: Ptr StencilOpState)) (back) poke ((p `plusPtr` 96 :: Ptr CFloat)) (CFloat (minDepthBounds)) poke ((p `plusPtr` 100 :: Ptr CFloat)) (CFloat (maxDepthBounds)) f cStructSize = 104 cStructAlignment = 8 pokeZeroCStruct p f = do poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PIPELINE_DEPTH_STENCIL_STATE_CREATE_INFO) poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr) poke ((p `plusPtr` 20 :: Ptr Bool32)) (boolToBool32 (zero)) poke ((p `plusPtr` 24 :: Ptr Bool32)) (boolToBool32 (zero)) poke ((p `plusPtr` 28 :: Ptr CompareOp)) (zero) poke ((p `plusPtr` 32 :: Ptr Bool32)) (boolToBool32 (zero)) poke ((p `plusPtr` 36 :: Ptr Bool32)) (boolToBool32 (zero)) poke ((p `plusPtr` 40 :: Ptr StencilOpState)) (zero) poke ((p `plusPtr` 68 :: Ptr StencilOpState)) (zero) poke ((p `plusPtr` 96 :: Ptr CFloat)) (CFloat (zero)) poke ((p `plusPtr` 100 :: Ptr CFloat)) (CFloat (zero)) f instance FromCStruct PipelineDepthStencilStateCreateInfo where peekCStruct p = do flags <- peek @PipelineDepthStencilStateCreateFlags ((p `plusPtr` 16 :: Ptr PipelineDepthStencilStateCreateFlags)) depthTestEnable <- peek @Bool32 ((p `plusPtr` 20 :: Ptr Bool32)) depthWriteEnable <- peek @Bool32 ((p `plusPtr` 24 :: Ptr Bool32)) depthCompareOp <- peek @CompareOp ((p `plusPtr` 28 :: Ptr CompareOp)) depthBoundsTestEnable <- peek @Bool32 ((p `plusPtr` 32 :: Ptr Bool32)) stencilTestEnable <- peek @Bool32 ((p `plusPtr` 36 :: Ptr Bool32)) front <- peekCStruct @StencilOpState ((p `plusPtr` 40 :: Ptr StencilOpState)) back <- peekCStruct @StencilOpState ((p `plusPtr` 68 :: Ptr StencilOpState)) minDepthBounds <- peek @CFloat ((p `plusPtr` 96 :: Ptr CFloat)) maxDepthBounds <- peek @CFloat ((p `plusPtr` 100 :: Ptr CFloat)) pure $ PipelineDepthStencilStateCreateInfo flags (bool32ToBool depthTestEnable) (bool32ToBool depthWriteEnable) depthCompareOp (bool32ToBool depthBoundsTestEnable) (bool32ToBool stencilTestEnable) front back (coerce @CFloat @Float minDepthBounds) (coerce @CFloat @Float maxDepthBounds) instance Storable PipelineDepthStencilStateCreateInfo where sizeOf ~_ = 104 alignment ~_ = 8 peek = peekCStruct poke ptr poked = pokeCStruct ptr poked (pure ()) instance Zero PipelineDepthStencilStateCreateInfo where zero = PipelineDepthStencilStateCreateInfo zero zero zero zero zero zero zero zero zero zero -- | VkGraphicsPipelineCreateInfo - Structure specifying parameters of a -- newly created graphics pipeline -- -- = Description -- -- The parameters @basePipelineHandle@ and @basePipelineIndex@ are -- described in more detail in -- . -- -- If any shader stage fails to compile, the compile log will be reported -- back to the application, and -- 'Vulkan.Core10.Enums.Result.ERROR_INVALID_SHADER_NV' will be generated. -- -- The state required for a graphics pipeline is divided into -- , -- , -- , -- and -- . -- -- Vertex input state is defined by: -- -- - 'PipelineVertexInputStateCreateInfo' -- -- - 'PipelineInputAssemblyStateCreateInfo' -- -- Pre-rasterization shader state is defined by: -- -- - 'PipelineShaderStageCreateInfo' entries for: -- -- - Vertex shaders -- -- - Tessellation control shaders -- -- - Tessellation evaluation shaders -- -- - Geometry shaders -- -- - Task shaders -- -- - Mesh shaders -- -- - Within the 'Vulkan.Core10.Handles.PipelineLayout', all descriptor -- sets with pre-rasterization shader bindings if -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT' -- was specified. -- -- - If -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT' -- was not specified, the full pipeline layout must be specified. -- -- - 'PipelineViewportStateCreateInfo' -- -- - 'PipelineRasterizationStateCreateInfo' -- -- - 'PipelineTessellationStateCreateInfo' -- -- - 'Vulkan.Core10.Handles.RenderPass' and @subpass@ parameter -- -- - The @viewMask@ parameter of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo' -- (formats are ignored) -- -- - 'Vulkan.Extensions.VK_EXT_discard_rectangles.PipelineDiscardRectangleStateCreateInfoEXT' -- -- - 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR' -- -- Fragment shader state is defined by: -- -- - A 'PipelineShaderStageCreateInfo' entry for the fragment shader -- -- - Within the 'Vulkan.Core10.Handles.PipelineLayout', all descriptor -- sets with fragment shader bindings if -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT' -- was specified. -- -- - If -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT' -- was not specified, the full pipeline layout must be specified. -- -- - 'PipelineMultisampleStateCreateInfo' if -- -- is enabled or @renderpass@ is not -- 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - 'PipelineDepthStencilStateCreateInfo' -- -- - 'Vulkan.Core10.Handles.RenderPass' and @subpass@ parameter -- -- - The @viewMask@ parameter of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo' -- (formats are ignored) -- -- - 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR' -- -- - 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV' -- -- - 'Vulkan.Extensions.VK_NV_representative_fragment_test.PipelineRepresentativeFragmentTestStateCreateInfoNV' -- -- - Inclusion\/omission of the -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.PIPELINE_RASTERIZATION_STATE_CREATE_FRAGMENT_SHADING_RATE_ATTACHMENT_BIT_KHR' -- flag -- -- - Inclusion\/omission of the -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.PIPELINE_RASTERIZATION_STATE_CREATE_FRAGMENT_DENSITY_MAP_ATTACHMENT_BIT_EXT' -- flag -- -- Fragment output state is defined by: -- -- - 'PipelineColorBlendStateCreateInfo' -- -- - 'Vulkan.Core10.Handles.RenderPass' and @subpass@ parameter -- -- - 'PipelineMultisampleStateCreateInfo' -- -- - 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo' -- -- - 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoAMD' -- -- - 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoNV' -- -- A complete graphics pipeline always includes -- , -- with other subsets included depending on that state. If the -- -- includes a vertex shader, then -- -- is included in a complete graphics pipeline. If the value of -- 'PipelineRasterizationStateCreateInfo'::@rasterizerDiscardEnable@ in the -- -- is 'Vulkan.Core10.FundamentalTypes.FALSE' or the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE' -- dynamic state is enabled -- -- and -- -- is included in a complete graphics pipeline. -- -- If different subsets are linked together with pipeline layouts created -- with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT', -- the final effective pipeline layout is effectively the union of the -- linked pipeline layouts. When binding descriptor sets for this pipeline, -- the pipeline layout used /must/ be compatible with this union. This -- pipeline layout /can/ be overridden when linking with -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_LINK_TIME_OPTIMIZATION_BIT_EXT'; -- by providing a 'Vulkan.Core10.Handles.PipelineLayout' that is compatible -- with this union other than -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT'. -- -- == Valid Usage -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-00722# If @flags@ contains -- the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and @basePipelineIndex@ is -1, @basePipelineHandle@ /must/ be -- a valid handle to a graphics 'Vulkan.Core10.Handles.Pipeline' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-00723# If @flags@ contains -- the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and @basePipelineHandle@ is -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', @basePipelineIndex@ /must/ -- be a valid index into the calling command’s @pCreateInfos@ parameter -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-00724# If @flags@ contains -- the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and @basePipelineIndex@ is not -1, @basePipelineHandle@ /must/ -- be 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-00725# If @flags@ contains -- the -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_DERIVATIVE_BIT' -- flag, and @basePipelineHandle@ is not -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', @basePipelineIndex@ /must/ -- be -1 -- -- - #VUID-VkGraphicsPipelineCreateInfo-stage-00726# The @stage@ member -- of each element of @pStages@ /must/ be unique -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-02095# If the pipeline is -- being created with -- -- the geometric shader stages provided in @pStages@ /must/ be either -- from the mesh shading pipeline (@stage@ is -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_TASK_BIT_NV' -- or -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV') -- or from the primitive shading pipeline (@stage@ is -- '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-VkGraphicsPipelineCreateInfo-stage-02096# If the pipeline is -- being created with -- -- the @stage@ member of one element of @pStages@ /must/ be either -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_VERTEX_BIT' or -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_MESH_BIT_NV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-stage-00728# The @stage@ member -- of each element of @pStages@ /must/ not be -- 'Vulkan.Core10.Enums.ShaderStageFlagBits.SHADER_STAGE_COMPUTE_BIT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00729# If the pipeline is -- being created with -- -- and @pStages@ includes a tessellation control shader stage, it -- /must/ include a tessellation evaluation shader stage -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00730# If the pipeline is -- being created with -- -- and @pStages@ includes a tessellation evaluation shader stage, it -- /must/ include a tessellation control shader stage -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00731# If the pipeline is -- being created with -- -- and @pStages@ includes a tessellation control shader stage and a -- tessellation evaluation shader stage, @pTessellationState@ /must/ be -- a valid pointer to a valid 'PipelineTessellationStateCreateInfo' -- structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00732# If the pipeline is -- being created with -- -- and @pStages@ includes tessellation shader stages, the shader code -- of at least one stage /must/ contain an @OpExecutionMode@ -- instruction specifying the type of subdivision in the pipeline -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00733# If the pipeline is -- being created with -- -- and @pStages@ includes tessellation shader stages, and the shader -- code of both stages contain an @OpExecutionMode@ instruction -- specifying the type of subdivision in the pipeline, they /must/ both -- specify the same subdivision mode -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00734# If the pipeline is -- being created with -- -- and @pStages@ includes tessellation shader stages, the shader code -- of at least one stage /must/ contain an @OpExecutionMode@ -- instruction specifying the output patch size in the pipeline -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00735# If the pipeline is -- being created with -- -- and @pStages@ includes tessellation shader stages, and the shader -- code of both contain an @OpExecutionMode@ instruction specifying the -- out patch size in the pipeline, they /must/ both specify the same -- patch size -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00736# If the pipeline is -- being created with -- -- and @pStages@ includes tessellation shader stages, the @topology@ -- member of @pInputAssembly@ /must/ be -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_PATCH_LIST' -- -- - #VUID-VkGraphicsPipelineCreateInfo-topology-00737# If the pipeline -- is being created with -- -- and the @topology@ member of @pInputAssembly@ is -- 'Vulkan.Core10.Enums.PrimitiveTopology.PRIMITIVE_TOPOLOGY_PATCH_LIST', -- @pStages@ /must/ include tessellation shader stages -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00738# If the pipeline is -- being created with -- -- and @pStages@ includes a geometry shader stage, and does not include -- any tessellation shader stages, its shader code /must/ contain an -- @OpExecutionMode@ instruction specifying an input primitive type -- that is -- -- with the primitive topology specified in @pInputAssembly@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00739# If the pipeline is -- being created with -- -- and @pStages@ includes a geometry shader stage, and also includes -- tessellation shader stages, its shader code /must/ contain an -- @OpExecutionMode@ instruction specifying an input primitive type -- that is -- -- with the primitive topology that is output by the tessellation -- stages -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00740# If the pipeline is -- being created with -- -- and -- , -- it includes both a fragment shader and a geometry shader, and the -- fragment shader code reads from an input variable that is decorated -- with @PrimitiveId@, then the geometry shader code /must/ write to a -- matching output variable, decorated with @PrimitiveId@, in all -- execution paths -- -- - #VUID-VkGraphicsPipelineCreateInfo-PrimitiveId-06264# If the -- pipeline is being created with -- , -- it includes a mesh shader and the fragment shader code reads from an -- input variable that is decorated with @PrimitiveId@, then the mesh -- shader code /must/ write to a matching output variable, decorated -- with @PrimitiveId@, in all execution paths -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06038# If @renderPass@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE' and the pipeline is -- being created with -- -- the fragment shader /must/ not read from any input attachment that -- is defined as 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' in -- @subpass@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-00742# If the pipeline is -- being created with -- -- and multiple pre-rasterization shader stages are included in -- @pStages@, the shader code for the entry points identified by those -- @pStages@ and the rest of the state identified by this structure -- /must/ adhere to the pipeline linking rules described in the -- -- chapter -- -- - #VUID-VkGraphicsPipelineCreateInfo-None-04889# If the pipeline is -- being created with -- -- and -- , -- the fragment shader and last -- -- and any relevant state /must/ adhere to the pipeline linking rules -- described in the -- -- chapter -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06039# If @renderPass@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is -- being created with -- , -- and @subpass@ uses a depth\/stencil attachment in @renderPass@ with -- a read-only layout for the depth aspect in the -- 'Vulkan.Core10.Pass.AttachmentReference' defined by @subpass@, the -- @depthWriteEnable@ member of @pDepthStencilState@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06040# If @renderPass@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is -- being created with -- , -- and @subpass@ uses a depth\/stencil attachment in @renderPass@ with -- a read-only layout for the stencil aspect in the -- 'Vulkan.Core10.Pass.AttachmentReference' defined by @subpass@, the -- @failOp@, @passOp@ and @depthFailOp@ members of each of the @front@ -- and @back@ members of @pDepthStencilState@ /must/ be -- 'Vulkan.Core10.Enums.StencilOp.STENCIL_OP_KEEP' -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06041# If @renderPass@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', and the pipeline is -- being created with -- , -- then for each color attachment in the subpass, if the -- -- of the format of the corresponding attachment description do not -- contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_COLOR_ATTACHMENT_BLEND_BIT', -- then the @blendEnable@ member of the corresponding element of the -- @pAttachments@ member of @pColorBlendState@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06042# If @renderPass@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', and the pipeline is -- being created with -- , -- and the subpass uses color attachments, the @attachmentCount@ member -- of @pColorBlendState@ /must/ be equal to the @colorAttachmentCount@ -- used to create @subpass@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04130# If the -- pipeline is being created with -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT' or -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_WITH_COUNT', -- the @pViewports@ member of @pViewportState@ /must/ be a valid -- pointer to an array of @pViewportState->viewportCount@ valid -- 'Viewport' structures -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04131# If the -- pipeline is being created with -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SCISSOR' or -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SCISSOR_WITH_COUNT', -- the @pScissors@ member of @pViewportState@ /must/ be a valid pointer -- to an array of @pViewportState->scissorCount@ -- 'Vulkan.Core10.FundamentalTypes.Rect2D' structures -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-00749# If the -- pipeline is being created with -- , -- and the wide lines feature is not enabled, and no element of the -- @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_LINE_WIDTH', the -- @lineWidth@ member of @pRasterizationState@ /must/ be @1.0@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-rasterizerDiscardEnable-00750# If -- the pipeline is being created with -- , -- and the @rasterizerDiscardEnable@ member of @pRasterizationState@ is -- 'Vulkan.Core10.FundamentalTypes.FALSE', @pViewportState@ /must/ be a -- valid pointer to a valid 'PipelineViewportStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-pViewportState-04892# If the -- pipeline is being created with -- , -- and the graphics pipeline state was created with the -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RASTERIZER_DISCARD_ENABLE' -- dynamic state enabled, @pViewportState@ /must/ be a valid pointer to -- a valid 'PipelineViewportStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-rasterizerDiscardEnable-00751# If -- the pipeline is being created with -- , -- @pMultisampleState@ /must/ be a valid pointer to a valid -- 'PipelineMultisampleStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06043# If @renderPass@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is -- being created with -- , -- and @subpass@ uses a depth\/stencil attachment, @pDepthStencilState@ -- /must/ be a valid pointer to a valid -- 'PipelineDepthStencilStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06044# If @renderPass@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is -- being created with -- , -- and @subpass@ uses color attachments, @pColorBlendState@ /must/ be a -- valid pointer to a valid 'PipelineColorBlendStateCreateInfo' -- structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-00754# If the -- pipeline is being created with -- , -- the depth bias clamping feature is not enabled, no element of the -- @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_DEPTH_BIAS', and the -- @depthBiasEnable@ member of @pRasterizationState@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', the @depthBiasClamp@ member -- of @pRasterizationState@ /must/ be @0.0@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-02510# If the -- pipeline is being created with -- , -- and the @VK_EXT_depth_range_unrestricted@ extension is not enabled -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_DEPTH_BOUNDS', and -- the @depthBoundsTestEnable@ member of @pDepthStencilState@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', the @minDepthBounds@ and -- @maxDepthBounds@ members of @pDepthStencilState@ /must/ be between -- @0.0@ and @1.0@, inclusive -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-01521# If the -- pipeline is being created with -- -- or -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SAMPLE_LOCATIONS_EXT', -- and the @sampleLocationsEnable@ member of a -- 'Vulkan.Extensions.VK_EXT_sample_locations.PipelineSampleLocationsStateCreateInfoEXT' -- structure included in the @pNext@ chain of @pMultisampleState@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', -- @sampleLocationsInfo.sampleLocationGridSize.width@ /must/ evenly -- divide -- 'Vulkan.Extensions.VK_EXT_sample_locations.MultisamplePropertiesEXT'::@sampleLocationGridSize.width@ -- as returned by -- 'Vulkan.Extensions.VK_EXT_sample_locations.getPhysicalDeviceMultisamplePropertiesEXT' -- with a @samples@ parameter equaling @rasterizationSamples@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-01522# If the -- pipeline is being created with -- -- or -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SAMPLE_LOCATIONS_EXT', -- and the @sampleLocationsEnable@ member of a -- 'Vulkan.Extensions.VK_EXT_sample_locations.PipelineSampleLocationsStateCreateInfoEXT' -- structure included in the @pNext@ chain of @pMultisampleState@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', -- @sampleLocationsInfo.sampleLocationGridSize.height@ /must/ evenly -- divide -- 'Vulkan.Extensions.VK_EXT_sample_locations.MultisamplePropertiesEXT'::@sampleLocationGridSize.height@ -- as returned by -- 'Vulkan.Extensions.VK_EXT_sample_locations.getPhysicalDeviceMultisamplePropertiesEXT' -- with a @samples@ parameter equaling @rasterizationSamples@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-01523# If the -- pipeline is being created with -- -- or -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SAMPLE_LOCATIONS_EXT', -- and the @sampleLocationsEnable@ member of a -- 'Vulkan.Extensions.VK_EXT_sample_locations.PipelineSampleLocationsStateCreateInfoEXT' -- structure included in the @pNext@ chain of @pMultisampleState@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', -- @sampleLocationsInfo.sampleLocationsPerPixel@ /must/ equal -- @rasterizationSamples@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-sampleLocationsEnable-01524# If -- the pipeline is being created with -- , -- and the @sampleLocationsEnable@ member of a -- 'Vulkan.Extensions.VK_EXT_sample_locations.PipelineSampleLocationsStateCreateInfoEXT' -- structure included in the @pNext@ chain of @pMultisampleState@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', the fragment shader code -- /must/ not statically use the extended instruction -- @InterpolateAtSample@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-layout-00756# @layout@ /must/ be -- -- with all shaders specified in @pStages@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-subpass-00757# If the pipeline is -- being created with -- , -- and neither the @VK_AMD_mixed_attachment_samples@ nor the -- @VK_NV_framebuffer_mixed_samples@ extensions are enabled, and if -- @subpass@ uses color and\/or depth\/stencil attachments, then the -- @rasterizationSamples@ member of @pMultisampleState@ /must/ be the -- same as the sample count for those subpass attachments -- -- - #VUID-VkGraphicsPipelineCreateInfo-subpass-01505# If the pipeline is -- being created with -- , -- and the @VK_AMD_mixed_attachment_samples@ extension is enabled, and -- if @subpass@ uses color and\/or depth\/stencil attachments, then the -- @rasterizationSamples@ member of @pMultisampleState@ /must/ equal -- the maximum of the sample counts of those subpass attachments -- -- - #VUID-VkGraphicsPipelineCreateInfo-subpass-01411# If the pipeline is -- being created with -- , -- and the @VK_NV_framebuffer_mixed_samples@ extension is enabled, and -- if @subpass@ has a depth\/stencil attachment and depth test, stencil -- test, or depth bounds test are enabled, then the -- @rasterizationSamples@ member of @pMultisampleState@ /must/ be the -- same as the sample count of the depth\/stencil attachment -- -- - #VUID-VkGraphicsPipelineCreateInfo-subpass-01412# If the pipeline is -- being created with -- , -- and the @VK_NV_framebuffer_mixed_samples@ extension is enabled, and -- if @subpass@ has any color attachments, then the -- @rasterizationSamples@ member of @pMultisampleState@ /must/ be -- greater than or equal to the sample count for those subpass -- attachments -- -- - #VUID-VkGraphicsPipelineCreateInfo-coverageReductionMode-02722# If -- the pipeline is being created with -- , -- and the @VK_NV_coverage_reduction_mode@ extension is enabled, the -- coverage reduction mode specified by -- 'Vulkan.Extensions.VK_NV_coverage_reduction_mode.PipelineCoverageReductionStateCreateInfoNV'::@coverageReductionMode@, -- the @rasterizationSamples@ member of @pMultisampleState@ and the -- sample counts for the color and depth\/stencil attachments (if the -- subpass has them) /must/ be a valid combination returned by -- 'Vulkan.Extensions.VK_NV_coverage_reduction_mode.getPhysicalDeviceSupportedFramebufferMixedSamplesCombinationsNV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-subpass-00758# If the pipeline is -- being created with -- , -- and @subpass@ does not use any color and\/or depth\/stencil -- attachments, then the @rasterizationSamples@ member of -- @pMultisampleState@ /must/ follow the rules for a -- -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06046# If @renderPass@ -- is a valid renderPass, @subpass@ /must/ be a valid subpass within -- @renderPass@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06047# If @renderPass@ -- is a valid renderPass, the pipeline is being created with -- , -- and the @renderPass@ has multiview enabled and @subpass@ has more -- than one bit set in the view mask and @multiviewTessellationShader@ -- is not enabled, then @pStages@ /must/ not include tessellation -- shaders -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06048# If @renderPass@ -- is a valid renderPass, the pipeline is being created with -- , -- and the @renderPass@ has multiview enabled and @subpass@ has more -- than one bit set in the view mask and @multiviewGeometryShader@ is -- not enabled, then @pStages@ /must/ not include a geometry shader -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06049# If @renderPass@ -- is a valid renderPass, the pipeline is being created with -- , -- and the @renderPass@ has multiview enabled and @subpass@ has more -- than one bit set in the view mask, shaders in the pipeline /must/ -- not write to the @Layer@ built-in output -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06050# If @renderPass@ -- is a valid renderPass and the pipeline is being created with -- , -- and the @renderPass@ has multiview enabled, then all shaders /must/ -- not include variables decorated with the @Layer@ built-in decoration -- in their interfaces -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-00764# @flags@ /must/ not -- contain the -- 'Vulkan.Core11.Promoted_From_VK_KHR_device_group.PIPELINE_CREATE_DISPATCH_BASE' -- flag -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-01565# If the pipeline is -- being created with -- -- and an input attachment was referenced by an @aspectMask@ at -- @renderPass@ creation time, the fragment shader /must/ only read -- from the aspects that were specified for that input attachment -- -- - #VUID-VkGraphicsPipelineCreateInfo-layout-01688# The number of -- resources in @layout@ accessible to each shader stage that is used -- by the pipeline /must/ be less than or equal to -- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxPerStageResources@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-01715# If the -- pipeline is being created with -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_W_SCALING_NV', -- and the @viewportWScalingEnable@ member of a -- 'Vulkan.Extensions.VK_NV_clip_space_w_scaling.PipelineViewportWScalingStateCreateInfoNV' -- structure, included in the @pNext@ chain of @pViewportState@, is -- 'Vulkan.Core10.FundamentalTypes.TRUE', the @pViewportWScalings@ -- member of the -- 'Vulkan.Extensions.VK_NV_clip_space_w_scaling.PipelineViewportWScalingStateCreateInfoNV' -- /must/ be a pointer to an array of -- 'Vulkan.Extensions.VK_NV_clip_space_w_scaling.PipelineViewportWScalingStateCreateInfoNV'::@viewportCount@ -- valid -- 'Vulkan.Extensions.VK_NV_clip_space_w_scaling.ViewportWScalingNV' -- structures -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04056# If the -- pipeline is being created with -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_EXCLUSIVE_SCISSOR_NV', -- and if @pViewportState->pNext@ chain includes a -- 'Vulkan.Extensions.VK_NV_scissor_exclusive.PipelineViewportExclusiveScissorStateCreateInfoNV' -- structure, and if its @exclusiveScissorCount@ member is not @0@, -- then its @pExclusiveScissors@ member /must/ be a valid pointer to an -- array of @exclusiveScissorCount@ -- 'Vulkan.Core10.FundamentalTypes.Rect2D' structures -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04057# If the -- pipeline is being created with -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_SHADING_RATE_PALETTE_NV', -- and if @pViewportState->pNext@ chain includes a -- 'Vulkan.Extensions.VK_NV_shading_rate_image.PipelineViewportShadingRateImageStateCreateInfoNV' -- structure, then its @pShadingRatePalettes@ member /must/ be a valid -- pointer to an array of @viewportCount@ valid -- 'Vulkan.Extensions.VK_NV_shading_rate_image.ShadingRatePaletteNV' -- structures -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04058# If the -- pipeline is being created with -- , -- and no element of the @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_DISCARD_RECTANGLE_EXT', -- and if @pNext@ chain includes a -- 'Vulkan.Extensions.VK_EXT_discard_rectangles.PipelineDiscardRectangleStateCreateInfoEXT' -- structure, and if its @discardRectangleCount@ member is not @0@, -- then its @pDiscardRectangles@ member /must/ be a valid pointer to an -- array of @discardRectangleCount@ -- 'Vulkan.Core10.FundamentalTypes.Rect2D' structures -- -- - #VUID-VkGraphicsPipelineCreateInfo-pVertexInputState-04910# If the -- pipeline is being created with -- , -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' is -- not set, @pVertexInputState@ /must/ be a valid pointer to a valid -- 'PipelineVertexInputStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-02098# If the pipeline is -- being created with -- , -- @pInputAssemblyState@ /must/ be a valid pointer to a valid -- 'PipelineInputAssemblyStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-02317# If the pipeline is -- being created with -- , -- the @Xfb@ execution mode /can/ be specified by no more than one -- shader stage in @pStages@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pStages-02318# If the pipeline is -- being created with -- , -- and any shader stage in @pStages@ specifies @Xfb@ execution mode it -- /must/ be the last -- -- -- - #VUID-VkGraphicsPipelineCreateInfo-rasterizationStream-02319# If the -- pipeline is being created with -- , -- and a -- 'Vulkan.Extensions.VK_EXT_transform_feedback.PipelineRasterizationStateStreamCreateInfoEXT'::@rasterizationStream@ -- value other than zero is specified, all variables in the output -- interface of the entry point being compiled decorated with -- @Position@, @PointSize@, @ClipDistance@, or @CullDistance@ /must/ be -- decorated with identical @Stream@ values that match the -- @rasterizationStream@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-rasterizationStream-02320# If the -- pipeline is being created with -- , -- and -- 'Vulkan.Extensions.VK_EXT_transform_feedback.PipelineRasterizationStateStreamCreateInfoEXT'::@rasterizationStream@ -- is zero, or not specified, all variables in the output interface of -- the entry point being compiled decorated with @Position@, -- @PointSize@, @ClipDistance@, or @CullDistance@ /must/ be decorated -- with a @Stream@ value of zero, or /must/ not specify the @Stream@ -- decoration -- -- - #VUID-VkGraphicsPipelineCreateInfo-geometryStreams-02321# If the -- pipeline is being created with -- , -- and the last -- -- 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 -- -- - #VUID-VkGraphicsPipelineCreateInfo-None-02322# If the pipeline is -- being created with -- , -- and there are any mesh shader stages in the pipeline there /must/ -- not be any shader stage in the pipeline with a @Xfb@ execution mode -- -- - #VUID-VkGraphicsPipelineCreateInfo-lineRasterizationMode-02766# If -- the pipeline is being created with -- -- and at least one of -- -- or -- , -- and @pMultisampleState@ is not @NULL@, the @lineRasterizationMode@ -- member of a -- 'Vulkan.Extensions.VK_EXT_line_rasterization.PipelineRasterizationLineStateCreateInfoEXT' -- structure included in the @pNext@ chain of @pRasterizationState@ is -- 'Vulkan.Extensions.VK_EXT_line_rasterization.LINE_RASTERIZATION_MODE_BRESENHAM_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_line_rasterization.LINE_RASTERIZATION_MODE_RECTANGULAR_SMOOTH_EXT', -- then the @alphaToCoverageEnable@, @alphaToOneEnable@, and -- @sampleShadingEnable@ members of @pMultisampleState@ /must/ all be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-stippledLineEnable-02767# If the -- pipeline is being created with -- , -- the @stippledLineEnable@ member of -- 'Vulkan.Extensions.VK_EXT_line_rasterization.PipelineRasterizationLineStateCreateInfoEXT' -- is 'Vulkan.Core10.FundamentalTypes.TRUE', and no element of the -- @pDynamicStates@ member of @pDynamicState@ is -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_LINE_STIPPLE_EXT', -- then the @lineStippleFactor@ member of -- 'Vulkan.Extensions.VK_EXT_line_rasterization.PipelineRasterizationLineStateCreateInfoEXT' -- /must/ be in the range [1,256] -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-03372# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_NO_NULL_ANY_HIT_SHADERS_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-03373# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_NO_NULL_CLOSEST_HIT_SHADERS_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-03374# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_NO_NULL_MISS_SHADERS_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-03375# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_NO_NULL_INTERSECTION_SHADERS_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-03376# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_SKIP_TRIANGLES_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-03377# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_SKIP_AABBS_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-03577# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_SHADER_GROUP_HANDLE_CAPTURE_REPLAY_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-04947# @flags@ /must/ not -- include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RAY_TRACING_ALLOW_MOTION_BIT_NV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-03379# If the -- pipeline is being created with -- , -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_WITH_COUNT' -- is included in the @pDynamicStates@ array then @viewportCount@ -- /must/ be zero -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-03380# If the -- pipeline is being created with -- , -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SCISSOR_WITH_COUNT' -- is included in the @pDynamicStates@ array then @scissorCount@ /must/ -- be zero -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04132# If the -- pipeline is being created with -- , -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_WITH_COUNT' -- is included in the @pDynamicStates@ array then -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT' /must/ not -- be present -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04133# If the -- pipeline is being created with -- , -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SCISSOR_WITH_COUNT' -- is included in the @pDynamicStates@ array then -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_SCISSOR' /must/ not -- be present -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04869# If the -- -- feature is not enabled, there /must/ be no element of the -- @pDynamicStates@ member of @pDynamicState@ set to -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_LOGIC_OP_EXT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04870# If the -- -- feature is not enabled, there /must/ be no element of the -- @pDynamicStates@ member of @pDynamicState@ set to -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_PATCH_CONTROL_POINTS_EXT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-02877# If @flags@ includes -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_INDIRECT_BINDABLE_BIT_NV', -- then the -- -- feature /must/ be enabled -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-02966# If the pipeline is -- being created with -- -- and @flags@ includes -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_INDIRECT_BINDABLE_BIT_NV', -- then all stages /must/ not specify @Xfb@ execution mode -- -- - #VUID-VkGraphicsPipelineCreateInfo-pipelineCreationCacheControl-02878# -- If the -- -- feature is not enabled, @flags@ /must/ not include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_FAIL_ON_PIPELINE_COMPILE_REQUIRED_BIT' -- or -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_EARLY_RETURN_ON_FAILURE_BIT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04494# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@fragmentSize.width@ -- /must/ be greater than or equal to @1@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04495# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@fragmentSize.height@ -- /must/ be greater than or equal to @1@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04496# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@fragmentSize.width@ -- /must/ be a power-of-two value -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04497# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@fragmentSize.height@ -- /must/ be a power-of-two value -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04498# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@fragmentSize.width@ -- /must/ be less than or equal to @4@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04499# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@fragmentSize.height@ -- /must/ be less than or equal to @4@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04500# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, and the -- -- is not enabled, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@fragmentSize.width@ -- and -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@fragmentSize.height@ -- /must/ both be equal to @1@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-06567# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@combinerOps@[0] -- /must/ be a valid -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FragmentShadingRateCombinerOpKHR' -- value -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-06568# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@combinerOps@[1] -- /must/ be a valid -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FragmentShadingRateCombinerOpKHR' -- value -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04501# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, and the -- -- is not enabled, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@combinerOps@[0] -- /must/ be -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FRAGMENT_SHADING_RATE_COMBINER_OP_KEEP_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04502# If the -- pipeline is being created with -- -- or -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, and the -- -- is not enabled, -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@combinerOps@[1] -- /must/ be -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FRAGMENT_SHADING_RATE_COMBINER_OP_KEEP_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-primitiveFragmentShadingRateWithMultipleViewports-04503# -- If the pipeline is being created with -- -- and the -- -- limit is not supported, -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VIEWPORT_WITH_COUNT' -- is not included in @pDynamicState->pDynamicStates@, and -- 'PipelineViewportStateCreateInfo'::@viewportCount@ is greater than -- @1@, entry points specified in @pStages@ /must/ not write to the -- @PrimitiveShadingRateKHR@ built-in -- -- - #VUID-VkGraphicsPipelineCreateInfo-primitiveFragmentShadingRateWithMultipleViewports-04504# -- If the pipeline is being created with -- -- and the -- -- limit is not supported, and entry points specified in @pStages@ -- write to the @ViewportIndex@ built-in, they /must/ not also write to -- the @PrimitiveShadingRateKHR@ built-in -- -- - #VUID-VkGraphicsPipelineCreateInfo-primitiveFragmentShadingRateWithMultipleViewports-04505# -- If the pipeline is being created with -- -- and the -- -- limit is not supported, and entry points specified in @pStages@ -- write to the @ViewportMaskNV@ built-in, they /must/ not also write -- to the @PrimitiveShadingRateKHR@ built-in -- -- - #VUID-VkGraphicsPipelineCreateInfo-fragmentShadingRateNonTrivialCombinerOps-04506# -- If the pipeline is being created with -- -- or -- , -- the -- -- limit is not supported, and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, elements of -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR'::@combinerOps@ -- /must/ be -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FRAGMENT_SHADING_RATE_COMBINER_OP_KEEP_KHR' -- or -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FRAGMENT_SHADING_RATE_COMBINER_OP_REPLACE_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-None-06569# If the pipeline is -- being created with -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@shadingRateType@ -- /must/ be a valid -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FragmentShadingRateTypeNV' -- value -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-06570# If the -- pipeline is being created with -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@shadingRate@ -- /must/ be a valid -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FragmentShadingRateNV' -- value -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-06571# If the -- pipeline is being created with -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@combinerOps@[0] -- /must/ be a valid -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FragmentShadingRateCombinerOpKHR' -- value -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-06572# If the -- pipeline is being created with -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@combinerOps@[1] -- /must/ be a valid -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FragmentShadingRateCombinerOpKHR' -- value -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04569# If the -- pipeline is being created with -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, and the -- -- is not enabled, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@shadingRateType@ -- /must/ be equal to -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FRAGMENT_SHADING_RATE_TYPE_FRAGMENT_SIZE_NV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04570# If the -- pipeline is being created with -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, and the -- -- is not enabled, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@shadingRate@ -- /must/ be equal to -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FRAGMENT_SHADING_RATE_1_INVOCATION_PER_PIXEL_NV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04571# If the -- pipeline is being created with -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, and the -- -- is not enabled, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@combinerOps@[0] -- /must/ be -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FRAGMENT_SHADING_RATE_COMBINER_OP_KEEP_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-04572# If the -- pipeline is being created with -- -- and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, and the -- -- feature is not enabled, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@combinerOps@[1] -- /must/ be -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FRAGMENT_SHADING_RATE_COMBINER_OP_KEEP_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-fragmentShadingRateNonTrivialCombinerOps-04573# -- If the pipeline is being created with -- , -- and the -- -- limit is not supported and -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_FRAGMENT_SHADING_RATE_KHR' -- is not included in @pDynamicState->pDynamicStates@, elements of -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@combinerOps@ -- /must/ be -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FRAGMENT_SHADING_RATE_COMBINER_OP_KEEP_KHR' -- or -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.FRAGMENT_SHADING_RATE_COMBINER_OP_REPLACE_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-None-04574# If the pipeline is -- being created with -- , -- and the -- -- feature is not enabled, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@shadingRate@ -- /must/ not be equal to -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FRAGMENT_SHADING_RATE_2_INVOCATIONS_PER_PIXEL_NV', -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FRAGMENT_SHADING_RATE_4_INVOCATIONS_PER_PIXEL_NV', -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FRAGMENT_SHADING_RATE_8_INVOCATIONS_PER_PIXEL_NV', -- or -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FRAGMENT_SHADING_RATE_16_INVOCATIONS_PER_PIXEL_NV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-None-04575# If the pipeline is -- being created with -- , -- and the -- -- feature is not enabled, -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV'::@shadingRate@ -- /must/ not be equal to -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.FRAGMENT_SHADING_RATE_NO_INVOCATIONS_NV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-03578# All -- elements of the @pDynamicStates@ member of @pDynamicState@ /must/ -- not be -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_RAY_TRACING_PIPELINE_STACK_SIZE_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04807# If the -- pipeline is being created with -- -- and the -- -- feature is not enabled, there /must/ be no element of the -- @pDynamicStates@ member of @pDynamicState@ set to -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_VERTEX_INPUT_EXT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicStates-04800# If the -- -- feature is not enabled, there /must/ be no element of the -- @pDynamicStates@ member of @pDynamicState@ set to -- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_COLOR_WRITE_ENABLE_EXT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-rasterizationSamples-04899# If -- the pipeline is being created with fragment shader state, and the -- -- extension is enabled, and if subpass has any input attachments, and -- if the subpass description contains -- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_FRAGMENT_REGION_BIT_QCOM', -- then the sample count of the input attachments /must/ equal -- @rasterizationSamples@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-sampleShadingEnable-04900# If the -- pipeline is being created with fragment shader state, and the -- -- extension is enabled, and if the subpass description contains -- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_FRAGMENT_REGION_BIT_QCOM', -- then @sampleShadingEnable@ /must/ be false -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-04901# 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 -- chain -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-04902# If @flags@ includes -- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_SHADER_RESOLVE_BIT_QCOM', -- and if @pResolveAttachments@ is not @NULL@, then each resolve -- attachment /must/ be 'Vulkan.Core10.APIConstants.ATTACHMENT_UNUSED' -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06575# If the pipeline -- is being created with -- , -- , -- or -- , -- @renderPass@ /must/ be 'Vulkan.Core10.APIConstants.NULL_HANDLE' or a -- valid render pass object -- -- - #VUID-VkGraphicsPipelineCreateInfo-dynamicRendering-06576# If the -- -- feature is not enabled and the pipeline is being created with -- , -- , -- or -- , -- @renderPass@ /must/ not be 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-multiview-06577# If the -- -- feature is not enabled, the pipeline is being created with -- , -- , -- or -- , -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@viewMask@ -- /must/ be @0@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06578# If the pipeline -- is being created with -- , -- , -- or -- , -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', the -- index of the most significant bit in -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@viewMask@ -- /must/ be less than -- -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06579# If the pipeline -- is being created with -- , -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', and -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@colorAttachmentCount@ -- is not 0, -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@pColorAttachmentFormats@ -- /must/ be a valid pointer to an array of @colorAttachmentCount@ -- valid 'Vulkan.Core10.Enums.Format.Format' values -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06580# If the pipeline -- is being created with -- , -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', each -- element of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@pColorAttachmentFormats@ -- /must/ be a valid 'Vulkan.Core10.Enums.Format.Format' value -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06582# If the pipeline -- is being created with -- , -- @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', and any -- element of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@pColorAttachmentFormats@ -- is not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', that format -- /must/ be a format with -- -- that include -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_COLOR_ATTACHMENT_BIT' -- or -- 'Vulkan.Core13.Enums.FormatFeatureFlags2.FORMAT_FEATURE_2_LINEAR_COLOR_ATTACHMENT_BIT_NV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06583# If the pipeline -- is being created with -- , -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@depthAttachmentFormat@ -- /must/ be a valid 'Vulkan.Core10.Enums.Format.Format' value -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06584# If the pipeline -- is being created with -- , -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@stencilAttachmentFormat@ -- /must/ be a valid 'Vulkan.Core10.Enums.Format.Format' value -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06585# If the pipeline -- is being created with -- , -- @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', and -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@depthAttachmentFormat@ -- is not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', it /must/ be a -- format with -- -- that include -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_DEPTH_STENCIL_ATTACHMENT_BIT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06586# If the pipeline -- is being created with -- , -- @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', and -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@stencilAttachmentFormat@ -- is not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', it /must/ be a -- format with -- -- that include -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_DEPTH_STENCIL_ATTACHMENT_BIT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06587# If the pipeline -- is being created with -- , -- @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', and -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@depthAttachmentFormat@ -- is not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', it /must/ be a -- format that includes a depth aspect -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06588# If the pipeline -- is being created with -- , -- @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', and -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@stencilAttachmentFormat@ -- is not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', it /must/ be a -- format that includes a stencil aspect -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06589# If the pipeline -- is being created with -- , -- @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@depthAttachmentFormat@ -- is not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', and -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@stencilAttachmentFormat@ -- is not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', -- @depthAttachmentFormat@ /must/ equal @stencilAttachmentFormat@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06053# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is being -- created with -- -- and -- , -- and either of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::depthAttachmentFormat -- or -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::stencilAttachmentFormat -- are not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', -- @pDepthStencilState@ /must/ be a valid pointer to a valid -- 'PipelineDepthStencilStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06590# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE' and the pipeline is -- being created with -- -- but not -- , -- @pDepthStencilState@ /must/ be a valid pointer to a valid -- 'PipelineDepthStencilStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06054# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is being -- created with -- , -- and -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::colorAttachmentCount -- is not equal to @0@, @pColorBlendState@ /must/ be a valid pointer to -- a valid 'PipelineColorBlendStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06055# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE' and the pipeline is -- being created with -- , -- @pColorBlendState->attachmentCount@ /must/ be equal to -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::colorAttachmentCount -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06056# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE' and the pipeline is -- being created with -- -- the fragment shader /must/ not read from any input attachment -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06057# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is being -- created with -- , -- the @viewMask@ member of a -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo' -- structure included in the @pNext@ chain is not @0@, and the -- -- feature is not enabled, then @pStages@ /must/ not include -- tessellation shaders -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06058# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is being -- created with -- , -- the @viewMask@ member of a -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo' -- structure included in the @pNext@ chain is not @0@, and the -- -- feature is not enabled, then @pStages@ /must/ not include a geometry -- shader -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06059# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is being -- created with -- , -- and the @viewMask@ member of a -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo' -- structure included in the @pNext@ chain is not @0@, shaders in -- @pStages@ /must/ not include variables decorated with the @Layer@ -- built-in decoration in their interfaces -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06060# If the pipeline -- is being created with -- -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- @pColorBlendState->attachmentCount@ /must/ be equal to the -- @colorAttachmentCount@ member of the -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo' -- structure included in the @pNext@ chain -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06061# If the pipeline -- is being created with -- -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- fragment shaders in @pStages@ /must/ not include the -- @InputAttachment@ capability -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06062# If the pipeline -- is being created with -- -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', for -- each color attachment format defined by the -- @pColorAttachmentFormats@ member of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo', -- if its -- -- do not contain -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_COLOR_ATTACHMENT_BLEND_BIT', -- then the @blendEnable@ member of the corresponding element of the -- @pAttachments@ member of @pColorBlendState@ /must/ be -- 'Vulkan.Core10.FundamentalTypes.FALSE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06063# If the pipeline -- is being created with -- -- and @renderPass@ is 'Vulkan.Core10.APIConstants.NULL_HANDLE', if the -- @pNext@ chain includes -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoAMD' -- or -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoNV', -- the @colorAttachmentCount@ member of that structure /must/ be equal -- to the value of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@colorAttachmentCount@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06591# If the pipeline is -- being created with -- , -- and the fragment shader code enables -- , -- the @flags@ member of 'PipelineDepthStencilStateCreateInfo' /must/ -- not include -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PIPELINE_DEPTH_STENCIL_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_DEPTH_ACCESS_BIT_ARM' -- or -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PIPELINE_DEPTH_STENCIL_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_STENCIL_ACCESS_BIT_ARM' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06482# If the pipeline is -- being created with -- -- and the @flags@ member of 'PipelineColorBlendStateCreateInfo' -- includes -- 'Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits.PIPELINE_COLOR_BLEND_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_ACCESS_BIT_ARM', -- @renderpass@ /must/ not be 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06483# If the pipeline is -- being created with -- -- and the @flags@ member of 'PipelineDepthStencilStateCreateInfo' -- includes -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PIPELINE_DEPTH_STENCIL_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_DEPTH_ACCESS_BIT_ARM' -- or -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PIPELINE_DEPTH_STENCIL_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_STENCIL_ACCESS_BIT_ARM', -- @renderpass@ /must/ not be 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pColorAttachmentSamples-06592# If -- the -- , -- elements of the @pColorAttachmentSamples@ member of -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoAMD' -- or -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoNV' -- /must/ be valid -- 'Vulkan.Core10.Enums.SampleCountFlagBits.SampleCountFlagBits' values -- -- - #VUID-VkGraphicsPipelineCreateInfo-depthStencilAttachmentSamples-06593# -- If the -- -- and the @depthStencilAttachmentSamples@ member of -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoAMD' -- or -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoNV' -- is not 0, it /must/ be a valid -- 'Vulkan.Core10.Enums.SampleCountFlagBits.SampleCountFlagBits' value -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06484# If the pipeline is -- being created with -- -- and the @flags@ member of 'PipelineColorBlendStateCreateInfo' -- includes -- 'Vulkan.Core10.Enums.PipelineColorBlendStateCreateFlagBits.PIPELINE_COLOR_BLEND_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_ACCESS_BIT_ARM' -- @subpass@ /must/ have been created with -- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_RASTERIZATION_ORDER_ATTACHMENT_COLOR_ACCESS_BIT_ARM' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06485# If the pipeline is -- being created with -- -- and the @flags@ member of 'PipelineDepthStencilStateCreateInfo' -- includes -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PIPELINE_DEPTH_STENCIL_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_DEPTH_ACCESS_BIT_ARM', -- @subpass@ /must/ have been created with -- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_RASTERIZATION_ORDER_ATTACHMENT_DEPTH_ACCESS_BIT_ARM' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06486# If the pipeline is -- being created with -- -- and the @flags@ member of 'PipelineDepthStencilStateCreateInfo' -- includes -- 'Vulkan.Core10.Enums.PipelineDepthStencilStateCreateFlagBits.PIPELINE_DEPTH_STENCIL_STATE_CREATE_RASTERIZATION_ORDER_ATTACHMENT_STENCIL_ACCESS_BIT_ARM', -- @subpass@ /must/ have been created with -- 'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_RASTERIZATION_ORDER_ATTACHMENT_STENCIL_ACCESS_BIT_ARM' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pipelineStageCreationFeedbackCount-06594# -- If -- 'Vulkan.Core13.Promoted_From_VK_EXT_pipeline_creation_feedback.PipelineCreationFeedbackCreateInfo'::@pipelineStageCreationFeedbackCount@ -- is not @0@, it /must/ be equal to @stageCount@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderPass-06595# If @renderPass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE', the pipeline is being -- created with -- -- or -- , -- and -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.MultiviewPerViewAttributesInfoNVX'::@perViewAttributesPositionXOnly@ -- is 'Vulkan.Core10.FundamentalTypes.TRUE' then -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.MultiviewPerViewAttributesInfoNVX'::@perViewAttributes@ -- /must/ also be 'Vulkan.Core10.FundamentalTypes.TRUE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06596# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other flag, the value of -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.MultiviewPerViewAttributesInfoNVX'::@perViewAttributes@ -- specified in both this pipeline and the library /must/ be equal -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06597# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- the value of -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.MultiviewPerViewAttributesInfoNVX'::@perViewAttributes@ -- specified in both libraries /must/ be equal -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06598# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other flag, the value of -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.MultiviewPerViewAttributesInfoNVX'::@perViewAttributesPositionXOnly@ -- specified in both this pipeline and the library /must/ be equal -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06599# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- the value of -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.MultiviewPerViewAttributesInfoNVX'::@perViewAttributesPositionXOnly@ -- specified in both libraries /must/ be equal -- -- - #VUID-VkGraphicsPipelineCreateInfo-graphicsPipelineLibrary-06606# If -- the -- -- feature is not enabled, @flags@ /must/ not include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_LIBRARY_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-graphicsPipelineLibrary-06607# If -- the -- -- feature is not enabled, the pipeline /must/ be created with a -- -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06608# If the pipeline is -- being created with -- , -- @flags@ /must/ not include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_LIBRARY_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06609# If @flags@ includes -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_LINK_TIME_OPTIMIZATION_BIT_EXT', -- pipeline libraries included via -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR' -- /must/ have been created with -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RETAIN_LINK_TIME_OPTIMIZATION_INFO_BIT_EXT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06610# If @flags@ includes -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RETAIN_LINK_TIME_OPTIMIZATION_INFO_BIT_EXT', -- pipeline libraries included via -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR' -- /must/ have been created with -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_RETAIN_LINK_TIME_OPTIMIZATION_INFO_BIT_EXT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06611# Any pipeline -- libraries included via -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- /must/ not include any -- -- already defined by this structure or defined by any other pipeline -- library in -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06612# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other flag, and @layout@ was not created with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT', -- then the @layout@ used by this pipeline and the library /must/ be -- /identically defined/ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06613# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and the @layout@ specified by either library was not created with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT', -- then the @layout@ used by each library /must/ be /identically -- defined/ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06614# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other subset, and @layout@ was created with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT', -- then the @layout@ used by the library /must/ also have been created -- with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06615# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and the @layout@ specified by either library was created with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT', -- then the @layout@ used by both libaries /must/ have been created -- with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06616# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other subset, and @layout@ was created with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT', -- elements of the @pSetLayouts@ array which @layout@ was created with -- that are not 'Vulkan.Core10.APIConstants.NULL_HANDLE' /must/ be -- /identically defined/ to the element at the same index of -- @pSetLayouts@ used to create the library’s @layout@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06617# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and the @layout@ specified by either library was created with -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT', -- elements of the @pSetLayouts@ array which either @layout@ was -- created with that are not 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- /must/ be /identically defined/ to the element at the same index of -- @pSetLayouts@ used to create the other library’s @layout@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06618# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other flag, any descriptor set layout /N/ specified by -- @layout@ in both this pipeline and the library which include -- bindings accessed by shader stages in each /must/ be /identically -- defined/ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06619# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- any descriptor set layout /N/ specified by @layout@ in both -- libraries which include bindings accessed by shader stages in each -- /must/ be /identically defined/ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06620# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other flag, push constants specified in @layout@ in -- both this pipeline and the library which are available to shader -- stages in each /must/ be /identically defined/ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06621# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- push constants specified in @layout@ in both this pipeline and the -- library which are available to shader stages in each /must/ be -- /identically defined/ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06679# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other subset, and any element of the @pSetLayouts@ -- array which @layout@ was created with was -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', then the corresponding -- element of the @pSetLayouts@ array used to create the library’s -- @layout@ /must/ not be 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06680# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other subset, and any element of the @pSetLayouts@ -- array used to create the library’s @layout@ was -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', then the corresponding -- element of the @pSetLayouts@ array used to create this pipeline’s -- @layout@ /must/ not be 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06681# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and any element of the @pSetLayouts@ array used to create each -- library’s @layout@ was 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- then the corresponding element of the @pSetLayouts@ array used to -- create the other library’s @layout@ /must/ not be -- 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06682# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes both -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- @layout@ /must/ have been created with no elements of the -- @pSetLayouts@ array set to 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06683# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and @pRasterizationState@->@rasterizerDiscardEnable@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', @layout@ /must/ have been -- created with no elements of the @pSetLayouts@ array set to -- 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06684# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes at least one of and no more than two of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes one of the other flags, the value of @subpass@ /must/ be -- equal to that used to create the library -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06623# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes at least one of and no more than two of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- and another element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes one of the other flags, the value of @subpass@ used to -- create each library /must/ be identical -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderpass-06624# If @renderpass@ -- is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes at least one of and no more than two of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes one of the other flags, @renderPass@ /must/ be compatible -- with that used to create the library -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderpass-06625# If @renderpass@ -- is 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes at least one of and no more than two of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes one of the other flags, the value of @renderPass@ used to -- create that library /must/ also be -- 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06626# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes at least one of and no more than two of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes one of the other flags, and @renderPass@ is -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', the value of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@viewMask@ -- used by this pipeline and that specified by the library /must/ be -- identical -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06627# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes at least one of and no more than two of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- another element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes one of the other flags, and @renderPass@ was -- 'Vulkan.Core10.APIConstants.NULL_HANDLE' for both libraries, the -- value of -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo'::@viewMask@ -- set by each library /must/ be identical -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06628# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes at least one of and no more than two of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- and another element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes one of the other flags, the @renderPass@ objects used to -- create each library /must/ be compatible or all equal to -- 'Vulkan.Core10.APIConstants.NULL_HANDLE' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pMultisampleState-06629# If the -- pipeline is being created with -- -- @pMultisampleState@ /must/ be @NULL@ or a valid pointer to a valid -- 'PipelineMultisampleStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-renderpass-06631# If the pipeline -- is being created with -- -- and @renderpass@ is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- then @pMultisampleState@ /must/ not be @NULL@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-Input-06632# If the pipeline is -- being created with -- -- with a fragment shader that either enables -- -- or decorates any variable in the @Input@ storage class with -- @Sample@, then @pMultisampleState@ /must/ not be @NULL@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06633# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT' -- with a @pMultisampleState@ that was not @NULL@, and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- was created with -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- @pMultisampleState@ /must/ be /identically defined/ to that used to -- create the library -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06634# If an element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- was created with -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT' -- with a @pMultisampleState@ that was not @NULL@, and if -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- @pMultisampleState@ /must/ be /identically defined/ to that used to -- create the library -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06635# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- was created with -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT' -- with a @pMultisampleState@ that was not @NULL@, and if a different -- element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- was created with -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- the @pMultisampleState@ used to create each library /must/ be -- /identically defined/ -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06636# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- was created with -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT' -- and a value of @pMultisampleState->sampleShading@ equal -- 'Vulkan.Core10.FundamentalTypes.TRUE', and if a different element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- was created with -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- the @pMultisampleState@ used to create each library /must/ be -- /identically defined/ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06637# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- @pMultisampleState->sampleShading@ is -- 'Vulkan.Core10.FundamentalTypes.TRUE', and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- was created with -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- the @pMultisampleState@ used to create that library /must/ be -- /identically defined/ @pMultisampleState@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06638# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes only one of -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- and an element of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes the other flag, values specified in -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR' -- for both this pipeline and that library /must/ be identical -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06639# If one element -- of -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- and another element includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- values specified in -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR' -- for both this pipeline and that library /must/ be identical -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06640# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- @pStages@ /must/ be a valid pointer to an array of @stageCount@ -- valid 'PipelineShaderStageCreateInfo' structures -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06641# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- @pRasterizationState@ /must/ be a valid pointer to a valid -- 'PipelineRasterizationStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06642# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- @layout@ /must/ be a valid 'Vulkan.Core10.Handles.PipelineLayout' -- handle -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06643# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT', -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_OUTPUT_INTERFACE_BIT_EXT', -- and @renderPass@ is not 'Vulkan.Core10.APIConstants.NULL_HANDLE', -- @renderPass@ /must/ be a valid 'Vulkan.Core10.Handles.RenderPass' -- handle -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06644# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- includes -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_PRE_RASTERIZATION_SHADERS_BIT_EXT' -- or -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GRAPHICS_PIPELINE_LIBRARY_FRAGMENT_SHADER_BIT_EXT', -- @stageCount@ /must/ be greater than @0@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06645# If -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- is non-zero, if @flags@ includes -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_CAPTURE_INTERNAL_REPRESENTATIONS_BIT_KHR', -- any libraries /must/ have also been created with -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_CAPTURE_INTERNAL_REPRESENTATIONS_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06646# If -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes more than one library, and any library was created with -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_CAPTURE_INTERNAL_REPRESENTATIONS_BIT_KHR', -- all libraries /must/ have also been created with -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_CAPTURE_INTERNAL_REPRESENTATIONS_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pLibraries-06647# If -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@pLibraries@ -- includes at least one library, -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT'::@flags@ -- is non-zero, and any library was created with -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_CAPTURE_INTERNAL_REPRESENTATIONS_BIT_KHR', -- @flags@ /must/ include -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_CAPTURE_INTERNAL_REPRESENTATIONS_BIT_KHR' -- -- - #VUID-VkGraphicsPipelineCreateInfo-libraryCount-06648# If the -- pipeline is not created with a -- , -- or -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@libraryCount@ -- is not @0@, -- 'Vulkan.Extensions.VK_NV_device_generated_commands.GraphicsPipelineShaderGroupsCreateInfoNV'::@groupCount@ -- and -- 'Vulkan.Extensions.VK_NV_device_generated_commands.GraphicsPipelineShaderGroupsCreateInfoNV'::@pipelineCount@ -- /must/ be @0@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-libraryCount-06649# If the -- pipeline is created with a -- , -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR'::@libraryCount@ -- is @0@, and the @pNext@ chain includes an instance of -- 'Vulkan.Extensions.VK_NV_device_generated_commands.GraphicsPipelineShaderGroupsCreateInfoNV', -- 'Vulkan.Extensions.VK_NV_device_generated_commands.GraphicsPipelineShaderGroupsCreateInfoNV'::@groupCount@ -- /must/ be greater than @0@ -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-06650# If @flags@ includes -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PIPELINE_CREATE_LINK_TIME_OPTIMIZATION_BIT_EXT' -- and the pipeline includes a -- -- specified entirely by libraries, @pipelineLayout@ /must/ be either -- 'Vulkan.Core10.APIConstants.NULL_HANDLE', or a -- 'Vulkan.Core10.Handles.PipelineLayout' that was created without -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT' -- but would be compatible with the union of the pipeline layouts used -- in the libraries if it had included -- 'Vulkan.Core10.Enums.PipelineLayoutCreateFlagBits.PIPELINE_LAYOUT_CREATE_INDEPENDENT_SETS_BIT_EXT' -- -- == Valid Usage (Implicit) -- -- - #VUID-VkGraphicsPipelineCreateInfo-sType-sType# @sType@ /must/ be -- 'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_GRAPHICS_PIPELINE_CREATE_INFO' -- -- - #VUID-VkGraphicsPipelineCreateInfo-pNext-pNext# Each @pNext@ member -- of any structure (including this one) in the @pNext@ chain /must/ be -- either @NULL@ or a pointer to a valid instance of -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.AttachmentSampleCountInfoAMD', -- 'Vulkan.Extensions.VK_EXT_graphics_pipeline_library.GraphicsPipelineLibraryCreateInfoEXT', -- 'Vulkan.Extensions.VK_NV_device_generated_commands.GraphicsPipelineShaderGroupsCreateInfoNV', -- 'Vulkan.Extensions.VK_KHR_dynamic_rendering.MultiviewPerViewAttributesInfoNVX', -- 'Vulkan.Extensions.VK_AMD_pipeline_compiler_control.PipelineCompilerControlCreateInfoAMD', -- 'Vulkan.Core13.Promoted_From_VK_EXT_pipeline_creation_feedback.PipelineCreationFeedbackCreateInfo', -- 'Vulkan.Extensions.VK_EXT_discard_rectangles.PipelineDiscardRectangleStateCreateInfoEXT', -- 'Vulkan.Extensions.VK_NV_fragment_shading_rate_enums.PipelineFragmentShadingRateEnumStateCreateInfoNV', -- 'Vulkan.Extensions.VK_KHR_fragment_shading_rate.PipelineFragmentShadingRateStateCreateInfoKHR', -- 'Vulkan.Extensions.VK_KHR_pipeline_library.PipelineLibraryCreateInfoKHR', -- 'Vulkan.Core13.Promoted_From_VK_KHR_dynamic_rendering.PipelineRenderingCreateInfo', -- or -- 'Vulkan.Extensions.VK_NV_representative_fragment_test.PipelineRepresentativeFragmentTestStateCreateInfoNV' -- -- - #VUID-VkGraphicsPipelineCreateInfo-sType-unique# The @sType@ value -- of each struct in the @pNext@ chain /must/ be unique -- -- - #VUID-VkGraphicsPipelineCreateInfo-flags-parameter# @flags@ /must/ -- be a valid combination of -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PipelineCreateFlagBits' -- values -- -- - #VUID-VkGraphicsPipelineCreateInfo-pDynamicState-parameter# If -- @pDynamicState@ is not @NULL@, @pDynamicState@ /must/ be a valid -- pointer to a valid 'PipelineDynamicStateCreateInfo' structure -- -- - #VUID-VkGraphicsPipelineCreateInfo-commonparent# Each of -- @basePipelineHandle@, @layout@, and @renderPass@ that are valid -- handles of non-ignored parameters /must/ have been created, -- allocated, or retrieved from the same 'Vulkan.Core10.Handles.Device' -- -- = See Also -- -- , -- 'Vulkan.Core10.Handles.Pipeline', 'PipelineColorBlendStateCreateInfo', -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PipelineCreateFlags', -- 'PipelineDepthStencilStateCreateInfo', 'PipelineDynamicStateCreateInfo', -- 'PipelineInputAssemblyStateCreateInfo', -- 'Vulkan.Core10.Handles.PipelineLayout', -- 'PipelineMultisampleStateCreateInfo', -- 'PipelineRasterizationStateCreateInfo', 'PipelineShaderStageCreateInfo', -- 'PipelineTessellationStateCreateInfo', -- 'PipelineVertexInputStateCreateInfo', 'PipelineViewportStateCreateInfo', -- 'Vulkan.Core10.Handles.RenderPass', -- 'Vulkan.Core10.Enums.StructureType.StructureType', -- 'createGraphicsPipelines' data GraphicsPipelineCreateInfo (es :: [Type]) = GraphicsPipelineCreateInfo { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure. next :: Chain es , -- | @flags@ is a bitmask of -- 'Vulkan.Core10.Enums.PipelineCreateFlagBits.PipelineCreateFlagBits' -- specifying how the pipeline will be generated. flags :: PipelineCreateFlags , -- | @stageCount@ is the number of entries in the @pStages@ array. stageCount :: Word32 , -- | @pStages@ is a pointer to an array of @stageCount@ -- 'PipelineShaderStageCreateInfo' structures describing the set of the -- shader stages to be included in the graphics pipeline. stages :: Vector (SomeStruct PipelineShaderStageCreateInfo) , -- | @pVertexInputState@ is a pointer to a -- 'PipelineVertexInputStateCreateInfo' structure defining vertex input -- state for use with vertex shading. vertexInputState :: Maybe (SomeStruct PipelineVertexInputStateCreateInfo) , -- | @pInputAssemblyState@ is a pointer to a -- 'PipelineInputAssemblyStateCreateInfo' structure which determines input -- assembly behavior for vertex shading, as described in -- . inputAssemblyState :: Maybe PipelineInputAssemblyStateCreateInfo , -- | @pTessellationState@ is a pointer to a -- 'PipelineTessellationStateCreateInfo' structure defining tessellation -- state used by tessellation shaders. tessellationState :: Maybe (SomeStruct PipelineTessellationStateCreateInfo) , -- | @pViewportState@ is a pointer to a 'PipelineViewportStateCreateInfo' -- structure defining viewport state used when rasterization is enabled. viewportState :: Maybe (SomeStruct PipelineViewportStateCreateInfo) , -- | @pRasterizationState@ is a pointer to a -- 'PipelineRasterizationStateCreateInfo' structure defining rasterization -- state. rasterizationState :: Maybe (SomeStruct PipelineRasterizationStateCreateInfo) , -- | @pMultisampleState@ is a pointer to a -- 'PipelineMultisampleStateCreateInfo' structure defining multisample -- state used when rasterization is enabled. multisampleState :: Maybe (SomeStruct PipelineMultisampleStateCreateInfo) , -- | @pDepthStencilState@ is a pointer to a -- 'PipelineDepthStencilStateCreateInfo' structure defining depth\/stencil -- state used when rasterization is enabled for depth or stencil -- attachments accessed during rendering. depthStencilState :: Maybe PipelineDepthStencilStateCreateInfo , -- | @pColorBlendState@ is a pointer to a 'PipelineColorBlendStateCreateInfo' -- structure defining color blend state used when rasterization is enabled -- for any color attachments accessed during rendering. colorBlendState :: Maybe (SomeStruct PipelineColorBlendStateCreateInfo) , -- | @pDynamicState@ is a pointer to a 'PipelineDynamicStateCreateInfo' -- structure defining which properties of the pipeline state object are -- dynamic and /can/ be changed independently of the pipeline state. This -- /can/ be @NULL@, which means no state in the pipeline is considered -- dynamic. dynamicState :: Maybe PipelineDynamicStateCreateInfo , -- | @layout@ is the description of binding locations used by both the -- pipeline and descriptor sets used with the pipeline. layout :: PipelineLayout , -- | @renderPass@ is a handle to a render pass object describing the -- environment in which the pipeline will be used. The pipeline /must/ only -- be used with a render pass instance compatible with the one provided. -- See -- -- for more information. renderPass :: RenderPass , -- | @subpass@ is the index of the subpass in the render pass where this -- pipeline will be used. subpass :: Word32 , -- | @basePipelineHandle@ is a pipeline to derive from. basePipelineHandle :: Pipeline , -- | @basePipelineIndex@ is an index into the @pCreateInfos@ parameter to use -- as a pipeline to derive from. basePipelineIndex :: Int32 } deriving (Typeable) #if defined(GENERIC_INSTANCES) deriving instance Generic (GraphicsPipelineCreateInfo (es :: [Type])) #endif deriving instance Show (Chain es) => Show (GraphicsPipelineCreateInfo es) instance Extensible GraphicsPipelineCreateInfo where extensibleTypeName = "GraphicsPipelineCreateInfo" setNext GraphicsPipelineCreateInfo{..} next' = GraphicsPipelineCreateInfo{next = next', ..} getNext GraphicsPipelineCreateInfo{..} = next extends :: forall e b proxy. Typeable e => proxy e -> (Extends GraphicsPipelineCreateInfo e => b) -> Maybe b extends _ f | Just Refl <- eqT @e @GraphicsPipelineLibraryCreateInfoEXT = Just f | Just Refl <- eqT @e @MultiviewPerViewAttributesInfoNVX = Just f | Just Refl <- eqT @e @AttachmentSampleCountInfoAMD = Just f | Just Refl <- eqT @e @PipelineRenderingCreateInfo = Just f | Just Refl <- eqT @e @PipelineFragmentShadingRateEnumStateCreateInfoNV = Just f | Just Refl <- eqT @e @PipelineFragmentShadingRateStateCreateInfoKHR = Just f | Just Refl <- eqT @e @PipelineLibraryCreateInfoKHR = Just f | Just Refl <- eqT @e @PipelineCompilerControlCreateInfoAMD = Just f | Just Refl <- eqT @e @PipelineCreationFeedbackCreateInfo = Just f | Just Refl <- eqT @e @PipelineRepresentativeFragmentTestStateCreateInfoNV = Just f | Just Refl <- eqT @e @PipelineDiscardRectangleStateCreateInfoEXT = Just f | Just Refl <- eqT @e @GraphicsPipelineShaderGroupsCreateInfoNV = Just f | otherwise = Nothing instance (Extendss GraphicsPipelineCreateInfo es, PokeChain es) => ToCStruct (GraphicsPipelineCreateInfo es) where withCStruct x f = allocaBytes 144 $ \p -> pokeCStruct p x (f p) pokeCStruct p GraphicsPipelineCreateInfo{..} f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_GRAPHICS_PIPELINE_CREATE_INFO) pNext'' <- fmap castPtr . ContT $ withChain (next) lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'' lift $ poke ((p `plusPtr` 16 :: Ptr PipelineCreateFlags)) (flags) let pStagesLength = Data.Vector.length $ (stages) stageCount'' <- lift $ if (stageCount) == 0 then pure $ fromIntegral pStagesLength else do unless (fromIntegral pStagesLength == (stageCount) || pStagesLength == 0) $ throwIO $ IOError Nothing InvalidArgument "" "pStages must be empty or have 'stageCount' elements" Nothing Nothing pure (stageCount) lift $ poke ((p `plusPtr` 20 :: Ptr Word32)) (stageCount'') pStages'' <- if Data.Vector.null (stages) then pure nullPtr else do pPStages <- ContT $ allocaBytes @(PipelineShaderStageCreateInfo _) (((Data.Vector.length (stages))) * 48) Data.Vector.imapM_ (\i e -> ContT $ pokeSomeCStruct (forgetExtensions (pPStages `plusPtr` (48 * (i)) :: Ptr (PipelineShaderStageCreateInfo _))) (e) . ($ ())) ((stages)) pure $ pPStages lift $ poke ((p `plusPtr` 24 :: Ptr (Ptr (PipelineShaderStageCreateInfo _)))) pStages'' pVertexInputState'' <- case (vertexInputState) of Nothing -> pure nullPtr Just j -> ContT @_ @_ @(Ptr (PipelineVertexInputStateCreateInfo '[])) $ \cont -> withSomeCStruct @PipelineVertexInputStateCreateInfo (j) (cont . castPtr) lift $ poke ((p `plusPtr` 32 :: Ptr (Ptr (PipelineVertexInputStateCreateInfo _)))) pVertexInputState'' pInputAssemblyState'' <- case (inputAssemblyState) of Nothing -> pure nullPtr Just j -> ContT $ withCStruct (j) lift $ poke ((p `plusPtr` 40 :: Ptr (Ptr PipelineInputAssemblyStateCreateInfo))) pInputAssemblyState'' pTessellationState'' <- case (tessellationState) of Nothing -> pure nullPtr Just j -> ContT @_ @_ @(Ptr (PipelineTessellationStateCreateInfo '[])) $ \cont -> withSomeCStruct @PipelineTessellationStateCreateInfo (j) (cont . castPtr) lift $ poke ((p `plusPtr` 48 :: Ptr (Ptr (PipelineTessellationStateCreateInfo _)))) pTessellationState'' pViewportState'' <- case (viewportState) of Nothing -> pure nullPtr Just j -> ContT @_ @_ @(Ptr (PipelineViewportStateCreateInfo '[])) $ \cont -> withSomeCStruct @PipelineViewportStateCreateInfo (j) (cont . castPtr) lift $ poke ((p `plusPtr` 56 :: Ptr (Ptr (PipelineViewportStateCreateInfo _)))) pViewportState'' pRasterizationState'' <- case (rasterizationState) of Nothing -> pure nullPtr Just j -> ContT @_ @_ @(Ptr (PipelineRasterizationStateCreateInfo '[])) $ \cont -> withSomeCStruct @PipelineRasterizationStateCreateInfo (j) (cont . castPtr) lift $ poke ((p `plusPtr` 64 :: Ptr (Ptr (PipelineRasterizationStateCreateInfo _)))) pRasterizationState'' pMultisampleState'' <- case (multisampleState) of Nothing -> pure nullPtr Just j -> ContT @_ @_ @(Ptr (PipelineMultisampleStateCreateInfo '[])) $ \cont -> withSomeCStruct @PipelineMultisampleStateCreateInfo (j) (cont . castPtr) lift $ poke ((p `plusPtr` 72 :: Ptr (Ptr (PipelineMultisampleStateCreateInfo _)))) pMultisampleState'' pDepthStencilState'' <- case (depthStencilState) of Nothing -> pure nullPtr Just j -> ContT $ withCStruct (j) lift $ poke ((p `plusPtr` 80 :: Ptr (Ptr PipelineDepthStencilStateCreateInfo))) pDepthStencilState'' pColorBlendState'' <- case (colorBlendState) of Nothing -> pure nullPtr Just j -> ContT @_ @_ @(Ptr (PipelineColorBlendStateCreateInfo '[])) $ \cont -> withSomeCStruct @PipelineColorBlendStateCreateInfo (j) (cont . castPtr) lift $ poke ((p `plusPtr` 88 :: Ptr (Ptr (PipelineColorBlendStateCreateInfo _)))) pColorBlendState'' pDynamicState'' <- case (dynamicState) of Nothing -> pure nullPtr Just j -> ContT $ withCStruct (j) lift $ poke ((p `plusPtr` 96 :: Ptr (Ptr PipelineDynamicStateCreateInfo))) pDynamicState'' lift $ poke ((p `plusPtr` 104 :: Ptr PipelineLayout)) (layout) lift $ poke ((p `plusPtr` 112 :: Ptr RenderPass)) (renderPass) lift $ poke ((p `plusPtr` 120 :: Ptr Word32)) (subpass) lift $ poke ((p `plusPtr` 128 :: Ptr Pipeline)) (basePipelineHandle) lift $ poke ((p `plusPtr` 136 :: Ptr Int32)) (basePipelineIndex) lift $ f cStructSize = 144 cStructAlignment = 8 pokeZeroCStruct p f = evalContT $ do lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_GRAPHICS_PIPELINE_CREATE_INFO) pNext' <- fmap castPtr . ContT $ withZeroChain @es lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext' lift $ poke ((p `plusPtr` 120 :: Ptr Word32)) (zero) lift $ poke ((p `plusPtr` 136 :: Ptr Int32)) (zero) lift $ f instance (Extendss GraphicsPipelineCreateInfo es, PeekChain es) => FromCStruct (GraphicsPipelineCreateInfo es) where peekCStruct p = do pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ()))) next <- peekChain (castPtr pNext) flags <- peek @PipelineCreateFlags ((p `plusPtr` 16 :: Ptr PipelineCreateFlags)) stageCount <- peek @Word32 ((p `plusPtr` 20 :: Ptr Word32)) pStages <- peek @(Ptr (PipelineShaderStageCreateInfo _)) ((p `plusPtr` 24 :: Ptr (Ptr (PipelineShaderStageCreateInfo _)))) let pStagesLength = if pStages == nullPtr then 0 else (fromIntegral stageCount) pStages' <- generateM pStagesLength (\i -> peekSomeCStruct (forgetExtensions ((pStages `advancePtrBytes` (48 * (i)) :: Ptr (PipelineShaderStageCreateInfo _))))) pVertexInputState <- peek @(Ptr (PipelineVertexInputStateCreateInfo _)) ((p `plusPtr` 32 :: Ptr (Ptr (PipelineVertexInputStateCreateInfo _)))) pVertexInputState' <- maybePeek (\j -> peekSomeCStruct (forgetExtensions (j))) pVertexInputState pInputAssemblyState <- peek @(Ptr PipelineInputAssemblyStateCreateInfo) ((p `plusPtr` 40 :: Ptr (Ptr PipelineInputAssemblyStateCreateInfo))) pInputAssemblyState' <- maybePeek (\j -> peekCStruct @PipelineInputAssemblyStateCreateInfo (j)) pInputAssemblyState pTessellationState <- peek @(Ptr (PipelineTessellationStateCreateInfo _)) ((p `plusPtr` 48 :: Ptr (Ptr (PipelineTessellationStateCreateInfo _)))) pTessellationState' <- maybePeek (\j -> peekSomeCStruct (forgetExtensions (j))) pTessellationState pViewportState <- peek @(Ptr (PipelineViewportStateCreateInfo _)) ((p `plusPtr` 56 :: Ptr (Ptr (PipelineViewportStateCreateInfo _)))) pViewportState' <- maybePeek (\j -> peekSomeCStruct (forgetExtensions (j))) pViewportState pRasterizationState <- peek @(Ptr (PipelineRasterizationStateCreateInfo _)) ((p `plusPtr` 64 :: Ptr (Ptr (PipelineRasterizationStateCreateInfo _)))) pRasterizationState' <- maybePeek (\j -> peekSomeCStruct (forgetExtensions (j))) pRasterizationState pMultisampleState <- peek @(Ptr (PipelineMultisampleStateCreateInfo _)) ((p `plusPtr` 72 :: Ptr (Ptr (PipelineMultisampleStateCreateInfo _)))) pMultisampleState' <- maybePeek (\j -> peekSomeCStruct (forgetExtensions (j))) pMultisampleState pDepthStencilState <- peek @(Ptr PipelineDepthStencilStateCreateInfo) ((p `plusPtr` 80 :: Ptr (Ptr PipelineDepthStencilStateCreateInfo))) pDepthStencilState' <- maybePeek (\j -> peekCStruct @PipelineDepthStencilStateCreateInfo (j)) pDepthStencilState pColorBlendState <- peek @(Ptr (PipelineColorBlendStateCreateInfo _)) ((p `plusPtr` 88 :: Ptr (Ptr (PipelineColorBlendStateCreateInfo _)))) pColorBlendState' <- maybePeek (\j -> peekSomeCStruct (forgetExtensions (j))) pColorBlendState pDynamicState <- peek @(Ptr PipelineDynamicStateCreateInfo) ((p `plusPtr` 96 :: Ptr (Ptr PipelineDynamicStateCreateInfo))) pDynamicState' <- maybePeek (\j -> peekCStruct @PipelineDynamicStateCreateInfo (j)) pDynamicState layout <- peek @PipelineLayout ((p `plusPtr` 104 :: Ptr PipelineLayout)) renderPass <- peek @RenderPass ((p `plusPtr` 112 :: Ptr RenderPass)) subpass <- peek @Word32 ((p `plusPtr` 120 :: Ptr Word32)) basePipelineHandle <- peek @Pipeline ((p `plusPtr` 128 :: Ptr Pipeline)) basePipelineIndex <- peek @Int32 ((p `plusPtr` 136 :: Ptr Int32)) pure $ GraphicsPipelineCreateInfo next flags stageCount pStages' pVertexInputState' pInputAssemblyState' pTessellationState' pViewportState' pRasterizationState' pMultisampleState' pDepthStencilState' pColorBlendState' pDynamicState' layout renderPass subpass basePipelineHandle basePipelineIndex instance es ~ '[] => Zero (GraphicsPipelineCreateInfo es) where zero = GraphicsPipelineCreateInfo () zero zero mempty Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing zero zero zero zero zero