tree 8636f9c9b390743f74bf83c954a06b3003db6787
parent 02ffc719aa9f9c1dce5ce05743fb1afe6cbf17ea
author Lei Zhang <antiagainst@google.com> 1521037396 -0400
committer Lei Zhang <antiagainst@google.com> 1521049282 -0400

Add missing extension/capability requirements for some symbols

Make the grammar more accurate:

Certain symbols can be enabled by an extension in all SPIR-V
versions, like DeviceGroup. Previously the extension for it
is missing, which makes it look like it is only available from
SPIR-V 1.3.

Make tooling more easier to check certain rules:

Certain symbols require both an extension and a capability to
be available. Instead of only specifying the capability, we can
specify both the capability and the extension on the symbol.
So tools don't need to perform indirect query on the capability
to find out the extension requirements. For example, BaseVertex
requires the DrawParameters capability. But it also requires
the SPV_KHR_shader_draw_parameters extension in SPIR-V <1.3.
Previously we can only find out that fact by checking the
extension requirements for DrawParameters.

Make the grammar more consistent:

Previously some symbols have all their capabilities and extensions
listed, but some are not.