Safe Haskell	None
Language	Haskell2010

Vulkan.Extensions.VK_EXT_shader_float8

Description

Name

VK_EXT_shader_float8 - device extension

VK_EXT_shader_float8

Name String: VK_EXT_shader_float8

Extension Type

Device extension

Registered Extension Number

568

Revision

1

Ratification Status

Ratified

Extension and Version Dependencies

VK_KHR_get_physical_device_properties2 or Vulkan Version 1.1

API Interactions

Interacts with VK_KHR_cooperative_matrix

SPIR-V Dependencies

SPV_EXT_float8

Contact

Kevin Petit @kpet%0A*Here describe the issue or question you have about the VK_EXT_shader_float8 extension*

Extension Proposal

VK_EXT_shader_float8

Other Extension Metadata

Last Modified Date: 2025-04-16

IP Status

No known IP claims.

Contributors

Kévin Petit, Arm Ltd.
Stu Smith, AMD
Jeff Bolz, NVIDIA
Craig Graham, Samsung

Description

This extension enables support for 8-bit floating-point data types as defined in SPV_EXT_float8.

New Structures

Extending PhysicalDeviceFeatures2, DeviceCreateInfo:
- PhysicalDeviceShaderFloat8FeaturesEXT

New Enum Constants

EXT_SHADER_FLOAT8_EXTENSION_NAME

EXT_SHADER_FLOAT8_SPEC_VERSION
Extending StructureType:
- STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_FLOAT8_FEATURES_EXT

If VK_KHR_cooperative_matrix is supported:

Extending ComponentTypeKHR:
- COMPONENT_TYPE_FLOAT8_E4M3_EXT
- COMPONENT_TYPE_FLOAT8_E5M2_EXT

New SPIR-V Capabilities

Float8EXT

Float8CooperativeMatrixEXT

Issues

1) Resolve interactions with the changes VK_KHR_shader_float16 makes to rules for denorm flushing (always allowed by default for all FP formats). How to describe the requirement to preserve subnormals?

+ RESOLVED: Subnormals are always preserved when converting FP8 values to IEEE 754 binary 16. In all other cases, subnormals may be flushed to zero.

+

Version History

Revision 1, 2025-04-16 (Kévin Petit)
- Initial draft

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 PhysicalDeviceShaderFloat8FeaturesEXT = PhysicalDeviceShaderFloat8FeaturesEXT {
- shaderFloat8 :: Bool
- shaderFloat8CooperativeMatrix :: Bool
}
type EXT_SHADER_FLOAT8_SPEC_VERSION = 1
pattern EXT_SHADER_FLOAT8_SPEC_VERSION :: Integral a => a
type EXT_SHADER_FLOAT8_EXTENSION_NAME = "VK_EXT_shader_float8"
pattern EXT_SHADER_FLOAT8_EXTENSION_NAME :: (Eq a, IsString a) => a
newtype ComponentTypeKHR where
- ComponentTypeKHR Int32
- pattern COMPONENT_TYPE_BFLOAT16_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_FLOAT16_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_FLOAT32_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_FLOAT64_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_FLOAT8_E4M3_EXT :: ComponentTypeKHR
- pattern COMPONENT_TYPE_FLOAT8_E5M2_EXT :: ComponentTypeKHR
- pattern COMPONENT_TYPE_SINT16_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_SINT32_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_SINT64_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_SINT8_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_SINT8_PACKED_NV :: ComponentTypeKHR
- pattern COMPONENT_TYPE_UINT16_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_UINT32_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_UINT64_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_UINT8_KHR :: ComponentTypeKHR
- pattern COMPONENT_TYPE_UINT8_PACKED_NV :: ComponentTypeKHR

Documentation

data PhysicalDeviceShaderFloat8FeaturesEXT Source #

VkPhysicalDeviceShaderFloat8FeaturesEXT - Structure describing float8 features that can be supported by the implementation

Members

This structure describes the following features:

Description

If the PhysicalDeviceShaderFloat8FeaturesEXT 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. If the application wishes to use a Device with any features described by PhysicalDeviceShaderFloat8FeaturesEXT, it must add an instance of the structure, with the desired feature members set to TRUE, to the pNext chain of DeviceCreateInfo when creating the Device.

Valid Usage (Implicit)

PhysicalDeviceShaderFloat8FeaturesEXT
Fields shaderFloat8 :: Bool `shaderFloat8` indicates whether the implementation supports shaders with the `Float8EXT` capability. shaderFloat8CooperativeMatrix :: Bool `shaderFloat8CooperativeMatrix` indicates whether the implementation supports shaders with the `Float8CooperativeMatrixEXT` capability.

Instances

Instances details

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

type EXT_SHADER_FLOAT8_SPEC_VERSION = 1 Source #

pattern EXT_SHADER_FLOAT8_SPEC_VERSION :: Integral a => a Source #

type EXT_SHADER_FLOAT8_EXTENSION_NAME = "VK_EXT_shader_float8" Source #

pattern EXT_SHADER_FLOAT8_EXTENSION_NAME :: (Eq a, IsString a) => a Source #

newtype ComponentTypeKHR Source #

VkComponentTypeKHR - Specify SPIR-V cooperative matrix component type

Description

COMPONENT_TYPE_FLOAT16_KHR corresponds to SPIR-V OpTypeFloat 16.

COMPONENT_TYPE_FLOAT32_KHR corresponds to SPIR-V OpTypeFloat 32.
COMPONENT_TYPE_FLOAT64_KHR corresponds to SPIR-V OpTypeFloat 64.
COMPONENT_TYPE_SINT8_KHR corresponds to SPIR-V OpTypeInt 8 0/1.
COMPONENT_TYPE_SINT16_KHR corresponds to SPIR-V OpTypeInt 16 0/1.
COMPONENT_TYPE_SINT32_KHR corresponds to SPIR-V OpTypeInt 32 0/1.
COMPONENT_TYPE_SINT64_KHR corresponds to SPIR-V OpTypeInt 64 0/1.
COMPONENT_TYPE_UINT8_KHR corresponds to SPIR-V OpTypeInt 8 0/1.
COMPONENT_TYPE_UINT16_KHR corresponds to SPIR-V OpTypeInt 16 0/1.
COMPONENT_TYPE_UINT32_KHR corresponds to SPIR-V OpTypeInt 32 0/1.
COMPONENT_TYPE_UINT64_KHR corresponds to SPIR-V OpTypeInt 64 0/1.
COMPONENT_TYPE_BFLOAT16_KHR corresponds to SPIR-V OpTypeFloat 16 BFloat16KHR.
COMPONENT_TYPE_SINT8_PACKED_NV corresponds to four 8-bit signed integers packed in a 32-bit unsigned integer.
COMPONENT_TYPE_UINT8_PACKED_NV corresponds to four 8-bit unsigned integers packed in a 32-bit unsigned integer.
COMPONENT_TYPE_FLOAT_E4M3_NV corresponds to a floating-point type with a sign bit in the most significant bit, followed by four exponent bits, followed by three mantissa bits.
COMPONENT_TYPE_FLOAT_E5M2_NV corresponds to a floating-point type with a sign bit in the most significant bit, followed by five exponent bits, followed by two mantissa bits.
COMPONENT_TYPE_FLOAT8_E4M3_EXT corresponds to SPIR-V OpTypeFloat 8 Float8E4M3EXT.
COMPONENT_TYPE_FLOAT8_E5M2_EXT corresponds to SPIR-V OpTypeFloat 8 Float8E5M2EXT.

pattern COMPONENT_TYPE_BFLOAT16_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_FLOAT16_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_FLOAT32_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_FLOAT64_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_FLOAT8_E4M3_EXT :: ComponentTypeKHR
pattern COMPONENT_TYPE_FLOAT8_E5M2_EXT :: ComponentTypeKHR
pattern COMPONENT_TYPE_SINT16_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_SINT32_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_SINT64_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_SINT8_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_SINT8_PACKED_NV :: ComponentTypeKHR
pattern COMPONENT_TYPE_UINT16_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_UINT32_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_UINT64_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_UINT8_KHR :: ComponentTypeKHR
pattern COMPONENT_TYPE_UINT8_PACKED_NV :: ComponentTypeKHR

Instances

Instances details

Eq ComponentTypeKHR Source #
Instance details Defined in Vulkan.Extensions.VK_NV_cooperative_vector Methods (==) :: ComponentTypeKHR -> ComponentTypeKHR -> Bool # (/=) :: ComponentTypeKHR -> ComponentTypeKHR -> Bool #
Ord ComponentTypeKHR Source #
Instance details Defined in Vulkan.Extensions.VK_NV_cooperative_vector Methods compare :: ComponentTypeKHR -> ComponentTypeKHR -> Ordering # (<) :: ComponentTypeKHR -> ComponentTypeKHR -> Bool # (<=) :: ComponentTypeKHR -> ComponentTypeKHR -> Bool # (>) :: ComponentTypeKHR -> ComponentTypeKHR -> Bool # (>=) :: ComponentTypeKHR -> ComponentTypeKHR -> Bool # max :: ComponentTypeKHR -> ComponentTypeKHR -> ComponentTypeKHR # min :: ComponentTypeKHR -> ComponentTypeKHR -> ComponentTypeKHR #
Storable ComponentTypeKHR Source #
Instance details Defined in Vulkan.Extensions.VK_NV_cooperative_vector Methods sizeOf :: ComponentTypeKHR -> Int # alignment :: ComponentTypeKHR -> Int # peekElemOff :: Ptr ComponentTypeKHR -> Int -> IO ComponentTypeKHR # pokeElemOff :: Ptr ComponentTypeKHR -> Int -> ComponentTypeKHR -> IO () # peekByteOff :: Ptr b -> Int -> IO ComponentTypeKHR # pokeByteOff :: Ptr b -> Int -> ComponentTypeKHR -> IO () # peek :: Ptr ComponentTypeKHR -> IO ComponentTypeKHR # poke :: Ptr ComponentTypeKHR -> ComponentTypeKHR -> IO () #
Read ComponentTypeKHR Source #
Instance details Defined in Vulkan.Extensions.VK_NV_cooperative_vector Methods readsPrec :: Int -> ReadS ComponentTypeKHR # readList :: ReadS [ComponentTypeKHR] # readPrec :: ReadPrec ComponentTypeKHR # readListPrec :: ReadPrec [ComponentTypeKHR] #
Show ComponentTypeKHR Source #
Instance details Defined in Vulkan.Extensions.VK_NV_cooperative_vector Methods showsPrec :: Int -> ComponentTypeKHR -> ShowS # show :: ComponentTypeKHR -> String # showList :: [ComponentTypeKHR] -> ShowS #
Zero ComponentTypeKHR Source #
Instance details Defined in Vulkan.Extensions.VK_NV_cooperative_vector Methods zero :: ComponentTypeKHR Source #

Name

VK_EXT_shader_float8

Other Extension Metadata

Description

New Structures

New Enum Constants

New SPIR-V Capabilities

Issues

Version History

See Also

Document Notes

Documentation

Members

Description

Valid Usage (Implicit)

See Also

Instances

Description

See Also

Instances