Merge branch 'topo' into loopgen-after-readable-order

Reformat to better match existing style.

(C) Google

Explicitly initialize Instruction::block.

Remove a redundant check before visit(succ).

Add copyright, remove unused #includes.

Make Instruction::getBlock() const.

Fix merge issues.

Rework inReadableOrder() as a recursive descent.

Add a test for unreachable merge block.

Update test results with the new order: mainly delaying merge blocks and
removing unreachable ones.

Fix spv.branch-return.vert.

Add spv.branch-return.vert and fix inReadableOrder().

Implement inReadableOrder().

Call addPredecessor() on OpSwitch blocks.

Add Block::successors.

Merge branch 'master' of github.com:KhronosGroup/glslang

Memory: remove a part of the last merge request that causes crashes in multi-threaded mode.

Merge pull request #134 from AWoloszyn/glslangvalidator-memory

Freed up some command line memory (not used programmatically).

Merge pull request #133 from AWoloszyn/spirv-memory

Free memory associated with SPIR-V generation and the pragmaTable.

Free memory associated with SPIR-V generation.

Freed up some memory when no longer needed in glslangValidator.

Doubles: Add all the missing built-in double-based prototypes.

Memory/Perf: For link-mode, isolate file I/O so API can be looped over.

Separating file I/O from compile/link lets the compile/link be done
repeatedly in a loop for testing and measuring of performance and
memory footprint, including seeing memory growth over time for
functional-level memory-leak testing.

While the older compile-only mode already had this functionality,
and typically showed no memory leaks, SPIR-V uses the link path,
has pending "TODO" for memory freeing, and this shows several
kilobytes of leaking per compile-link. Most likely, pending
merge request 131 will address much of this.

Merge pull request #121 from amdrexu/feature

Parser & SPV: Implement two extensions regarding GLSL sparse texture.

Merge pull request #129 from AWoloszyn/fix-noop-strcpy

Preprocessor: Removed strcpy that copied a value to itself.

Merge pull request #126 from mgadams/win32_warnings

Fix several build warnings/error encountered with VS2013

Tests:  Update to match previous pull request.

Merge pull request #130 from jekstrand/fix-std140-struct

linkValidate: Round up structure sizes to vec4 in std140

getBaseAlignment: Use the rowMajor argument for determining matrix strides

The argument version is passed in from above and struct handling ensures
that row-majorness gets propagated correctly from one level to the next.
If we just look at the type itself and it's embedded in a struct that's
declared row-major, we may get the wrong stride.

getBaseAlignment: Round up structure sizes to max alignment

Removed strcpy that copied to itself.

Found by running glslang with -fsanitize=address in clang.
Also fixes a potential buffer-overrun with return from lReadByte.

Merge branch 'master' of github.com:google/glslang into loopgen

Change-Id: Ie8236430bb9e30a9be2e0c1573c42183c2f4d0d4

Fix back-branch target for do-while loops.

To ensure back branches always go to a header block, create a header
block even for !testFirst loops.  Then unify common code between the
testFirst/!testFirst cases.

Generate the header-block code first, so update golden files.

Realize that certain infinite loops generate invalid SPIR-V, so put a
TODO to instead abort code generation in such cases.

Change-Id: I1e173c8f73daad186cfc666b7d72bd563ed7665d

Update .out files with new loop SPIR-V.

Also update breakForLoop and call builder.closeLoop() in code
generation.

Remove dead code.

Change-Id: Ic8ce5b208530f8787989ef45a2efa405f1b45310

Switch loops stack to use LoopBlocks.

Also remove dead code.

Change-Id: I2c0177d8cab48b7d6f9442715aecb7951597f3c8

Test a for loop with no body.

Change-Id: I5b53cc008349afad94b14500506fcab4d6e64d2e

Fix unreachable-block removal.

Add a test for loop without a condition.

Change-Id: Idd7fc462218a84b1e745207e2975a3f2897d30a0

First cut at new loop codegen.

Change-Id: Id3bdf8b7a5606e7ce5d856ef225d5ddbe59a584b

Fix several build warnings/error encountered with VS2013

This also fixes the newlines for spirv.hpp to be consistent with the rest of the files.

Parser & SPV: Implement two extensions regarding GLSL sparse texture.

Implement extension "GL_ARB_sparse_texture2".
Implement extension "GL_ARB_sparse_texture_clamp".

SPV: Handle type punning in createCompositeCompare().

SPV: Don't do stride decorations for arrays of arrays of blocks.

SPV: Handle stride decorations for arrays of arrays, and using multiple type instances when strides are used.

SPV: Fix array strides by explicitly computing them in the getBaseAlignment() algorithm.

SPV: Generalize multiple struct-type instances for interpolation/invariant qualifiers.

Semantics: Catch nested types containing 'int' with non-'flat' interpolation.

SPV: Don't make MissingFunctionality() exit anymore.

SPV: Implement composite comparisons (reductions across hierchical compare).

SPV: Move to deterministic results for OpEntryPoint, for test stability across platforms.

SPV: Make OpEntryPoint I/O list include all static uses.

Before, it was only including explicit interface, sufficient for IO-Block-declared
oriented interface, but not sufficient for all modes GLSL might be used with
SPIR-V.

Two things are accomplished now:
1) each id will appear exactly once
2) the OpEntryPoint list will union static use with declarations

SPV: recursively propagate row/col majorness through nested structures.

This includes doing structure uniqueness modulo majorness, for shared nested structures.

SPV: Nested layouts: Recursively send around the top-level std140 or std430 packing.

This also distinguishes between the same struct included in multiple parent packings.

Merge pull request #118 from amdrexu/bugfix

SPV: Fix an issue related with imageStore() for 2DMS.

Merge pull request #120 from amdrexu/bugfix2

Parser: Correct the storage qualifier of gl_HelperInvocation.

Merge branch 'master' of github.com:KhronosGroup/glslang

Merge pull request #117 from amdrexu/feature

SPV: Implement GLSL built-in bitcast functions.

Tests for PR: Fix results for 4f68b83ea1b34923a71e699125a9e867003864f6.

Merge pull request #119 from thothonegan/master

Display the filename if we have output, even if validating  a single file

Constant folding: Correct result type of non-square matrix folding.

This also made the function easier to read by identifying
left and right operands more clearly.

Parser: Correct the storage qualifier of gl_HelperInvocation.

Display the filename if we have output, even if validating  a single file.

SPV: Fix an issue related with imageStore() for 2DMS.

SPV: Implement GLSL built-in bitcast functions.

Merge pull request #116 from mgadams/scan_compile_fix

Fix compile warning/error due to assignment in while() loop

Fix compile warning/error due to assignment in while() loop

This causes build failures with -Werror=parentheses

SPV GLSL.std.450: Add needed smear operations for min, max, clamp, mix, step, and smoothstep.

SPV texturing: Use comp. 2 as the 3rd comp. for Dref in ImageSampleProjDrefImplicitLod.

Fix crash: when no #version for compute shader in es mode.

An extra line of error recovery code set a non-sense combination of
es version and core profile.

Semantics: 'invocations' defaults to 1, not 0.

'invocations' was using 0 as the "shader never set" flag and as the
default. Formalize this and explicit set to 1 and link time.

SPV: Implement all matrix operators {+,-,*,/} for {matrix,scalar,vector}.

Semantics: Geometry stage can support max_vertices = 0.

To do this, more generally use a named -1 as a not set value.

SPV tests: Turn on some more tests related to currently pending issues.

Tests: Move to just linefeed to simply cross-platform test changes.

Linux: Fix case of test file.

SPV: Modify last merge: Have promoteScalar() generate the correct vectorType.

Merge pull request #115 from amdrexu/bugfix

SPV: Smear should use type of the scalar to make the expected vector type when the provided vector type is incompatible with the scalar.

Merge pull request #114 from amdrexu/bugfix2

Parser: Extension requirement of gl_PrimitiveID and gl_Layer should be checked only for ESSL instead of GLSL.

SPV: Scalar smear operation should use type of the scalar to make the
expected vector type when the provided vector type is incompatible with
the scalar.

Parser: Extension requirement of gl_PrimitiveID and gl_Layer should be checked only for ESSL instead of GLSL.

SPV: Protect getStorageClass() with a test that the thing is pointer.

SPV: Implement OpImage functionality (emit before query).

Merge pull request #113 from amdrexu/feature

SPV: Implement GLSL interpolation built-in functions.

Platforms: Remove support for Windows XP executables.
Dealing with the 110 toolset seems not worth it.

SPV: Implement GLSL interpolation built-in functions.

Merge pull request #111 from dneto0/issue-110-frexp-fix

Avoid read past end of operands vector for EOpFrexp

Avoid read past end of operands vector for EOpFrexp

When emitting SPIR-V code for frexp, avoid access
beyond the end of the operands vector.  When constructing
the OpExtInst, construct a new arguments vector instead of
modifying the existing operands vector.  In the case of OpFrexp,
well need that last operand later on to generate the store.

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

Change-Id: Ibc380fadf5e600ac491932e9ecef7afe2d72fd7f

Built-ins: fix mapping of packDouble2x32 and unpackDouble2x32.

SPV: Fix extra operands when using the "struct" form of a built-in taking an 'out' param.

SPV: Distinguish between std140 and std430 layouts, and correctly use alignments as the base for strides.

Semantics: Correct that std430 is universally disallowed with 'uniform'.

Merge pull request #100 from mawww/scanner-optim

Scanner optimisations

Merge pull request #109 from xorgy/add-unary-math-check-for-null-before-dereferencing

In addUnaryMath, check for 'child' being null before dereferencing it.

In addUnaryMath, check for 'child' being null before dereferencing it.

Merge pull request #107 from xorgy/fail-init-process-on-init-thread-fail

Fail InitProcess() when InitThread() fails.

Merge pull request #108 from mgadams/extensions_compile_fix

Fix ordered pointer comparison build warning/error

Build: Fix CMake files to find osinclude.h

Merge pull request #105 from phaulos/generic-osinclude

Use generic osinclude.h.

Fix ordered pointer comparison build warning/error

InitProcess() should fail if InitThread() does.

Use generic osinclude.h

Using platform-neutral osinclude.h makes it easier to substitute
implementation when necessary and eliminates some variability between
build configurations.

Require l-value patch-out indexing to be gl_InvocationID.

Also, generally allow ES variable indexing of in/out blocks.