content: {-# language CPP #-}
  -- | = Name
  --
  -- VK_NV_shader_sm_builtins - device extension
  --
  -- == VK_NV_shader_sm_builtins
  --
  -- [__Name String__]
  --     @VK_NV_shader_sm_builtins@
  --
  -- [__Extension Type__]
  --     Device extension
  --
  -- [__Registered Extension Number__]
  --     155
  --
  -- [__Revision__]
  --     1
  --
  -- [__Ratification Status__]
  --     Not ratified
  --
  -- [__Extension and Version Dependencies__]
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#versions-1.1 Version 1.1>
  --
  -- [__SPIR-V Dependencies__]
  --
  --     -   <https://htmlpreview.github.io/?https://github.com/KhronosGroup/SPIRV-Registry/blob/master/extensions/NV/SPV_NV_shader_sm_builtins.html SPV_NV_shader_sm_builtins>
  --
  -- [__Contact__]
  --
  --     -   Daniel Koch
  --         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_NV_shader_sm_builtins] @dgkoch%0A*Here describe the issue or question you have about the VK_NV_shader_sm_builtins extension* >
  --
  -- == Other Extension Metadata
  --
  -- [__Last Modified Date__]
  --     2019-05-28
  --
  -- [__Interactions and External Dependencies__]
  --
  --     -   This extension provides API support for
  --         <https://github.com/KhronosGroup/GLSL/blob/master/extensions/nv/GLSL_NV_shader_sm_builtins.txt GL_NV_shader_sm_builtins>
  --
  -- [__Contributors__]
  --
  --     -   Jeff Bolz, NVIDIA
  --
  --     -   Eric Werness, NVIDIA
  --
  -- == Description
  --
  -- This extension provides the ability to determine device-specific
  -- properties on NVIDIA GPUs. It provides the number of streaming
  -- multiprocessors (SMs), the maximum number of warps (subgroups) that can
  -- run on an SM, and shader builtins to enable invocations to identify
  -- which SM and warp a shader invocation is executing on.
  --
  -- This extension enables support for the SPIR-V @ShaderSMBuiltinsNV@
  -- capability.
  --
  -- These properties and built-ins /should/ typically only be used for
  -- debugging purposes.
  --
  -- == New Structures
  --
  -- -   Extending
  --     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2',
  --     'Vulkan.Core10.Device.DeviceCreateInfo':
  --
  --     -   'PhysicalDeviceShaderSMBuiltinsFeaturesNV'
  --
  -- -   Extending
  --     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceProperties2':
  --
  --     -   'PhysicalDeviceShaderSMBuiltinsPropertiesNV'
  --
  -- == New Enum Constants
  --
  -- -   'NV_SHADER_SM_BUILTINS_EXTENSION_NAME'
  --
  -- -   'NV_SHADER_SM_BUILTINS_SPEC_VERSION'
  --
  -- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_SM_BUILTINS_FEATURES_NV'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_SM_BUILTINS_PROPERTIES_NV'
  --
  -- == New or Modified Built-In Variables
  --
  -- -   <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#interfaces-builtin-variables-warpspersmnv WarpsPerSMNV>
  --
  -- -   <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#interfaces-builtin-variables-smcountnv SMCountNV>
  --
  -- -   <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#interfaces-builtin-variables-warpidnv WarpIDNV>
  --
  -- -   <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#interfaces-builtin-variables-smidnv SMIDNV>
  --
  -- == New SPIR-V Capabilities
  --
  -- -   <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#spirvenv-capabilities-table-ShaderSMBuiltinsNV ShaderSMBuiltinsNV>
  --
  -- == Issues
  --
  -- 1.  What should we call this extension?
  --
  --     __RESOLVED__: @NV_shader_sm_builtins@. Other options considered
  --     included:
  --
  --     -   @NV_shader_smid@ - but SMID is really easy to typo\/confuse as
  --         SIMD.
  --
  --     -   @NV_shader_sm_info@ - but __Info__ is typically reserved for
  --         input structures
  --
  -- == Version History
  --
  -- -   Revision 1, 2019-05-28 (Daniel Koch)
  --
  --     -   Internal revisions
  --
  -- == See Also
  --
  -- 'PhysicalDeviceShaderSMBuiltinsFeaturesNV',
  -- 'PhysicalDeviceShaderSMBuiltinsPropertiesNV'
  --
  -- == Document Notes
  --
  -- For more information, see the
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#VK_NV_shader_sm_builtins Vulkan Specification>
  --
  -- This page is a generated document. Fixes and changes should be made to
  -- the generator scripts, not directly.
  module Vulkan.Extensions.VK_NV_shader_sm_builtins  ( PhysicalDeviceShaderSMBuiltinsPropertiesNV(..)
                                                     , PhysicalDeviceShaderSMBuiltinsFeaturesNV(..)
                                                     , NV_SHADER_SM_BUILTINS_SPEC_VERSION
                                                     , pattern NV_SHADER_SM_BUILTINS_SPEC_VERSION
                                                     , NV_SHADER_SM_BUILTINS_EXTENSION_NAME
                                                     , pattern NV_SHADER_SM_BUILTINS_EXTENSION_NAME
                                                     ) where
  
  import Foreign.Marshal.Alloc (allocaBytes)
  import Foreign.Ptr (nullPtr)
  import Foreign.Ptr (plusPtr)
  import Vulkan.CStruct (FromCStruct)
  import Vulkan.CStruct (FromCStruct(..))
  import Vulkan.CStruct (ToCStruct)
  import Vulkan.CStruct (ToCStruct(..))
  import Vulkan.Zero (Zero(..))
  import Data.String (IsString)
  import Data.Typeable (Typeable)
  import Foreign.Storable (Storable)
  import Foreign.Storable (Storable(peek))
  import Foreign.Storable (Storable(poke))
  import qualified Foreign.Storable (Storable(..))
  import GHC.Generics (Generic)
  import Foreign.Ptr (Ptr)
  import Data.Word (Word32)
  import Data.Kind (Type)
  import Vulkan.Core10.FundamentalTypes (bool32ToBool)
  import Vulkan.Core10.FundamentalTypes (boolToBool32)
  import Vulkan.Core10.FundamentalTypes (Bool32)
  import Vulkan.Core10.Enums.StructureType (StructureType)
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_SM_BUILTINS_FEATURES_NV))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_SM_BUILTINS_PROPERTIES_NV))
  -- | VkPhysicalDeviceShaderSMBuiltinsPropertiesNV - Structure describing
  -- shader SM Builtins properties supported by an implementation
  --
  -- = Description
  --
  -- If the 'PhysicalDeviceShaderSMBuiltinsPropertiesNV' structure is
  -- included in the @pNext@ chain of the
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceProperties2'
  -- structure passed to
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceProperties2',
  -- it is filled in with each corresponding implementation-dependent
  -- property.
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_shader_sm_builtins VK_NV_shader_sm_builtins>,
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data PhysicalDeviceShaderSMBuiltinsPropertiesNV = PhysicalDeviceShaderSMBuiltinsPropertiesNV
    { -- | #limits-shaderSMCount# @shaderSMCount@ is the number of SMs on the
      -- device.
      shaderSMCount :: Word32
    , -- | #limits-shaderWarpsPerSM# @shaderWarpsPerSM@ is the maximum number of
      -- simultaneously executing warps on an SM.
      shaderWarpsPerSM :: Word32
    }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (PhysicalDeviceShaderSMBuiltinsPropertiesNV)
  #endif
  deriving instance Show PhysicalDeviceShaderSMBuiltinsPropertiesNV
  
  instance ToCStruct PhysicalDeviceShaderSMBuiltinsPropertiesNV where
    withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p PhysicalDeviceShaderSMBuiltinsPropertiesNV{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_SM_BUILTINS_PROPERTIES_NV)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Word32)) (shaderSMCount)
      poke ((p `plusPtr` 20 :: Ptr Word32)) (shaderWarpsPerSM)
      f
    cStructSize = 24
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_SM_BUILTINS_PROPERTIES_NV)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Word32)) (zero)
      poke ((p `plusPtr` 20 :: Ptr Word32)) (zero)
      f
  
  instance FromCStruct PhysicalDeviceShaderSMBuiltinsPropertiesNV where
    peekCStruct p = do
      shaderSMCount <- peek @Word32 ((p `plusPtr` 16 :: Ptr Word32))
      shaderWarpsPerSM <- peek @Word32 ((p `plusPtr` 20 :: Ptr Word32))
      pure $ PhysicalDeviceShaderSMBuiltinsPropertiesNV
               shaderSMCount shaderWarpsPerSM
  
  instance Storable PhysicalDeviceShaderSMBuiltinsPropertiesNV where
    sizeOf ~_ = 24
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero PhysicalDeviceShaderSMBuiltinsPropertiesNV where
    zero = PhysicalDeviceShaderSMBuiltinsPropertiesNV
             zero
             zero
  
  
  -- | VkPhysicalDeviceShaderSMBuiltinsFeaturesNV - Structure describing the
  -- shader SM Builtins features that can be supported by an implementation
  --
  -- = Members
  --
  -- This structure describes the following feature:
  --
  -- = Description
  --
  -- If the 'PhysicalDeviceShaderSMBuiltinsFeaturesNV' structure is included
  -- in the @pNext@ chain of the
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2'
  -- structure passed to
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceFeatures2',
  -- it is filled in to indicate whether each corresponding feature is
  -- supported. 'PhysicalDeviceShaderSMBuiltinsFeaturesNV' /can/ also be used
  -- in the @pNext@ chain of 'Vulkan.Core10.Device.DeviceCreateInfo' to
  -- selectively enable these features.
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_shader_sm_builtins VK_NV_shader_sm_builtins>,
  -- 'Vulkan.Core10.FundamentalTypes.Bool32',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data PhysicalDeviceShaderSMBuiltinsFeaturesNV = PhysicalDeviceShaderSMBuiltinsFeaturesNV
    { -- | #features-shaderSMBuiltins# @shaderSMBuiltins@ indicates whether the
      -- implementation supports the SPIR-V @ShaderSMBuiltinsNV@ capability.
      shaderSMBuiltins :: Bool }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (PhysicalDeviceShaderSMBuiltinsFeaturesNV)
  #endif
  deriving instance Show PhysicalDeviceShaderSMBuiltinsFeaturesNV
  
  instance ToCStruct PhysicalDeviceShaderSMBuiltinsFeaturesNV where
    withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p PhysicalDeviceShaderSMBuiltinsFeaturesNV{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_SM_BUILTINS_FEATURES_NV)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Bool32)) (boolToBool32 (shaderSMBuiltins))
      f
    cStructSize = 24
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_SM_BUILTINS_FEATURES_NV)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Bool32)) (boolToBool32 (zero))
      f
  
  instance FromCStruct PhysicalDeviceShaderSMBuiltinsFeaturesNV where
    peekCStruct p = do
      shaderSMBuiltins <- peek @Bool32 ((p `plusPtr` 16 :: Ptr Bool32))
      pure $ PhysicalDeviceShaderSMBuiltinsFeaturesNV
               (bool32ToBool shaderSMBuiltins)
  
  instance Storable PhysicalDeviceShaderSMBuiltinsFeaturesNV where
    sizeOf ~_ = 24
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero PhysicalDeviceShaderSMBuiltinsFeaturesNV where
    zero = PhysicalDeviceShaderSMBuiltinsFeaturesNV
             zero
  
  
  type NV_SHADER_SM_BUILTINS_SPEC_VERSION = 1
  
  -- No documentation found for TopLevel "VK_NV_SHADER_SM_BUILTINS_SPEC_VERSION"
  pattern NV_SHADER_SM_BUILTINS_SPEC_VERSION :: forall a . Integral a => a
  pattern NV_SHADER_SM_BUILTINS_SPEC_VERSION = 1
  
  
  type NV_SHADER_SM_BUILTINS_EXTENSION_NAME = "VK_NV_shader_sm_builtins"
  
  -- No documentation found for TopLevel "VK_NV_SHADER_SM_BUILTINS_EXTENSION_NAME"
  pattern NV_SHADER_SM_BUILTINS_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
  pattern NV_SHADER_SM_BUILTINS_EXTENSION_NAME = "VK_NV_shader_sm_builtins"
  
  