Merge pull request #1758 from jeffbolznv/convertonly

If a shader's only use of float16 is for FConvert, add the Float16 capability

Fix #1759: Check for specialization constants when literals required.

If a shader's only use of float16 is for FConvert, add the Float16 capability.

When visiting instructions, check that there are no 16-bit storage capabilities
and add the Float16 capability. Same for int8/int16.

Bump revision.

GLSL: Add error check for an argument dropping the 'restrict' qualifier

Fix #1720: Give an error for parameter mismatched image format.

clang-format correction and typo (clang format likely not complete)

This was added some time ago, but I suspect largely unused.
Christoph pointed out of few contradictions to actual convention,
so that's fixed. But, I suspect it is largely incomplete.

Merge pull request #1753 from pixeljetstream/ckubischnv_dumpbuiltins

introduce ability to dump builtin symbol table

improve formating

revert typeName from getCompleteString() (breaks tests), add to function dump instead

improve formating

TType::getCompleteString insert optional structure name

minor improvements to formating

minor naming cleanup

introduce new --dump-builtin-symbols command line

add corresponding EShMsgBuiltinSymbolTable
TSymbol::dump functions have option to do "complete" print
bugfix in TType::getCompleteString, structure can be null for block

Merge pull request #1752 from dgkoch/dkoch_build_fix18

Add cstdlib include

Add cstdlib include

On some platforms some of the includers of this header don't have
'atoi' defined after the change in #1749

Merge pull request #1750 from greg-lunarg/kg103

Update spirv-tools known-good

Update spirv-tools known-good

Update to latest SPIR-V header and bump revision.

Merge pull request #1749 from dgkoch/dgkoch_common_mscver

Check if _MSC_VER is defined before using.

Check if _MSC_VER is defined before using.

Fixes compilation errors on some platforms.

Merge pull request #1746 from karl-lunarg/gtest-install

build: Don't ship GTEST headers in install target

build: Don't ship GTEST headers in install target

A project that uses googletest(GTEST) shouldn't include googletest
headers with its artifacts in its install target.  These headers
simply are not needed by the consumers of the install target and
can cause conflicts with other projects that use googletest
themselves and this project's install target.  And they are just not
part of the expected glslang build artifacts.

It is likely that the addition of the googletest headers to the install
target was a simple oversight that happens as a result of adding
googletest as a CMake subdirectory.

For more information on how this causes conflicts with other projects,
please see: https://github.com/KhronosGroup/Vulkan-ValidationLayers/issues/821.

Merge pull request #1742 from greg-lunarg/kg102

Update spirv-tools known-good

Update spirv-tools known-good

Merge pull request #1740 from ewerness-nv/callableincoming

Callables shouldn't have incoming ray flags

Merge pull request #1741 from dgkoch/shader_subgroup

Enable GL_KHR_shader_subgroup properly

Enable GL_KHR_shader_subgroup properly

(and GL_NV_shader_subgroup_partitioned) based on GL/ES version
instead of predicating it on vulkan SPV generation

Also add AST testing.
The glsl.450.subgroup* files are largely the same as the spv.subgroup*
The glsl.es320.subgroup* files are the same as the 450 versions, but modified to be ES compatible.

Callables shouldn't have incoming ray flags

Merge pull request #1711 from demett-brcm/avoid-undefined-behaviour

Avoid undefined behaviour

GLSL: Fix tessellation control shader bounding box support. (#1730)

Prior to this change, OES_primitive_bounding_box and EXT_primitive_bounding_box were both recognised as extensions, but only the name gl_BoundingBoxOES could be used. However the EXT version uses the name gl_BoundingBoxEXT instead. In addition, since GLES 3.2, the extension has been included in the core standard and the name gl_BoundingBox may be used instead. This change aims to make both extensions and the 3.2 core version all work.

Merge pull request #1733 from null77/fix-msvc-warn

Suppress MSVC warning about unused variable.

Merge pull request #1731 from godlikepanos/master

Avoid running the validator as part of the optimization pass.

Suppress MSVC warning about unused variable.

One variable was only used in an 'assert' call. MSVC flagged this
as unused in Release. Suppress the warning and also add a static
cast to void so the variable becomes referenced.

Avoid running the validator as part of the optimization pass.

The spvtools::Optimizer::Run method glslang is using constructs a default set
of spvtools::OptimizerOptions. This default set of options instructs the
validator to run. That is not quite correct since glslang will invoke the
validator _explicitly_ after the optimization pass.

Change-Id: I30f458304c6e7f81e89fc4ebd25eabbbd8348063

Build: Update to the most recent SPIR-V headers, for Rev. 7 of SPV 1.3

Merge pull request #1728 from alelenv/shaderrecord_fix

Error out writes to shaderRecordNV buffer blocks.

Merge pull request #1724 from zoddicus/roll_spirv

Update SPIRV-Tools and Headers

Update SPIRV-Tools and Headers

Also mark spv.subgroupPartitioned as passing validation.

Merge pull request #1723 from null77/gn-val-executable

GN: Make glslang_validator an executable.

GN: Make glslang_validator an executable.

The target was accidentally listed as a source_set.

Merge pull request #1717 from jeffbolznv/getBufferReferenceAlignment

Move getBufferReferenceAlignment to be a method of TType

Merge pull request #1716 from jeffbolznv/buffer_reference_fold2

Improved fix for buffer reference constants

Move getBufferReferenceAlignment to be a method of TType

This is a better place for it logically, since it is not specific to
glsl->spirv translation. And in a future change I want to use it outside
of glslangtospv.

Improved fix for buffer reference constants

This is an alternate fix for the issue described in commit be63facd, whose
solution didn't work if there were non-trivial operations involved in computing
a constant initializer which caused the 'constant unfolding' code to kick in
(addConstantReferenceConversion). Instead, this change does the 'unfolding'
later in createSpvConstantFromConstUnionArray. If a reference-type constant has
survived that long, then folding is already done, this must be a 'real' (inside
a function) use of the constant, and it should be safe to unfold and apply the
bitcast.

Merge pull request #1714 from jeffbolznv/volatil

Fix interactions between 'volatile' and the Vulkan memory model

Build: Update to latest SPIR-V header.

Fix interactions between 'volatile' and the Vulkan memory model

Last year we changed 'volatile' to also act as 'coherent', but when I
resolved the memory model changes against that change I missed handling
volatile in a couple places that we check for coherent. There was also
a place in post-processing that acted as if the volatile memory access
flag has a literal number associated with it, when it doesn't.

Merge pull request #1699 from jeffbolznv/buffer_reference_fold

Handle buffer references vs 'const'

Error out writes to shaderRecordNV buffer blocks.

Handle buffer references vs 'const'

Allow constructors to and from references to be constant folded. Section 4.3.3
says constructors whose arguments are all constant expressions must fold.

Disallow 'const' on buffer reference types. It is not a 'non-void transparent
basic data type' (it is not considered 'basic').

Handle buffer reference constants (which can be assigned to a non-const reference,
or can be further folded to another type of constant) by converting to
'constructor(uint64_t constant)' in addConversion.

Disallow == and != operators on reference types.

Merge pull request #1713 from jeffbolznv/fix_nv_extension_disabled

Fix NV_EXTENSIONS-disabled build

Fix NV_EXTENSIONS-disabled build

Merge pull request #1701 from jeffbolznv/cooperative_matrix

Implement GL_NV_cooperative_matrix

Implement GL_NV_cooperative_matrix

Avoid undefined behaviour

Merge pull request #1709 from KhronosGroup/fix-pp

PP: Fix #1605: Paste tokens for ## through number->letter transitions.

PP: Fix #1605: Paste tokens for ## through number->letter transitions.

Merge pull request #1706 from nico/master

Fix -Wextra-semi warnings in headers used in Chromium

Merge pull request #1705 from baldurk/fix-indexindirect-reflection

Fix type recursion with EOpIndexIndirect dereferences

Fix -Wextra-semi warnings in headers used in Chromium

Fix type recursion with EOpIndexIndirect dereferences

* This primarily affects arrays-of-arrays but it can also affect arrays-of-
  structs if there are no further dereferences.

Merge pull request #1702 from greg-lunarg/kg101

Update SPIRV-Tools known good

Merge pull request #1703 from dj2/mem_leak

Allocate empty function name in the string pool.

Merge pull request #1704 from dj2/leak

Fixup leak of TString

Fixup leak of TString

In decomposeIntrinsic a new TString was being allocated and passed into
a TVariable. That string was leaking. This CL converts the new TString
to call NewPoolTString to allocate from the TString pool.

Allocate empty function name in the string pool.

Inside the grammar for function_identifier if the .function is null an
empty function name is allocated. This is allocated on the stack and
passed into TFunction as a pointer. TFunction just stores that pointer.

Later, when we access the name we will receive an invalid usage of a
stack allocated variable. This CL switches to using NewPoolTStringn for
the empty function name.

Update SPIRV-Tools known good

Merge pull request #1700 from KhronosGroup/fix-pp

PP: Remove sub-tokens in macro recording and record spaces correctly.

PP: Faithfully track white-space through macro record/use, fixing bugs:

This fixes the comparison in macro body redefinitions, where initial
white-space differences do not matter, but internal white-space differences
do matter.

PP: Non-functional: Remove the sub-tokenization of macro stream record.

This has been a continually fragile area. Switching to a vector of real
objects, instead of a linearized stream of characters, removes a bunch of
code and generally makes this area more robust.

Build: Fix #1640: Change strcpy to snprintf.

Merge pull request #1696 from baldurk/fix-nonblock-array-size

Fix treatment of array input/output variables in reflection

PP: Fix #1694: Rationalize errors on partially expanded macro argument.

Merge pull request #1697 from sparmarNV/fix-NV_mesh_shader

Fix resizing of gl_PrimitiveIndicesNV[] to max_primitives*geomSize

Handle resizing/error checks for mesh shader out arrays

Update gtest to explicitly size gl_PrimitiveIndicesNV[]

Fix resizing of gl_PrimitiveIndicesNV[] to max_primitives*geomSize

- This change also allows redeclaration of gl_PrimitiveIndicesNV and
  adds error checks against incorrect explicit array size.
- Also modifies gtests to check array bound limits and redeclare gl_PrimitiveIndicesNV[].

Fix treatment of array input/output variables in reflection

* Non-block arrays should not be ignored when exploding types.
* When not exploding, set the array size correctly on each item.

Merge pull request #1695 from baldurk/explode-reflected-io-blocks

Add option to unwrap I/O block aggregates in reflection

Add option to unwrap I/O block aggregates in reflection

* We follow similar rules to uniform block exploding.

Whitespace: Fix some tabs->spaces, mostly to retriggered failed bots.

PP: Fix #1694: Handle badly formed argument substitution.

Also added a warning for no space after a macro name.

Merge pull request #1684 from baldurk/reflection-interface-improve

Opt-in improvements to reflection interface

Reflow for better readability

Bump version.

Build: Fix #1665: remove __fastcall

Merge pull request #1693 from sparmarNV/fix-NV_mesh_shader

Add missing support for gl_MeshViewCountNV/gl_MeshViewIndicesNV in task shaders

Add missing support for gl_MeshViewCountNV/gl_MeshViewIndicesNV in task shaders

Merge pull request #1692 from alan-baker/update-spvtools

Update SPIRV-Tools and tests expectations

Update expected test results

Update SPIRV-Tools version

Add option to reflect all block members, inactive or active.

* The stages mask is more fine-grained, and each variable or block's mask
  indicates which stages it's active in.

Add option to reflect buffer blocks & variables separately to uniforms

* Also note the uniform indices of atomic counter buffers

Reflect array stride, top-level array stride, and block member count

Reflect pipeline outputs as well as inputs, optionally from other stages

* We add an option to reflect inputs from other stages than vertex, if only a
  later subset of the stages is linked into the program.

Add an option to report array variables with trailing [0] suffix

* This is as expected by ARB_program_interface_query

Include array index in reflected uniform names more consistently

* This comes from the resolution of issues 4, 5 & 6 in
  ARB_program_interface_query, stating that uniform buffers should have their
  members expanded out as normal and arrays should have elements added.
* If a buffer block has a large array e.g. [10000] we don't want to iterate over
  every array element. Instead we should only expand out the first [0] element,
  then expand as normal from there.
* The array name should still be appended with [0] to indicate that it's an
  array.

Add options to control how reflection information is built