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.

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

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

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.

HLSL: handle split InputPatch templat type in patch constant functions

InputPatch parameters to patch constant functions were not using the
internal (temporary) variable type.  That could cause validation errors
if the input patch had a mixture of builtins and user qualified members.

This uses the entry point's internal form.

There is currently a limitation: if an InputPatch is used in a PCF,
it must also have appeared in the main entry point's parameter list.
That is not a limitation of HLSL.  Currently that situation is detected
and an "implemented" error results.  The limitation can be addressed,
but isn't yet in the current form of the PR.

HLSL: allow mixed user & builtin members in hull shader output structure

Hull shaders have an implicitly arrayed output.  This is handled by creating an arrayed form of the
provided output type, and writing to the element of it indexed by InvocationID.

The implicit indirection into that array was causing some troubles when copying to a split
structure.  handleAssign was able to handle simple symbol lvalues, but not an lvalue composed
of an indirection into an array.

GLSL: Make gl_Layer and gl_ViewportIndex always be outside blocks.

There was some ambiguity/contradiction in this behavior, and
Khronos decided glslang should always have these outside blocks,
rather than have stage/vendor/target variations.

Merge pull request #1056 from KhronosGroup/glsl-entrypoint-rename

GLSL: Promote HLSL entry-point renaming code to be used by GLSL as well.

GLSL: Promote HLSL entry-point renaming code to be used by GLSL as well.

Fixes #1045.

Merge pull request #1050 from amdrexu/feature

Implement the extension GL_AMD_shader_fragment_mask

Merge pull request #1055 from KhronosGroup/strdup

Build: Fix strdup -> _strdup warnings.

Build: Fix strdup -> _strdup warnings.

Build: Fix build warnings.

Fix #1043: set all scan string-locations to have bias, not just the first one.

Non-functional: Make usage for entry points more consistent.

Merge pull request #1053 from mchock-nv/mchock-nv-fix-lambda

Delete unused 'this' capture

Address #1052: Have language-level exits of case statements.

Delete unused 'this' capture

Remove an unused 'this' entry from a lambda capture list.

This cleans up a unused-lambda-capture warning.

Implement the extension GL_AMD_shader_fragment_mask

Merge pull request #1047 from svenstaro/add-stdin-option

Add stdin option (fixes #598)

Add --stdin

Merge pull request #1048 from LoopDawg/opaque-type-fix

Fix lvalue test in SPIR-V generation

Fix lvalue check in SPIR-V generation

There were several locations in TGlslangToSpvTraverser::handleUserFunctionCall testing for
whether a fn argument should be in the lvalue or rvalue array.  They must get the same
result for indexing sanity, but had slightly different logic.

They're now forced into the same test.

Add support for GL_OES_EGL_image_external_essl3

Merge pull request #1042 from LoopDawg/warning-fix-2

WIP: Linux build warning fix

Merge pull request #1039 from amdrexu/bugfix

Fix issues of GL_ARB_viewport_layer_array

Linux build warning fix

* Remove complaint about unused function parameter in resolveUniformLocation()
* Remove complaint about defined but not used variable in spvIR.h

Fix issues of GL_ARB_viewport_layer_array

Merge pull request #1037 from LoopDawg/clip-cull-geom

HLSL: add geometry stage support for clip/cull distance

HLSL: add geometry stage support for clip/cull distance

Changes:

(1) Allow clip/cull builtins as both input and output in the same shader stage.  Previously,
not enough data was tracked to handle this.

(2) Handle the extra array dimension in GS inputs.  The synthesized external variable can
now be created with the extra array dimension if needed, and the form conversion code is
able to handle it as well.

For example, both of these GS inputs would result in the same synthesized external type:

    triangle in float4 clip[3] : SV_ClipDistance

    triangle in float2 clip[3][2] : SV_ClipDistance

In the second case, the inner array dimension packs with the 2-vector of floats into an array[4],
which there is an array[3] of due to the triangle geometry.

Merge pull request #1031 from xxxbxxx/for-upstream-2

HLSL: fix preprocessor concatenation behaviour.

Build: Fix #1036: size_t warning.

HLSL: fix preprocessor concatenation behaviour.

Fix #772.

Merge pull request #1035 from LoopDawg/clip-cull-type-fix

HLSL: (minor) fix type on clip/cull index result

HLSL: fix type on clip/cull index result

While adding geometry stage support for clip/cull, it transpired that the
existing clip/cull support was not setting the type of the result of indexing
into the clup/cull variable.  That's a defect independent of the geometry
support, so to simplify the geometry PR, this is addressed separately.

It doesn't appear to change the generated SPIR-V, but that's probably down to
something else tolerating a bad input.

SPV: Add auto location mapping of non-opaque non-block uniform variables.

Fix #1019.

Build: Attempt better support for VS 2012.

Fix #1020. Fix #1021. Fix #1022.

Merge pull request #1014 from KhronosGroup/SPV_EXT_shader_viewport_index_layer

SPV: 1st pass implementation of SPV_EXT_shader_viewport_index_layer.

Merge pull request #1034 from KhronosGroup/module-processes

SPV reflection: Add OpModuleProcessed for compile options.

SPV: 1st pass implementation of SPV_EXT_shader_viewport_index_layer.

SPV reflection: Add OpModuleProcessed for compile options.

Merge pull request #1028 from LoopDawg/clip-cull-input

HLSL: handle clip and cull distance input builtin type conversion

HLSL: handle clip and cull distance input builtin type conversion

HLSL allows a range of types for clip and cull distances.  There are
three dimensions, including arrayness, vectorness, and semantic ID.
SPIR-V requires clip and cull distance be a single array of floats in
all cases.

This code provides input side conversion between the SPIR-V form and
the HLSL form.  (Output conversion was added in PR #947 and #997).

This PR extends HlslParseContext::assignClipCullDistance to cope with
the input side conversion.  Not as much changed as appears: there was
also a lot of renaming to reflect the fact that the code now handles
either direction.

Currently, non-{frag,vert} stages are not handled, and are explicitly
rejected.

Fixes #1026.

Merge pull request #1029 from amdrexu/feature2

Implement extension GL_AMD_shader_image_load_store_lod

Merge pull request #1025 from amdrexu/feature

SPV: Implement extension SPV_EXT_shader_stencil_export

Implement extension GL_AMD_shader_image_load_store_lod

SPV: Implement extension SPV_EXT_shader_stencil_export

HLSL: Fix #1027.

HLSL: Fix #1018: Give an error for mismatched return type.

Merge pull request #1017 from LoopDawg/texture-struct-return.1

HLSL: add methods to handle user structures in texture template type.

Build: Fix build when NV_EXTENSIONS is not enabled.

SPV: Fix #1016: Don't allow non-GLSL-extension protected Layer and ViewportIndex members.

HLSL: add methods to track user structure in texture return type.

Some languages allow a restricted set of user structure types returned from texture sampling
operations.  Restrictions include the total vector size of all components may not exceed 4,
and the basic types of all members must be identical.

This adds underpinnings for that ability.  Because storing a whole TType or even a simple
TTypeList in the TSampler would be expensive, the structure definition is held in a
table outside the TType.  The TSampler contains a small bitfield index, currently 4 bits
to support up to 15 separate texture template structure types, but that can be adjusted
up or down.  Vector returns are handled as before.

There are abstraction methods accepting and returning a TType (such as may have been parsed
from a grammar).  The new methods will accept a texture template type and set the
sampler to the structure if possible, checking a range of error conditions such as whether
the total structure vector components exceed 4, or whether their basic types differe, or
whether the struct contains non-vector-or-scalar members.  Another query returns the
appropriate TType for the sampler.

High level summary of design:

In the TSampler, this holds an index into the texture structure return type table:

    unsigned int structReturnIndex : structReturnIndexBits;

These are the methods to set or get the return type from the TSampler.  They work for vector or structure returns, and potentially could be expanded to handle other things (small arrays?) if ever needed.

    bool setTextureReturnType(TSampler& sampler, const TType& retType, const TSourceLoc& loc);
    void getTextureReturnType(const TSampler& sampler, const TType& retType, const TSourceLoc& loc) const;

The ``convertReturn`` lambda in ``HlslParseContext::decomposeSampleMethods`` is greatly expanded to know how to copy a vec4 sample return to whatever the structure type should be.  This is a little awkward since it involves introducing a comma expression to return the proper aggregate value after a set of memberwise copies.

HLSL: Add fall-back for opaque initializers to just generate long-term expected code.

This generated code needs an optimization pass to eliminate the assignments
to the opaque members.

Merge pull request #1013 from KhronosGroup/flatten-nonarrayed

HLSL: Flatten structs for all non-arrayed I/O interfaces.

SPV: Correct selection of storage-image capabilities. Fixes #986.

Code was reflecting an old historical use of sampled as a SPIR-V
2-valued operand, instead of its current 3 values.

HLSL: Flatten structs for all non-arrayed I/O interfaces.

HLSL: Make fresh array sizes for TessLevelOuter and TessLevelInner arrays.

This prevents potentional sharing from inadvertently affecting other arrays.

HLSL Test: Expand test, adding a user-patch-constant signature.

HLSL: Move debug naming to a simpler, more consistent, scheme.

This will help in expanding flattening and reducing splitting.