Vulkan.Extensions.VK_EXT_pipeline_robustness

Name

VK_EXT_pipeline_robustness - device extension

VK_EXT_pipeline_robustness

Name String

VK_EXT_pipeline_robustness

Extension Type

Device extension

Registered Extension Number

69

Revision

1

Extension and Version Dependencies

• Requires support for Vulkan 1.0
• Requires VK_KHR_get_physical_device_properties2 to be enabled for any device-level functionality

Contact

• Jarred Davies

Other Extension Metadata

Last Modified Date

2022-07-12

Interactions and External Dependencies

• Interacts with VK_EXT_robustness2
• Interacts with VK_EXT_image_robustness
• Interacts with VK_KHR_ray_tracing_pipeline

Contributors

• Jarred Davies, Imagination Technologies
• Alex Walters, Imagination Technologies
• Piers Daniell, NVIDIA
• Graeme Leese, Broadcom Corporation
• Jeff Leger, Qualcomm Technologies, Inc.
• Jason Ekstrand, Intel
• Lionel Landwerlin, Intel
• Shahbaz Youssefi, Google, Inc.

Description

VK_EXT_pipeline_robustness allows users to request robustness on a per-pipeline stage basis.

As robustBufferAccess and other robustness features may have an adverse effect on performance, this extension is designed to allow users to request robust behavior only where it may be needed.

New Structures

• Extending GraphicsPipelineCreateInfo, ComputePipelineCreateInfo, PipelineShaderStageCreateInfo, RayTracingPipelineCreateInfoKHR:

  • PipelineRobustnessCreateInfoEXT

• Extending PhysicalDeviceFeatures2, DeviceCreateInfo:

  • PhysicalDevicePipelineRobustnessFeaturesEXT

• Extending PhysicalDeviceProperties2:

  • PhysicalDevicePipelineRobustnessPropertiesEXT

New Enums

• PipelineRobustnessBufferBehaviorEXT

• PipelineRobustnessImageBehaviorEXT

New Enum Constants

• EXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME

• EXT_PIPELINE_ROBUSTNESS_SPEC_VERSION

• Extending StructureType:

  • STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_ROBUSTNESS_FEATURES_EXT
  • STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_ROBUSTNESS_PROPERTIES_EXT
  • STRUCTURE_TYPE_PIPELINE_ROBUSTNESS_CREATE_INFO_EXT

Version History

• Revision 1, 2022-07-12 (Jarred Davies)

  • Initial version

See Also

PhysicalDevicePipelineRobustnessFeaturesEXT, PhysicalDevicePipelineRobustnessPropertiesEXT, PipelineRobustnessBufferBehaviorEXT, PipelineRobustnessCreateInfoEXT, PipelineRobustnessImageBehaviorEXT

Document Notes

For more information, see the Vulkan Specification

This page is a generated document. Fixes and changes should be made to the generator scripts, not directly.

Documentation

data PhysicalDevicePipelineRobustnessFeaturesEXT

VkPhysicalDevicePipelineRobustnessFeaturesEXT - Structure describing whether an implementation supports robustness requests on a per-pipeline stage granularity

Members

This structure describes the following feature:

Description

Note

Enabling pipelineRobustness may, on some platforms, incur a minor performance cost when robustBufferAccess is disabled, even for pipelines which do not make use of any robustness features. If robustness is not needed, pipelineRobustness should not be enabled by an application.

If the PhysicalDevicePipelineRobustnessFeaturesEXT structure is included in the pNext chain of the PhysicalDeviceFeatures2 structure passed to getPhysicalDeviceFeatures2, it is filled in to indicate whether each corresponding feature is supported. PhysicalDevicePipelineRobustnessFeaturesEXT can also be used in the pNext chain of DeviceCreateInfo to selectively enable these features.

Valid Usage (Implicit)

See Also

VK_EXT_pipeline_robustness, Bool32, StructureType

Constructors

PhysicalDevicePipelineRobustnessFeaturesEXT

Fields

• pipelineRobustness :: Bool

  pipelineRobustness indicates that robustness can be requested on a per-pipeline-stage granularity.

Instances

Eq PhysicalDevicePipelineRobustnessFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

(==) :: PhysicalDevicePipelineRobustnessFeaturesEXT -> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool

(/=) :: PhysicalDevicePipelineRobustnessFeaturesEXT -> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool

Show PhysicalDevicePipelineRobustnessFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

showsPrec :: Int -> PhysicalDevicePipelineRobustnessFeaturesEXT -> ShowS

show :: PhysicalDevicePipelineRobustnessFeaturesEXT -> String

showList :: [PhysicalDevicePipelineRobustnessFeaturesEXT] -> ShowS

Storable PhysicalDevicePipelineRobustnessFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

sizeOf :: PhysicalDevicePipelineRobustnessFeaturesEXT -> Int

alignment :: PhysicalDevicePipelineRobustnessFeaturesEXT -> Int

peekElemOff :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> Int -> IO PhysicalDevicePipelineRobustnessFeaturesEXT

pokeElemOff :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> Int -> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO ()

peekByteOff :: Ptr b -> Int -> IO PhysicalDevicePipelineRobustnessFeaturesEXT

pokeByteOff :: Ptr b -> Int -> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO ()

peek :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO PhysicalDevicePipelineRobustnessFeaturesEXT

poke :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO ()

FromCStruct PhysicalDevicePipelineRobustnessFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

peekCStruct :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO PhysicalDevicePipelineRobustnessFeaturesEXT

ToCStruct PhysicalDevicePipelineRobustnessFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

withCStruct :: PhysicalDevicePipelineRobustnessFeaturesEXT -> (Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b) -> IO b

pokeCStruct :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b -> IO b

withZeroCStruct :: (Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b) -> IO b

pokeZeroCStruct :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PhysicalDevicePipelineRobustnessFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

zero :: PhysicalDevicePipelineRobustnessFeaturesEXT

data PipelineRobustnessCreateInfoEXT

VkPipelineRobustnessCreateInfoEXT - Structure controlling the robustness of a newly created pipeline shader stage

Description

Resources bound as DESCRIPTOR_TYPE_MUTABLE_VALVE will have the robustness behavior that covers its active descriptor type.

The scope of the effect of PipelineRobustnessCreateInfoEXT depends on which structure’s pNext chain it is included in.

• GraphicsPipelineCreateInfo, RayTracingPipelineCreateInfoKHR, ComputePipelineCreateInfo: The robustness behavior described by PipelineRobustnessCreateInfoEXT applies to all accesses through this pipeline
• PipelineShaderStageCreateInfo: The robustness behavior described by PipelineRobustnessCreateInfoEXT applies to all accesses emanating from the shader code of this shader stage

If PipelineRobustnessCreateInfoEXT is specified for both a pipeline and a pipeline stage, the PipelineRobustnessCreateInfoEXT specified for the pipeline stage will take precedence.

Valid Usage

• If the pipelineRobustness feature is not enabled, storageBuffers must be PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT

• If the pipelineRobustness feature is not enabled, uniformBuffers must be PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT
• If the pipelineRobustness feature is not enabled, vertexInputs must be PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT
• If the pipelineRobustness feature is not enabled, images must be PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT
• If the robustImageAccess feature is not supported, images must not be PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT
• If the robustBufferAccess2 feature is not supported, storageBuffers must not be PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT
• If the robustBufferAccess2 feature is not supported, uniformBuffers must not be PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT
• If the robustBufferAccess2 feature is not supported, vertexInputs must not be PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT
• If the robustImageAccess2 feature is not supported, images must not be PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT

Valid Usage (Implicit)

• sType must be STRUCTURE_TYPE_PIPELINE_ROBUSTNESS_CREATE_INFO_EXT

• storageBuffers must be a valid PipelineRobustnessBufferBehaviorEXT value
• uniformBuffers must be a valid PipelineRobustnessBufferBehaviorEXT value
• vertexInputs must be a valid PipelineRobustnessBufferBehaviorEXT value
• images must be a valid PipelineRobustnessImageBehaviorEXT value

See Also

VK_EXT_pipeline_robustness, PipelineRobustnessBufferBehaviorEXT, PipelineRobustnessImageBehaviorEXT, StructureType

Constructors

PipelineRobustnessCreateInfoEXT

Fields

• storageBuffers :: PipelineRobustnessBufferBehaviorEXT

  storageBuffers sets the behaviour of out of bounds accesses made to resources bound as:

  • DESCRIPTOR_TYPE_STORAGE_BUFFER
  • DESCRIPTOR_TYPE_STORAGE_TEXEL_BUFFER
  • DESCRIPTOR_TYPE_STORAGE_BUFFER_DYNAMIC
• uniformBuffers :: PipelineRobustnessBufferBehaviorEXT

  uniformBuffers describes the behaviour of out of bounds accesses made to resources bound as:

  • DESCRIPTOR_TYPE_UNIFORM_TEXEL_BUFFER
  • DESCRIPTOR_TYPE_UNIFORM_BUFFER
  • DESCRIPTOR_TYPE_UNIFORM_BUFFER_DYNAMIC
  • DESCRIPTOR_TYPE_INLINE_UNIFORM_BLOCK
• vertexInputs :: PipelineRobustnessBufferBehaviorEXT

  vertexInputs describes the behaviour of out of bounds accesses made to vertex input attributes

• images :: PipelineRobustnessImageBehaviorEXT

  images describes the behaviour of out of bounds accesses made to resources bound as:

  • DESCRIPTOR_TYPE_SAMPLED_IMAGE
  • DESCRIPTOR_TYPE_STORAGE_IMAGE

Instances

Eq PipelineRobustnessCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

(==) :: PipelineRobustnessCreateInfoEXT -> PipelineRobustnessCreateInfoEXT -> Bool

(/=) :: PipelineRobustnessCreateInfoEXT -> PipelineRobustnessCreateInfoEXT -> Bool

Show PipelineRobustnessCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

showsPrec :: Int -> PipelineRobustnessCreateInfoEXT -> ShowS

show :: PipelineRobustnessCreateInfoEXT -> String

showList :: [PipelineRobustnessCreateInfoEXT] -> ShowS

Storable PipelineRobustnessCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

sizeOf :: PipelineRobustnessCreateInfoEXT -> Int

alignment :: PipelineRobustnessCreateInfoEXT -> Int

peekElemOff :: Ptr PipelineRobustnessCreateInfoEXT -> Int -> IO PipelineRobustnessCreateInfoEXT

pokeElemOff :: Ptr PipelineRobustnessCreateInfoEXT -> Int -> PipelineRobustnessCreateInfoEXT -> IO ()

peekByteOff :: Ptr b -> Int -> IO PipelineRobustnessCreateInfoEXT

pokeByteOff :: Ptr b -> Int -> PipelineRobustnessCreateInfoEXT -> IO ()

peek :: Ptr PipelineRobustnessCreateInfoEXT -> IO PipelineRobustnessCreateInfoEXT

poke :: Ptr PipelineRobustnessCreateInfoEXT -> PipelineRobustnessCreateInfoEXT -> IO ()

FromCStruct PipelineRobustnessCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

peekCStruct :: Ptr PipelineRobustnessCreateInfoEXT -> IO PipelineRobustnessCreateInfoEXT

ToCStruct PipelineRobustnessCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

withCStruct :: PipelineRobustnessCreateInfoEXT -> (Ptr PipelineRobustnessCreateInfoEXT -> IO b) -> IO b

pokeCStruct :: Ptr PipelineRobustnessCreateInfoEXT -> PipelineRobustnessCreateInfoEXT -> IO b -> IO b

withZeroCStruct :: (Ptr PipelineRobustnessCreateInfoEXT -> IO b) -> IO b

pokeZeroCStruct :: Ptr PipelineRobustnessCreateInfoEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PipelineRobustnessCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

zero :: PipelineRobustnessCreateInfoEXT

data PhysicalDevicePipelineRobustnessPropertiesEXT

VkPhysicalDevicePipelineRobustnessPropertiesEXT - Structure describing the default robustness behavior of a physical device

Description

Some implementations of Vulkan may be able to guarantee that certain types of accesses are always performed with robustness even when the Vulkan API’s robustness features are not explicitly enabled.

Even when an implementation reports that accesses to a given resource type are robust by default, it remains invalid to make an out of bounds access without requesting the appropriate robustness feature.

If the PhysicalDevicePipelineRobustnessPropertiesEXT structure is included in the pNext chain of the PhysicalDeviceProperties2 structure passed to getPhysicalDeviceProperties2, it is filled in with each corresponding implementation-dependent property.

Valid Usage (Implicit)

See Also

VK_EXT_pipeline_robustness, PipelineRobustnessBufferBehaviorEXT, PipelineRobustnessImageBehaviorEXT, StructureType

Constructors

PhysicalDevicePipelineRobustnessPropertiesEXT

Fields

• defaultRobustnessStorageBuffers :: PipelineRobustnessBufferBehaviorEXT

  defaultRobustnessStorageBuffers describes the behaviour of out of bounds accesses made to storage buffers when no robustness features are enabled

• defaultRobustnessUniformBuffers :: PipelineRobustnessBufferBehaviorEXT

  defaultRobustnessUniformBuffers describes the behaviour of out of bounds accesses made to uniform buffers when no robustness features are enabled

• defaultRobustnessVertexInputs :: PipelineRobustnessBufferBehaviorEXT

  defaultRobustnessVertexInputs describes the behaviour of out of bounds accesses made to vertex input attributes when no robustness features are enabled

• defaultRobustnessImages :: PipelineRobustnessImageBehaviorEXT

  defaultRobustnessImages describes the behaviour of out of bounds accesses made to images when no robustness features are enabled

Instances

Eq PhysicalDevicePipelineRobustnessPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

(==) :: PhysicalDevicePipelineRobustnessPropertiesEXT -> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool

(/=) :: PhysicalDevicePipelineRobustnessPropertiesEXT -> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool

Show PhysicalDevicePipelineRobustnessPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

showsPrec :: Int -> PhysicalDevicePipelineRobustnessPropertiesEXT -> ShowS

show :: PhysicalDevicePipelineRobustnessPropertiesEXT -> String

showList :: [PhysicalDevicePipelineRobustnessPropertiesEXT] -> ShowS

Storable PhysicalDevicePipelineRobustnessPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

sizeOf :: PhysicalDevicePipelineRobustnessPropertiesEXT -> Int

alignment :: PhysicalDevicePipelineRobustnessPropertiesEXT -> Int

peekElemOff :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> Int -> IO PhysicalDevicePipelineRobustnessPropertiesEXT

pokeElemOff :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> Int -> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO ()

peekByteOff :: Ptr b -> Int -> IO PhysicalDevicePipelineRobustnessPropertiesEXT

pokeByteOff :: Ptr b -> Int -> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO ()

peek :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO PhysicalDevicePipelineRobustnessPropertiesEXT

poke :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO ()

FromCStruct PhysicalDevicePipelineRobustnessPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

peekCStruct :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO PhysicalDevicePipelineRobustnessPropertiesEXT

ToCStruct PhysicalDevicePipelineRobustnessPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

withCStruct :: PhysicalDevicePipelineRobustnessPropertiesEXT -> (Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b) -> IO b

pokeCStruct :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b -> IO b

withZeroCStruct :: (Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b) -> IO b

pokeZeroCStruct :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PhysicalDevicePipelineRobustnessPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

zero :: PhysicalDevicePipelineRobustnessPropertiesEXT

newtype PipelineRobustnessBufferBehaviorEXT

VkPipelineRobustnessBufferBehaviorEXT - Enum controlling the robustness of buffer accesses in a pipeline stage

See Also

VK_EXT_pipeline_robustness, PhysicalDevicePipelineRobustnessPropertiesEXT, PipelineRobustnessCreateInfoEXT

Constructors

PipelineRobustnessBufferBehaviorEXT Int32

Bundled Patterns

pattern PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT :: PipelineRobustnessBufferBehaviorEXT

PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT specifies that this pipeline stage follows the robustness behavior of the logical device that created this pipeline

pattern PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED_EXT :: PipelineRobustnessBufferBehaviorEXT

PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED_EXT specifies that buffer accesses by this pipeline stage to the relevant resource types must not be out of bounds

pattern PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_EXT :: PipelineRobustnessBufferBehaviorEXT

PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_EXT specifies that out of bounds accesses by this pipeline stage to the relevant resource types behave as if the robustBufferAccess feature is enabled

pattern PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT :: PipelineRobustnessBufferBehaviorEXT

PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT specifies that out of bounds accesses by this pipeline stage to the relevant resource types behave as if the robustBufferAccess2 feature is enabled

Instances

Eq PipelineRobustnessBufferBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

(==) :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> Bool

(/=) :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> Bool

Ord PipelineRobustnessBufferBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

compare :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> Ordering

(<) :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> Bool

(<=) :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> Bool

(>) :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> Bool

(>=) :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> Bool

max :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT

min :: PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT

Read PipelineRobustnessBufferBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

readsPrec :: Int -> ReadS PipelineRobustnessBufferBehaviorEXT

readList :: ReadS [PipelineRobustnessBufferBehaviorEXT]

readPrec :: ReadPrec PipelineRobustnessBufferBehaviorEXT

readListPrec :: ReadPrec [PipelineRobustnessBufferBehaviorEXT]

Show PipelineRobustnessBufferBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

showsPrec :: Int -> PipelineRobustnessBufferBehaviorEXT -> ShowS

show :: PipelineRobustnessBufferBehaviorEXT -> String

showList :: [PipelineRobustnessBufferBehaviorEXT] -> ShowS

Storable PipelineRobustnessBufferBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

sizeOf :: PipelineRobustnessBufferBehaviorEXT -> Int

alignment :: PipelineRobustnessBufferBehaviorEXT -> Int

peekElemOff :: Ptr PipelineRobustnessBufferBehaviorEXT -> Int -> IO PipelineRobustnessBufferBehaviorEXT

pokeElemOff :: Ptr PipelineRobustnessBufferBehaviorEXT -> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ()

peekByteOff :: Ptr b -> Int -> IO PipelineRobustnessBufferBehaviorEXT

pokeByteOff :: Ptr b -> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ()

peek :: Ptr PipelineRobustnessBufferBehaviorEXT -> IO PipelineRobustnessBufferBehaviorEXT

poke :: Ptr PipelineRobustnessBufferBehaviorEXT -> PipelineRobustnessBufferBehaviorEXT -> IO ()

Zero PipelineRobustnessBufferBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

zero :: PipelineRobustnessBufferBehaviorEXT

newtype PipelineRobustnessImageBehaviorEXT

VkPipelineRobustnessImageBehaviorEXT - Enum controlling the robustness of image accesses in a pipeline stage

See Also

VK_EXT_pipeline_robustness, PhysicalDevicePipelineRobustnessPropertiesEXT, PipelineRobustnessCreateInfoEXT

Constructors

PipelineRobustnessImageBehaviorEXT Int32

Bundled Patterns

pattern PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT :: PipelineRobustnessImageBehaviorEXT

PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT specifies that this pipeline stage follows the robustness behavior of the logical device that created this pipeline

pattern PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DISABLED_EXT :: PipelineRobustnessImageBehaviorEXT

PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DISABLED_EXT specifies that image accesses by this pipeline stage to the relevant resource types must not be out of bounds

pattern PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT :: PipelineRobustnessImageBehaviorEXT

PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT specifies that out of bounds accesses by this pipeline stage to images behave as if the robustImageAccess feature is enabled

pattern PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT :: PipelineRobustnessImageBehaviorEXT

PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT specifies that out of bounds accesses by this pipeline stage to images behave as if the robustImageAccess2 feature is enabled

Instances

Eq PipelineRobustnessImageBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

(==) :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> Bool

(/=) :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> Bool

Ord PipelineRobustnessImageBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

compare :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> Ordering

(<) :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> Bool

(<=) :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> Bool

(>) :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> Bool

(>=) :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> Bool

max :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT

min :: PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT

Read PipelineRobustnessImageBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

readsPrec :: Int -> ReadS PipelineRobustnessImageBehaviorEXT

readList :: ReadS [PipelineRobustnessImageBehaviorEXT]

readPrec :: ReadPrec PipelineRobustnessImageBehaviorEXT

readListPrec :: ReadPrec [PipelineRobustnessImageBehaviorEXT]

Show PipelineRobustnessImageBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

showsPrec :: Int -> PipelineRobustnessImageBehaviorEXT -> ShowS

show :: PipelineRobustnessImageBehaviorEXT -> String

showList :: [PipelineRobustnessImageBehaviorEXT] -> ShowS

Storable PipelineRobustnessImageBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

sizeOf :: PipelineRobustnessImageBehaviorEXT -> Int

alignment :: PipelineRobustnessImageBehaviorEXT -> Int

peekElemOff :: Ptr PipelineRobustnessImageBehaviorEXT -> Int -> IO PipelineRobustnessImageBehaviorEXT

pokeElemOff :: Ptr PipelineRobustnessImageBehaviorEXT -> Int -> PipelineRobustnessImageBehaviorEXT -> IO ()

peekByteOff :: Ptr b -> Int -> IO PipelineRobustnessImageBehaviorEXT

pokeByteOff :: Ptr b -> Int -> PipelineRobustnessImageBehaviorEXT -> IO ()

peek :: Ptr PipelineRobustnessImageBehaviorEXT -> IO PipelineRobustnessImageBehaviorEXT

poke :: Ptr PipelineRobustnessImageBehaviorEXT -> PipelineRobustnessImageBehaviorEXT -> IO ()

Zero PipelineRobustnessImageBehaviorEXT

Defined in Vulkan.Extensions.VK_EXT_pipeline_robustness

Methods

zero :: PipelineRobustnessImageBehaviorEXT

type EXT_PIPELINE_ROBUSTNESS_SPEC_VERSION = 1

pattern EXT_PIPELINE_ROBUSTNESS_SPEC_VERSION :: forall a. Integral a => a

type EXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME = "VK_EXT_pipeline_robustness"

pattern EXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a