Fix warnings/errors for strict aliasing & function prototypes

This fixes various issues related to gcc's strict-aliasing warning
by using unions. It also handles various cases hit with
gcc's missing-declarations warning.

SPV: Fix 'location' inheritance bug.

SPV: Fix Linux build warning.

Merge pull request #164 from google/bison

Error out if bison is not found on non-Windows operating systems.

Error out if bison is not found on non-Windows operating systems.

We cannot just default to use tools/bison.exe when it is not on
Windows.

SPV: Implement Vulkan version of GLSL (KHR_vulkan_glsl).

SPV: Fix issue #159: use ExplicitLod forms for non-fragment stages.

SPV Capabilities: StorageImageExtendedFormats, StorageImageReadWithoutFormat, and StorageImageWriteWithoutFormat.

SPV Capabilities: SampleRateShading, SparseResidency, MinLod, and ImageQuery.

SPV Capabilities: Image types.

SampledBuffer
ImageBuffer
Sampled1D
Image1D
SampledCubeArray
ImageCubeArray
SampledRect
ImageRect
InputAttachment
ImageMSArray
StorageImageMultisample

SPV capabilities: Add int16, int64, float16, and float64.

SPV: Handle GLSL bool loads from a uniform buffer as a conversion from int -> bool.

SPIR-V bool is abstract; it has no bit pattern for storage with transparent memory.
OpenGL's convention is a bool in a uniform buffer is 32-bit int with non-0 being 'true'.

Merge pull request #161 from ossy-szeged/master

Fix typo in an include guard.

Fix typo in an include guard.

Semantics: Map noise*() to an operator for PureOperatorBuiltins mode.

Fixes issue #157.

SPV: RelaxedPrecision: Plumb this through the full AST->SPV translator.

Merge pull request #155 from mgadams/resultid_warnings

Build: Fix two new Windows build warnings/errors

Merge pull request #153 from greg-lunarg/gsf-pr1

SPV Remapper: Update for 1.0 and bug fixes

Fix two new Windows build warnings/errors

spirv-remap: Fixed strings not at end of operands, fixed L/S defect

Also added new op classes.

spirv-remap: assert on unhandled OperandClass

spirv-remap: inhibit loadstore opt if variable ref'd by other instructions

spirv-remap: handle OperandImageOperands during remap

SPV: Address superset of issue #151: missing OpCapability instructions.

This commit adds:
CapabilityGeometryPointSize
CapabilityTessellationPointSize
CapabilityClipDistance
CapabilityCullDistance
CapabilityMultiViewport
CapabilityTransformFeedback
CapabilityGeometryStreams
CapabilityDerivativeControl
CapabilityInterpolationFunction

Fix front-end bug: Constant folding of array-of-struct index op.

If a constant object was both an array and a structure, and was
indexed with a constant, the arrayness was ignored and the wrong
subconstant selected.  This fixes that.

Todo: removed Todo.txt, and migrated to issues, closing issue #13.

SPV: Require desktop 140 or ES 310 or above.

Semantics: Spec. changing to reflect reality of int/uint conversion for |^&.

This effects 4.x, where int/uint conversions are done, but not earlier.

SPV: Use a more accurate MemorySemanticsAllMemory mask.

SPV: the OpImageTexelPointer sample 0 should be <id> of 0, not literal 0.

SPV: Add recursive distrubition of 'location' across structure members.

SPV: Add unary-matrix operations, operating at vector level.

Merge pull request #138 from dekimir/fix-old-msvc

Fix #137 by avoiding a C++11 feature.

Merge pull request #139 from dekimir/small-header-always

SPV: Split loop header from condition testing for for/while loops.

Add Test/spv.for-complex-condition.vert.

Split loop header from condition testing for for/while loops.

Fix #137 by avoiding a C++11 feature.

Apparently, older MSVC versions don't support brace-initializers for
function arguments.

Thanks @baldurk for a suggestion on his branch.

Merge pull request #136 from dekimir/no-block-removal

SPV: Don't remove SPIR-V blocks before codegen, use new InReadableOrder instead.

Don't remove SPIR-V blocks before codegen.

A removed block releases its instructions, so Module::idToInstruction
suddenly contains dangling references.  The original motivation for
block removal was to skip some unreachable blocks, but that's already
achieved by InReadableOrder.cpp.

Also updated stale comments.

Merge pull request #127 from dekimir/loopgen

SPV: Rework loop code generation to match SPIR-V 1.0.

Move continue-block to after all branches.

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

Merge pull request #135 from dekimir/topo

SPV: Code-generate SPIR-V blocks in a more 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.