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.

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.