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.

HLSL: Include built-in processing for vertex input and fragment output flattening.

Non-functional HLSL: Factor out built-ins from splitting and related simplifications.

Merge pull request #1011 from LoopDawg/pragma-pack-matrix

HLSL: implement #pragma pack_matrix(layout)

HLSL: implement #pragma pack_matrix(layout)

This adds support for #pragma pack_matrix() to the HLSL front end.

The pragma sets the default matrix layout for subsequent unqualified matrices
in structs or buffers. Explicit qualification overrides the pragma value. Matrix
layout is not permitted at the structure level in HLSL, so only leaves which are
matrix types can be so qualified.

Note that due to the semantic (not layout) difference in first matrix indirections
between HLSL and SPIR-V, the sense of row and column major are flipped.  That's
independent of this PR: just a factor to note.  A column_major qualifier appears
as a RowMajor member decoration in SPIR-V modules, and vice versa.

HLSL: Correct which things flattening tracks for linkage, based on caller, not type.

Includes related trackLinkage() code removal and name improvements.

Merge pull request #1010 from LoopDawg/mat-rowcol-fix-1

HLSL: fix qualifier propagation from user struct types to block defin…

HLSL: fix qualifier propagation from user struct types to block definitions.

The HLSL FE tracks four versions of a declared type to avoid losing information, since it
is not (at type-decl time) known how the type will be used downstream.  If such a type
was used in a cbuffer declaration, the cbuffer type's members should have been using
the uniform form of the original user structure type, but were not.

This would manifest as matrix qualifiers (and other things, such as pack offsets) on user struct
members going missing in the SPIR-V module if the struct type was a member of a cbuffer, like so:

    struct MyBuffer
    {
        row_major float4x4 mat1;
        column_major float4x4 mat2;
    };

    cbuffer Example
    {
        MyBuffer g_MyBuffer;
    };

Fixes: #789

HLSL: Correct use of isPerVertexBuiltIn() to be isClipOrCullDistance().

This allows removal of isPerVertexBuiltIn(). It also leads to
removal of addInterstageIoToLinkage(), which is no longer needed.

Includes related name improvements.

HLSL: Test change: Geometry shaders can't return values from main.

HLSL: Flatten more I/O: non-arrayed user-only structures.

The goal is to flatten all I/O, but there are multiple categories and
steps to complete, likely including a final unification of splitting
and flattening.

HLSL: Stop including empty structures in the I/O interface. Fix #785.

Non-functional: HLSL: Simplify I/O logic for splitting.

Merge pull request #1006 from KhronosGroup/4.60

GLSL: Add GLSL 4.60 features

GLSL 4.6: Implement shader group vote.

GLSL 4.6: Implement draw parameters.

GLSL 4.6: Implement atomic counter ops and SPV_KHR_shader_atomic_counter_ops.

GLSL: Initiate version GLSL 460, including accept extraneous semicolons.

HLSL Tests: Fix two tests to be valid under FXC.

Non-functional: HLSL further simplications to base I/O flattening on.

Non-functional: HLSL: clean up dead code for splitting.

Most of this was obsoleted by entry-point wrapping.
Some other is just unnecessary.
Also, includes some spelling/name improvements.

This is to help lay ground work for flattening user I/O.

Merge pull request #1005 from LoopDawg/remove-unused

HLSL: Non-functional: warning fix + remove unused member

HLSL: Non-functional: warning fix, remove unused member.

Two non-functional changes:

1. Remove flattenLevel, which is unneeded since at or around d1be7545c6a23657587dfe3bc4b149c91290a66f.

2. Fix build warining about unused variable in executeInitializer.

GLSL reflection: Fix #985: reflect runtime sized arrays having no constant index.

Nonfunctional: Add reflect test case, and fix long lines in reflection code.

Nonfunctional: Shorten some lines to the coding standard, to retrigger failed test run.

Merge pull request #1002 from amdrexu/bugfix

SPV: Memory qualifiers should decorate top-level block members

SPV: Memory qualifiers should decorate top-level block members

Merge pull request #997 from LoopDawg/clipcull-semantic

HLSL: handle multiple clip/cull semantic IDs

HLSL: handle multiple clip/cull semantic IDs

HLSL allows several variables to be declared.  There are packing rules involved:
e.g, a float3 and a float1 can be packed into a single array[4], while for a
float3 and another float3, the second one will skip the third array entry to
avoid straddling

This is implements that ability.  Because there can be multiple variables involved,
and the final output array will often be a different type altogether (to fuse
the values into a single destination), a new variable is synthesized, unlike the prior
clip/cull support which used the declared variable.  The new variable name is
taken from one of the declared ones, so the old tests are unchanged.

Several new tests are added to test various packing scenarios.

Only two semantic IDs are supported: 0, and 1, per HLSL rules.  This is
encapsulated in

     static const int maxClipCullRegs = 2;

and the algorithm (probably :) ) generalizes to larger values, although there
are a few issues around how HLSL would pack (e.g, would 4 scalars be packed into
a single HLSL float4 out reg?  Probably, and this algorithm assumes so).

SPV: Update to latest 1.0 headers, removing redundancies in GLSL.ext.AMD.h.

Merge pull request #1000 from LoopDawg/samplecmpzero-cubearray-fix

Fix dref explicit LOD form of sample with cube texture arrays