Merge pull request #1313 from greg-lunarg/kg15

Update SPIRV-Tools known good.

Merge pull request #1312 from KhronosGroup/fix-mixed-array-styles

Fix mixed array styles

Merge branch 'master' into kg15

Update SPIRV-Tools known good.

Also update spirv-opt recipes.

Types: Fix #1290: Rationalize and correct "mixed" style array dimensioning.

There a couple functional problems, which when reduced down also led to
some good simplifications and rationalization.  So, this commit:
 - corrects "mixed" functionality: int[A] f[B] -> f[B][A]
 - correct multi-identifier decls: int[A] f[B], g[C] -> f and g are independently sized.
 - increases symmetry between different places in the code that do this
 - makes fewer ways to do the same thing; several methods are just gone now
 - makes more clear when something is copied or shared

Test Results Only: Include size in implicitly sized arrays (change to unsized).

This effects 60 tests, in a trivial way, but is critical to factor out this
noise from future planned changes.

Non functional: add EshTargetClientVersion alias for EShTargetClientVersion.

Fixes #1304.

Non-functional: always return value from makeFpConstant().

Should fix #1308.

Merge pull request #1306 from Igalia/uniform-aml-v2

Improve --auto-map-locations for uniforms (v2)

Merge pull request #1305 from amdrexu/bugfix

Add additional error check for fragment shader outputs

Take into account the number of locations taken up by a uniform

When assigning uniform locations it now takes into account the number
of locations occupied by the type. For uniforms, all types except
arrays and structs take up one location. For arrays the base location
count is multiplied by the array dimensions and for structs it is the
sum of the locations of each member.

Add locations to opaque types for OpenGL

Add additional error check for fragment shader outputs

Int64 and uint64 are disallowed as fragment shader outputs, similar to
double.

Bump patch version.

Merge pull request #1302 from KhronosGroup/cpp-relax-skiptokens-errors

PP: don't give errors on some tokens under #if 0 (or similar).

PP: don't give errors on some tokens under #if 0 (or similar).

Fixes #1295.

Tokens that are accepted by any version of HLSL or GLSL should be
allowed when #ifdef'd off, such that errors are not reported.

Merge pull request #1282 from KhronosGroup/hlslFunctionality1

WIP: Implement SPV_GOOGLE_hlsl_functionality1.

Implement SPV_GOOGLE_hlsl_functionality1.

Enabled via -fhlsl_functionality1

Merge pull request #1291 from ben-clayton/add-nv-nopersp

Add support for GL_NV_shader_noperspective_interpolation

Bump patch version.

Merge pull request #1299 from KhronosGroup/fix-conversions

Fix conversions

Add tests for GL_NV_shader_noperspective_interpolation

Merge pull request #1289 from Igalia/igalia/dmat-scalar-division

Use the correct type for the constant for matrix/scalar division

AST: Fix shift conversions, which don't require matching types.

The base and shift amount need to be integers, but not of the same type.
This fixes #1296 and replaces #1297.

Non-functional: Rationalize operators handled by the split addConversion() functions.

Historically, addConversion() was split to handle binary node <-> node conversions
from non-binary node -> type conversions. However, the split wasn't entirely clean
WRT HLSL design and left duplication of case statements, which are misleading, and
this commit cleans up.

AST: Remove convertToBasicType() which was obfuscating the conversion design.

Reinforces that conversion rules are operation-specific.
Side effect is that HLSL logical-operator conversions are more direct
(e.g. float -> bool, rather than float -> int -> bool).

Merge pull request #1294 from dgkoch/dgkoch_build_fixes4

Fix build several build errors

Fix build several build errors

glslang/SPIRV/SpvBuilder.cpp:2533:27: error: comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Werror,-Wsign-compare]
        for (int c = 0; c < accessChain.swizzle.size(); ++c)
                        ~ ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.

glslang/hlsl/hlslParseHelper.cpp:69:5: error: field 'cullDistanceInput' will be initialized after field 'clipDistanceOutput' [-Werror,-Wreorder]
    cullDistanceInput(nullptr),
    ^
1 error generated.

glslang/glslang/MachineIndependent/attribute.cpp:85:16: error: comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Werror,-Wsign-compare]
    if (argNum >= args->getSequence().size())
        ~~~~~~ ^  ~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.

Merge pull request #1293 from baldurk/remove-en-dash

Replace en-dash with simple ASCII hyphen

Replace en-dash with simple ASCII hyphen

* This means the source file is ASCII instead of (assumed) UTF-8 and
  doesn't cause warnings when compiling on non-western codepages.

Add support for GL_NV_shader_noperspective_interpolation

Use the correct type for the constant for matrix/scalar division

When a matrix is divided by a scalar it tries to take the reciprocal
of the scalar to convert the operation into a multiply. However it was
always doing this by making a 32-bit constant. If the scalar is a
double then this would end up making an FDiv instruction with
different types in the operands.

This patch adds a helper method called makeFpConstant which makes a
floating-point constant of the given type. The code to take the
reciprocal now uses it to make the same type as the result.

Fixes https://github.com/KhronosGroup/glslang/issues/1278

Merge pull request #1286 from greg-lunarg/kg14

Update known_good to SPIR-V 1.3 support

Merge pull request #1288 from amdrexu/bugfix

HLSL: Correct some mistakes for min16 types

Merge pull request #1287 from eintw1ck/master

include/Common.h: reorder includes to avoid redefinition on some platforms

HLSL: Correct some mistakes for min16 types

- Add missing constructor ops to support float16/int16/uint16 types
- Allow half float literals
- Correct two errors of double literal parse in HLSL: extension check and
  postfix

include/Common.h: reorder includes to avoid redefinition on some platforms

On some systems sstream defines snprintf, this leads to the a redefinition of sprintf_s if snprintf is defined before checking if it exists in sstream.

Increment minor version to 4

Update known_good to SPIR-V 1.3 support

Merge pull request #1283 from siavashserver/fix-memory-leak

Fix memory leak upon ProcessDeferred failure.

Merge pull request #1284 from amdrexu/bugfix

Allow --hlsl-enable-16bit-types to be used without AMD_EXTENSIONS

Allow --hlsl-enable-16bit-types to be used without AMD_EXTENSIONS

Fix memory leak upon ProcessDeferred failure.

Merge pull request #1269 from bkaradzic/master

Fixed GCC+Clang errors and warnings on Linux and OSX.

Merge branch 'amdrexu-feature'

Merge branch 'feature' of https://github.com/amdrexu/glslang into amdrexu-feature

Merge branch 'amdrexu-bugfix'

Merge branch 'bugfix' of https://github.com/amdrexu/glslang into amdrexu-bugfix

Merge branch 'sheredom-fixup_sm_60_wording'

Merge branch 'fixup_sm_60_wording' of https://github.com/sheredom/glslang into sheredom-fixup_sm_60_wording

Revert the commits that change OpArrayLength type and bumped the version number.

Now, version 5.* is all connected to making the uint type, which doesn't quite work.
Generator versions 4 and 6 do not do this.

WaveReadLaneFirst is the correct wording (was using WaveReadFirstLane previously...).

Merge pull request #1277 from KhronosGroup/Vulkan_1_1

SPV: Implement Vulkan 1.1 features and extensions.

Add more error checks for swizzleInvocations{Masked}AMD()

HLSL: Map min types to GLSL 16-bit types

Fixed ifdef.

SPV: Implement Vulkan 1.1 features and extensions.

Revert "Merge pull request #1274 from greg-lunarg/legal2"

This reverts commit 2c65069ecdbc41dc16580ff58d9d99a2e80ac9ce, reversing
changes made to fa9b465b92b7e043623ef24d9002aacb32fab0d8.

Build: Fix build issues with previous commit.

Merge pull request #1274 from greg-lunarg/legal2

Legalization: Omit legalization warning when spirv-opt is linked.

Versioning: Bump to minor version 1, for new SPIRV-Tools update.

Legalization: Omit legalization warning when spirv-opt is linked.

Merge pull request #1263 from greg-lunarg/kg12

Update spirv-tools known_good

Merge pull request #1272 from amdrexu/bugfix

Add more error checks for interpolateAtVertexAMD()

Add more error checks for interpolateAtVertexAMD()

Versioning: Address #1255: Move to semantic versioning.

Still missing is automation and final decisions on mechanisms in general.

Fixed GCC+Clang errors and warnings on Linux and OSX.

Merge branch 'amdrexu-bugfix'

Merge branch 'bugfix' of https://github.com/amdrexu/glslang into amdrexu-bugfix

SPV: Bump up the generator number.

SPV: The result type of OpArrayLength should be UINT

Non-functional: Make the vulkan version number meaning be only 0 or not 0.

Non-functional: Move to latest headers.

Merge pull request #1266 from amdrexu/feature

Implement the extension GL_AMD_gpu_shader_half_float_fetch

Merge pull request #1268 from amdrexu/bugfix2

Fix issues of SPIRV headers

Fix issues of SPIRV headers

Implement the extension GL_AMD_gpu_shader_half_float_fetch

- Support new opaque types: f16sampler*, f16image*, f16subpassInput*.
- Add new built-in GLSL texture/image functions.

Fix typo.

Merge pull request #1264 from dneto0/typo-client-version

Fix typo in help for -V<bad-number>

Merge pull request #1265 from davidhubbard/master

EShLangFragment falls through to EShLangCompute, only #ifndef AMD_EXTENSIONS.

TBuiltIns::identifyBuiltIns: EShLangFragment fallthrough

EShLangFragment falls through to EShLangCompute, only #ifndef AMD_EXTENSIONS.
This is probably a bug.

Fix typo in help for -V<bad-number>

IO mapper: Fix #1261: Supply location mapper with size computer.

This factored computeTypeLocationSize() out of needing the TIntermediate contents,
and uses it to show how to know how many locations an object needs.
However, it still does not do cross stage, or mixed location/no-location
analysis.

Update spirv-tools known_good

Contains the following improvements:

Fixes 1341: Atomics (and other instructions with side-effects) removed.
Add folding for redundant add/sub/mul/div/mix operations
Add constant folding rules for floating-point comparison
Add folding of redundant OpSelect insns
Add folding of OpCompositeExtract and OpConstantComposite

HLSL: Fix #1257: layout float1, int1, etc., as scalars.

SPV: Fix #1258: cache constant structs by id, not opcode.

Constants were generally cached by type opcode, but all structures share the
same type opcode (OpTypeStruct), so they need to be cached by type id.

SPV: Complete OpModuleProcessed implementation, enabled by have 1.2 headers.

Merge pull request #1256 from KhronosGroup/require-binding

GLSL/SPV: Fix #1196: Require resources to have layout(binding=X).

GLSL/SPV: Fix #1196: Require resources to have layout(binding=X).

Tests: specExamples.vert is used twice, it needs two different output names.

Merge pull request #1253 from KhronosGroup/hlsl-ternary-select

HLSL: Fix #1249: Always execute both sides of ternary "?:".

HLSL: Fix #1249: Always execute both sides of ternary "?:".

This is semantically required by HLSL, and frequently results in using
OpSelect instead of control flow.

Merge pull request #1250 from LoopDawg/image-fetch-conversion

HLSL: Add conversions for image ops during SPV construction

HLSL: Add conversions for image ops during SPV construction

HLSL allows image and texture types to be templatized on sub-vec4 types,
or even structures.  This was mostly handled already during creation of
sampling operations.  However, for operator[] which can generate image
loads, this wasn't happening.

It also isn't very easy to do at that point in time, because operator[]
does not know where the results it produces will end up.  They may be
an lvalue or an rvalue, and there's a post-process to convert loads to
stores.  They may end up in atomic ops.

To bypass that difficulty, GlslangToSpv now looks for this case and
adds the appropriate conversion.  LIMITATION: this only works for
cases for which a simple conversion opcode suffices.  That is to say,
it will not work if the type is templatized on a struct.

GLSL: Fix #1247. Remove extraneous *= matrix test.

Merge pull request #1246 from amdrexu/bugfix

Fix an issue of interpolateAtVertexAMD().

Fix an issue of interpolateAtVertexAMD().

An error message should be reported if the interpolant is not an input.

Warning for #pragma once. GLSL and HLSL. Addresses #824.

Merge pull request #1244 from dneto0/update-spirv-tools

Update SPIRV-Tools known-good

Merge pull request #1243 from greg-lunarg/kg11

Upgrade update_glslang_sources.py to work with other sites