Merge pull request #1394 from greg-lunarg/kg20

Update spirv-tools known-good.

Update spirv-tools known-good.

Includes:

Fold FMix feeding Extract, and use the simplification pass.

Fix #1391: Remove use of nonportable strnlen().

Merge pull request #876 from ligfx/cmaketargetincludedirectories

CMake: use target_include_directories to expose includes

CMake: use target_include_directories to expose includes

This makes glslang simpler to embed in larger projects.

Merge pull request #1386 from zeux/master

Fix TextureUpgradeAndSamplerRemovalTransform when used with qualifiers

Merge pull request #1387 from jeffbolznv/disassembly_explicit_types

Add bit width of types to disassembleInstruction

Merge pull request #1385 from KhronosGroup/fix-strtod

PP: Fix strtod problems: add tests, remove 2nd use, replace

PP: Implement locale-independent strtod, using istringstream and a fast path.

Fixes #1228. Fixes #234.

This uses imbue() to be locale independent.  Notes:

- 'sstream >> double' is much slower than strtod()
  * this was measurable in the test suite as a whole, despite being
    a tiny fraction of what the test suite does
- so, this embeds a fast path that bypasses sstream most of the time
  => the test suite is faster than before
- sstream is probably slower, because it does more accurate rounding than strtod()
- sstream does not create INFINITY by itself, this was done based on failure inferencing

Add bit width of types to disassembleInstruction

PP: Remove second parsing of numbers recorded in macros; save/use original.

This partly addresses #1228 and #234 by reducing usage of strtod (or atof).
There is now only place to parse a floating-point number.

Testing: Add new tests, and new ways of testing, for floating-point.

- Adds a pragma to see binary output of double values (not portable)
- Print decimals that show more values, but in a portable way
  (lots of portability issues)
- Expand the tests to test more double values

Note: it is quite difficult to have 100% portable tests for floating point.
The current situation works by not printing full precision, and working around
several portability issues.

Merge pull request #1388 from greg-lunarg/kg19

Update spirv-tools known-good

Update spirv-tools known-good

Includes:

Fold divide and multiply by same value.
Allow ADCE to remove more instructions.
Remove dead Workgroup variables in ADCE.
Fold fclamp feeding compare.
Add pass to fold a load feeding an extract.
Remove redundant stores.
SROA: Only create symbols that are loaded.
Get ADCE to handle OpCopyMemory
Remove the limit on struct size in SROA.

Fix TextureUpgradeAndSamplerRemovalTransform when used with qualifiers

The transform removes sampler arguments from functions and function
calls; this causes function arguments to change their indices. When some
function arguments have an output qualifier, this qualifier can get lost
because of the removal which can lead to incorrect results (e.g. out
qualifier not having effect).

To fix this we iterate through both seq & qual arrays in lock-step and
manually remove/replace entries as appropriate.

Merge pull request #1384 from LoopDawg/self-cast

HLSL: allow self-type cast (as no-op passthrough)

HLSL: allow self-type cast (as no-op passthrough)

Previously, casting an object of a struct type to an identical type
would produce an error.  This PR allows this case.

As a side-effect of the change, several self-type casts in existing
tests go away.  For example:

    0:10          Construct float ( temp float)
    0:10            'f' ( in float)

becomes this (without the unneeded constructor op):

    0:10          'f' ( in float)

For vector or array types this can result in somewhat less overall code.

Fixes: #1218

Bump revision.

GLSL: Fix #1279: refract does not have a double-type eta.

Merge pull request #1381 from LoopDawg/coverage_array

HLSL: require coverage mask to be arrayed output.

Merge pull request #1383 from amdrexu/bugfix

Fix issue #1376: SPV_AMD_gpu_shader_half_float is not emitted under vulkan1.1

Fix issue #1376: SPV_AMD_gpu_shader_half_float is not emitted under
vulkan1.1

Interpolation functions, using 16-bit interpolants, should always emit
this extension string regardless of vulkan enviornment version.

HLSL: require coverage mask to be arrayed output.

SPIR-V requires the coverage mask to be an array of integers, but HLSL
allows scalar integers.  This adds the requisite type conversion and
wrapped entry point handling.

Fixes: #1202

Merge pull request #1379 from LoopDawg/groupid-fix

HLSL: various SPIR-V compute shader IDs must be 3-vectors of integers

HLSL: various SPIR-V compute shader IDs must be a 3-vector of integers.

This PR forces the external definition of SV_GroupID variables to 3-vectors.
The conversion process between the shader-declared type and the external type
happens in wrapped main IO variable conversion.

The same applies to SV_DispatchThreadID and SV_GroupThreadID.

Fixes: #1371

Merge pull request #1378 from LoopDawg/append-decl-order

HLSL: Allow stream output Append() method after entry point.

HLSL: Allow stream output Append() method after entry point.

Append() method is special: unlike most outputs, it does not copy
some temporary data to a symbol in the entry point epilogue, but
rather uses an emit builtin after each write to the output stream.

This had been handled by remembering the special output symbol for
the stream as it was declared in the shader entry point before
symbol sanitization.  However the prior code was too simple and
only handled cases where the Append() method happened after the
entry point, so that the output symbol had been seen.

This PR adds a patching step so that the Append()s may appear in
any order WRT the entry point.  They are patched in an epilogue,
whereupon it is guaranteed in a well formed shader that we have
seen the appropriate declaration.

Fixes #1217.

SPV: Fix #1374: For an SSBO 16-bit access, only emit StorageUniformBufferBlock16 capability.

Merge pull request #1375 from Igalia/nroberts/aml-arrayio

Skip outermost array when assigning locations to auto-array interfaces

Tests: Fix #1372: Don't legalize runtests HLSL tests.

We want these tests to be independent of whether SPIRV-opt is used.

Skip outermost array when assigning locations to auto-array interfaces

When assigning a location to an interface whose stage automatically
converts the interfaces to an array, it now strips off the outermost
array from the type before calculating how many locations it consumes.

Bump version.

Merge pull request #1370 from KhronosGroup/fix-param-types

Fix #944: Convert argument type to match formal parameter type.

Merge pull request #1369 from greg-lunarg/kg18

Update spirv-opt known-good

Fix #944: Convert argument type to match formal parameter type.

Update spirv-opt known-good

Notably, this includes the following:

- Fix exponential performance of DeadInsertElim
- Constant folding of OpVectorTimesScalar
- Add Vector DCE
- Add store-store elimination to LocalSingleBlockElim
- Improve folding of OpVectorTimesScalar and OpPhi
- Fixes handling of kill and unreachable ops in inlining

Merge pull request #1363 from mattparks/patch4

Fixed install for SPIRV, glslang, and hlsl when building shared libs

Merge pull request #1368 from danginsburg/issue_1367

Fix issue #1367 - change the I/O remapper to ignore push constants so…

Fix issue #1367 - change the I/O remapper to ignore push constants so it does not apply a binding/descriptor set to them.

Build: Add missing break statements. Fixes #1052.

Fixed install for SPIRV, glslang, and hlsl when building shared libs

Merge pull request #1364 from greg-lunarg/kg17

Update known-good.

Update known-good.

Notably, reduces spirv-opt time and adds folding of OpDot and OpFNegate.

GLSL/Vulkan: Warn about arrays of arrays of resources that need bindings.

Initial way of addressing #1362.

GLSL: Fix #1359: don't allow unsized arrays as initializers.

validate script: fix path

GLSL: Fix #1300: Can redeclare without size a sized built-in block array.

Infrastructure: If using .hlsl suffix, default is -D.

Bump revision.

Tests: Add usage and tests for previous commit.

Merge branch 'nicebyte-glsl-ext'

Merge branch 'glsl-ext' of https://github.com/nicebyte/glslang into nicebyte-glsl-ext

Bump revision.

Merge pull request #1345 from amdrexu/bugfix

Add AMD float16/int16 SPV extension string when GLSL specifies them

Specify SPV_AMD_gpu_shader_int16 extension string when frexp() takes 16-bit
exp operand

Bump revision.

HLSL/SPV: Declare DepthReplacing for shaders declaring SV_Depth* outputs.

Merge pull request #1348 from greg-lunarg/kg16

Update spirv-opt known good

Merge pull request #1351 from danginsburg/issue_1350

Fix issue #1350 - set the node type to match the atomic TIntermAggreg…

Update gold results

Make FindLanguage use the entire name if parseStageName is false

Fix build error

Make glslang validator support files ending in .glsl

This patch makes  the validator accept *.<stage name>.[g/h]lsl pattern
for file names.

This patch preserves previous behavior (i.e. *.vert/*.frag/etc. in file
names still work).

Fix issue #1350 - set the node type to match the atomic TIntermAggregate node type so that AtomicSMin/Max is not generated with a result type of void.

GLSL/Vulkan: Enforce no location aliasing in vertex inputs.

Update spirv-opt known good

Changes include:
    Fix SSA rewrite for nested loops.
    Add support for two new extensions:
    - SPV_NV_shader_subgroup_partitioned
    - SPV_EXT_descriptor_indexing
    Legalize OpImageTexelPointer
    Copy propagate arrays

Build: Fix #1347: Compile with NV_EXTENSIONS disabled.

Merge pull request #1326 from mattparks/patch1

Allowed for LIB_TYPE to be set to switch between static and shared libs for glslang, SPIRV, and HLSL

Non-functional: Fix tabs.

GLSL: Fix #1330: default outputs for GL_NV_geometry_shader_passthrough

Bump revision.

Merge pull request #1343 from KhronosGroup/uint-counter-bufs

HLSL: Fix #1332: consistently use uint for counter buf typing.

Merge pull request #1341 from St0fF-NPL-ToM/master

fix VS2012 compile issues

HLSL: Fix #1332: consistently use uint for counter buf typing.

Revert "add ability to record accessed and declared "named defines""

This reverts commit e7350423067442f616431c1cdf4f18dd7990a491.

Merge pull request #1338 from cgmb/minor-shaderlang-fixups

Minor cleanup in ShaderLang.cpp

GLSL/SPV: no location on atomic_uint; Fix #1339.

Minor cleanup in ShaderLang.cpp

Use unique_ptr to simplify memory management in ProcessDeferred.

fix further MSVC 2012 build issues

MSVC 2012 does not allow initializer lists - replaced with corrresponding CTor calls.

add ability to record accessed and declared "named defines"

Added the needed 2 sets to TIntermediate, added accessor-functions, inserter functions.  Implemented recording of such named defines inside the preprocessor parser.

fix VS2012 compile issues

small fixes needed to compile under Win8.1/VS2012/static_lib

GLSL/SPV: Fix #1310: don't create unnecessary integer matrices.

README: Expand on the C++11 compiler requirement for MSVS.

Update revision.

Fix #1328: ENABLE_HLSL=OFF breaking build.

Fix #1331: Emit SPV_GOOGLE_hlsl_functionality1 for counters.

It was missing when there were no semantics.

Fix #1333: Protect against -g for non-generating code.

Merge branch 'nonuniform-dynindex'

Update revision.

Revision/Version update.

GLSL/SPV: Implement SPV_EXT_descriptor_indexing and GL_EXT_nonuniform_qualifier

Update revision.

GLSL: Implement correct semantic checking for run-time sized arrays.

Linker: Fix #1329: correctly merge unsized arrays, and fix link tests.

Merge pull request #1327 from mattparks/patch2

Added getter for uniform block bindings

Added getter for uniform block bindings

Allowed for LIB_TYPE to be set to switch between static and shared libs for glslang, SPIRV, and HLSL

Merge pull request #1325 from KhronosGroup/simplify-doc

Non-Functional: Remove unused parts of the disassembler.

Non-Functional: Remove unused parts of the disassembler.

Merge pull request #1322 from jeffbolznv/master

Implement GL_NV_shader_subgroup_partitioned