Fix #1924: Promote SPV_EXT_physical_storage_buffer to KHR when required.

If the semantics that require the KHR form over the EXT form are seen
(OpBitcast between a vector and a pointer) promote the requested extension
from the EXT to the KHR.

Fix #1924: Emit SPV_EXT_physical_storage_buffer, not the KHR form.

The KHR form comes along as part of 1.5, and otherwise should require
another form of request to emit it.

Merge pull request #1919 from dj2/install_spirv

Move install directory for SPIRV/ folder.

single line

Update appveyor and travis files

Move install directory for SPIRV/ folder.

Currently the SPIRV/ folder will get installed into the include
directory. This folder is part of GLSLang, so it makes more sense under
glslang/SPIRV.

Currently, GLSLang will install a SPIRV/ folder while spirv-headers will
install a spirv/ folder. This is confusing and will cause issues on a
case sensitive filesystem if both are installed at the same time.

Merge pull request #1918 from KhronosGroup/format-attributes

HLSL: Add attributes for image formats and nonreadable/nonwritable

HLSL: Fix #1912: add attribute syntax for nonreadable/nonwritable

HLSL: Fix #1912: add attribute syntax for overriding image formats.

Merge pull request #1906 from ShchchowAMD/master

Reflection will crash when the VS input symbol defines the same name with FS output symbol

Merge pull request #1910 from KhronosGroup/fix-1900-const-nonuniform

GLSL/SPV: Fix #1900: Drop const on literal when doing an object copy.

GLSL/SPV: Fix #1900: Drop const on literal when doing an object copy.

Merge pull request #1907 from kainino0x/separate-web-and-emscripten

Separate GLSLANG_WEB (min-size build) and Emscripten options

Merge pull request #1905 from KhronosGroup/GL_EXT_buffer_reference_uvec2

SPV_KHR_physical_storage_buffer/SPV: Add GL_EXT_buffer_reference_uvec2

SPV_KHR_physical_storage_buffer/SPV: Add GL_EXT_buffer_reference_uvec2

Adds uvec2 <-> reference constructor support.
Switches from EXT to KHR for physical_storage_buffer.

Merge pull request #1908 from digit-google/fuchsia-fixes

Fix Fuchsia build.

Fix Fuchsia build.

The Fuchsia build is very picky about newlines at the end of files
and will complain loudly about them. Removing the -Wnewline-eof
warning solves the issue.

Merge branch 'master' into separate-web-and-emscripten

use custom es6 modularization instead of MODULARIZE=1

Separate GLSLANG_WEB (min-size build) and Emscripten options

Allows building non-min-size builds with Emscripten.
Adds ENABLE_GLSLANG_WEB_DEVEL.
Moves the glslang.js files to OSDependent/Web.
Small cleanups and docs update.

README: Fix WASM typos.

HLSL: Fix #1903 Catch 0-argument case to constructors.

Reflection will crash when the VS input symbol defines the same name with FS output symbol

[PURPOSE]:
The current process design for Uniform / Block / Pipe IO symbols reflection (during program linking) is as following :

1.1 using a global mapper called 'TNameToIndex' to store all the relationship of name (of symbols) to their indexes (in their own MapIndexToReflection vectors).

1.2 TNameToIndex mapper will be used during program linking and helps to check and merge duplicate symbols within each stage ( Uniform, Block and Pipe IO)

1.3 Different types of symbols will have their own index mapping storage. All those symbols will share TNameToIndex as a general searching mapper.

1.4 Only IN in first stage and OUT in last stage will be dealed within traversing functions.

Now, here we meet those problems:

2.1 In and Out variables for pipelines are mapping to different MapIndexToReflection vector (ioItems), but they may still have same names within the general symbol search mapper : TNameToIndex.

2.2 Then, when there are same symbols of IN in VS and OUT in FS, TNameToIndex could not tell the difference because it only stores one local index for one symbol (1:1) as a pair of KeyValue.

[What fixed]:

Seperate I/O from other symbols like Uniform and Block (it is wrong to keep them all in TNameToIndex), and save in new searching mappers called pipeInNameToIndex and pipeOutNameToIndex.

Expose new top-level functions defined as getReflectionPipeIOIndex and getPipeIOIndex for users who need to query Pipe I/O information (As they may reach those things through getUniformIndex and getReflectionIndex now, which is a confused way.)

As there are 2 mappers for above symbols, users needs to input second argument when they wanna reach those pipe I/O parameters, that's also why we need to modify GET functions either.

[Test Case]:

The shader is as following:

######### VS ############
layout(location = 0) in vec4 g_position;
layout(location = 1) in vec4 g_color;
out StageData {
vec4 color;
} g_vs_out;
void main() {
gl_Position = g_position;
g_vs_out.color = g_color;
}

########### FS #############
in StageData {
vec4 color;
} g_fs_in;
layout(location = 0) out vec4 g_color;
void main() {
g_color = g_fs_in.color;
}

Merge pull request #1902 from jeffbolznv/extended_types

Add GL_EXT_shader_subgroup_extended_types support

Add GL_EXT_shader_subgroup_extended_types support

Merge pull request #1899 from KhronosGroup/SPIR-V_1.5

Branch to support SPIR-V 1.5 changes

GLSL: Only require constant for subgroupBroadcast when SPV < 1.5.

SPV: Support SPIR-V 1.5; five extensions no longer need OpExtension.

The generalization to addIncorporatedExtension() also fixed a 1.3
corner case with SPV_KHR_16bit_storage.

Merge pull request #1894 from ShchchowAMD/master

Add flags for local size values ( compute shader )

Add flags for local size values ( compute shader )

Purpose :

According to GLSL SPEC 4.6 ( 4.4.1.4 Compute Shader Inputs), for compute shader input qualifiers, we should declare such qualifiers with same values in the same shader (local_size_x, y and z).
"If such a layout qualifier is declared more than once in the same shader, all those declarations must set the same set of local work-group sizes and set them to the same values; otherwise a compile-time error results."

Why this fix:

If we manually set "local_size_x = 1" and directly following a declaration like "local_size_x = 2", this would not be detected. That is because currently we treat all the '1' as default value and could not restrictly detect whether those are default values.

Test case:
......
layout(local_size_x=1) in;
layout(local_size_x=2) in;
......

So I add test cases for this fix:
1. set local_size_y = 1 => success
2. set local_size_y = 2 => error
3. set local_size_y = 1 => success

SPV 1.5: Switch to the 1.5 header, for SPIR-V 1.5.

Merge pull request #1897 from dj2/unused

Comment out unused params; Fix type warning.

Merge pull request #1895 from amdrexu/bugfix

Fix incorrect function prototypes of 64-bit findLSB/findMSB

Comment out params instead of removing

Remove unused params

Fix incorrect function prototypes of 64-bit findLSB/findMSB

According to the 32-bit counterparts, their forms should be
genI64Type findLSB(genI64Type value)
genI64Type findLSB(genU64Type value)
genI64Type findMSB(genI64Type value)
genI64Type findMSB(genU64Type value)

Fix #1879: Check for valid variable before checking for unsized arrays.

The order of error checking was not quite being correct (maybe there is no correct
ordering, when many checks must be done and they affect each other).
So, check for block-name reuse twice.

Merge pull request #1892 from greg-lunarg/kg106

Update spirv-tools and spriv-headers known good.

Update spirv-tools and spriv-headers known good.

Merge pull request #1889 from Roy-AMD/code-refine

Code refine

code refine

Reduce the number of cycles.

Merge pull request #6 from Roy-AMD/sync

Sync code

Merge pull request #5 from KhronosGroup/master

Sync code from KhronosGroup/glslang master

Placeholder fix for part of #1870.

Also fixes, in practice, https://github.com/KhronosGroup/GLSL/issues/83.
When the specification language is correctly created, glslang can be
revisited for correctness.  In the meantime, this seems like the best
"bug" to have relative to the specification.

Memory qualifiers are only relevant to parameters when they apply
to what the argument points to, as otherwise the argument is copied.

This leaves the fix from #1870 in place, and then more correctly
ignores memory qualifiers when something will be passed by copy.

Non-functional: Make whitespace/braces consistent for a recent commit.

Merge pull request #1885 from zoddicus/fixUnInitializedVariableWarnings

Initialize variable to avoid uninitialized variable warnings in Clang

Change to initializing the variable

Return nullptr after assert to avoid uninitialized variables

In the current version of the code on non-debug builds these cases
will fallthrough, since assert is a no-op, and eventually make a call
passing in |op| which hasn't been initialized. clang is currently
throwing a warning about this behaviour when integrating downstream.

This patch changes the behaviour, so that in any branch that has an
assert now has a return nullptr, to indicate failure after it and
avoid the uninitialized variable usage.

Merge pull request #1876 from jeffbolznv/imma

GL_NV_integer_cooperative_matrix support

ESSL/SPV: Fix #1856: Allow ESSL shaders to compile to OpenGL SPIR-V.

Documentation: Provide more detail in setting up the environment.

Merge pull request #1883 from Kangz/fix_gn

BUILD.gn: Add missing HLSL files.

BUILD.gn: Add missing HLSL files.

Merge pull request #1881 from baldurk/buffer-array-bind-reflection-fix

Dereference any array type before expanding root-level SSBO members

Merge pull request #1882 from Kangz/fix-chrome

GN build (for Chromium): enable HLSL in dependents.

GN build (for Chromium): enable HLSL in dependents.

The previous fix for this only enabled HLSL internally in glslang which
means that dependent using HLSL, for example shaderc, failed
compilation.

Dereference any array type before expanding root-level SSBO members

If we don't do this then we get reflection output like so:

ArrayedBind[0].a.a: offset 0, type 1406, size 1, index 4, binding -1, stages 0
ArrayedBind[0].a.b: offset 4, type 1406, size 1, index 4, binding -1, stages 0
ArrayedBind[0].b.a: offset 4, type 1406, size 1, index 4, binding -1, stages 0
ArrayedBind[0].b.b: offset 8, type 1406, size 1, index 4, binding -1, stages 0
ArrayedBind[0].b: offset 4, type 1406, size 1, index 4, binding -1, stages 1

When the outer reflection loop that calls blowUpActiveAggregate incorrectly iterates over the struct members.

Merge pull request #1878 from dneto0/chrome-fix

GN build (for Chromium): enable HLSL

GN build (for Chromium): enable HLSL

GL_NV_integer_cooperative_matrix support

Bump revision.

Merge pull request #1874 from KhronosGroup/inherit-memory-qualifiers

GLSL: Inherit memory qualifiers, both declaratively and in execution.

GLSL: Inherit memory qualifiers, both declaratively and in execution.

Fixes #1870, probably others.

Merge pull request #1875 from jonahryandavis/extra-tokens

Fix conformance with -Wextra-tokens

Fix conformance with -Wextra-tokens

Bump version.

Merge pull request #1855 from KhronosGroup/web

Web:  Create a very small-footprint glslang for web use.

web: Fix accidental additon of refract() prototypes and update README.

Web: Turn off includes, independent preprocessing path, fine tune all.

Saved about 21K, size down to 380K of MSVC x86 code.
Fixed one bug that needs to be looked at on the master branch:
The test for needing a Vulkan binding has a bug in it, "!layoutAttachment"
which does not mean "no layoutAttachment", because that is non-zero.
This is why some test and test results changed.

Web: Make switched methods all be non-virtual, more web-dependent code,

added a few more HLSL flag tests.  This was mostly focused on the SPV generator.
Saves about 17K.

Web: Optional error management and error tightening.

Saves about 6.5K

Web: Use isEsProfile() instead of run-time testing; remove more atomics

Saves 2.5K, and design is better.

Web: Remove unused stage functionality, SPIR-V logger, and hex_utils

Saves another 20K.

Web: Remove unnecessary GLSL numeric types, and some collateral.

This saves another 40K of x86 binary, which is about 13% of the target size.

Web: Tighten up sampling code and interfaces.

Saves about 9K.

Web: Complete the removal of vendor-specific #ifdef's, including CMake.

Web: Prune grammar and lexor down to needed subset.

About 60K smaller (20% the target size is these units of 300K).
Over 300 fewer #ifdef.

This adds a new glslang.m4 file that needs to be processed by m4 to get
the glslang.y file needed by bison.  See comment in glslang.m4 for more
detail.

This updates the updateGrammar script to do the .m4 -> .y processing,
to conditionally exclude grammar not needed for the web build.

Web: Generalize _EXTENSIONS* in SPIR-V back-end.

About 50 fewer #ifdefs.
About 14K smaller.
Note, the base size is ill-defined due to optimizer settings (size vs. performance),
compression, and target architecture.  Some recent %'s are accidentally reported as
3X the real savings.  Early %'s were accurate.  What matters though is that each
step got worthwhile gains, and what the final size ends up being.

Web: Turn off bracket-style attributes, reflection, and IO mapping.

Web: Remove/rationalize a set of *_EXTENSIONS, using GLSLANG_WEB.

Focus was on the front end (not SPIR-V), minus the grammar.
Reduces #ifdef count by around 320 and makes the web build 270K smaller,
which is about 90% the  target size.

The grammar and scanner will be another step, as will the SPIR-V backend.
This makes heavy use of methods #ifdef'd to return false as a global way
of turning off code, relying on C++ DCE to do the rest.

Web: First pass of tabling the built-in function declarations.

Doing this much saved about 11.5K, including adding all the infrastructure.

Web: Selectively remove a few key features, using #ifndef GLSLANG_WEB

Save about 100K.

N.B.: This is done by eliminating a function call, at a high level,
not by #ifdef'ing a bunch of code.

Also, removed no longer needed *_EXTENSION #ifdef in the code not
needed by GLSLANG_WEB.

Web: Change a bunch of HLSL methods from dynamic to compile-time known.

This saves about 7K.
By changing just a few methods to be compile-time known, a bunch of
scattered code becomes DCE.

Web: Remove a few additional HLSL constructs with ENABLE_HLSL.

Saves about 3K.

Web: Add sanity check test suite for smaller-footprint builds.

For the smallest builds, google tests will not be present, in
addition to a large number of tests not being capable of running.

Merge pull request #1872 from kainino0x/js-interface

make glslang.js easy to use and work on node, and related changes

Bump revision.

convert_glsl_to_spirv: fail early, reduce copies, remove input buffer allocation

make glslang.js easy to use

enable build for node

Set theme jekyll-theme-merlot

Merge pull request #1867 from zoddicus/addWebBuild

Add WASM build target for Web version of glslang

Make non-emscripten flags platform agnostic.

Converted ENABLE_HLSL to a dependent option, so it can be always disabled in web builds

Move build instructions to README.md

Add WASM build target for Web version of glslang

This adds build rules to support generating a WASM binary to be used
on the web. The API exposed to web applications is definated in the
new glslang.js.cpp file.

Bump revision and give the bots another chance to work.

Merge pull request #1860 from zoddicus/fixShaderCRoll

Add in header for uint32_t definition

Add in header for uint32_t definition

This is needed for stricter/newer MSVC builds of downstream users.

Merge pull request #1859 from zoddicus/fixNoRTTIForWindows

Convert no RTTI rule to be compiler specific