Vulkan.Extensions.VK_EXT_provoking_vertex

Name

VK_EXT_provoking_vertex - device extension

VK_EXT_provoking_vertex

Name String

VK_EXT_provoking_vertex

Extension Type

Device extension

Registered Extension Number

255

Revision

1

Ratification Status

Not ratified

Extension and Version Dependencies

VK_KHR_get_physical_device_properties2

Special Use

• OpenGL / ES support

Contact

• Jesse Hall @jessehall%0A*Here describe the issue or question you have about the VK_EXT_provoking_vertex extension*

Other Extension Metadata

Last Modified Date

2021-02-22

IP Status

No known IP claims.

Contributors

• Alexis Hétu, Google
• Bill Licea-Kane, Qualcomm
• Daniel Koch, Nvidia
• Jamie Madill, Google
• Jan-Harald Fredriksen, Arm
• Faith Ekstrand, Intel
• Jeff Bolz, Nvidia
• Jeff Leger, Qualcomm
• Jesse Hall, Google
• Jörg Wagner, Arm
• Matthew Netsch, Qualcomm
• Mike Blumenkrantz, Valve
• Piers Daniell, Nvidia
• Tobias Hector, AMD

Description

This extension allows changing the provoking vertex convention between Vulkan’s default convention (first vertex) and OpenGL’s convention (last vertex).

This extension is intended for use by API-translation layers that implement APIs like OpenGL on top of Vulkan, and need to match the source API’s provoking vertex convention. Applications using Vulkan directly should use Vulkan’s default convention.

New Structures

• Extending PhysicalDeviceFeatures2, DeviceCreateInfo:

  • PhysicalDeviceProvokingVertexFeaturesEXT

• Extending PhysicalDeviceProperties2:

  • PhysicalDeviceProvokingVertexPropertiesEXT

• Extending PipelineRasterizationStateCreateInfo:

  • PipelineRasterizationProvokingVertexStateCreateInfoEXT

New Enums

• ProvokingVertexModeEXT

New Enum Constants

• EXT_PROVOKING_VERTEX_EXTENSION_NAME

• EXT_PROVOKING_VERTEX_SPEC_VERSION

• Extending StructureType:

  • STRUCTURE_TYPE_PHYSICAL_DEVICE_PROVOKING_VERTEX_FEATURES_EXT
  • STRUCTURE_TYPE_PHYSICAL_DEVICE_PROVOKING_VERTEX_PROPERTIES_EXT
  • STRUCTURE_TYPE_PIPELINE_RASTERIZATION_PROVOKING_VERTEX_STATE_CREATE_INFO_EXT

Issues

1) At what granularity should this state be set?

RESOLVED: At pipeline bind, with an optional per-render pass restriction.

The most natural place to put this state is in the graphics pipeline object. Some implementations require it to be known when creating the pipeline, and pipeline state is convenient for implementing OpenGL 3.2’s glProvokingVertex, which can change the state between draw calls. However, some implementations can only change it approximately render pass granularity. To accommodate both, provoking vertex will be pipeline state, but implementations can require that only one mode is used within a render pass instance; the render pass’s mode is chosen implicitly when the first pipeline is bound.

2) Does the provoking vertex mode affect the order that vertices are written to transform feedback buffers?

RESOLVED: Yes, to enable layered implementations of OpenGL and D3D.

All of OpenGL, OpenGL ES, and Direct3D 11 require that vertices are written to transform feedback buffers such that flat-shaded attributes have the same value when drawing the contents of the transform feedback buffer as they did in the original drawing when the transform feedback buffer was written (assuming the provoking vertex mode has not changed, in APIs that support more than one mode).

Version History

• Revision 1, (1c) 2021-02-22 (Jesse Hall)

  • Added VkPhysicalDeviceProvokingVertexPropertiesEXT::transformFeedbackPreservesTriangleFanProvokingVertex to accommodate implementations that cannot change the transform feedback vertex order for triangle fans.

• Revision 1, (1b) 2020-06-14 (Jesse Hall)

  • Added VkPhysicalDeviceProvokingVertexFeaturesEXT::transformFeedbackPreservesProvokingVertex and required that transform feedback write vertices so as to preserve the provoking vertex of each primitive.

• Revision 1, (1a) 2019-10-23 (Jesse Hall)

  • Initial draft, based on a proposal by Alexis Hétu

See Also

PhysicalDeviceProvokingVertexFeaturesEXT, PhysicalDeviceProvokingVertexPropertiesEXT, PipelineRasterizationProvokingVertexStateCreateInfoEXT, ProvokingVertexModeEXT

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.

Documentation

data PhysicalDeviceProvokingVertexFeaturesEXT

VkPhysicalDeviceProvokingVertexFeaturesEXT - Structure describing the provoking vertex features that can be supported by an implementation

Members

This structure describes the following features:

Description

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

When PhysicalDeviceProvokingVertexFeaturesEXT is in the pNext chain of DeviceCreateInfo but the transformFeedback feature is not enabled, the value of transformFeedbackPreservesProvokingVertex is ignored.

Valid Usage (Implicit)

See Also

VK_EXT_provoking_vertex, Bool32, StructureType

Constructors

PhysicalDeviceProvokingVertexFeaturesEXT

Fields

• provokingVertexLast :: Bool

  provokingVertexLast indicates whether the implementation supports the PROVOKING_VERTEX_MODE_LAST_VERTEX_EXT provoking vertex mode for flat shading.

• transformFeedbackPreservesProvokingVertex :: Bool

  transformFeedbackPreservesProvokingVertex indicates that the order of vertices within each primitive written by transform feedback will preserve the provoking vertex. This does not apply to triangle fan primitives when transformFeedbackPreservesTriangleFanProvokingVertex is FALSE. transformFeedbackPreservesProvokingVertex must be FALSE when the VK_EXT_transform_feedback extension is not supported.

Instances

Storable PhysicalDeviceProvokingVertexFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

sizeOf :: PhysicalDeviceProvokingVertexFeaturesEXT -> Int

alignment :: PhysicalDeviceProvokingVertexFeaturesEXT -> Int

peekElemOff :: Ptr PhysicalDeviceProvokingVertexFeaturesEXT -> Int -> IO PhysicalDeviceProvokingVertexFeaturesEXT

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

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

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

peek :: Ptr PhysicalDeviceProvokingVertexFeaturesEXT -> IO PhysicalDeviceProvokingVertexFeaturesEXT

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

Show PhysicalDeviceProvokingVertexFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

showsPrec :: Int -> PhysicalDeviceProvokingVertexFeaturesEXT -> ShowS

show :: PhysicalDeviceProvokingVertexFeaturesEXT -> String

showList :: [PhysicalDeviceProvokingVertexFeaturesEXT] -> ShowS

Eq PhysicalDeviceProvokingVertexFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

(==) :: PhysicalDeviceProvokingVertexFeaturesEXT -> PhysicalDeviceProvokingVertexFeaturesEXT -> Bool

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

FromCStruct PhysicalDeviceProvokingVertexFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

peekCStruct :: Ptr PhysicalDeviceProvokingVertexFeaturesEXT -> IO PhysicalDeviceProvokingVertexFeaturesEXT

ToCStruct PhysicalDeviceProvokingVertexFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

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

pokeCStruct :: Ptr PhysicalDeviceProvokingVertexFeaturesEXT -> PhysicalDeviceProvokingVertexFeaturesEXT -> IO b -> IO b

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

pokeZeroCStruct :: Ptr PhysicalDeviceProvokingVertexFeaturesEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PhysicalDeviceProvokingVertexFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

zero :: PhysicalDeviceProvokingVertexFeaturesEXT

data PhysicalDeviceProvokingVertexPropertiesEXT

VkPhysicalDeviceProvokingVertexPropertiesEXT - Structure describing provoking vertex properties supported by an implementation

Description

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

Valid Usage (Implicit)

See Also

VK_EXT_provoking_vertex, Bool32, StructureType

Constructors

PhysicalDeviceProvokingVertexPropertiesEXT

Fields

• provokingVertexModePerPipeline :: Bool

  provokingVertexModePerPipeline indicates whether the implementation supports graphics pipelines with different provoking vertex modes within the same render pass instance.

• transformFeedbackPreservesTriangleFanProvokingVertex :: Bool

  transformFeedbackPreservesTriangleFanProvokingVertex indicates whether the implementation can preserve the provoking vertex order when writing triangle fan vertices to transform feedback.

Instances

Storable PhysicalDeviceProvokingVertexPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

sizeOf :: PhysicalDeviceProvokingVertexPropertiesEXT -> Int

alignment :: PhysicalDeviceProvokingVertexPropertiesEXT -> Int

peekElemOff :: Ptr PhysicalDeviceProvokingVertexPropertiesEXT -> Int -> IO PhysicalDeviceProvokingVertexPropertiesEXT

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

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

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

peek :: Ptr PhysicalDeviceProvokingVertexPropertiesEXT -> IO PhysicalDeviceProvokingVertexPropertiesEXT

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

Show PhysicalDeviceProvokingVertexPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

showsPrec :: Int -> PhysicalDeviceProvokingVertexPropertiesEXT -> ShowS

show :: PhysicalDeviceProvokingVertexPropertiesEXT -> String

showList :: [PhysicalDeviceProvokingVertexPropertiesEXT] -> ShowS

Eq PhysicalDeviceProvokingVertexPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

(==) :: PhysicalDeviceProvokingVertexPropertiesEXT -> PhysicalDeviceProvokingVertexPropertiesEXT -> Bool

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

FromCStruct PhysicalDeviceProvokingVertexPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

peekCStruct :: Ptr PhysicalDeviceProvokingVertexPropertiesEXT -> IO PhysicalDeviceProvokingVertexPropertiesEXT

ToCStruct PhysicalDeviceProvokingVertexPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

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

pokeCStruct :: Ptr PhysicalDeviceProvokingVertexPropertiesEXT -> PhysicalDeviceProvokingVertexPropertiesEXT -> IO b -> IO b

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

pokeZeroCStruct :: Ptr PhysicalDeviceProvokingVertexPropertiesEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PhysicalDeviceProvokingVertexPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

zero :: PhysicalDeviceProvokingVertexPropertiesEXT

data PipelineRasterizationProvokingVertexStateCreateInfoEXT

VkPipelineRasterizationProvokingVertexStateCreateInfoEXT - Structure specifying provoking vertex mode used by a graphics pipeline

Description

If this struct is not provided when creating the pipeline, the pipeline will use the PROVOKING_VERTEX_MODE_FIRST_VERTEX_EXT mode.

If the provokingVertexModePerPipeline limit is FALSE, then all pipelines bound within a render pass instance must have the same provokingVertexMode.

Valid Usage

• If provokingVertexMode is PROVOKING_VERTEX_MODE_LAST_VERTEX_EXT, then the provokingVertexLast feature must be enabled

Valid Usage (Implicit)

• sType must be STRUCTURE_TYPE_PIPELINE_RASTERIZATION_PROVOKING_VERTEX_STATE_CREATE_INFO_EXT

• provokingVertexMode must be a valid ProvokingVertexModeEXT value

See Also

VK_EXT_provoking_vertex, ProvokingVertexModeEXT, StructureType

Constructors

PipelineRasterizationProvokingVertexStateCreateInfoEXT

Fields

• provokingVertexMode :: ProvokingVertexModeEXT

  provokingVertexMode is a ProvokingVertexModeEXT value selecting the provoking vertex mode.

Instances

Storable PipelineRasterizationProvokingVertexStateCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

sizeOf :: PipelineRasterizationProvokingVertexStateCreateInfoEXT -> Int

alignment :: PipelineRasterizationProvokingVertexStateCreateInfoEXT -> Int

peekElemOff :: Ptr PipelineRasterizationProvokingVertexStateCreateInfoEXT -> Int -> IO PipelineRasterizationProvokingVertexStateCreateInfoEXT

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

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

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

peek :: Ptr PipelineRasterizationProvokingVertexStateCreateInfoEXT -> IO PipelineRasterizationProvokingVertexStateCreateInfoEXT

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

Show PipelineRasterizationProvokingVertexStateCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

showsPrec :: Int -> PipelineRasterizationProvokingVertexStateCreateInfoEXT -> ShowS

show :: PipelineRasterizationProvokingVertexStateCreateInfoEXT -> String

showList :: [PipelineRasterizationProvokingVertexStateCreateInfoEXT] -> ShowS

Eq PipelineRasterizationProvokingVertexStateCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

(==) :: PipelineRasterizationProvokingVertexStateCreateInfoEXT -> PipelineRasterizationProvokingVertexStateCreateInfoEXT -> Bool

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

FromCStruct PipelineRasterizationProvokingVertexStateCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

peekCStruct :: Ptr PipelineRasterizationProvokingVertexStateCreateInfoEXT -> IO PipelineRasterizationProvokingVertexStateCreateInfoEXT

ToCStruct PipelineRasterizationProvokingVertexStateCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

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

pokeCStruct :: Ptr PipelineRasterizationProvokingVertexStateCreateInfoEXT -> PipelineRasterizationProvokingVertexStateCreateInfoEXT -> IO b -> IO b

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

pokeZeroCStruct :: Ptr PipelineRasterizationProvokingVertexStateCreateInfoEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PipelineRasterizationProvokingVertexStateCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

zero :: PipelineRasterizationProvokingVertexStateCreateInfoEXT

newtype ProvokingVertexModeEXT

VkProvokingVertexModeEXT - Specify which vertex in a primitive is the provoking vertex

Description

These modes are described more precisely in Primitive Topologies.

See Also

VK_EXT_provoking_vertex, PipelineRasterizationProvokingVertexStateCreateInfoEXT, cmdSetProvokingVertexModeEXT

Constructors

ProvokingVertexModeEXT Int32

Bundled Patterns

pattern PROVOKING_VERTEX_MODE_FIRST_VERTEX_EXT :: ProvokingVertexModeEXT

PROVOKING_VERTEX_MODE_FIRST_VERTEX_EXT specifies that the provoking vertex is the first non-adjacency vertex in the list of vertices used by a primitive.

pattern PROVOKING_VERTEX_MODE_LAST_VERTEX_EXT :: ProvokingVertexModeEXT

PROVOKING_VERTEX_MODE_LAST_VERTEX_EXT specifies that the provoking vertex is the last non-adjacency vertex in the list of vertices used by a primitive.

Instances

Storable ProvokingVertexModeEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

sizeOf :: ProvokingVertexModeEXT -> Int

alignment :: ProvokingVertexModeEXT -> Int

peekElemOff :: Ptr ProvokingVertexModeEXT -> Int -> IO ProvokingVertexModeEXT

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

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

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

peek :: Ptr ProvokingVertexModeEXT -> IO ProvokingVertexModeEXT

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

Read ProvokingVertexModeEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

readsPrec :: Int -> ReadS ProvokingVertexModeEXT

readList :: ReadS [ProvokingVertexModeEXT]

readPrec :: ReadPrec ProvokingVertexModeEXT

readListPrec :: ReadPrec [ProvokingVertexModeEXT]

Show ProvokingVertexModeEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

showsPrec :: Int -> ProvokingVertexModeEXT -> ShowS

show :: ProvokingVertexModeEXT -> String

showList :: [ProvokingVertexModeEXT] -> ShowS

Eq ProvokingVertexModeEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

(==) :: ProvokingVertexModeEXT -> ProvokingVertexModeEXT -> Bool

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

Ord ProvokingVertexModeEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

compare :: ProvokingVertexModeEXT -> ProvokingVertexModeEXT -> Ordering

(<) :: ProvokingVertexModeEXT -> ProvokingVertexModeEXT -> Bool

(<=) :: ProvokingVertexModeEXT -> ProvokingVertexModeEXT -> Bool

(>) :: ProvokingVertexModeEXT -> ProvokingVertexModeEXT -> Bool

(>=) :: ProvokingVertexModeEXT -> ProvokingVertexModeEXT -> Bool

max :: ProvokingVertexModeEXT -> ProvokingVertexModeEXT -> ProvokingVertexModeEXT

min :: ProvokingVertexModeEXT -> ProvokingVertexModeEXT -> ProvokingVertexModeEXT

Zero ProvokingVertexModeEXT

Defined in Vulkan.Extensions.VK_EXT_provoking_vertex

Methods

zero :: ProvokingVertexModeEXT

type EXT_PROVOKING_VERTEX_SPEC_VERSION = 1

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

type EXT_PROVOKING_VERTEX_EXTENSION_NAME = "VK_EXT_provoking_vertex"

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