Merge pull request #293 from antiagainst/link-tests

Testing: Add link tests in the GTest framework

Run link tests in the GTest framework.

Merge pull request #294 from scyganINTEL/scygan-fix-io_storage_structs-location

SPV: Fix missing location decoration for structures put directly on input/output interfaces

Fix missing location decoration for structures put directly on input/output interfaces

Spec for decorating the OpVariable:
"The remaining variables listed by OpEntryPoint with the Input or Output storage class form the user-defined variable interface. These variables must be identified with a Location decoration"

Spec for decorating struct type:
"The layout of a structure type used as an Input or Output depends on whether it is also a Block (i.e. has a Block decoration).
If it is a not a Block, then the structure type must have a Location decoration"

Fix several comments in GTest fixture.

Non-functional: Fix some comments English and brace formatting in recent merges.

Merge branch 'scyganINTEL-struct_member_decorations'

Merge branch 'struct_member_decorations' of https://github.com/scyganINTEL/glslang into scyganINTEL-struct_member_decorations

Merge pull request #286 from amdrexu/bugfix

SPV: Correct an issue in createUnaryMatrixOperation().

SPV: Correct an issue in createUnaryMatrixOperation().

Type of the source is not necessarily the same as that of the destination.

Merge pull request #285 from baldurk/vs2010-fixes

VS2010 compilation fixes

SPV: Don't add clip/cull distance capabilities unless used.

These capabalities were added on declaration of the members, but
that is considered too aggressive, as those members are automatically
declared in some shaders that don't use them.  Now, actual access
is needed to make the capabalities be declared.

Tests: Add a set of gtest-file-based HLSL tests.

Compile fix - if _MSC_VER is undefined, _MSC_VER < 1700 is true!

[VS2010] Define strtoll() and atoll() functions

[VS2010] Locally define std::to_string on VS2010 as well as android

[VS2010] Remove use of ranged-for loops

[VS2010] Remove use of "= default" and "= delete"

[VS2010] Change "using X = Y;" to "typedef Y X;"

Merge pull request #284 from antiagainst/gtest-hlsl

Tests: Add support for testing file-based HLSL source code in GTest.

Merge pull request #253 from amdrexu/bugfix2

SPV: Handle matrix's OpFConvert vector by vector.

Merge pull request #281 from amdrexu/bugfix

Parser: Add missing vector relational functions for double type.

Merge pull request #282 from baldurk/android-warning-fix

Build: Minor android compile warning fix

Add support for testing file-based HLSL source code in GTest.

Use DetachThreadLinux wrapper on android

* Fixes a warning - static function being defined but not used.
* Just in case any more code is added to DetachThreadLinux, this will go
  through the same path on both platforms.

Parser: Add missing vector relational functions for double type.

SPV: Handle matrix's OpFConvert vector by vector.

HLSL: Add function call syntax and AST building.

Merge pull request #278 from greg-lunarg/greg-mr3

Build: fix for -Werror=non-virtual-dtor for Android system builds

Merge pull request #276 from amdrexu/bugfix

Parser: Redeclare gl_ClipDistance/gl_CullDistance should update their array sizes.

Merge pull request #277 from amdrexu/bugfix3

SPV: Add capability ImageGatherExtended if necessary.

fix for -Werror=non-virtual-dtor for Android system builds

SPV: Add capability ImageGatherExtended if necessary.

Parser: Redeclare gl_ClipDistance/gl_CullDistance should update their array sizes.

Merge pull request #274 from antiagainst/stoul-strtoul

Use strtoul instead of stoul for Android.

Use strtoul instead of stoul for Android.

Merge pull request #273 from antiagainst/appveyor-readme-status

Add badge status for Appveyor build in README.

Add badge status for Appveyor build in README.

Merge pull request #272 from antiagainst/appveyor

Configuration for Windows buildbot & fix a bug

Use std::string for TBD/missing functionality reporting.

We can have multiple instances of the same string, so comparing
const char* is not guaranteed working.

Fixed the failure on VS 2013 with Debug build.

Add test configuration for Appveyor.

Merge pull request #222 from Qining/support-precise

Full stack: Support *precise* qualifier

Merge pull request #270 from scyganINTEL/bitfield_buildins

Use proper precision qualifiers for bitfield build-in functions on ES

Merge pull request #271 from greg-lunarg/greg-mr2

fix check for non-positive array size

remove double underscore

Rebase to d3d3ce7160001846ede74978954e67f4f9fd84e4,update comments, rename a member variable name, fix format issue

fix check for non-positive array size

Use proper precision qualifiers for bitfield build-in functions on ES

This change causes ES shaders to precision qualifiers for build-in functions as defined in ESSL spec. It especially mattersfor functions that are defined as highp or taking a highp.

Fixes vulkanCTS dEQP-VK.glsl.builtin.function.integer.bitfieldreverse.*, where bitfieldReverse() retval was wrongly marked as RelaxedPrecision.

Note: floatBitsToInt/floatBitsToUInt precision is also broken, but in different way - so it is not addressed here.

integer type operation should not be noContraction

simplified the symbol definition collector code, add assert()

add a test for matrix, fix a variable name

Resolve comments

1. Sink adding noContraction decoration to createBinaryOperation() and
createUnaryOperation().

2. Fix comments.

3. Remove the #define of my delimiter, use global constant char.

Removed the redundant functionalities in the assignee checking traverser

Fix the test of precise output function parameter

Rebase to 5cc344d8ce09a6d35ff88b9ea9f351062d779081 and update the
expected test result.

Precise and noContraction propagation

    Reimplement the whole workflow to make that: precise'ness of struct
    members won't spread to other non-precise members of the same struct
    instance.

    Approach:
    1. Build the map from symbols to their defining nodes. And for each
    object node (StructIndex, DirectIndex, Symbol nodes, etc), generates an
    accesschain path. Different AST nodes that indicating a same object
    should have the same accesschain path.

    2. Along the building phase in step 1, collect the initial set of
    'precise' (AST qualifier: 'noContraction') objects' accesschain paths.

    3. Start with the initial set of 'precise' accesschain paths, use it as
    a worklist, do as the following steps until the worklist is empty:

        1) Pop an accesschain path from worklist.
        2) Get the symbol part from the accesschain path.
        3) Find the defining nodes of that symbol.
        4) For each defining node, check whether it is defining a 'precise'
        object, or its assignee has nested 'precise' object. Get the
        incremental path from assignee to its nested 'precise' object (if
        any).
        5) Traverse the right side of the defining node, obtain the
        accesschain paths of the corresponding involved 'precise' objects.
        Update the worklist with those new objects' accesschain paths.
        Label involved operations with 'noContraction'.

    In each step, whenever we find the parent object of an nested object is
    'precise' (has 'noContraction' qualifier), we let the nested object
    inherit the 'precise'ness from its parent object.

Comments only.

SPIR-V do not decorate: members of plain structs with location; non-top level members with interp.

This fixes some vulkanCTS tests that use struct arrays as a member of in/out interface blocks.

From Vulkan spec:
"If it is a not a Block, then the structure type must have a Location decoration. Its members are assigned consecutive locations in their declaration order, with the first member assigned to the location specified for the structure type. >>>>> The members, and their nested types, must not themselves have Location decorations <<<<"

From SPIR-V spec:
"When applied to structure-type members, the Decorations Noperspective, Flat, Patch, Centroid, and Sample can only be applied to the top-level members of the structure type. (Nested objects' types cannot be structures whose members are decorated with these decorations.)"

README: Editorial update.

SPV: Non-functional: modularize createInvocationsOperation() from the previous commit.

Merge branch 'amdrexu-feature2'

Merge branch 'feature2' of https://github.com/amdrexu/glslang into amdrexu-feature2

Merge pull request #268 from AWoloszyn/update-cmake

CMake: Updated to better organize folders and options.

Front-End: precise: capture noContraction on output parameter declarations.

Merge pull request #266 from dekimir/kfixstoll

Use strtoll, as stoll is unavailable on Android.

Install the test executable alongside glslangValidator

Updated cmake to better organize folders and options.

This adds solution folders that properly group gtest/glslang/hlsl.
This also marks gtest options as advanced so they don't show up
in cmake-gui by default.

Merge branch 'amdrexu-feature'

Merge branch 'feature' of https://github.com/amdrexu/glslang into amdrexu-feature

Use strtoll, as stoll is unavailable on Android.

Merge pull request #257 from antiagainst/ostrstream

Avoid printing to stdout directly in library functions.

Merge pull request #261 from antiagainst/make-tests-clear

README: Explain test organization and deduplication.

Improve README steps for building and testing glslang.

Explain organization and build steps for source code and tests.

Create a new logger class for all messages w.r.t. SPIR-V build.

Avoid printing to stdout directly in library functions.

Previously GlslangToSpv() reported missing/TBD functionalities
by directly writing to stdout using printf. That could cause
problems to callers of GlslangToSpv(). This patch cleans up
the error reporting logic in GlslangToSpv(), TGlslangToSpvTraverser,
and spv::Builder a little bit to use ostringstream.

Also fixed the usage of GlslangToSpv() in GTest fixtures to
capture warnings/errors reported when translating AST to SPIR-V.

Implement the extension GL_ARB_shader_group_vote.

Implement the extension GL_ARB_shader_ballot

Add new built-in variables and functions to the parser (SPIR-V tokens are missing).

Merge pull request #263 from antiagainst/cmake-minimum-required

CMake: Remove duplicated cmake_minimum_required() calls.

Remove duplicated cmake_minimum_required() calls.

Front-end precise: Propagate noContraction up the AST when dereferencing structs.

This should be the last commit in this sequence to form the base of the work
in pull request #222.

Parser: Precise: Recognize 'precise', tag types, and do related semantic checking.

This partly overlaps pull request #222, we have divided the work on this one.

Bison: Non-functional: Move to revision 3.0.4.

This hopefully prevents obsucuring actual changes in a future commit.

Also, adds a script to update the grammar.

Merge pull request #262 from antiagainst/remove-obselete-src

Remove the obselete and incorrect LinusDoAll.bash.

Remove the obselete and incorrect LinusDoAll.bash.

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