Safe Haskell	None
Language	Haskell2010

Vulkan.Extensions.VK_KHR_shader_integer_dot_product

Description

Name

VK_KHR_shader_integer_dot_product - device extension

VK_KHR_shader_integer_dot_product

Name String: VK_KHR_shader_integer_dot_product

Extension Type

Device extension

Registered Extension Number

281

Revision

1

Extension and Version Dependencies

Requires Vulkan 1.0
Requires VK_KHR_get_physical_device_properties2

Contact

Kevin Petit @kevinpetit%0A<<Here describe the issue or question you have about the VK_KHR_shader_integer_dot_product extension> >

Extension Proposal

VK_KHR_shader_integer_dot_product

Other Extension Metadata

Last Modified Date: 2021-06-16

Interactions and External Dependencies

This extension requires SPV_KHR_integer_dot_product.
This extension interacts with VK_KHR_shader_float16_int8.

IP Status

No known IP claims.

Contributors

Kévin Petit, Arm Ltd.
Jeff Bolz, NVidia
Spencer Fricke, Samsung
Jesse Hall, Google
John Kessenich, Google
Graeme Leese, Broadcom
Einar Hov, Arm Ltd.
Stuart Brady, Arm Ltd.
Pablo Cascon, Arm Ltd.
Tobias Hector, AMD
Jeff Leger, Qualcomm
Ruihao Zhang, Qualcomm
Pierre Boudier, NVidia
Jon Leech, The Khronos Group
Tom Olson, Arm Ltd.

Description

This extension adds support for the integer dot product SPIR-V instructions defined in SPV_KHR_integer_dot_product. These instructions are particularly useful for neural network inference and training but find uses in other general purpose compute applications as well.

New Structures

Extending PhysicalDeviceFeatures2, DeviceCreateInfo:
- PhysicalDeviceShaderIntegerDotProductFeaturesKHR

Extending PhysicalDeviceProperties2:
- PhysicalDeviceShaderIntegerDotProductPropertiesKHR

New Enum Constants

KHR_SHADER_INTEGER_DOT_PRODUCT_EXTENSION_NAME

New SPIR-V Capabilities

DotProductInputAllKHR

Version History

Revision 1, 2021-06-16 (Kévin Petit)
- Initial revision

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

data PhysicalDeviceShaderIntegerDotProductFeaturesKHR = PhysicalDeviceShaderIntegerDotProductFeaturesKHR {
- shaderIntegerDotProduct :: Bool
}
data PhysicalDeviceShaderIntegerDotProductPropertiesKHR = PhysicalDeviceShaderIntegerDotProductPropertiesKHR {
}
type KHR_SHADER_INTEGER_DOT_PRODUCT_SPEC_VERSION = 1
pattern KHR_SHADER_INTEGER_DOT_PRODUCT_SPEC_VERSION :: forall a. Integral a => a
type KHR_SHADER_INTEGER_DOT_PRODUCT_EXTENSION_NAME = "VK_KHR_shader_integer_dot_product"
pattern KHR_SHADER_INTEGER_DOT_PRODUCT_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a

Documentation

data PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #

VkPhysicalDeviceShaderIntegerDotProductFeaturesKHR - Structure describing integer dot product features that can be supported by an implementation

Members

The members of the PhysicalDeviceShaderIntegerDotProductFeaturesKHR structure describe the following features:

Description

If the PhysicalDeviceShaderIntegerDotProductFeaturesKHR 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. PhysicalDeviceShaderIntegerDotProductFeaturesKHR can also be used in the pNext chain of DeviceCreateInfo to selectively enable these features.

Valid Usage (Implicit)

Description

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

These are properties of the integer dot product acceleration information of a physical device.

Note

A dot product operation is deemed accelerated if its implementation provides a performance advantage over application-provided code composed from elementary instructions and/or other dot product instructions, either because the implementation uses optimized machine code sequences whose generation from application-provided code cannot be guaranteed or because it uses hardware features that cannot otherwise be targeted from application-provided code.

Valid Usage (Implicit)

integerDotProduct8BitUnsignedAccelerated :: Bool
integerDotProduct8BitUnsignedAccelerated is a boolean that will be TRUE if the support for 8-bit unsigned dot product operations using the OpUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct8BitSignedAccelerated :: Bool
integerDotProduct8BitSignedAccelerated is a boolean that will be TRUE if the support for 8-bit signed dot product operations using the OpSDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct8BitMixedSignednessAccelerated :: Bool
integerDotProduct8BitMixedSignednessAccelerated is a boolean that will be TRUE if the support for 8-bit mixed signedness dot product operations using the OpSUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct4x8BitPackedUnsignedAccelerated :: Bool
integerDotProduct4x8BitPackedUnsignedAccelerated is a boolean that will be TRUE if the support for 8-bit unsigned dot product operations from operands packed into 32-bit integers using the OpUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct4x8BitPackedSignedAccelerated :: Bool
integerDotProduct4x8BitPackedSignedAccelerated is a boolean that will be TRUE if the support for 8-bit signed dot product operations from operands packed into 32-bit integers using the OpSDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct4x8BitPackedMixedSignednessAccelerated :: Bool
integerDotProduct4x8BitPackedMixedSignednessAccelerated is a boolean that will be TRUE if the support for 8-bit mixed signedness dot product operations from operands packed into 32-bit integers using the OpSUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct16BitUnsignedAccelerated :: Bool
integerDotProduct16BitUnsignedAccelerated is a boolean that will be TRUE if the support for 16-bit unsigned dot product operations using the OpUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct16BitSignedAccelerated :: Bool
integerDotProduct16BitSignedAccelerated is a boolean that will be TRUE if the support for 16-bit signed dot product operations using the OpSDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct16BitMixedSignednessAccelerated :: Bool
integerDotProduct16BitMixedSignednessAccelerated is a boolean that will be TRUE if the support for 16-bit mixed signedness dot product operations using the OpSUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct32BitUnsignedAccelerated :: Bool
integerDotProduct32BitUnsignedAccelerated is a boolean that will be TRUE if the support for 32-bit unsigned dot product operations using the OpUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct32BitSignedAccelerated :: Bool
integerDotProduct32BitSignedAccelerated is a boolean that will be TRUE if the support for 32-bit signed dot product operations using the OpSDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct32BitMixedSignednessAccelerated :: Bool
integerDotProduct32BitMixedSignednessAccelerated is a boolean that will be TRUE if the support for 32-bit mixed signedness dot product operations using the OpSUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct64BitUnsignedAccelerated :: Bool
integerDotProduct64BitUnsignedAccelerated is a boolean that will be TRUE if the support for 64-bit unsigned dot product operations using the OpUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct64BitSignedAccelerated :: Bool
integerDotProduct64BitSignedAccelerated is a boolean that will be TRUE if the support for 64-bit signed dot product operations using the OpSDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProduct64BitMixedSignednessAccelerated :: Bool
integerDotProduct64BitMixedSignednessAccelerated is a boolean that will be TRUE if the support for 64-bit mixed signedness dot product operations using the OpSUDotKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating8BitUnsignedAccelerated :: Bool
integerDotProductAccumulatingSaturating8BitUnsignedAccelerated is a boolean that will be TRUE if the support for 8-bit unsigned accumulating saturating dot product operations using the OpUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating8BitSignedAccelerated :: Bool
integerDotProductAccumulatingSaturating8BitSignedAccelerated is a boolean that will be TRUE if the support for 8-bit signed accumulating saturating dot product operations using the OpSDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating8BitMixedSignednessAccelerated :: Bool
integerDotProductAccumulatingSaturating8BitMixedSignednessAccelerated is a boolean that will be TRUE if the support for 8-bit mixed signedness accumulating saturating dot product operations using the OpSUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating4x8BitPackedUnsignedAccelerated :: Bool
integerDotProductAccumulatingSaturating4x8BitPackedUnsignedAccelerated is a boolean that will be TRUE if the support for 8-bit unsigned accumulating saturating dot product operations from operands packed into 32-bit integers using the OpUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating4x8BitPackedSignedAccelerated :: Bool
integerDotProductAccumulatingSaturating4x8BitPackedSignedAccelerated is a boolean that will be TRUE if the support for 8-bit signed accumulating saturating dot product operations from operands packed into 32-bit integers using the OpSDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating4x8BitPackedMixedSignednessAccelerated :: Bool
integerDotProductAccumulatingSaturating4x8BitPackedMixedSignednessAccelerated is a boolean that will be TRUE if the support for 8-bit mixed signedness accumulating saturating dot product operations from operands packed into 32-bit integers using the OpSUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating16BitUnsignedAccelerated :: Bool
integerDotProductAccumulatingSaturating16BitUnsignedAccelerated is a boolean that will be TRUE if the support for 16-bit unsigned accumulating saturating dot product operations using the OpUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating16BitSignedAccelerated :: Bool
integerDotProductAccumulatingSaturating16BitSignedAccelerated is a boolean that will be TRUE if the support for 16-bit signed accumulating saturating dot product operations using the OpSDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating16BitMixedSignednessAccelerated :: Bool
integerDotProductAccumulatingSaturating16BitMixedSignednessAccelerated is a boolean that will be TRUE if the support for 16-bit mixed signedness accumulating saturating dot product operations using the OpSUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating32BitUnsignedAccelerated :: Bool
integerDotProductAccumulatingSaturating32BitUnsignedAccelerated is a boolean that will be TRUE if the support for 32-bit unsigned accumulating saturating dot product operations using the OpUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating32BitSignedAccelerated :: Bool
integerDotProductAccumulatingSaturating32BitSignedAccelerated is a boolean that will be TRUE if the support for 32-bit signed accumulating saturating dot product operations using the OpSDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating32BitMixedSignednessAccelerated :: Bool
integerDotProductAccumulatingSaturating32BitMixedSignednessAccelerated is a boolean that will be TRUE if the support for 32-bit mixed signedness accumulating saturating dot product operations using the OpSUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating64BitUnsignedAccelerated :: Bool
integerDotProductAccumulatingSaturating64BitUnsignedAccelerated is a boolean that will be TRUE if the support for 64-bit unsigned accumulating saturating dot product operations using the OpUDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating64BitSignedAccelerated :: Bool
integerDotProductAccumulatingSaturating64BitSignedAccelerated is a boolean that will be TRUE if the support for 64-bit signed accumulating saturating dot product operations using the OpSDotAccSatKHR SPIR-V instruction is accelerated as defined below.
integerDotProductAccumulatingSaturating64BitMixedSignednessAccelerated :: Bool
integerDotProductAccumulatingSaturating64BitMixedSignednessAccelerated is a boolean that will be TRUE if the support for 64-bit mixed signedness accumulating saturating dot product operations using the OpSUDotAccSatKHR SPIR-V instruction is accelerated as defined below.

Instances

Instances details

Eq PhysicalDeviceShaderIntegerDotProductPropertiesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods (==) :: PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> Bool # (/=) :: PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> Bool #
Show PhysicalDeviceShaderIntegerDotProductPropertiesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods showsPrec :: Int -> PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> ShowS # show :: PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> String # showList :: [PhysicalDeviceShaderIntegerDotProductPropertiesKHR] -> ShowS #
Storable PhysicalDeviceShaderIntegerDotProductPropertiesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods sizeOf :: PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> Int # alignment :: PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> Int # peekElemOff :: Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> Int -> IO PhysicalDeviceShaderIntegerDotProductPropertiesKHR # pokeElemOff :: Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> Int -> PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO () # peekByteOff :: Ptr b -> Int -> IO PhysicalDeviceShaderIntegerDotProductPropertiesKHR # pokeByteOff :: Ptr b -> Int -> PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO () # peek :: Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO PhysicalDeviceShaderIntegerDotProductPropertiesKHR # poke :: Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO () #
FromCStruct PhysicalDeviceShaderIntegerDotProductPropertiesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods peekCStruct :: Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO PhysicalDeviceShaderIntegerDotProductPropertiesKHR Source #
ToCStruct PhysicalDeviceShaderIntegerDotProductPropertiesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods withCStruct :: PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> (Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO b) -> IO b Source # pokeCStruct :: Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO b -> IO b Source # withZeroCStruct :: (Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr PhysicalDeviceShaderIntegerDotProductPropertiesKHR -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero PhysicalDeviceShaderIntegerDotProductPropertiesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods zero :: PhysicalDeviceShaderIntegerDotProductPropertiesKHR Source #

type KHR_SHADER_INTEGER_DOT_PRODUCT_SPEC_VERSION = 1 Source #

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

type KHR_SHADER_INTEGER_DOT_PRODUCT_EXTENSION_NAME = "VK_KHR_shader_integer_dot_product" Source #

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

Eq PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods (==) :: PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> Bool # (/=) :: PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> Bool #
Show PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods showsPrec :: Int -> PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> ShowS # show :: PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> String # showList :: [PhysicalDeviceShaderIntegerDotProductFeaturesKHR] -> ShowS #
Storable PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods sizeOf :: PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> Int # alignment :: PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> Int # peekElemOff :: Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> Int -> IO PhysicalDeviceShaderIntegerDotProductFeaturesKHR # pokeElemOff :: Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> Int -> PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO () # peekByteOff :: Ptr b -> Int -> IO PhysicalDeviceShaderIntegerDotProductFeaturesKHR # pokeByteOff :: Ptr b -> Int -> PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO () # peek :: Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO PhysicalDeviceShaderIntegerDotProductFeaturesKHR # poke :: Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO () #
FromCStruct PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods peekCStruct :: Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #
ToCStruct PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods withCStruct :: PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> (Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO b) -> IO b Source # pokeCStruct :: Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO b -> IO b Source # withZeroCStruct :: (Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr PhysicalDeviceShaderIntegerDotProductFeaturesKHR -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_shader_integer_dot_product Methods zero :: PhysicalDeviceShaderIntegerDotProductFeaturesKHR Source #

Name

VK_KHR_shader_integer_dot_product

Other Extension Metadata

Description

New Structures

New Enum Constants

New SPIR-V Capabilities

Version History

See Also

Document Notes

Documentation

Members

Description

Valid Usage (Implicit)

See Also

Instances

Description

Valid Usage (Implicit)

See Also

Instances

PhysicalDeviceShaderIntegerDotProductFeaturesKHR
Fields shaderIntegerDotProduct :: Bool `shaderIntegerDotProduct` specifies whether shader modules can declare the `DotProductInputAllKHR`, `DotProductInput4x8BitKHR`, `DotProductInput4x8BitPackedKHR` and `DotProductKHR` capabilities.