Safe Haskell	None
Language	Haskell2010

Vulkan.Extensions.VK_AMDX_dense_geometry_format

Description

Name

VK_AMDX_dense_geometry_format - device extension

VK_AMDX_dense_geometry_format

Name String: VK_AMDX_dense_geometry_format

Extension Type: Device extension
Registered Extension Number: 479
Revision: 1
Ratification Status: Not ratified
Extension and Version Dependencies: VK_KHR_acceleration_structure and

VK_KHR_maintenance5 or

Vulkan Version 1.4

__This is a provisional extension and must be used with caution. See the description of provisional header files for enablement and stability details.__

Contact

Stu Smith @stu-s%0A*Here describe the issue or question you have about the VK_AMDX_dense_geometry_format extension*

Extension Proposal

VK_AMDX_dense_geometry_format

Other Extension Metadata

Last Modified Date: 2025-07-10

IP Status

No known IP claims.

Contributors

Stu Smith, AMD
Josh Barczak, AMD
Carsten Benthin, AMD
David McAllister, AMD

Description

This extension adds the ability to build ray tracing acceleration structures from pre-compressed Dense Geometry Format geometry data.

New Structures

Extending AccelerationStructureGeometryKHR:
- AccelerationStructureDenseGeometryFormatTrianglesDataAMDX

Extending PhysicalDeviceFeatures2, DeviceCreateInfo:
- PhysicalDeviceDenseGeometryFormatFeaturesAMDX

New Enums

CompressedTriangleFormatAMDX

New Enum Constants

AMDX_DENSE_GEOMETRY_FORMAT_EXTENSION_NAME

Issues

None.

Examples

None.

Version History

Revision 1, 2025-07-10 (Stu Smith)
- 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 PhysicalDeviceDenseGeometryFormatFeaturesAMDX = PhysicalDeviceDenseGeometryFormatFeaturesAMDX {
- denseGeometryFormat :: Bool
}
data AccelerationStructureDenseGeometryFormatTrianglesDataAMDX (es :: [Type]) = AccelerationStructureDenseGeometryFormatTrianglesDataAMDX {
- next :: Chain es
- compressedData :: DeviceOrHostAddressConstKHR
- dataSize :: DeviceSize
- numTriangles :: Word32
- numVertices :: Word32
- maxPrimitiveIndex :: Word32
- maxGeometryIndex :: Word32
- format :: CompressedTriangleFormatAMDX
}
newtype CompressedTriangleFormatAMDX where
- CompressedTriangleFormatAMDX Int32
- pattern COMPRESSED_TRIANGLE_FORMAT_DGF1_AMDX :: CompressedTriangleFormatAMDX
type AMDX_DENSE_GEOMETRY_FORMAT_SPEC_VERSION = 1
pattern AMDX_DENSE_GEOMETRY_FORMAT_SPEC_VERSION :: Integral a => a
type AMDX_DENSE_GEOMETRY_FORMAT_EXTENSION_NAME = "VK_AMDX_dense_geometry_format"
pattern AMDX_DENSE_GEOMETRY_FORMAT_EXTENSION_NAME :: (Eq a, IsString a) => a
data DeviceOrHostAddressConstKHR
- = DeviceAddressConst DeviceAddress
- | HostAddressConst (Ptr ())
newtype GeometryTypeKHR where
- GeometryTypeKHR Int32
- pattern GEOMETRY_TYPE_AABBS_KHR :: GeometryTypeKHR
- pattern GEOMETRY_TYPE_DENSE_GEOMETRY_FORMAT_TRIANGLES_AMDX :: GeometryTypeKHR
- pattern GEOMETRY_TYPE_INSTANCES_KHR :: GeometryTypeKHR
- pattern GEOMETRY_TYPE_LINEAR_SWEPT_SPHERES_NV :: GeometryTypeKHR
- pattern GEOMETRY_TYPE_SPHERES_NV :: GeometryTypeKHR
- pattern GEOMETRY_TYPE_TRIANGLES_KHR :: GeometryTypeKHR
type COMPRESSED_TRIANGLE_FORMAT_DGF1_BYTE_ALIGNMENT_AMDX = 128
pattern COMPRESSED_TRIANGLE_FORMAT_DGF1_BYTE_ALIGNMENT_AMDX :: Integral a => a
type COMPRESSED_TRIANGLE_FORMAT_DGF1_BYTE_STRIDE_AMDX = 128
pattern COMPRESSED_TRIANGLE_FORMAT_DGF1_BYTE_STRIDE_AMDX :: Integral a => a

Documentation

data PhysicalDeviceDenseGeometryFormatFeaturesAMDX Source #

VkPhysicalDeviceDenseGeometryFormatFeaturesAMDX - Structure describing dense geometry format features that can be supported by an implementation

Members

This structure describes the following feature:

Description

If the PhysicalDeviceDenseGeometryFormatFeaturesAMDX 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 PhysicalDeviceDenseGeometryFormatFeaturesAMDX, 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)

Description

If format is COMPRESSED_TRIANGLE_FORMAT_DGF1_AMDX, numVertices specifies the sum of vertex counts across all blocks.

Valid Usage

The buffer from which compressedData.deviceAddress is queried must have been created with the BUFFER_USAGE_2_COMPRESSED_DATA_DGF1_BIT_AMDX usage flag set

The ::denseGeometryFormat feature must be enabled
If format is VK_COMPRESSED_TRIANGLE_FORMAT_DGF1_AMDX, then compressedData must be aligned to COMPRESSED_TRIANGLE_FORMAT_DGF1_BYTE_ALIGNMENT_AMDX (128) bytes
If format is VK_COMPRESSED_TRIANGLE_FORMAT_DGF1_AMDX, then dataSize must be a multiple of COMPRESSED_TRIANGLE_FORMAT_DGF1_BYTE_STRIDE_AMDX (128) bytes
pNext must be NULL or a pointer to a valid AccelerationStructureTrianglesOpacityMicromapEXT structure
If pNext is a pointer to a valid AccelerationStructureTrianglesOpacityMicromapEXT structure, the micromap feature must be enabled

Valid Usage (Implicit)

sType must be STRUCTURE_TYPE_ACCELERATION_STRUCTURE_DENSE_GEOMETRY_FORMAT_TRIANGLES_DATA_AMDX

compressedData must be a valid DeviceOrHostAddressConstKHR union
format must be a valid CompressedTriangleFormatAMDX value

Description

COMPRESSED_TRIANGLE_FORMAT_DGF1_AMDX specifies that the compressed triangle data is in Dense Geometry Format, version 1, consisting of an array of 128B DGF blocks.

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

type AMDX_DENSE_GEOMETRY_FORMAT_SPEC_VERSION = 1 Source #

pattern AMDX_DENSE_GEOMETRY_FORMAT_SPEC_VERSION :: Integral a => a Source #

type AMDX_DENSE_GEOMETRY_FORMAT_EXTENSION_NAME = "VK_AMDX_dense_geometry_format" Source #

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

data DeviceOrHostAddressConstKHR Source #

Constructors

DeviceAddressConst DeviceAddress
HostAddressConst (Ptr ())

Instances

Instances details

Show DeviceOrHostAddressConstKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_acceleration_structure Methods showsPrec :: Int -> DeviceOrHostAddressConstKHR -> ShowS # show :: DeviceOrHostAddressConstKHR -> String # showList :: [DeviceOrHostAddressConstKHR] -> ShowS #
ToCStruct DeviceOrHostAddressConstKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_acceleration_structure Methods withCStruct :: DeviceOrHostAddressConstKHR -> (Ptr DeviceOrHostAddressConstKHR -> IO b) -> IO b Source # pokeCStruct :: Ptr DeviceOrHostAddressConstKHR -> DeviceOrHostAddressConstKHR -> IO b -> IO b Source # withZeroCStruct :: (Ptr DeviceOrHostAddressConstKHR -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr DeviceOrHostAddressConstKHR -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero DeviceOrHostAddressConstKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_acceleration_structure Methods zero :: DeviceOrHostAddressConstKHR Source #

newtype GeometryTypeKHR Source #

VkGeometryTypeKHR - Enum specifying which type of geometry is provided

Description

GEOMETRY_TYPE_TRIANGLES_KHR specifies a geometry type consisting of triangles.

GEOMETRY_TYPE_AABBS_KHR specifies a geometry type consisting of axis-aligned bounding boxes.
GEOMETRY_TYPE_INSTANCES_KHR specifies a geometry type consisting of acceleration structure instances.
GEOMETRY_TYPE_DENSE_GEOMETRY_FORMAT_TRIANGLES_AMDX specifies a geometry type consisting of triangles from compressed data.
GEOMETRY_TYPE_SPHERES_NV specifies a geometry type consisting of spheres.
GEOMETRY_TYPE_LINEAR_SWEPT_SPHERES_NV specifies a geometry type consisting of linear swept spheres.

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

Extensible AccelerationStructureDenseGeometryFormatTrianglesDataAMDX Source #
Instance details Defined in Vulkan.Extensions.VK_AMDX_dense_geometry_format Methods extensibleTypeName :: String Source # getNext :: forall (es :: [Type]). AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). AccelerationStructureDenseGeometryFormatTrianglesDataAMDX ds -> Chain es -> AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends AccelerationStructureDenseGeometryFormatTrianglesDataAMDX e => b) -> Maybe b Source #
Show (Chain es) => Show (AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es) Source #
Instance details Defined in Vulkan.Extensions.VK_AMDX_dense_geometry_format Methods showsPrec :: Int -> AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es -> ShowS # show :: AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es -> String # showList :: [AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es] -> ShowS #
(Extendss AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es, PokeChain es) => ToCStruct (AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es) Source #
Instance details Defined in Vulkan.Extensions.VK_AMDX_dense_geometry_format Methods withCStruct :: AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es -> (Ptr (AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es) -> IO b) -> IO b Source # pokeCStruct :: Ptr (AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es) -> AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es -> IO b -> IO b Source # withZeroCStruct :: (Ptr (AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es) -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr (AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es) -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
es ~ ('[] :: [Type]) => Zero (AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es) Source #
Instance details Defined in Vulkan.Extensions.VK_AMDX_dense_geometry_format Methods zero :: AccelerationStructureDenseGeometryFormatTrianglesDataAMDX es Source #

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

Name

VK_AMDX_dense_geometry_format

Other Extension Metadata

Description

New Structures

New Enums

New Enum Constants

Issues

Examples

Version History

See Also

Document Notes

Documentation

Members

Description

Valid Usage (Implicit)

See Also

Instances

Description

Valid Usage

Valid Usage (Implicit)

See Also

Instances

Description

See Also

Instances

Instances

Description

See Also

Instances

See Also

See Also

PhysicalDeviceDenseGeometryFormatFeaturesAMDX
Fields denseGeometryFormat :: Bool `denseGeometryFormat` specifies whether the implementation supports DGF1 compressed geometry data.

pattern GEOMETRY_TYPE_AABBS_KHR :: GeometryTypeKHR
pattern GEOMETRY_TYPE_DENSE_GEOMETRY_FORMAT_TRIANGLES_AMDX :: GeometryTypeKHR
pattern GEOMETRY_TYPE_INSTANCES_KHR :: GeometryTypeKHR
pattern GEOMETRY_TYPE_LINEAR_SWEPT_SPHERES_NV :: GeometryTypeKHR
pattern GEOMETRY_TYPE_SPHERES_NV :: GeometryTypeKHR
pattern GEOMETRY_TYPE_TRIANGLES_KHR :: GeometryTypeKHR