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.

GLSL: Implement XFB for redeclared built-in blocks.

Merge pull request #1184 from KhronosGroup/SPV_EXT_fragment_fully_covered

Add implementation of SPV_EXT_fragment_fully_covered

Add implementation of SPV_EXT_fragment_fully_covered

This implementation uses the GLSL extension
GL_NV_conservative_raster_underestimation to generate the new SPIR-V
FullyCoveredEXT built in.

Update to latest public headers.

Merge pull request #1183 from LoopDawg/builtin-output-array-indirect

HLSL: for split output structs, propagate indirection to builtins.

Merge pull request #1186 from zeux/master

HLSL: Implement support for RT/Viewport output from VS

HLSL: Implement support for RT/Viewport output from VS

In DX10/DX11 you can only output RT/Viewport indices from GS; however,
DX11.4/DX12 add support for outputting these from VS as well.

This is supported by Vulkan if the relevant extension is available, and
by MSL and by MSL (which you can cross-compile to via SPIRV-Cross).

HLSL: for split output structs, propagate indirection to builtin.

Some stage (e.g, hull shaders) have arrayed builtin outputs (e.g, position).
When copying from the internal structure to the split form, it is necessary
to propagate that indirection to the actual arrayed outputs.  This was not
happening.

Addresses #1181

Merge pull request #1174 from LoopDawg/y-flip

HLSL: add optional position.Y inversion

HLSL: Give error on unsupported buffer initializer.

HLSL: Remove unintended/untested functionality PrimitiveID.

This was listed as outputs for tessellation stages, but they
are input only.

Merge pull request #1178 from LoopDawg/primitiveid-hs-input

HLSL: Allow primitive id on hull shader input

Merge pull request #1175 from KhronosGroup/no-flatten-local-opaque

HLSL: Stop flattening non-IO structs containing opaques.

HLSL: Allow primitive id on hull shader inputs

Fixes #979

HLSL: Stop flattening non-IO structs containing opaques.

This makes struct returns from functions work, but breaks
structs containing arrays, due to limitations in subsequent
transforms in spirv-opt. This is expected to be fixed soon.

HLSL: add optional position.Y inversion

Adds command line options:

   --invert-y
   --iy

(synonyms) which invert position.Y on vertex shader output.  Handles these cases:

* Direct single variable return
* Member of direct returned struct
* Single variable output parameter
* Member of struct output parameter

API:

    // Enables position.Y output negation in vertex shader
    void TShader::setInvertY(bool invert);

Fixes #1173

HLSL: Fix #606: make layout() override register.

HLSL: Fix #1154: Support PointSize, as an attribute.

Merge pull request #1151 from cgmb/update-readme

Improve build instructions

Improve build instructions

- Mention that the instructions are written for Bash.
- Quote the CMAKE_INSTALL_PREFIX to handle spaces in $(pwd).
- Remove SSH clone instructions. Instructions on how to clone are for
  those unfamiliar with GitHub, so fewer options are better and SSH
  requires additional configuration to make work.
- Replace ninja with make, because more people are familiar with it and
  we probably don't need to explain how to install it. Fixes #956.
- Remove the section mentioning cygwin, as it's unclear and doesn't
  seem necessary.
- Mention minimum language version in the Dependencies section.
- Move `cd $BUILD_DIR` out of the Linux configuration section because
  it's needed on both platforms. Add a line about creating the build
  directory, too.

HLSL: Fix #1163: treat buffers as references when calling functions.

This continues to prevent writing output buffers (out from a function),
but fixes the problem where the copy-in/out was not getting done.

Making everything work will require knowing both in/out-ness and bufferness,
but these are currently mutually exclusive, because both are storage
qualifiers.

Merge pull request #1171 from greg-lunarg/kg5

Update spirv-tools known-good

Merge pull request #1170 from LoopDawg/matsize-warnings

HLSL: minor: add warning for mat() matrix size truncation

Update spirv-tools known-good

This fixes spirv-tools issue 989 where if-break can be incorrectly
deleted from a loop.

HLSL: minor: add warning for mat() matrix size truncation

Minor change to add a compilation warning on implicit matrix size
truncations.

Add initialization in case it is causing the Apple Clang release failure.

Tests: Trigger more texture tests, and hopefully see build failure go away.

(This is motivated by wanting to retickle the tests.)

Merge pull request #1166 from tafuri/#1165-invalid_Store

#1165 invalid store

Merge pull request #1169 from LoopDawg/cbuffer-identifier

HLSL: allow keyword-identifiers as cbuffer/struct names.

Merge pull request #1167 from LoopDawg/matmul-truncate-mxm

HLSL: add implicit mat*mat truncations

Merge pull request #1168 from greg-lunarg/kg4

Update spirv-tools known-good

HLSL: allow keyword-identifiers as cbuffer/struct names.

Issue #791 was partially fixed by PR #1161 (the mat mul implicit
truncations were its main point), but it still wouldn't compile due to
the use of ConstantBuffer as an identifier.  Apparently those fall into
the same class as "float float", where float is both a type and an
identifier.

This allows struct definitions with such keyword-identifiers,
and adds ConstantBuffer to the set.  'cbuffer int' is legal in HLSL,
and 'struct int' appears to only be rejected due to the redefinition
of the 'int' type.

Fixes #791

Update spirv-tools known-good

This includes an enhancement to propagate through nested structs.

HLSL: add implicit mat*mat truncations

Goes with PR #1161, and completes the space for mul() implicit truncations.

Note that the v*v and scalar cases are already handled by existing code.

Added new test to gtests and updated test data

Respect the array type in Store operation

Merge pull request #1161 from LoopDawg/matmul-truncate

WIP: HLSL: matrix and vector truncations for m*v, v*m, m*m

HLSL: matrix and vector truncations for m*v, v*m, m*m

HLSL truncates the vector, or one of the two matrix dimensions if there is a
dimensional mismatch in m*v, v*m, or m*m.

This PR adds that ability.  Conversion constructors are added as required.

Memory: Mak full explicit destructor functionality, techincally correctly.

Completes a TODO from previous commit.

Memory: Fix #705: don't use pool object after invoking destructor.

Memory: Put pragma tables in the pool.

Fixes #916 (the last change covered by the PR).
3rd list item in #976.

SPV: SampleMask does not depend on SampleRateShading.

Fixes #1158.
Fixes #1159.

Memory: Reference count number of clients, to support multiple independent clients in same process.

Addresses 2nd item in #976.

Usage: clarify meaning of -s; fixes #1135.

Test: Add more legalization tests; those effected by flattening.

Merge pull request #1156 from LoopDawg/snorm-uav

HLSL: Accept unorm and snorm on types

Merge pull request #1157 from LoopDawg/gs-hs-mix

HLSL: ignore geometry attributes on non-GS stages.

HLSL: ignore geometry attributes on non-GS stages.

If a shader includes a mixture of several stages, such as HS and GS,
the non-stage output geometry should be ignored, lest it conflict
with the stage output.

Merge pull request #1147 from KhronosGroup/memory1

Memory fixes, round 1

Merge pull request #1155 from antiagainst/skip-tags

Appveyor: avoid double testing on master commits

Memory: Remove redundant pool popAll(), which is potentially confusing.

HLSL: Accept unorm and snorm on types

This is currently parsed and ignored, save for some minor validation.