Add support for GL_NV_shader_sm_builtins

Including spirv and AST tests

Also increase size of TBuiltInVariable bitfields since we've now exceeded 127
and add a static_assert to make this easier to find next time it happens!

GLSL: Revert f6873f7 to fix #1764.

Merge pull request #1794 from jeffbolznv/pre_legalization

Use spvValidatorOptionsSetBeforeHlslLegalization for pre-legalized HLSL

Merge pull request #1793 from greg-lunarg/kg104

Uppdate spirv-tools known-good

Use spvValidatorOptionsSetBeforeHlslLegalization for pre-legalized HLSL

Uppdate spirv-tools known-good

Merge pull request #1791 from dj2/unused

Remove unused parameter

Remove unused parameter

Merge pull request #1788 from jeffbolznv/ifdef_fix

Add missing NV_EXTENSIONS ifdef

Add missing NV_EXTENSIONS ifdef

Merge pull request #1786 from jeffbolznv/fsi

Support GL_ARB_fragment_shader_interlock

Support GL_ARB_fragment_shader_interlock

Merge pull request #1769 from tanderson-google/RemoveInvalidGnSource

Remove glslang.y from gn sources

Merge pull request #1782 from dgkoch/fix_1735

Fix subgroup support for ray tracing

Fix subgroup support for ray tracing

Closes #1735

GlslangToSpv.cpp
- minor formatting cleanup

BaseTypes.h
- minor formatting cleanup
- add subgroup builtins to GetBuiltInVariableString
  (was resulting in "unknown built-in variable" messages in test output)

Initialize.cpp
- better naming and re-use of strings for subgroup builtin variable declarations
- define subgroup builtin variables in ray-tracing shaders

intermOut.cpp
- add handling of the EOpSubgroupParition* variables
  (was resulting in "ERROR: Bad aggregation op" messages in test output)

Update test results.

Add AST tests for ray tracing shaders

with subgroup touch tests (error and non-error cases)
Currently the subgroup built-ins are NOT giving the correct output.
This is fixed in the next commit.

Add AST tests for mesh and task shaders

with subgroup touch testing (error and non-error cases)

Add missing symbolTable.relateToOperator("subgroupMemoryBarrierShared") call for
Mesh/Task shaders so they don't assert in ParseHelper.cpp

Add more subgroup testing

Touch test all subgroup builtins in vert, tesc, tese, geom, frag, compute shaders
before and after enabling extensions to make sure the correct errors are generated
and then not generated (after enablement).

Merge pull request #1781 from jeffbolznv/issue_1766

Allow runtime-sized arrays of acceleration structures

Allow runtime-sized arrays of acceleration structures

Merge pull request #1776 from dgkoch/dgkoch_20190525_fixes

Misc fixes from dgkoch

Fix include guard for GL_EXT_multiview

Return consistent names from CapabilityString

Don't prefix with "Capability" since the majority of them don't.
Also add missing CapabilityImageFootprintNV

Merge pull request #1772 from mattparks/patch-2

Fixed .dll install on MSVC.

Fixed .dll install on MSVC.

Remove non-source sources from binary targets

No behavior changes.  Please see [1] for why this is necessary.

[1] https://bugs.chromium.org/p/chromium/issues/detail?id=964411

Merge pull request #1768 from ShabbyX/enable-opt

Build.gn: allow optimization in glslang lib and standalone

Build.gn: allow optimization in glslang lib and standalone

Merge pull request #1767 from dneto0/update-spirv-headers

Update SPIRV-Tools, SPIRV-Headers

Update SPIRV-Tools, SPIRV-Headers

Headers update fixes validation of spv.shaderBallotAMD.

Build: Fix 3 warnings.

Merge pull request #1761 from KhronosGroup/SPIR-V_1.4

SPV 1.4: Add code generation for SPIR-V 1.4 features

Bump version and revision.

SPV 1.4: Move to 1.4 validation, removing all 1.4 validation failures.

SPV 1.4: Emit SignExtend and ZeroExtend for integer image reads/writes.

SPV 1.4: Lookup tables: Use variable initializer and NonWritable...

...when doing a variable lookup on an array of constants.

SPV 1.4: Add support for OpCopyLogical, careful of Boolean differences.

SPV 1.4: Implement the 5 new loop controls.

SPV 1.4: Use OpSelect for trivial typed non-scalar/vector expressions.

SPV 1.4: Add testing infrastructure for SPV 1.4 tests.

This includes the test for the first feature of OpEntryPoint.

SPV 1.4: Generate all globals on OpEntryPoint interface list.

SPV: Move to the SPIR-V 1.4 header.

Merge pull request #1765 from KhronosGroup/update-knowngood-tools-SPIR-V_1.4

Latest known-good SPIRV-Tools: WARNING: Needs python 3.x.

Latest known-good SPIRV-Tools: WARNING: Needs python 3.x.

You may need to install python 3.x and also
[windows users] may need to get it in your path in front of python 2.7.x.

If you don't need the external projects (i.e., SPIRV-Tools) and don't want
to upgrade to python 3, don't create the External subdirectory and CMake
won't require python 3.  (CMake has a bug that makes it find the wrong one
on a first pass if the top level does not require the version needed by
lower levels.)

Bump revision.

Merge pull request #1762 from jeffbolznv/issue1760

For nonuniformEXT constructor, make a copy of the node to decorate

For nonuniformEXT constructor, make a copy of the node to decorate

Merge pull request #1739 from jeffbolznv/buffer_reference2

Add support for GL_EXT_buffer_reference2

Merge pull request #1755 from amdrexu/bugfix

Fix issues of explicit conversions.

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.

Add support for GL_EXT_buffer_reference2

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.

Fix issues of explicit conversions.

For certain int8/int16/float16 conversions,they are conditionally allowed
when extensions defining explicit arithmetic types are enabled.

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.