Change log for November 30, 2020 Vulkan 1.2.163 spec update:

  * Update release number to 163 for this update.

Github Issues:

  * Add XML mapping between VK_OBJECT_TYPE_* names and object type names
    (public issue 1379).
  * Remove *_READ_BIT from .srcAccessMask in code samples (public issue
    1389).
  * Fix example code for slink:VkPushConstantRange to take
    elink:VkShaderStageFlags, not elink:VkPipelineStageFlags (public pull
    request 1393).
  * Add missing :refpage: attribute to slink:VkBlitImageInfo2KHR (public
    issue 1407).
  * Remove extraneous newline from texel block size table (public issue
    1409).

Internal Issues:

  * Update style guide to require `optional="true"` be set on pname:pNext
    structure members (internal issue 2428).
  * Sort conditionals in ifdef:: output of spirvcapgenerator for stability
    (internal issue 2430).
  * Fix slink:VkGraphicsPipelineShaderGroupsCreateInfoNV VU 02886
    (internal merge request 4225).

Author: oddhack

ChangeLog.txt

@@ -9,6 +9,36 @@ on Github are done as single large patches at the release point, collecting
 together the resolution of many Khronos internal issues, along with any
 public pull requests that have been accepted.
 
+-----------------------------------------------------
+
+Change log for November 30, 2020 Vulkan 1.2.163 spec update:
+
+  * Update release number to 163 for this update.
+
+Github Issues:
+
+  * Add XML mapping between VK_OBJECT_TYPE_* names and object type names
+    (public issue 1379).
+  * Remove *_READ_BIT from .srcAccessMask in code samples (public issue
+    1389).
+  * Fix example code for slink:VkPushConstantRange to take
+    elink:VkShaderStageFlags, not elink:VkPipelineStageFlags (public pull
+    request 1393).
+  * Add missing :refpage: attribute to slink:VkBlitImageInfo2KHR (public
+    issue 1407).
+  * Remove extraneous newline from texel block size table (public issue
+    1409).
+
+Internal Issues:
+
+  * Update style guide to require `optional="true"` be set on pname:pNext
+    structure members (internal issue 2428).
+  * Sort conditionals in ifdef:: output of spirvcapgenerator for stability
+    (internal issue 2430).
+  * Fix slink:VkGraphicsPipelineShaderGroupsCreateInfoNV VU 02886
+    (internal merge request 4225).
+
+
 -----------------------------------------------------
 
 Change log for November 23, 2020 Vulkan 1.2.162 spec update:

Makefile

@@ -109,7 +109,7 @@ VERBOSE =
 # ADOCOPTS options for asciidoc->HTML5 output
 
 NOTEOPTS     = -a editing-notes -a implementation-guide
-PATCHVERSION = 162
+PATCHVERSION = 163
 ifneq (,$(findstring VK_VERSION_1_2,$(VERSIONS)))
 SPECREVISION = 1.2.$(PATCHVERSION)
 else

chapters/VK_EXT_private_data.txt

@@ -170,8 +170,8 @@ slink:VkSwapchainKHR.
 .Valid Usage
 ****
   * [[VUID-vkGetPrivateDataEXT-objectType-04018]]
-    pname:objectType must: be slink:VkDevice or an object type whose parent
-    is slink:VkDevice
+    pname:objectType must: be ename:VK_OBJECT_TYPE_DEVICE, or an object type
+    whose parent is slink:VkDevice
 ****
 
 include::{generated}/validity/protos/vkGetPrivateDataEXT.txt[]

chapters/copies.txt

@@ -1440,6 +1440,8 @@ include::{generated}/validity/protos/vkCmdBlitImage2KHR.txt[]
 
 [open,refpage='VkBlitImageInfo2KHR',desc='Structure specifying parameters of blit image command',type='structs']
 --
+:refpage: VkBlitImageInfo2KHR
+
 The sname:VkBlitImageInfo2KHR structure is defined as:
 
 include::{generated}/api/structs/VkBlitImageInfo2KHR.txt[]

chapters/pipelines.txt

@@ -1991,10 +1991,9 @@ ifdef::VK_NV_mesh_shader[]
     pname:pGroups
 endif::VK_NV_mesh_shader[]
   * [[VUID-VkGraphicsPipelineShaderGroupsCreateInfoNV-pPipelines-02886]]
-    Each element of the pname:pPipelines member of pname:libraries must:
-    have been created with identical state to the pipeline currently created
-    except the state that can be overriden by
-    slink:VkGraphicsShaderGroupCreateInfoNV
+    Each element of pname:pPipelines must: have been created with identical
+    state to the pipeline currently created except the state that can be
+    overridden by slink:VkGraphicsShaderGroupCreateInfoNV
   * [[VUID-VkGraphicsPipelineShaderGroupsCreateInfoNV-deviceGeneratedCommands-02887]]
     The <<features-deviceGeneratedCommands,
     sname:VkPhysicalDeviceDeviceGeneratedCommandsFeaturesNV::pname:deviceGeneratedCommands>>

chapters/renderpass.txt

@@ -1611,10 +1611,7 @@ VkSubpassDependency implicitDependency = {
     .dstSubpass = VK_SUBPASS_EXTERNAL;
     .srcStageMask = VK_PIPELINE_STAGE_ALL_COMMANDS_BIT;
     .dstStageMask = VK_PIPELINE_STAGE_BOTTOM_OF_PIPE_BIT;
-    .srcAccessMask = VK_ACCESS_INPUT_ATTACHMENT_READ_BIT |
-                     VK_ACCESS_COLOR_ATTACHMENT_READ_BIT |
-                     VK_ACCESS_COLOR_ATTACHMENT_WRITE_BIT |
-                     VK_ACCESS_DEPTH_STENCIL_ATTACHMENT_READ_BIT |
+    .srcAccessMask = VK_ACCESS_COLOR_ATTACHMENT_WRITE_BIT |
                      VK_ACCESS_DEPTH_STENCIL_ATTACHMENT_WRITE_BIT;
     .dstAccessMask = 0;
     .dependencyFlags = 0;
@@ -1718,19 +1715,19 @@ The subpass dependency operates as if defined with the following parameters:
 ---------------------------------------------------
 // Used for input attachments
 VkPipelineStageFlags inputAttachmentStages = VK_PIPELINE_STAGE_FRAGMENT_SHADER_BIT;
-VkAccessFlags inputAttachmentAccess = VK_ACCESS_INPUT_ATTACHMENT_READ_BIT;
+VkAccessFlags inputAttachmentDstAccess = VK_ACCESS_INPUT_ATTACHMENT_READ_BIT;
 
 // Used for depth/stencil attachments
 VkPipelineStageFlags depthStencilAttachmentStages = VK_PIPELINE_STAGE_EARLY_FRAGMENT_TESTS_BIT | VK_PIPELINE_STAGE_LATE_FRAGMENT_TESTS_BIT;
-VkAccessFlags depthStencilAttachmentAccess = VK_ACCESS_DEPTH_STENCIL_ATTACHMENT_READ_BIT;
+VkAccessFlags depthStencilAttachmentDstAccess = VK_ACCESS_DEPTH_STENCIL_ATTACHMENT_READ_BIT;
 
 VkSubpassDependency implicitDependency = {
     .srcSubpass = firstSubpass;
     .dstSubpass = secondSubpass;
     .srcStageMask = inputAttachmentStages | depthStencilAttachmentStages;
     .dstStageMask = inputAttachmentStages | depthStencilAttachmentStages;
-    .srcAccessMask = inputAttachmentAccess | depthStencilAttachmentAccess;
-    .dstAccessMask = inputAttachmentAccess | depthStencilAttachmentAccess;
+    .srcAccessMask = 0;
+    .dstAccessMask = inputAttachmentDstAccess | depthStencilAttachmentDstAccess;
     .dependencyFlags = 0;
 };
 ---------------------------------------------------

registry.txt

@@ -462,6 +462,9 @@ information is used to generate more complicated C types.
   * attr:allowduplicate - only applicable if attr:category is `"struct"`.
     If `"true"`, then structures whose `pNext` chains include this structure
     may include more than one instance of it.
+  * attr:objtypeenum - only applicable at present if attr:category is
+    `"handle"`. Specifies the name of a `VkObjectType` enumerant which
+    corresponds to this type. The enumerant must be defined.
 
 == Contents of tag:type tags
 
@@ -524,6 +527,9 @@ member.
     separated by commas - one for each pointer indirection.
     If not present, the value is assumed to be `"false"` (the member must
     not be omitted).
+    Structure members with name `pNext` must always be specified with
+    `optional="true"`, since there is no requirement that any member of a
+    `pNext` chain have a following member in the chain.
   * attr:selector - optional.
     If the member is a union, attr:selector identifies another member of the
     struct that is used to select which of that union's members are valid.
@@ -2230,6 +2236,11 @@ files and Python scripts are logged in Github history.
 [[changelog]]
 = Change Log
 
+  * 2020-11-23 - Add `objtypeenum` attribute to <<tag:type, tag:type>> tags
+    to link the object name to the corresponding `VK_OBJECT_TYPE_*`
+    enumerant, if any (internal issue 2393).
+  * 2020-11-22 - Add requirement that `pNext` members have the
+    `optional="true"` attribute set (internal issue 2428).
   * 2020-10-14 - Remove advice to set the attr:noautovalidity attribute on
     the `pNext` member of extending structures in the <<tag:type, tag:type
     tag>>, since the validity generator scripts now take care of this

scripts/spirvcapgenerator.py

@@ -49,8 +49,8 @@ def getCondition(self, enable):
             return ''
 
     def getConditions(self, enables):
-        """Return a set of strings which are conditions under which one or
-           more of the enables is supported.
+        """Return a sorted list of strings which are conditions under which
+           one or more of the enables is supported.
 
          - enables - ElementTree corresponding to a <spirvcapability> or
            <spirvextension> XML tag"""
@@ -60,7 +60,7 @@ def getConditions(self, enables):
             condition = self.getCondition(enable)
             if condition != None:
                 conditions.add(condition)
-        return conditions
+        return sorted(conditions)
 
     def endFile(self):
         captable = []

xml/registry.rnc

@@ -72,17 +72,18 @@ Types = element types {
 # may contain arbitrary C code.
 #   name - name of this type, if not present in the <name> tag
 #   api - matches a <feature> api attribute, if present
+#   alias - name of a type this type aliases
 #   requires - name of another type definition required by this one
 #   bitvalues - for a *Flags type, name of an enum definition that
 #       defines the valid values for parameters of that type
+#   name - name of the type being defined
 #   category - if present, 'enum' indicates a matching <enums>
 #       block to generate an enumerated type for, and 'struct'
 #       causes special interpretation of the contents of the type
 #       tag including ... TBD ...
 #       Other allowed values are 'include', 'define', 'handle' and 'bitmask',
 #       which don't change syntactic interpretation but allow organization in
 #       the generated header.
-#   comment - unused
 #   parent - only applicable if category is 'handle'. Notes another type with
 #       the 'handle' category that acts as a parent object for this type.
 #   returnedonly - only applicable if category is 'struct'. Notes that this
@@ -96,6 +97,9 @@ Types = element types {
 #       to pNext chain validity for the parent structures it extends.
 #   allowduplicate - only applicable if category is 'struct'. pNext can include
 #       multiple structures of this type.
+#   objtypeenum - name of VK_OBJECT_TYPE_* API enumerant which corresponds
+#       to this type. Currently only specified for category="handle" types.
+#   comment - descriptive text with no semantic meaning
 # For types without a category, contents include
 #   <apientry /> - substitutes for an APIENTRY-style macro on output
 #   <name> - contains name of the type being defined
@@ -139,6 +143,7 @@ Type = element type {
     attribute returnedonly { text } ? ,
     attribute structextends { text } ? ,
     attribute allowduplicate { text } ? ,
+    attribute objtypeenum { text } ? ,
     Comment ? ,
     (
         (
@@ -183,7 +188,7 @@ Type = element type {
 #   vendor - owner of the numeric range
 #   type - 'enum' or 'bitmask', if present
 #   bitwidth - bit width of the enum value type.
-#   comment - unused
+#   comment - descriptive text with no semantic meaning
 Enums = element enums {
     attribute name { text } ? ,
     attribute type { text } ? ,
@@ -224,7 +229,7 @@ Enums = element enums {
 #   type - 'u' (unsigned), 'ull' (uint64), or integer if not present
 #   name - enumerant name
 #   alias - another enumerant this is semantically identical to
-#   comment - unused
+#   comment - descriptive text with no semantic meaning
 Enum = element enum {
     (
       (
@@ -257,7 +262,7 @@ Enum = element enum {
 # <unused> defines a range of enumerants not currently being used
 #   start, end - beginning and end of an unused numeric range
 #   vendor - unused
-#   comment - unused
+#   comment - descriptive text with no semantic meaning
 Unused = element unused {
     attribute start { Integer } ,
     attribute end { Integer } ? ,
@@ -365,7 +370,7 @@ Command = element command {
 #   <require> / <remove> contains features to require or remove in
 #                        this version
 #     profile - only require/remove when generated profile matches
-#     comment - unused
+#     comment - descriptive text with no semantic meaning
 Feature = element feature {
     attribute api { text } ,
     Name ,