Front-end: Add specialization-constant subtrees for const variables/symbols.

Front-end infrastructure: Encapsulate semantic-level questions/actions about const/temp.

Much about const or temp is mechanical, about actual declaration,
while much is semantic, about something higher level.  This commit
checks every use everywhere, and for the high-level ones, substitutes
an encapsulated version instead.

Front-end infrastructure: simplify and localize creating symbol nodes, reducing replication.

Merge pull request #209 from amdrexu/bugfix

Parser: Type promotion for operator modulus(%) is missing.

Parser: Type promotion for operator modulus(%) is missing.

Merge pull request #203 from dneto0/wip-mingw

Support Linux-to-Windows cross compile via MinGW

Support compilation via MinGW

Change-Id: Ie52f0b1b2b20948c6f4b3cb5474537d36a5a3385

Merge pull request #204 from amdrexu/bugfix

SPV: Implement boolean selection for mix().

SPV: Implement boolean selection for mix().

Use OpSelect to implement boolean selection of mix(). FMix is applicable
to linear blending of mix().

Merge pull request #199 from dekimir/test-dead-decors

SPV test: Test dead-decoration removal.

Test dead-decoration removal.

Merge pull request #195 from Qining/remove-decoration-on-undef-IDs

SPV: Remove decoration of undefined IDs

Change to traditional 'for' loop

Merge pull request #194 from google/if-macro

Preprocessor: Fix array out of bounds bug in processing if-else-endif macros.

Remove decoration of undefined IDs

Fix issue #185 by removing OpDecorate instructions whose target IDs are
defined in unreachable blocks and thus not dumped in the generated
SPIR-V code.

Fix array out of bounds bug in processing if-else-endif macros.

If we are not inside an if macro, we cannot simply decrease
elsetracker.

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

SPV: Issue #180: push_constants don't have descriptor sets.

Merge pull request #192 from Qining/enable-adding-multiviewport-capability

SPV: Declare MultiViewport capability.

Run regression tests, update spv.420.geom.out so capability MultiViewport is declared

Enable adding capability: MultiViewport

Fix issue #191:
https://github.com/KhronosGroup/glslang/issues/191

Merge pull request #168 from amdrexu/feature2

SPV: Add support for memory qualifiers.

Merge pull request #165 from amdrexu/feature

SPV: Support the new OpCode - OpImageSparseRead

Infrastructure: Tweak CMake for 31c294cea86ae0115820f2a02c5a33cfca662a26, removal of bison.

Merge pull request #122 from baldurk/remove-bison-binary

Remove bison binary

SPV: Use heuristic to avoid geometry multi-streams when possible.

Merge pull request #187 from amdrexu/bugfix

SPV: Continue to fix the issue of bool -> uint32

Merge pull request #188 from bsalomon/master

Fix line endings in Test/100.conf

Fix line endings in Test/100.conf.

SPV: Continue to fix the issue of bool -> uint32

For short-circuit operator (&& and ||), the conversion is missing.

Syntax: correct spelling of rgb10_a2ui.

Remove custom command for bison, it fails if bison is not found

Commit bison-generated files from Windows GNU Bison 2.7

Add a note to README.md about how to build the bison grammar

Remove bison binaries see issue #103

Merge pull request #173 from amdrexu/bugfix

SPV: Fix an issue caused by bool-to-uint32 conversion.

Merge pull request #175 from rdb/master

Fix compilation issues with MSVC 2010

Merge pull request #178 from baldurk/minor-warning-fix

Minor warning fixes

GCC/Clang warning fix - unsigned/signed mismatch in comparison

GCC warning fix - unhandled enums in switch statement

MSVC warning fix - conversion from size_t to int, possible loss of data

Merge pull request #174 from mgadams/alias_proto_warnings

Fix warnings/errors for strict aliasing & function prototypes

Merge pull request #176 from jackoalan/parameterize-ensure

SPV: Ensure Parameterize is called during Disassemble

Merge pull request #172 from Marqin/master

fix #171 - error: ‘isinf’ was not declared in this scope

SPV: Fix an issue caused by bool-to-uint32 conversion.

This issue is related with the commit
103bef9d74d768f0690ed53f52681baead384d1e.

SPV: Ensure Parameterize is called during Disassemble

Fix compilation issues with MSVC 2010
(mostly by eliminating use of range-based for loops and std::tie)

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.

fix #171 - error: ‘isinf’ was not declared in this scope

glslang/MachineIndependent/intermOut.cpp used `isinf`,
but it's in `std` namespace, so should use `std::isinf`.

SPV: Add support for memory qualifiers.

SPV: Fix 'location' inheritance bug.

SPV: Support the new OpCode - OpImageSparseRead

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.