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.

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

Update SPIRV-Tools known-good

One legalization case updated for a renumbered ID

Upgrade update_glslang_sources.py to work with gitlab branch

--site gitlab must be added to command for gitlab capability.
Default is github.

Non-functional: GLSL: Fix #1242; don't pass reference to nullptr.

Merge pull request #1241 from greg-lunarg/kg9

Add DeadInsertElim to legalization and RedundancyElim to -Os.

Add DeadInsertElim to legalization and RedundancyElim to -Os.

Merge pull request #1239 from KhronosGroup/deeper-access-chains

SPV: Create more access chains addressing a few swizzling issues.

Merge pull request #1238 from zeux/pp-string-buffer

Preprocessor: Use std::string instead of std::stringstream

SPV: Bump up generator number, because previous commit changes code gen slightly.

SPV: Create more access chains addressing a few swizzling issues.

- Fixes #1233
- Treats local bools like anything else
- more consistently deals with a dynamic component selection

Preprocessor: Use std::string instead of std::stringstream

std::stringstream has a measurable overhead for preprocessing - it
appears that operator<< does a tiny bit of extra work for appending
chars/strings and also can't be inlined in most cases on VS2015;
additionally, std::endl triggers a stream flush which also adds up.

Replacing this with std::string buffer gets the preprocessing time down
from 180ms to 135ms in one case, making it 1.33x faster.

Note that integer-to-string conversion is using std::to_string; in
theory this could be slower than sprintf or manual conversion, but I
haven't found these cases to affect preprocessing time in practice
(std::to_string would always use the short string buffer for
line/version numbers, and the number of calls is not too significant).

Merge pull request #1234 from dneto0/update-spirv

Update SPIRV-Tools known-good

Update SPIRV-Tools known-good

Update SPIRV-Tools.  Relevant functional changes:
 - Optimizer enhancements:
   - ADCE now removes OpSwitch
   - Block merging occurs in more cases
 - Optimizer fixes:
   - Constant propagation (CCP): support matrix constants
   - #1199: Optimizer: Fix CCP: don't propagate spec constants.
   - #1203: Optimizer: Fix common uniform elim bug introduced by refactoring.
   - #1210: Optimizer: Aggressive dead code elimination: Fix 'break' identification.
   - #1212: Optimizer: Aggressive dead code elimination: Was skipping too many instructions.
   - #1214: Optimizer: Aggressive dead code elimination: Fix infinite loop.
   - #1228: Optimizer: Fix CCP: Handling of varying Phi nodes; was resulting in infinite loop.
   - #1245: Optimizer: Dead branch elimination: Avoid a null pointer dereference.
   - #1250: Optimizer: Dead branch elimination: Avoid spuriously reporting a change.
   - #1262: Support building on VisualStudio 2013 again

Update SPIRV-Headers, with "unified1" directory.

Updated one Glslang legalization test base result due to better block merging.

GLSL: Fix #1229: merge array sizes in parameter declarations.

Merge pull request #1232 from KhronosGroup/control-flow-attributes

Control flow attributes

Error message: Improve error message (will help another party id a bug).

AST: dump attributes along with control flow.

GLSL: Implement GL_EXT_control_flow_attributes.

See https://github.com/KhronosGroup/GLSL/pull/11.

HLSL: Refactor attribute implementation.

- make it sharable with GLSL
- correct the case insensitivity
- remove the map; queries are not needed, all entries need processing
- make it easier to build bottom up (will help GLSL parsing)
- support semantic checking and reporting
- allow front-end dependent semantics and attribute name mapping

Non-functional: Fix #1231: remove duplicated code.

SPV Version: Emit the requested SPIR-V version, not the header version.

Fixes #1236.

Non-Functional: Use OpModuleProcessed from the unified header.

EShTargetSpv: Fix #1235, spelling, in a backward compatible way.

SPV: Bump SPIR-V header to the unified1 version (version 1.2).

Non-functional. Fix #1223: expand comments.

Merge pull request #1224 from fjhenigman/unused

Fix unused function warning.

Merge pull request #1221 from dneto0/update-spirv

Update known-good spirv-tools.

Fix unused function warning.

TGlslangToSpvTraverser::getExtBuiltins is only used when AMD_EXTENSIONS
is defined, so only define it in that case to avoid an unused function
warning.

Update known-good spirv-tools.

Optimizations used in HLSL legalization now sweep away unused types.

HLSL: Fix #1208: accept both int and uint in asuint() and asint().

HLSL: Protect against 'continue' outside of loops.

HLSL: Fix #1214: check for nesting in loop/switch of break statements.

HLSL: Fix #1215: propagate error on seeing a type name instead of a variable.

GLSL: XFB: more support for built-in block redeclarations with XFB.

- correct inheritence (or not) of the right XFB buffer
- compute implicit stride (fixes #1212)
- semantic check block-member redeclarations
- inherit stride from a member

Scanner: Many int16 and float16 fixes, including performance.

- fixes #1209, addresses most of #1187
- only query feature availability on seeing the feature
  (was doing it for every single token)
- correct case-sensitive checks for multi-character suffixes

Scanner: Many int64 fixes, including performance.

- partially addresses #1209 and #1187
- only query 64-bit extension on seeing use of a 64-bit literal
  (was doing it for every single token)
- correct HLSL acceptance of 64-bit literal syntax (still an int though)
- error on overflow of 32-bit literal type

Non-functional: Fix HLSL error message, and code formatting.

Merge pull request #1211 from greg-lunarg/kg7

Update known good spirv-tools. Fixes issue #1205.

Update known good spirv-tools. Fixes issue #1205.

Build: Tickle bots to try again... seems like a process hang; all tests passed.

HLSL: Fix #1203: Declare anonymous members for cbuffer with no ';'

The grammar for no semicolon and no object name for cbuffer/tbuffer
was correct, but the production still skipped the anonymous declarations
if an identifier followed.

HLSL: Fix 1201: Accept 'layout' as an identifier.

HLSL: Attributes: Add [[vk::constant_id()]] and [[vk::push_constant]]

Merge pull request #1190 from jfmarquis/hlsl-store-type-propagation

HLSL: Fix possibly incorrect type conversion in Store2-3-4

Merge branch 'greg-lunarg-flatten1'

Merge branch 'flatten1' of https://github.com/greg-lunarg/glslang into greg-lunarg-flatten1

HLSL Tests: Remove optimization from tests that don't need it.

This is to create more stable test results.

HLSL Legalization: Add scalar replacement

This allow for propagation through structs with dynamically indexed
arrays. This supports recent removal of non-io struct flattening.

HLSL: Fix possibly incorrect type conversion in StoreN and LoadN

Set type to r-value resulting from indexing vector, to prevent
float->uint conversion when source is already uint. Resulting
OpConvertFToU would otherwise fail validation because source is
already uint.
For LoadN, incorrect uint->float->uint can be avoided; fixing
potential truncation of big integer values.

Merge pull request #1195 from LoopDawg/gcc-bug-workaround

compile error fix for g++ 5.4.0

g++ 5.4.0 suspected defect workaround

Fix compilation error under g++ 5.4.0.

SPV: Document history of the generator version number.

GLSL: Fix #1193: no 'location' on uniform/buffer block.

gcc: potentially a compiler-bug work around

SPV: Memory model: Reduce set of memory-semantic bits requested for "all".

SPV: HLSL: Move to correct HLSL barrier semantics, per Khronos recommendation.

SPV: Bump the generator number to account for barrier changes.

SPV: Change barrier emission to conform to Khronos decisions.

The memory model group agreed to these definitions for how
to map GLSL barrier, memoryBarrier, etc. With HLSL following suit.

HLSL: Fix #1192: when bool operands are converted to ints, convert result type.

Merge pull request #1191 from greg-lunarg/kg6

Update spirv-tools known-good.

Update spirv-tools known-good.

HLSL: Make attributes for built-in override semantics.

Fixes #1188.

Merge pull request #1189 from KhronosGroup/spv-xfb

SPV: Implement XFB

SPV: Plumb through XFB buffer and stride information.

Also, only emit this XFB information where the SPIR-V spec says
it should be emitted: essentially, on objects.

This and the previous commit together fix #1185.