Tests: Non-determinancy: Add back in the IntMin tests.

Merge pull request #1133 from greg-lunarg/kg2

Add python3 compatibility to update_glslang_sources.py

Add python3 compatibility to update_glslang_sources.py

Non-determinant tests: Remove recent tests, to see if things stabelize.

Both debug and release clang builds have segfaulted on recent
changes, non deterministically, while doing the single/multi-thread
test all test files. Removing recent test files, to see if it gives
a clue.

Non-functional: Add {} expected by convention; retrigger failed bot tests.

Merge pull request #1129 from xorgy/const-fold-int-min-modulo-negative-one

GLSL: Fold constant SHRT_MIN/INT_MIN/LLONG_MIN % -1 to 0.

GLSL: Fold constant SHRT_MIN/INT_MIN/LLONG_MIN % -1 to 0.

Merge pull request #1124 from xorgy/check-inner-implicit-atomic-uint

GLSL: Check for implicit inner dimension in array of atomic_uint.

Merge pull request #1127 from xorgy/preprocessor-int-min-mod-negative-one

Preprocessor: Evaluate INT_MIN % -1 to 0.

Preprocessor: Evaluate INT_MIN % -1 to 0.

Merge pull request #1125 from greg-lunarg/kg1

Update spirv-tools known-good

Update spirv-tools known-good

GLSL: Check for implicit inner dimension in array of atomic_uint.

Merge pull request #1118 from xorgy/only-swizzle-numbers-and-bools

Only try swizzles on vectors, numbers, and booleans.

Merge branch 'only-parse-inf-constant-in-hlsl' of https://github.com/xorgy/glslang into xorgy-only-parse-inf-constant-in-hlsl

Tests: Add test for GLSL +-#INF.

Merge pull request #1120 from xorgy/overlong-hex-literal

Check for hexadecimal literals exceeding MaxTokenLength.

GLSL: Only parse [-]1.#INF in HLSL mode.

Check for hexadecimal literals exceeding MaxTokenLength.

Only try swizzles on vectors, numbers, and booleans.

Merge pull request #1115 from LoopDawg/stdarray-binding-set

Nonfunctional: minor: use std::array for per-set shifts, fix warning.

Nonfunctional: minor: use std::array for per-set shifts, fix warning.

Two unrelated, minor tweaks:

(1) Use std::array for shiftBindingForSet.  Now matches shiftBinding.
(2) Add parens in shouldFlatten() to make compiler warning happy.

Merge pull request #1111 from LoopDawg/per-set-binding-offsets

Add per-descriptor-set IO mapping shift values.

SPV: Don't emit StorageImageMultisample capability for subpass images.

Non-functional: missing comments from missed git add.

HLSL: Fix #1106. Support shader setting of binding/set for $Global.

Add per-descriptor-set IO mapping shift values.

This PR adds the ability to provide per-descriptor-set IO mapping shift
values.  If a particular binding does not land into a per-set value,
then it falls back to the prior behavior (global shifts per resource class).

Because there were already 6 copies of many different methods and internal
variables and functions, and this PR would have added 6 more, a new API is
introduced to cut down on replication and present a cleaner interface.
For the global (non-set-specific) API, the old entry points still exist
for backward compatibility, but are phrased internally in terms of the
following.

    // Resource type for IO resolver
    enum TResourceType {
        EResSampler,
        EResTexture,
        EResImage,
        EResUbo,
        EResSsbo,
        EResUav,
        EResCount
    };

Methods on TShader:

    void setShiftBinding(TResourceType res, unsigned int base);
    void setShiftBindingForSet(TResourceType res, unsigned int set, unsigned int base);

The first method replaces the 6 prior entry points of various spellings, which
exist now in depreciated form.  The second provides per-resource-set functionality.
Both accept an enum from the list above.

From the command line, the existing options can accept either a single shift value as
before, or a series of 1 or more [set offset] pairs.  Both can be provided, as in:

    ... --stb 20 --stb 2 25 3 30 ...

which will use the offset 20 for anything except descriptor set 2 (which uses 25) and
3 (which uses 30).

GLSL->SPIR-V: Put precision decorations on imageLoad().

GLSL: Make sampling operations have agnostic precision qualifiers for desktop.

Desktop defaults to highp for samplers, but this should not apply to the built-in
functions, so make it appy only to user declarations.

Merge pull request #1113 from xorgy/preprocessor-int-min-over-negative-one

Preprocessor: Evaluate INT_MIN / -1 to 0.

Merge pull request #1102 from KhronosGroup/partially-flatten

HLSL: Partially flatten hierarchies, instead of all or nothing.

Preprocessor: Evaluate INT_MIN / -1 to 0.

  This division is undefined behaviour which raises SIGFPE on x86.
  Most C++ preprocessors evaluate this silently to 0.

Build: Fix build warning.

Merge pull request #1109 from xorgy/never-try-to-swizzle-void

GLSL: Don't try to swizzle void.

Don't try to swizzle void.

Update spirv-tools known-good

PP: Fix #1104: Missing check for #if overflow.

Also, rationalized this to generally make it safer and more readable.
It could use a more modern approach, at some point...

HLSL: More clip fix: It is more involved than previous commit. Complete.

Fix #1103: clip() works on int/uint.

Tests: Add clip(int) tests.

Infrastructure: Add a TShader method to publicly expose the intermediate.

Fixes #1088.

HLSL: Partially flatten hierarchies, instead of all or nothing.

Fixes #1092.  Allows arrays of opaques to keep arrayness, unless
needed by uniform array flattening.
Can handle assignments of mixed amounts of flattening.

Merge pull request #1098 from LoopDawg/attribute-gets

HLSL: nonfunctional: add helper access methods to TAttributeMap

Merge pull request #1097 from SWIFTingAround/master

Set cmake-policy CMP0048 to NEW

Merge pull request #1094 from LoopDawg/split-shadow-tx

HLSL: nonfunctional: rename setId -> switchId, add comment

Merge pull request #1080 from hedejing/master

Add getAsLoopNode() method for TIntermLoop

HLSL: add helper access methods to TAttributeMap

There was some code replication around getting string and integer
values out of an attribute map.  This adds new methods to the
TAttributeMap class to encapsulate some accessor details.

Set cmake-policy CMP0048 to NEW

Add getAsLoopNode() method for Loop node

follow local conventions of spaces

HLSL: nonfunctional: rename setId -> switchId, add comment

Method rename, add comment about its intended use.  No
test diffs.

HLSL: Validate implicit initializer assignment to opaque members.

Fixes #1091.

SPV: GeneratorVersion: bump version number because of atomic decrement change.

Merge pull request #1090 from tafuri/#1084-fix-segfault

Only track variables in the global scope

SPV: Correct semantics of atomic-counter decrement.

The semantics differ between GLSL/HLSL and SPIR-V.
Translate between these.

HLSL: Tests: Add subset of flattened opaque test to legalize results.

Added test for local structured buffer variable

Fixed formatting

Merge pull request #1089 from LoopDawg/split-shadow-tx

HLSL: split textures used for both shadow and non-shadow modes

Only track variables in the global scope

HLSL: split textures used for both shadow and non-shadow modes

A single texture can statically appear in code mixed with a shadow sampler
and a non-shadow sampler.  This would be create invalid SPIR-V, unless
one of them is provably dead.

The previous detection of this happened before DCE, so some shaders would
trigger the error even though they wouldn't after DCE.  To handle that
case, this PR splits the texture into two: one with each mode.  It sets
"needsLegalization" (if that happens for any texture) to warn that this shader
will need post-compilation legalization.

If the texture is only used with one of the two modes, behavior is as it
was before.

Readme: Update with additional Windows build information for SPIRV-tools build.

Merge pull request #1085 from KhronosGroup/flatten-assign-subset

HLSL: Fix #954: Track/access subsets of flattened multi-level aggrega…

HLSL: Fix #954: Track/access subsets of flattened multi-level aggregates.

Works in conjuction with d1be754 to represent and modify a partially
dereferenced multi-level flattened aggregate.

Merge pull request #1081 from xxxbxxx/for-upstream-1

HLSL: Fix crash when flattening both side of assignement simultaneously.

HLSL: Fix crash when flattening both side of assignement simultaneously.

Merge pull request #1075 from LoopDawg/subpass-input

HLSL: add subpass input types and methods

HLSL: add subpass input types and methods

Add support for Subpass Input proposal of issue #1069.

Subpass input types are given as:

    layout(input_attachment_index = 1) SubpassInput<float4> subpass_f;
    layout(input_attachment_index = 2) SubpassInput<int4>   subpass_i;
    layout(input_attachment_index = 3) SubpassInput<uint4>  subpass_u;

    layout(input_attachment_index = 1) SubpassInputMS<float4> subpass_ms_f;
    layout(input_attachment_index = 2) SubpassInputMS<int4>   subpass_ms_i;
    layout(input_attachment_index = 3) SubpassInputMS<uint4>  subpass_ms_u;

The input attachment may also be specified using attribute syntax:

    [[vk::input_attachment_index(7)]] SubpassInput subpass_2;

The template type may be a shorter-than-vec4 vector, but currently user
structs are not supported.  (An unimplemented error will be issued).

The load operations are methods on objects of the above type:

    float4 result = subpass_f.SubpassLoad();
    int4   result = subpass_i.SubpassLoad();
    uint4  result = subpass_u.SubpassLoad();

    float4 result = subpass_ms_f.SubpassLoad(samp);
    int4   result = subpass_ms_i.SubpassLoad(samp);
    uint4  result = subpass_ms_u.SubpassLoad(samp);

Additionally, the AST printer could not print EOpSubpass* nodes.  Now it can.

Fixes #1069

Build: Fix a couple build issues.

HLSL: Additional attribute support: [[]], namespace, parameters:

- support C++11 style brackets [[...]]
- support namespaces [[vk::...]]
- support these on parameter declarations in functions
- support location, binding/set, input attachments

Fix #1060: Could crash if using --source-entry-point with -e; fixed.

Merge pull request #1078 from greg-lunarg/addopt14

Remove opaque workarounds

Legalization: Fix tests after workarounds removed

SPV: rationalize parameter handling for "original" and "writable" parameters.

HLSL: Pass opaques by local copy, instead of by interface original.

Also, remove assumption that if something is opaque that it
must be in the UniformConstant storage class.

This allows function declarations to know all parameters will
be in the Function storage class.

HLSL: Remove workarounds for assigning to opaques.

This assumes it will be combined with optimizing transforms
that eliminate assignments to opaques.

Merge pull request #1076 from LoopDawg/shadow-tx-types

HLSL: force textures to shadow modes from combined samplers

HLSL: force textures to shadow modes from combined samplers

Texture shadow mode must match the state of the sampler they are
combined with.  This change does that, both for the AST and the
symbol table.  Note that the texture cannot easily be *created*
the right way, because this may not be known at that time.  Instead,
the texture is subsequently patched.

This cannot work if a single texture is used with both a shadow and
non-shadow sampler, so that case is detected and generates an error.
This is permitted by the HLSL language, however.  See #1073 discussion.

Fixed one test source that was using a texture with both shadow and
non-shadow samplers.

Merge pull request #1077 from greg-lunarg/addopt12

Legalization: Fix warnings and disable tests when spirv-tools not present

Legalization: Fix warnings and disable tests when spirv-tools not present

Merge pull request #1070 from greg-lunarg/addopt8

Enable HLSL legalization

Advance spirv-opt known-good to hopefully fix travis multithread failure

Legalization: Skip spirv-tools tests

Pick up latest spirv-tools in attempt to fix travis failures

Try Python interpreter on update_glslang_sources.py in appveyor

Fix travis and appveyor calls to update_glslang_sources.py

Enable HLSL legalization

Also added known-good mechanism to fetch latest validated spirv-tools.
Also added -Od and -Os to disable optimizer and optimize for size.

Fetching spirv-tools is optional for both glsl and hlsl. Legalization
of hlsl is done by default if spirv-opt is present at cmake time.
Optimization for glsl is currently done through the option -Os.

Legalization testing is currently only done on four existing shaders.
A separate baseLegalResults directory holds those results. All previous
testing is done with the optimizer disabled.

Merge pull request #1072 from amdrexu/feature

Implement extension GL_NV_shader_atomic_int64

Implement extension GL_NV_shader_atomic_int64

Merge pull request #1071 from antiagainst/ninja-make

Travis: use make instead of ninja

Travis: use make instead of ninja and limit concurrent jobs

Merge pull request #1063 from LoopDawg/remapper-error-cleanup

Remapper: make remapper robust against non-exiting error handlers

Build: Merge pull request #1068 from greg-lunarg/addopt4

CMake file changes for SPIR-V legalization for HLSL

CMake changes for HLSL legalization

Cmake now looks for External/spirv-tools. If found, it links in
SPIRV-Tools-opt and SPVRemapper, and adds -DENABLE_OPT to build.

Remapper: make remapper robust against non-exiting error handlers

Remapper errors are generally fatal: there has been some unexpected situation while
parsing the SPV binary, and there is no reasonable way to carry on.  The
errorHandler() function is called in this case, which by default exits, but
it is possible to submit a handler which does not.  In that case the remapper would
carry on in a bad state.

This change ensures a graceful termination of the remap() function.

While a try {} catch {} construct would be the ideal and safe way to do this,
that's off limits for certain environments, so this tries to do the same thing
with explicit code, to catch all the bailout paths.

HLSL: Fix #1064: Don't include empty structures on OpEntryPoint

Merge pull request #1044 from dsrbecky/image_external_essl3

Add support for GL_OES_EGL_image_external_essl3

HLSL: fix array[1] of vec4 constant declaration.

Test: Make another test legal HLSL, and rationalize GLSL vs HLSL addConstructor().

HLSL: Add bounds checking, shared with GLSL. Partially address #1032.

Merge pull request #1051 from LoopDawg/bug-1049

HLSL: allow split type in InputPatch template type, & HS return types.