vulkan-3.26.1: Bindings to the Vulkan graphics API.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Vulkan.Extensions.VK_EXT_validation_features

Description

Name

VK_EXT_validation_features - instance extension

VK_EXT_validation_features

Name String
VK_EXT_validation_features
Extension Type
Instance extension
Registered Extension Number
248
Revision
5
Ratification Status
Not ratified
Extension and Version Dependencies; Special Use
Contact

Other Extension Metadata

Last Modified Date
2018-11-14
IP Status
No known IP claims.
Contributors
  • Karl Schultz, LunarG
  • Dave Houlton, LunarG
  • Mark Lobodzinski, LunarG
  • Camden Stocker, LunarG
  • Tony Barbour, LunarG
  • John Zulauf, LunarG

Description

This extension provides the ValidationFeaturesEXT struct that can be included in the pNext chain of the InstanceCreateInfo structure passed as the pCreateInfo parameter of createInstance. The structure contains an array of ValidationFeatureEnableEXT enum values that enable specific validation features that are disabled by default. The structure also contains an array of ValidationFeatureDisableEXT enum values that disable specific validation layer features that are enabled by default.

Note

The VK_EXT_validation_features extension subsumes all the functionality provided in the VK_EXT_validation_flags extension.

New Structures

New Enums

New Enum Constants

Version History

  • Revision 1, 2018-11-14 (Karl Schultz)

    • Initial revision

  • Revision 2, 2019-08-06 (Mark Lobodzinski)

    • Add Best Practices enable

  • Revision 3, 2020-03-04 (Tony Barbour)

    • Add Debug Printf enable

  • Revision 4, 2020-07-29 (John Zulauf)

    • Add Synchronization Validation enable

  • Revision 5, 2021-05-18 (Tony Barbour)

    • Add Shader Validation Cache disable

See Also

ValidationFeatureDisableEXT, ValidationFeatureEnableEXT, ValidationFeaturesEXT

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.

Synopsis

Documentation

data ValidationFeaturesEXT Source #

VkValidationFeaturesEXT - Specify validation features to enable or disable for a Vulkan instance

Valid Usage

Valid Usage (Implicit)

  • If enabledValidationFeatureCount is not 0, pEnabledValidationFeatures must be a valid pointer to an array of enabledValidationFeatureCount valid ValidationFeatureEnableEXT values
  • If disabledValidationFeatureCount is not 0, pDisabledValidationFeatures must be a valid pointer to an array of disabledValidationFeatureCount valid ValidationFeatureDisableEXT values

See Also

VK_EXT_validation_features, StructureType, ValidationFeatureDisableEXT, ValidationFeatureEnableEXT

Constructors

ValidationFeaturesEXT 

Fields

Instances

Instances details
Show ValidationFeaturesEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

showsPrec :: Int -> ValidationFeaturesEXT -> ShowS #

show :: ValidationFeaturesEXT -> String #

showList :: [ValidationFeaturesEXT] -> ShowS #

FromCStruct ValidationFeaturesEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

peekCStruct :: Ptr ValidationFeaturesEXT -> IO ValidationFeaturesEXT Source #

ToCStruct ValidationFeaturesEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

withCStruct :: ValidationFeaturesEXT -> (Ptr ValidationFeaturesEXT -> IO b) -> IO b Source #

pokeCStruct :: Ptr ValidationFeaturesEXT -> ValidationFeaturesEXT -> IO b -> IO b Source #

withZeroCStruct :: (Ptr ValidationFeaturesEXT -> IO b) -> IO b Source #

pokeZeroCStruct :: Ptr ValidationFeaturesEXT -> IO b -> IO b Source #

cStructSize :: Int Source #

cStructAlignment :: Int Source #

Zero ValidationFeaturesEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

zero :: ValidationFeaturesEXT Source #

newtype ValidationFeatureEnableEXT Source #

VkValidationFeatureEnableEXT - Specify validation features to enable

See Also

VK_EXT_validation_features, ValidationFeaturesEXT

Constructors

ValidationFeatureEnableEXT Int32 

Bundled Patterns

pattern VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_EXT :: ValidationFeatureEnableEXT

VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_EXT specifies that GPU-assisted validation is enabled. Activating this feature instruments shader programs to generate additional diagnostic data. This feature is disabled by default.

pattern VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_RESERVE_BINDING_SLOT_EXT :: ValidationFeatureEnableEXT

VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_RESERVE_BINDING_SLOT_EXT specifies that the validation layers reserve a descriptor set binding slot for their own use. The layer reports a value for PhysicalDeviceLimits::maxBoundDescriptorSets that is one less than the value reported by the device. If the device supports the binding of only one descriptor set, the validation layer does not perform GPU-assisted validation. This feature is disabled by default.

pattern VALIDATION_FEATURE_ENABLE_BEST_PRACTICES_EXT :: ValidationFeatureEnableEXT

VALIDATION_FEATURE_ENABLE_BEST_PRACTICES_EXT specifies that Vulkan best-practices validation is enabled. Activating this feature enables the output of warnings related to common misuse of the API, but which are not explicitly prohibited by the specification. This feature is disabled by default.

pattern VALIDATION_FEATURE_ENABLE_DEBUG_PRINTF_EXT :: ValidationFeatureEnableEXT

VALIDATION_FEATURE_ENABLE_DEBUG_PRINTF_EXT specifies that the layers will process debugPrintfEXT operations in shaders and send the resulting output to the debug callback. This feature is disabled by default.

pattern VALIDATION_FEATURE_ENABLE_SYNCHRONIZATION_VALIDATION_EXT :: ValidationFeatureEnableEXT

VALIDATION_FEATURE_ENABLE_SYNCHRONIZATION_VALIDATION_EXT specifies that Vulkan synchronization validation is enabled. This feature reports resource access conflicts due to missing or incorrect synchronization operations between actions (Draw, Copy, Dispatch, Blit) reading or writing the same regions of memory. This feature is disabled by default.

Instances

Instances details
Storable ValidationFeatureEnableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

sizeOf :: ValidationFeatureEnableEXT -> Int #

alignment :: ValidationFeatureEnableEXT -> Int #

peekElemOff :: Ptr ValidationFeatureEnableEXT -> Int -> IO ValidationFeatureEnableEXT #

pokeElemOff :: Ptr ValidationFeatureEnableEXT -> Int -> ValidationFeatureEnableEXT -> IO () #

peekByteOff :: Ptr b -> Int -> IO ValidationFeatureEnableEXT #

pokeByteOff :: Ptr b -> Int -> ValidationFeatureEnableEXT -> IO () #

peek :: Ptr ValidationFeatureEnableEXT -> IO ValidationFeatureEnableEXT #

poke :: Ptr ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> IO () #

Read ValidationFeatureEnableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

readsPrec :: Int -> ReadS ValidationFeatureEnableEXT #

readList :: ReadS [ValidationFeatureEnableEXT] #

readPrec :: ReadPrec ValidationFeatureEnableEXT #

readListPrec :: ReadPrec [ValidationFeatureEnableEXT] #

Show ValidationFeatureEnableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

showsPrec :: Int -> ValidationFeatureEnableEXT -> ShowS #

show :: ValidationFeatureEnableEXT -> String #

showList :: [ValidationFeatureEnableEXT] -> ShowS #

Eq ValidationFeatureEnableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

(==) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool #

(/=) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool #

Ord ValidationFeatureEnableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

compare :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Ordering #

(<) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool #

(<=) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool #

(>) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool #

(>=) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool #

max :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT #

min :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT #

Zero ValidationFeatureEnableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

zero :: ValidationFeatureEnableEXT Source #

newtype ValidationFeatureDisableEXT Source #

VkValidationFeatureDisableEXT - Specify validation features to disable

See Also

VK_EXT_validation_features, ValidationFeaturesEXT

Constructors

ValidationFeatureDisableEXT Int32 

Bundled Patterns

pattern VALIDATION_FEATURE_DISABLE_ALL_EXT :: ValidationFeatureDisableEXT

VALIDATION_FEATURE_DISABLE_ALL_EXT specifies that all validation checks are disabled.

pattern VALIDATION_FEATURE_DISABLE_SHADERS_EXT :: ValidationFeatureDisableEXT

VALIDATION_FEATURE_DISABLE_SHADERS_EXT specifies that shader validation is disabled. This feature is enabled by default.

pattern VALIDATION_FEATURE_DISABLE_THREAD_SAFETY_EXT :: ValidationFeatureDisableEXT

VALIDATION_FEATURE_DISABLE_THREAD_SAFETY_EXT specifies that thread safety validation is disabled. This feature is enabled by default.

pattern VALIDATION_FEATURE_DISABLE_API_PARAMETERS_EXT :: ValidationFeatureDisableEXT

VALIDATION_FEATURE_DISABLE_API_PARAMETERS_EXT specifies that stateless parameter validation is disabled. This feature is enabled by default.

pattern VALIDATION_FEATURE_DISABLE_OBJECT_LIFETIMES_EXT :: ValidationFeatureDisableEXT

VALIDATION_FEATURE_DISABLE_OBJECT_LIFETIMES_EXT specifies that object lifetime validation is disabled. This feature is enabled by default.

pattern VALIDATION_FEATURE_DISABLE_CORE_CHECKS_EXT :: ValidationFeatureDisableEXT

VALIDATION_FEATURE_DISABLE_CORE_CHECKS_EXT specifies that core validation checks are disabled. This feature is enabled by default. If this feature is disabled, the shader validation and GPU-assisted validation features are also disabled.

pattern VALIDATION_FEATURE_DISABLE_UNIQUE_HANDLES_EXT :: ValidationFeatureDisableEXT

VALIDATION_FEATURE_DISABLE_UNIQUE_HANDLES_EXT specifies that protection against duplicate non-dispatchable object handles is disabled. This feature is enabled by default.

pattern VALIDATION_FEATURE_DISABLE_SHADER_VALIDATION_CACHE_EXT :: ValidationFeatureDisableEXT

VALIDATION_FEATURE_DISABLE_SHADER_VALIDATION_CACHE_EXT specifies that there will be no caching of shader validation results and every shader will be validated on every application execution. Shader validation caching is enabled by default.

Instances

Instances details
Storable ValidationFeatureDisableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

sizeOf :: ValidationFeatureDisableEXT -> Int #

alignment :: ValidationFeatureDisableEXT -> Int #

peekElemOff :: Ptr ValidationFeatureDisableEXT -> Int -> IO ValidationFeatureDisableEXT #

pokeElemOff :: Ptr ValidationFeatureDisableEXT -> Int -> ValidationFeatureDisableEXT -> IO () #

peekByteOff :: Ptr b -> Int -> IO ValidationFeatureDisableEXT #

pokeByteOff :: Ptr b -> Int -> ValidationFeatureDisableEXT -> IO () #

peek :: Ptr ValidationFeatureDisableEXT -> IO ValidationFeatureDisableEXT #

poke :: Ptr ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> IO () #

Read ValidationFeatureDisableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

readsPrec :: Int -> ReadS ValidationFeatureDisableEXT #

readList :: ReadS [ValidationFeatureDisableEXT] #

readPrec :: ReadPrec ValidationFeatureDisableEXT #

readListPrec :: ReadPrec [ValidationFeatureDisableEXT] #

Show ValidationFeatureDisableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

showsPrec :: Int -> ValidationFeatureDisableEXT -> ShowS #

show :: ValidationFeatureDisableEXT -> String #

showList :: [ValidationFeatureDisableEXT] -> ShowS #

Eq ValidationFeatureDisableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

(==) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool #

(/=) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool #

Ord ValidationFeatureDisableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

compare :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Ordering #

(<) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool #

(<=) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool #

(>) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool #

(>=) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool #

max :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT #

min :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT #

Zero ValidationFeatureDisableEXT Source # 
Instance details

Defined in Vulkan.Extensions.VK_EXT_validation_features

Methods

zero :: ValidationFeatureDisableEXT Source #

type EXT_VALIDATION_FEATURES_SPEC_VERSION = 5 Source #

pattern EXT_VALIDATION_FEATURES_SPEC_VERSION :: forall a. Integral a => a Source #

type EXT_VALIDATION_FEATURES_EXTENSION_NAME = "VK_EXT_validation_features" Source #

pattern EXT_VALIDATION_FEATURES_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a Source #