Merge pull request #260 from antiagainst/cmake-version

CMake: Bump minimum required CMake version to 2.8.12.

Bump minimum required CMake version to 2.8.12.

CMake 2.8.12 added support for target_include_directories(), among
other features, and we would like to use it.

Merge pull request #258 from antiagainst/travis

Testing: Add configuration for Travis to test on Linux and Mac OS X.

Add configuration for Travis to test on Linux and Mac OS X.

HLSL: Add (almost) full expression grammar: Binary, unary (pre/post-fix), assign, ...

HLSL: Separate out token stream handling from grammar recognition.

Vulkan: Add the #define VULKAN 100 when compiled for Vulkan.

Note this requires test-based piecing together of the preamble string,
so it changed to being a std::string to make it easier to do.

This closes issue #254.

Correct precision qualification on built-in functions.

This is a replacement commit for pull request #238.

This is a design change, followed by implementation change that
A) fixes the changes caused by the design change, and
B) fixes some cases that were originally incorrect.

The design change is to not give built-in functions default precision qualification.
This is to allow the rule that the precision of some built-in functions adopt their
precision qualification from the calling arguments.  This is A above.

A consequence of this design change is that all built-ins that are supposed to have
an explicit precision qualifier must now be declared that way.  So, a lot more
built-in declarations now have precision qualifiers, just to keep things the same.
This is B above.

Merge pull request #256 from DavidYen/missing_license

Remove unused files SetupLinux.sh and index.php.

Removed unused files SetupLinux.sh, index.php.

Merge pull request #248 from amdrexu/feature2

Full stack: Implement the extension GL_ARB_gpu_shader_int64

Implement the extension GL_ARB_gpu_shader_int64

- Add new keyword int64_t/uint64_t/i64vec/u64vec.
- Support 64-bit integer literals (dec/hex/oct).
- Support built-in operators for 64-bit integer type.
- Add implicit and explicit type conversion for 64-bit integer type.
- Add new built-in functions defined in this extension.

Added missing headers to SetupLinux.sh and index.php.

Some license information were missing for some of the files, I have
added the proper licensing information as well as author information
for both files.

Merge pull request #228 from Qining/fix-infinite-loop-due-to-eof-missing

Scanner/PP: Fix the infinite loop when an input file lacks EOF

add .err file for eof_missing test

Fix the infinite loop when an input file lacks EOF

The input scanner can be trapped in an infinite loop if the given input
file does not have EOF (and is not ended with a 'whitespace').

The problem is caused by unget(), which keeps rolling back the scanner
pointer without hitting an EOF at the end of the file. This makes getch()
function keep returning the last character of the file and never ends,
and the effect of advance() is always counteracted by unget().

Merge pull request #251 from amdrexu/bugfix

SPV: Use OpLogicalEqual/OpLogicalNotEqual for boolean type comparison.

SPV: Use OpLogicalEqual/OpLogicalNotEqual for boolean type comparison.

Merge pull request #247 from dneto0/no-mutex

Remove use of std::mutex in gtest code.

Remove use of std::mutex in gtest code.

Gtest runs in single-threaded mode.  So the GlslangInitializer
object in the test code doesn't have to do its own synchronization.

Merge pull request #241 from Qining/fix-spec-const-construct-matrix

SPV: Spec-consts: Fix constructors matrix and vector

fix the problem that spec constant composite instruction being used when only front-end constants are used in the constructor

Fix spec const construtor for matrix and vector

Fix issue: #237

1. The code generated for matrix constructor should 1) build column
vectors first, 2) build matrix with the vectors.

2. When there is only one scalar type constituent in vector's
constructor, we should populate the constituent to fill all the slots in
the vector. As for matrix, the single constituent should be populated to
the diagonal positions (top-left to bottom-right diagonal).

remove createSpvConstantFromConstSubTree()

Merge pull request #232 from Qining/fix-spec-const-bool-to-int-conversion

SPV: SpecOp bool->uint/int and uint<->int conversion

Refine the code and address comments

SpecOp bool->uint/int and uint<->int conversion

Bool -> uint/int with OpSpecConstantOp OpSelect instruction.

uint <-> int conversion with OpSpecConstantOp OpIAdd instruction.

Note, implicit conversion: `const uint = an_int_spec_constant` is not
supported. Explicit type casting is required: `const uint =
uint(an_int_spec_constant)`

Merge pull request #231 from dneto0/gtests-link-to-hlsl

Unit test executable should link to libHLSL

SPV for OpenGL: Issue #229: don't allow gl_VertexIndex or gl_InstanceIndex under -G.

Unit test executable should link to libHLSL

No unit tests exercise it.

Merge pull request #226 from baldurk/warning-fixes

A couple of small warning fixes

Fix warning about function parameter shadowing class member variable

Fix warning about losing information, use size_t instead of int

Nonfunctional: Remove stray ';' and fix Google Test sentence in README.

Memory: Don't use pool memory to store the entry point name in the intermediate representation.

This might address issue #221, which I couldn't reproduce.

Front-end: Get the right set of nodes marked as spec-const.

This is according to the expected KHR_vulkan_glsl without floating point.
So, floating-point spec-const operations no longer work, and that's
reflected in the tests.

Merge pull request #216 from Qining/fix-non-const-array-size-from-spec-const

SPV: Generate OpSpecConstantOp for all subtrees indicated by the AST.

add SpecConstantOpModeGuard to GlslangToSpvTraverser::visitSymbol()

Turn on SpecConstantOpMode based on node qualifier

Move SpecConstantOpModeGuard from makeSpvConstantFromConstSubTree() to
visitbinary() and visitunary(). Checking if the visiting node is a spec
constants, if so, turn on the SpecConstantOpMode, otherwise, stay in the
normal mode.

fix the wrong generated code when a non-constant array is declared with its size derived from spec constant operations

Merge pull request #220 from Qining/fix-built-in-spec-constants

Handle built-in constants redeclared with a specialization constant id.

Built-in values declared as specialization constant

Support declaring built-in values as spec constants.

Refine the code in createSpvConstant().

Merge branch 'master' into hlsl-frontend

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

Merge pull request #217 from baldurk/vs2010-compile-fixes

VS2010 compile fixes

Merge pull request #219 from 1ace/master

Fix spelling mistakes

fix spelling mistakes

Comment: fix comment from gtest check in.

Specify explicit return type on lambda function

Change {parameter} lists into explicit std::vector temporaries

Merge pull request #190 from antiagainst/gtest

Add Google Test as the new test framework

Merge pull request #214 from amdrexu/bugfix

Parser: Update array size of gl_ClipDistance/gl_CullDistance in gl_in[].

Merge pull request #215 from Qining/spec-constants-operations

SPV: Spec Constant Operations

fix format; remove unnecessary parameters; rename some spec op mode guard class; remove support of float point comparison and composite type comparison; update the tests.

Link in Google Test framework.

The existing test harness is a homemade shell script. All the tests
and the expected results are written in plain text files. The harness
just reads in a test, invoke the glslangValidator binary on it, and
compare the result with the golden file. All tests are kinda
integration tests.

This patch add Google Test as an external project, which provides a
new harness for reading shader source files, compile to SPIR-V, and
then compare with the expected output.

Spec Constant Operations

Approach:
Add a flag in `Builder` to indicate 'spec constant mode' and 'normal
mode'. When the builder is in 'normal mode', nothing changed. When the
builder is in 'spec constant mode', binary, unary and other instruction
creation rountines will be redirected to `createSpecConstantOp()` to
create instrution at module level with `OpSpecConstantOp <original
opcode> <operands>`.

'spec constant mode' should be enabled if and only if we are creating
spec constants. So a flager setter/recover guard is added when handling
binary/unary nodes in `createSpvConstantsFromConstSubTree()`.

Note when handling spec constants which are represented as ConstantUnion
Node, we should not use `OpSpecConstantOp` to initialize the composite
constant, so builder is set to 'normal mode'.

Tests:
Tests are added in Test/spv.specConstantOperations.vert, including:

1) Arithmetic, shift opeations for both scalar and composite type spec constants.
2) Size conversion from/to float and double for both scalar and vector.
3) Bitwise and/or/xor for both scalar and vector.
4) Unary negate/not for both scalar and vector.
5) Vector swizzles.
6) Comparisons for scalars.
7) == and != for composite type spec constants

Issues:
1) To implement == and != for composite type spec constants, the Spec needs
to allow OpAll, OpAny, OpFOrdEqual, OpFUnordEqual, OpOrdNotEqual,
OpFUnordNotEqual. Currently none of them are allowed in the Spec.

Parser: Update array size of gl_ClipDistance/gl_CullDistance in gl_in[].

Merge pull request #211 from Qining/spec-constants-composite

SPV: Support specialization composite constants.

Support specialization composite constants

Fix issue #163, support creation and reference of composite type
specialization constants.

e.g.:
```
layout(constant_id = 200) const float myfloat = 1.25;
layout(constant_id = 201) const int myint = 14;
struct structtype {
  float f;
  int i;
};
const structtype outer_struct_var = {myfloat, myint};
void main(){}
```
generated code (use glslangValidator):
```
// Module Version 10000
// Generated by (magic number): 80001
// Id's are bound by 12

                              Capability Shader
               1:             ExtInstImport  "GLSL.std.450"
                              MemoryModel Logical GLSL450
                              EntryPoint Vertex 4  "main"
                              Source GLSL 450
                              Name 4  "main"
                              Name 10  "structtype"
                              MemberName 10(structtype) 0  "f"
                              MemberName 10(structtype) 1  "i"
                              Decorate 7 SpecId 200
                              Decorate 9 SpecId 201
               2:             TypeVoid
               3:             TypeFunction 2
               6:             TypeFloat 32
               7:    6(float) SpecConstant 1067450368
               8:             TypeInt 32 1
               9:      8(int) SpecConstant 14
  10(structtype):             TypeStruct 6(float) 8(int)
              11:10(structtype) SpecConstantComposite 7 9
         4(main):           2 Function None 3
               5:             Label
                              Return
                              FunctionEnd
```

Rname two function names to match their functionalities.
1) Rename `GlslangToSpvTraverser::createSpvSpecConstant()` to
`createSpvConstant()`;
2) Rename `GlslangToSpvTraverser::createSpvConstant()` to
`createSpvConstantFromConstUnionArray()`

Add function `GlslangToSpvTraverser::createSpvConstantFromSubTree()` to
handle constant creation from sub trees (e.g.: specialization constants).

Related PR: #208

Merge pull request #212 from amdrexu/bugfix

VS2012: Fix a build issue in parser.

Parser: Fix a build issue (VS2012).

Merge pull request #210 from AWoloszyn/fix-compilation

Fixed compilation issue introduced by my last commit

Fixed compilation issue introduced by my last commit

Merge pull request #198 from AWoloszyn/update-includer

Updated the includer interface to allow relative includes.

Front-end: Propagate spec-constness up through aggregate constructors.

Updated the includer interface to allow relative includes.

This plumbs both the current file path and the include depth
back up to the includer. This allows the includer to properly
support relative paths.

This also replaces the string copy that was done during include
with a zero-copy method of accomplishing the same thing. This
prevents extra copies of entire files.

Front-end: propagate specialization-constness through conversions and swizzles.

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().

HLSL: Abstract accepting an identifier.

HLSL: Simplify appearances a bit to make easier to read.

HLSL: Accept basic funtion definitions.  (Not yet mapping input/output for entry point.)

HLSL: Get correct set of reserved words.

HLSL: Hook up constructor expressions through the AST.

HLSL: Add basic declaration syntax and AST generation.

HLSL: Plumb in HLSL parse context and keywords, and most basic HLSL parser and test.

Refactor TParseContext into 3 level inheritance.

Adds parseVersions.h as the base TParseVersions for versioning,
and splits the remainder between TParseContextBase (sharable across parsers)
and TParseContext (now the GLSL-specific part).

Support multiple source languages, adding HLSL as an option.

Generalize "main" to a settable entry point name.

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