Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- getPipelineExecutablePropertiesKHR :: forall io. MonadIO io => Device -> PipelineInfoKHR -> io (Result, "properties" ::: Vector PipelineExecutablePropertiesKHR)
- getPipelineExecutableStatisticsKHR :: forall io. MonadIO io => Device -> PipelineExecutableInfoKHR -> io (Result, "statistics" ::: Vector PipelineExecutableStatisticKHR)
- getPipelineExecutableInternalRepresentationsKHR :: forall io. MonadIO io => Device -> PipelineExecutableInfoKHR -> io (Result, "internalRepresentations" ::: Vector PipelineExecutableInternalRepresentationKHR)
- data PhysicalDevicePipelineExecutablePropertiesFeaturesKHR = PhysicalDevicePipelineExecutablePropertiesFeaturesKHR {}
- data PipelineInfoKHR = PipelineInfoKHR {}
- data PipelineExecutablePropertiesKHR = PipelineExecutablePropertiesKHR {}
- data PipelineExecutableInfoKHR = PipelineExecutableInfoKHR {}
- data PipelineExecutableStatisticKHR = PipelineExecutableStatisticKHR {}
- data PipelineExecutableInternalRepresentationKHR = PipelineExecutableInternalRepresentationKHR {
- name :: ByteString
- description :: ByteString
- isText :: Bool
- dataSize :: Word64
- data' :: Ptr ()
- data PipelineExecutableStatisticValueKHR
- peekPipelineExecutableStatisticValueKHR :: PipelineExecutableStatisticFormatKHR -> Ptr PipelineExecutableStatisticValueKHR -> IO PipelineExecutableStatisticValueKHR
- newtype PipelineExecutableStatisticFormatKHR where
- PipelineExecutableStatisticFormatKHR Int32
- pattern PIPELINE_EXECUTABLE_STATISTIC_FORMAT_BOOL32_KHR :: PipelineExecutableStatisticFormatKHR
- pattern PIPELINE_EXECUTABLE_STATISTIC_FORMAT_INT64_KHR :: PipelineExecutableStatisticFormatKHR
- pattern PIPELINE_EXECUTABLE_STATISTIC_FORMAT_UINT64_KHR :: PipelineExecutableStatisticFormatKHR
- pattern PIPELINE_EXECUTABLE_STATISTIC_FORMAT_FLOAT64_KHR :: PipelineExecutableStatisticFormatKHR
- type KHR_PIPELINE_EXECUTABLE_PROPERTIES_SPEC_VERSION = 1
- pattern KHR_PIPELINE_EXECUTABLE_PROPERTIES_SPEC_VERSION :: forall a. Integral a => a
- type KHR_PIPELINE_EXECUTABLE_PROPERTIES_EXTENSION_NAME = "VK_KHR_pipeline_executable_properties"
- pattern KHR_PIPELINE_EXECUTABLE_PROPERTIES_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
Documentation
getPipelineExecutablePropertiesKHR :: forall io. MonadIO io => Device -> PipelineInfoKHR -> io (Result, "properties" ::: Vector PipelineExecutablePropertiesKHR) Source #
vkGetPipelineExecutablePropertiesKHR - Get the executables associated with a pipeline
Parameters
device
is the device that created the pipeline.
pPipelineInfo
describes the pipeline being queried.pExecutableCount
is a pointer to an integer related to the number of pipeline executables available or queried, as described below.pProperties
is eitherNULL
or a pointer to an array ofPipelineExecutablePropertiesKHR
structures.
Description
If pProperties
is NULL
, then the number of executables associated
with the pipeline is returned in pExecutableCount
. Otherwise,
pExecutableCount
must point to a variable set by the user to the
number of elements in the pProperties
array, and on return the
variable is overwritten with the number of structures actually written
to pProperties
. If pExecutableCount
is less than the number of
executables associated with the pipeline, at most pExecutableCount
structures will be written and getPipelineExecutablePropertiesKHR
will
return INCOMPLETE
.
Valid Usage
- pipelineExecutableInfo must be enabled.
pipeline
member ofpPipelineInfo
must have been created withdevice
.
Valid Usage (Implicit)
device
must be a validDevice
handle
pPipelineInfo
must be a valid pointer to a validPipelineInfoKHR
structurepExecutableCount
must be a valid pointer to auint32_t
value- If the value referenced by
pExecutableCount
is not0
, andpProperties
is notNULL
,pProperties
must be a valid pointer to an array ofpExecutableCount
PipelineExecutablePropertiesKHR
structures
Return Codes
See Also
getPipelineExecutableStatisticsKHR :: forall io. MonadIO io => Device -> PipelineExecutableInfoKHR -> io (Result, "statistics" ::: Vector PipelineExecutableStatisticKHR) Source #
vkGetPipelineExecutableStatisticsKHR - Get compile time statistics associated with a pipeline executable
Parameters
device
is the device that created the pipeline.
pExecutableInfo
describes the pipeline executable being queried.pStatisticCount
is a pointer to an integer related to the number of statistics available or queried, as described below.pStatistics
is eitherNULL
or a pointer to an array ofPipelineExecutableStatisticKHR
structures.
Description
If pStatistics
is NULL
, then the number of statistics associated
with the pipeline executable is returned in pStatisticCount
.
Otherwise, pStatisticCount
must point to a variable set by the user
to the number of elements in the pStatistics
array, and on return the
variable is overwritten with the number of structures actually written
to pStatistics
. If pStatisticCount
is less than the number of
statistics associated with the pipeline executable, at most
pStatisticCount
structures will be written and
getPipelineExecutableStatisticsKHR
will return
INCOMPLETE
.
Valid Usage
- pipelineExecutableInfo must be enabled.
pipeline
member ofpExecutableInfo
must have been created withdevice
.pipeline
member ofpExecutableInfo
must have been created withPIPELINE_CREATE_CAPTURE_STATISTICS_BIT_KHR
set in theflags
field ofGraphicsPipelineCreateInfo
orComputePipelineCreateInfo
.
Valid Usage (Implicit)
device
must be a validDevice
handle
pExecutableInfo
must be a valid pointer to a validPipelineExecutableInfoKHR
structurepStatisticCount
must be a valid pointer to auint32_t
value- If the value referenced by
pStatisticCount
is not0
, andpStatistics
is notNULL
,pStatistics
must be a valid pointer to an array ofpStatisticCount
PipelineExecutableStatisticKHR
structures
Return Codes
See Also
Device
, PipelineExecutableInfoKHR
,
PipelineExecutableStatisticKHR
getPipelineExecutableInternalRepresentationsKHR :: forall io. MonadIO io => Device -> PipelineExecutableInfoKHR -> io (Result, "internalRepresentations" ::: Vector PipelineExecutableInternalRepresentationKHR) Source #
vkGetPipelineExecutableInternalRepresentationsKHR - Get internal representations of the pipeline executable
Parameters
device
is the device that created the pipeline.
pExecutableInfo
describes the pipeline executable being queried.pInternalRepresentationCount
is a pointer to an integer related to the number of internal representations available or queried, as described below.pInternalRepresentations
is eitherNULL
or a pointer to an array ofPipelineExecutableInternalRepresentationKHR
structures.
Description
If pInternalRepresentations
is NULL
, then the number of internal
representations associated with the pipeline executable is returned in
pInternalRepresentationCount
. Otherwise,
pInternalRepresentationCount
must point to a variable set by the
user to the number of elements in the pInternalRepresentations
array,
and on return the variable is overwritten with the number of structures
actually written to pInternalRepresentations
. If
pInternalRepresentationCount
is less than the number of internal
representations associated with the pipeline executable, at most
pInternalRepresentationCount
structures will be written and
getPipelineExecutableInternalRepresentationsKHR
will return
INCOMPLETE
.
While the details of the internal representations remain implementation dependent, the implementation should order the internal representations in the order in which they occur in the compile pipeline with the final shader assembly (if any) last.
Valid Usage
- pipelineExecutableInfo must be enabled.
pipeline
member ofpExecutableInfo
must have been created withdevice
.pipeline
member ofpExecutableInfo
must have been created withPIPELINE_CREATE_CAPTURE_INTERNAL_REPRESENTATIONS_BIT_KHR
set in theflags
field ofGraphicsPipelineCreateInfo
orComputePipelineCreateInfo
.
Valid Usage (Implicit)
device
must be a validDevice
handle
pExecutableInfo
must be a valid pointer to a validPipelineExecutableInfoKHR
structurepInternalRepresentationCount
must be a valid pointer to auint32_t
value- If the value referenced by
pInternalRepresentationCount
is not0
, andpInternalRepresentations
is notNULL
,pInternalRepresentations
must be a valid pointer to an array ofpInternalRepresentationCount
PipelineExecutableInternalRepresentationKHR
structures
Return Codes
See Also
Device
, PipelineExecutableInfoKHR
,
PipelineExecutableInternalRepresentationKHR
data PhysicalDevicePipelineExecutablePropertiesFeaturesKHR Source #
VkPhysicalDevicePipelineExecutablePropertiesFeaturesKHR - Structure describing whether pipeline executable properties are available
Members
The members of the
PhysicalDevicePipelineExecutablePropertiesFeaturesKHR
structure
describe the following features:
Description
If the PhysicalDevicePipelineExecutablePropertiesFeaturesKHR
structure
is included in the pNext
chain of
PhysicalDeviceFeatures2
,
it is filled with values indicating whether the feature is supported.
PhysicalDevicePipelineExecutablePropertiesFeaturesKHR
can also be
included in the pNext
chain of
DeviceCreateInfo
to enable features.
Valid Usage (Implicit)
See Also
PhysicalDevicePipelineExecutablePropertiesFeaturesKHR | |
|
Instances
data PipelineInfoKHR Source #
VkPipelineInfoKHR - Structure describing a pipeline
Valid Usage (Implicit)
See Also
Instances
data PipelineExecutablePropertiesKHR Source #
VkPipelineExecutablePropertiesKHR - Structure describing a pipeline executable
Description
The stages
field may be zero or it may contain one or more bits
describing the stages principally used to compile this pipeline. Not all
implementations have a 1:1 mapping between shader stages and pipeline
executables and some implementations may reduce a given shader stage
to fixed function hardware programming such that no executable is
available. No guarantees are provided about the mapping between shader
stages and pipeline executables and stages
should be considered a
best effort hint. Because the application cannot rely on the stages
field to provide an exact description, name
and description
provide
a human readable name and description which more accurately describes
the given pipeline executable.
Valid Usage (Implicit)
See Also
ShaderStageFlags
,
StructureType
,
getPipelineExecutablePropertiesKHR
PipelineExecutablePropertiesKHR | |
|
Instances
data PipelineExecutableInfoKHR Source #
VkPipelineExecutableInfoKHR - Structure describing a pipeline executable to query for associated statistics or internal representations
Valid Usage (Implicit)
See Also
Pipeline
,
StructureType
,
getPipelineExecutableInternalRepresentationsKHR
,
getPipelineExecutableStatisticsKHR
PipelineExecutableInfoKHR | |
|
Instances
data PipelineExecutableStatisticKHR Source #
VkPipelineExecutableStatisticKHR - Structure describing a compile-time pipeline executable statistic
Valid Usage (Implicit)
See Also
PipelineExecutableStatisticFormatKHR
,
PipelineExecutableStatisticValueKHR
,
StructureType
,
getPipelineExecutableStatisticsKHR
PipelineExecutableStatisticKHR | |
|
Instances
data PipelineExecutableInternalRepresentationKHR Source #
VkPipelineExecutableInternalRepresentationKHR - Structure describing the textual form of a pipeline executable internal representation
Description
If pData
is NULL
, then the size, in bytes, of the internal
representation data is returned in dataSize
. Otherwise, dataSize
must be the size of the buffer, in bytes, pointed to by pData
and on
return dataSize
is overwritten with the number of bytes of data
actually written to pData
including any trailing null character. If
dataSize
is less than the size, in bytes, of the internal
representation data, at most dataSize
bytes of data will be written to
pData
and getPipelineExecutableInternalRepresentationsKHR
will
return INCOMPLETE
. If isText
is
TRUE
and pData
is not NULL
and
dataSize
is not zero, the last byte written to pData
will be a null
character.
Valid Usage (Implicit)
See Also
Bool32
,
StructureType
,
getPipelineExecutableInternalRepresentationsKHR
PipelineExecutableInternalRepresentationKHR | |
|
Instances
data PipelineExecutableStatisticValueKHR Source #
Instances
peekPipelineExecutableStatisticValueKHR :: PipelineExecutableStatisticFormatKHR -> Ptr PipelineExecutableStatisticValueKHR -> IO PipelineExecutableStatisticValueKHR Source #
newtype PipelineExecutableStatisticFormatKHR Source #
VkPipelineExecutableStatisticFormatKHR - Enum describing a pipeline executable statistic
See Also
Instances
pattern KHR_PIPELINE_EXECUTABLE_PROPERTIES_SPEC_VERSION :: forall a. Integral a => a Source #
type KHR_PIPELINE_EXECUTABLE_PROPERTIES_EXTENSION_NAME = "VK_KHR_pipeline_executable_properties" Source #
pattern KHR_PIPELINE_EXECUTABLE_PROPERTIES_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a Source #