Vulkan.Extensions.VK_EXT_robustness2

Documentation

data PhysicalDeviceRobustness2FeaturesEXT

VkPhysicalDeviceRobustness2FeaturesEXT - Structure describing the out-of-bounds behavior for an implementation

Members

The members of the PhysicalDeviceRobustness2FeaturesEXT structure describe the following features:

Description

• robustBufferAccess2 indicates whether buffer accesses are tightly bounds-checked against the range of the descriptor. Uniform buffers must be bounds-checked to the range of the descriptor, where the range is rounded up to a multiple of robustUniformBufferAccessSizeAlignment. Storage buffers must be bounds-checked to the range of the descriptor, where the range is rounded up to a multiple of robustStorageBufferAccessSizeAlignment. Out of bounds buffer loads will return zero values, and formatted loads will have (0,0,1) values inserted for missing G, B, or A components based on the format.

• robustImageAccess2 indicates whether image accesses are tightly bounds-checked against the dimensions of the image view. Out of bounds image loads will return zero values, with (0,0,1) values inserted for missing G, B, or A components based on the format.
• nullDescriptor indicates whether descriptors can be written with a NULL_HANDLE resource or view, which are considered valid to access and act as if the descriptor were bound to nothing.

If the PhysicalDeviceRobustness2FeaturesEXT structure is included in the pNext chain of PhysicalDeviceFeatures2, it is filled with values indicating whether each feature is supported.

Valid Usage

• If robustBufferAccess2 is enabled then robustBufferAccess must also be enabled

Valid Usage (Implicit)

• sType must be STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_EXT

See Also

Bool32, StructureType

Constructors

PhysicalDeviceRobustness2FeaturesEXT

Fields

• robustBufferAccess2 :: Bool
• robustImageAccess2 :: Bool
• nullDescriptor :: Bool

Instances

Eq PhysicalDeviceRobustness2FeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

(==) :: PhysicalDeviceRobustness2FeaturesEXT -> PhysicalDeviceRobustness2FeaturesEXT -> Bool

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

Show PhysicalDeviceRobustness2FeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

showsPrec :: Int -> PhysicalDeviceRobustness2FeaturesEXT -> ShowS

show :: PhysicalDeviceRobustness2FeaturesEXT -> String

showList :: [PhysicalDeviceRobustness2FeaturesEXT] -> ShowS

Generic PhysicalDeviceRobustness2FeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Associated Types

type Rep PhysicalDeviceRobustness2FeaturesEXT :: Type -> Type

Methods

from :: PhysicalDeviceRobustness2FeaturesEXT -> Rep PhysicalDeviceRobustness2FeaturesEXT x

to :: Rep PhysicalDeviceRobustness2FeaturesEXT x -> PhysicalDeviceRobustness2FeaturesEXT

Storable PhysicalDeviceRobustness2FeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

sizeOf :: PhysicalDeviceRobustness2FeaturesEXT -> Int

alignment :: PhysicalDeviceRobustness2FeaturesEXT -> Int

peekElemOff :: Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> IO PhysicalDeviceRobustness2FeaturesEXT

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

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

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

peek :: Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO PhysicalDeviceRobustness2FeaturesEXT

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

FromCStruct PhysicalDeviceRobustness2FeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

peekCStruct :: Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO PhysicalDeviceRobustness2FeaturesEXT

ToCStruct PhysicalDeviceRobustness2FeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

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

pokeCStruct :: Ptr PhysicalDeviceRobustness2FeaturesEXT -> PhysicalDeviceRobustness2FeaturesEXT -> IO b -> IO b

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

pokeZeroCStruct :: Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PhysicalDeviceRobustness2FeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

zero :: PhysicalDeviceRobustness2FeaturesEXT

type Rep PhysicalDeviceRobustness2FeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

type Rep PhysicalDeviceRobustness2FeaturesEXT = D1 ('MetaData "PhysicalDeviceRobustness2FeaturesEXT" "Vulkan.Extensions.VK_EXT_robustness2" "vulkan-3.6.5-inplace" 'False) (C1 ('MetaCons "PhysicalDeviceRobustness2FeaturesEXT" 'PrefixI 'True) (S1 ('MetaSel ('Just "robustBufferAccess2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "robustImageAccess2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "nullDescriptor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

data PhysicalDeviceRobustness2PropertiesEXT

VkPhysicalDeviceRobustness2PropertiesEXT - Structure describing robust buffer access properties supported by an implementation

Members

The members of the PhysicalDeviceRobustness2PropertiesEXT structure describe the following implementation-dependent limits:

Description

If the PhysicalDeviceRobustness2PropertiesEXT structure is included in the pNext chain of PhysicalDeviceProperties2, it is filled with the implementation-dependent limits.

Valid Usage (Implicit)

See Also

DeviceSize, StructureType

Constructors

PhysicalDeviceRobustness2PropertiesEXT

Fields

• robustStorageBufferAccessSizeAlignment :: DeviceSize

  robustStorageBufferAccessSizeAlignment is the number of bytes that the range of a storage buffer descriptor is rounded up to when used for bounds-checking when robustBufferAccess2 is enabled. This value is either 1 or 4.

• robustUniformBufferAccessSizeAlignment :: DeviceSize

  robustUniformBufferAccessSizeAlignment is the number of bytes that the range of a uniform buffer descriptor is rounded up to when used for bounds-checking when robustBufferAccess2 is enabled. This value is a power of two in the range [1, 256].

Instances

Eq PhysicalDeviceRobustness2PropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

(==) :: PhysicalDeviceRobustness2PropertiesEXT -> PhysicalDeviceRobustness2PropertiesEXT -> Bool

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

Show PhysicalDeviceRobustness2PropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

showsPrec :: Int -> PhysicalDeviceRobustness2PropertiesEXT -> ShowS

show :: PhysicalDeviceRobustness2PropertiesEXT -> String

showList :: [PhysicalDeviceRobustness2PropertiesEXT] -> ShowS

Generic PhysicalDeviceRobustness2PropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Associated Types

type Rep PhysicalDeviceRobustness2PropertiesEXT :: Type -> Type

Methods

from :: PhysicalDeviceRobustness2PropertiesEXT -> Rep PhysicalDeviceRobustness2PropertiesEXT x

to :: Rep PhysicalDeviceRobustness2PropertiesEXT x -> PhysicalDeviceRobustness2PropertiesEXT

Storable PhysicalDeviceRobustness2PropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

sizeOf :: PhysicalDeviceRobustness2PropertiesEXT -> Int

alignment :: PhysicalDeviceRobustness2PropertiesEXT -> Int

peekElemOff :: Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> IO PhysicalDeviceRobustness2PropertiesEXT

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

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

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

peek :: Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO PhysicalDeviceRobustness2PropertiesEXT

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

FromCStruct PhysicalDeviceRobustness2PropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

peekCStruct :: Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO PhysicalDeviceRobustness2PropertiesEXT

ToCStruct PhysicalDeviceRobustness2PropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

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

pokeCStruct :: Ptr PhysicalDeviceRobustness2PropertiesEXT -> PhysicalDeviceRobustness2PropertiesEXT -> IO b -> IO b

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

pokeZeroCStruct :: Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PhysicalDeviceRobustness2PropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

Methods

zero :: PhysicalDeviceRobustness2PropertiesEXT

type Rep PhysicalDeviceRobustness2PropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_robustness2

type Rep PhysicalDeviceRobustness2PropertiesEXT = D1 ('MetaData "PhysicalDeviceRobustness2PropertiesEXT" "Vulkan.Extensions.VK_EXT_robustness2" "vulkan-3.6.5-inplace" 'False) (C1 ('MetaCons "PhysicalDeviceRobustness2PropertiesEXT" 'PrefixI 'True) (S1 ('MetaSel ('Just "robustStorageBufferAccessSizeAlignment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 DeviceSize) :*: S1 ('MetaSel ('Just "robustUniformBufferAccessSizeAlignment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 DeviceSize)))

type EXT_ROBUSTNESS_2_SPEC_VERSION = 1

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

type EXT_ROBUSTNESS_2_EXTENSION_NAME = "VK_EXT_robustness2"

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