Merge pull request #869 from KhronosGroup/revert-828-fixes

Revert "Modernise CMake"

Revert "Modernise CMake"

Merge pull request #828 from SoapGentoo/fixes

Modernise CMake

Make test suite optional by using CTest

Modernise CMake

* Use `GNUInstallDirs` in order to respect GNU conventions.
  This is especially important for multi-arch/multi-lib setups.
* Specify position independent mode building properly, without
  using the historic hack of adding `-fPIC` as a definition.
  This makes the build system more portable.
* Only detect C++ (and not C) to slightly speed up configuring.
* Specify C++11 mode using modern CMake idioms.
* Fix some whitespace issues.

Merge pull request #868 from TiemoJung/two_pass_io_remap

Notification phase for io remapper

Merge pull request #867 from steve-lunarg/emptyinit

HLSL: Allow empty struct initializers

Notification phase for io remapper

Adds a notification phase to the io remapper.
The idea behind this is to give the user a
chance to group uniforms and/or in/out variables
for a better pipeline layout sharing for vulkan.

Change-Id: I7492421085a4156ed3534f01d906ab390d73a623

HLSL: Allow empty struct initializers

Review request: does this harm GLSL in any way?

HLSL: Turn on hlsl-offsets by default for HLSL-source shaders.

Merge pull request #859 from steve-lunarg/sampleposition

HLSL: add standard sample position return form of GetSamplePosition m…

HLSL: add standard sample position return form of GetSamplePosition method

Multisample textures support a GetSamplePosition() method intended to query
positions given a sample index.  This cannot be truly implemented in SPIR-V,
but #753 requested returning standard positions for the 1..16 cases, which
this PR adds.  Anything besides that returns (0,0).  If the standard positions
are not used, this will be wrong.

This should be revisited when there is a real query available.

Merge pull request #855 from steve-lunarg/constantbuffer

HLSL: Add ConstantBuffer<T> syntax

HLSL: Add ConstantBuffer<T> syntax

Note: multi-dimension arrays of ConstantBuffer objects will go through uniform flattening.

Merge pull request #851 from dgkoch/dgkoch_build_fixes3

Fix Android build errors

Fix Android build errors

glslang/MachineIndependent/iomapper.cpp:207:9: error: field 'resolver' will be initialized after field 'stage' [-Werror,-Wreorder]
      : resolver(r)
        ^
glslang/MachineIndependent/iomapper.cpp:263:9: error: field 'resolver' will be initialized after field 'stage' [-Werror,-Wreorder]
      : resolver(r)
        ^
hlsl/hlslParseHelper.cpp:70:5: error: field 'gsStreamOutput' will be initialized after field 'inputPatch' [-Werror,-Wreorder]
    gsStreamOutput(nullptr),
    ^

Merge pull request #849 from steve-lunarg/samplercmp-errmsg

HLSL: add error for expected comparison sampler in SampleCmp* ops

HLSL: add error for expected comparison sampler in SampleCmp* ops

This adds an error message if a non-comparison sampler is used with
comparison sampling methods.  There's no functional change for correct shaders.

HLSL: Fix #846: support mixed ternary types.

Vector conditions properly convert the true/false expression types to same
width vector as the condition.

Scalar conditions make the true/false expressions convert to each other.

Merge pull request #847 from steve-lunarg/sb-param-fix

HLSL: fix for byte address buffers in fn parmeters

Merge pull request #842 from steve-lunarg/sb-cast

HLSL: cast non-int types to uint on Load/Store indexes

Merge pull request #840 from steve-lunarg/iomap-hlsl

HLSL: hlsl register class iomapping

HLSL: fix for byte address buffers in fn parmeters

Byte address buffers were failing to detect that they were byte address
buffers when used as fn parameters.

Note: this detection is a little awkward, and could be simplified if
it was easy to obtain the declared builtin type for an object.

HLSL: add readonly qualifier to tbuffer, so they end up as SRV

WIP: HLSL: hlsl register class iomapping

Adds --hlsl-iomap option to perform IO mapping in HLSL register space.

--shift-cbuffer-binding is now a synonym for --shift-ubo-binding.

The idea way to do this seems to be passing in a dedicated IO resolver, but
that would require more intrusive restructuring, so maybe best for its
own PR.

The TDefaultHlslIoResolver class and the former TDefaultIoResolver class
share quite a bit of mechanism in a common base class.

TODO: tbuffers are landing in the wrong register class, which needs some
investigation.  They're either wrong upstream, or the detection in the
resolver is wrong.

GLSL: Fix #822: Improve information given for syntax errors.

Also, fixed one test file that didn't have its syntax error as the last line.

HLSL: Fix #96: Support do-while loop substatements with no curly braces.

HLSL: cast non-int types to uint on Load/Store indexes

Some texture and SB operations can take non-integer indexes, which should be
cast to integers before use if they are not already.  This adds makeIntegerIndex()
for the purpose.  Int types are left alone.

(This was done before for operator[], but needs to apply to some other things
too, hence its extraction into common function now)

SPV: Support test #pragma for generating the StorageBuffer storage class.

Longer term, this storage class should be generated based on the mode
of compilation.

Merge pull request #835 from steve-lunarg/sb-counters

HLSL: structuredbuffer counter functionality

HLSL: vector shape conversions for all ops: Fix #839. Fix #653. Fix #631.

HLSL: Address #839: avoid crash by distinguishing between bad argument and no argument.

WIP: HLSL: add refection queries for structuredbuffer counter blocks

This adds TProgram::getUniformBlockCounterIndex(int index), which returns the
index the block of the counter buffer associated with the block of the passed in
index, if any, or -1 if none.

WIP: HLSL: add Append/ConsumeBuffer support

WIP: HLSL: structuredbuffer counter functionality

This is WIP, heavy on the IP part.  There's not yet enough to use in real workloads.

Currently present:

* Creation of separate counter buffers for structured buffer types needing them.
* IncrementCounter / DecrementCounter methods
* Postprocess to remove unused counter buffers from linkage
* Associated counter buffers are given @count suffix (invalid as a user identifier)

Not yet present:

* reflection queries to obtain bindings for counter buffers
* Append/Consume buffers
* Ability to use SB references passed as fn parameters

SPV Non-functional: fix ordering causing problems with another branch.

HLSL: Fix #770: implicitly convert bool operands to numeric operators.

HLSL: Fix #834: Report #version is an illegal command.

HLSL: Fix #758: Support character literals (except for numeric escape sequences).

HLSL: Fix #803: Add shape conversions to the constant-initializer path.

Merge pull request #833 from KhronosGroup/hlsl-inf-syntax

HLSL: Fix #672: Support 1.#INF and -1.#INF syntax.

HLSL: Support 1.#INF and -1.#INF syntax.

HLSL: Fix boolean conversion bug and add more tests for ?:.

Null-conversion needs the right sized vectors to kick out with matching types.

HLSL: Support vector 'cond ? :' -> EOpMix -> OpSelect.

HLSL: Non-functional: add vector ? : tests.

HLSL: Fix #832: don't require terminating semicolon for cbuffer/tbuffer.

Merge pull request #831 from steve-lunarg/isfinite

HLSL: fix return type for isfinite

HLSL: fix return type for isfinite

The prior decomposition of isfinite was not setting the return type on the
sequence node.  (Sequence was used because there's an internal temporary
to avoid the complex rvalue problem).

Merge pull request #827 from amdrexu/feature4

Implement the extension SPV_KHR_16bit_storage

Non-functional: Fix typos in comments.

HLSL: Emit the OpSource HLSL instruction for HLSL, using new headers.

Merge pull request #825 from steve-lunarg/index-cast

HLSL: cast bracket dereference index to int type if not.

Implement the extension SPV_KHR_16bit_storage

HLSL: cast bracket dereference index to int type if not.

HLSL can index arrays using operator[] with non-integer types, and
inserts a conversion to a uint if needed.

SPV: Move to latest public headers.

Merge pull request #823 from steve-lunarg/tess-coord-size

HLSL: allow non-vec3 tessellation coordinate declarations

SPV: Fix #807: use --hlsl-offsets to allow hlsl-style offsets in a buffer.

Corresponds to the EShMsgHlslOffsets flag in messages.
Works for both GLSL and HLSL.

HLSL: allow non-vec3 tessellation coordinate declarations

HLSL requires vec2 tessellation coordinate declarations in some cases
(e.g, isoline topology), where SPIR-V requires the TessCoord qualified
builtin to be a vec3 in all cases.  This alters the IO form of the
variable to be a vec3, which will be copied to the shader's declared
type if needed.  This is not a validation; the shader type must be correct.

Merge branch 'jantlo-cpp11-feat'

Merge branch 'cpp11-feat' of https://github.com/jantlo/glslang into jantlo-cpp11-feat

This refactor the StandAlone and WorkList files in order to use more
C++11 features remove the dependencies from OS specific code. Changes:

- Making WorkList class to have its own mutex instead of the OS specific
global one. The new mutex is the one from std library. The OS specific
code is also removed.

- Using the C++11 std library to handle threads in StandAlone
application
and enabling concurrent processing on non-windows platforms.

- converting the global variable Worklist into local variable workList.

PP: Fix #783: Catch end-of-argument expansion in token pasting.

HLSL: Fix #805: Support cast of scalars to structures.

Somewhat complex due to recognizing a general scalar, but not
replicating it for each member to avoid side effects.

Merge pull request #817 from steve-lunarg/isfinite

HLSL: Decompose OpIsFinite to avoid capability restrictions

HLSL: Non-functional: rationalize making constructors.

Improves foundation for adding scalar casts.

Makes handle/make names more sane, better commented, uses more
precise subclass typing, and removes mutual recursion between
converting initializer lists and making constructors.

Merge pull request #812 from steve-lunarg/PatchIO

HLSL: Support InputPatch variables in patch constant functions

Decompose OpIsFinite to avoid capability restrictions

OpIsFinite is not available everywhere: decompose isfinite
to !isinf && !isnan.

WIP: HLSL: Support InputPatch variables in patch constant functions

Previously, patch constant functions only accepted OutputPatch.  This
adds InputPatch support, via a pseudo-builtin variable type, so that
the patch can be tracked clear through from the qualifier.

Merge pull request #808 from steve-lunarg/gs-ep-wrap-fix

HLSL: fix GS to work with EP wrapping

HLSL: fix GS implementation for EP wrapping

The prior implementation of GS did not work with the new EP wrapping architecture.
This fixes it: the Append() method now looks up the actual output rather
than the internal sanitized temporary type, and writes to that.

Fix #287: pin down the io-array size before checking for out of range index.

Merge pull request #815 from steve-lunarg/tess-ds-pcf-order

HLSL: handle PCF input to DS in arbitrary argument position

HLSL: handle PCF input to DS in arbitrary argument position

In the hull shader, the PCF output does not participate in an argument list,
so has no defined ordering.  It is always put at the end of the linkage.  That
means the DS input reading PCF data must be be at the end of the DS linkage
as well, no matter where it may appear in the argument list.  This change
makes sure that happens.

The detection is by looking for arguments that contain tessellation factor
builtins, even as a struct member.  The whole struct is taken as the PCF output
if any members are so qualified.

Merge pull request #814 from steve-lunarg/contains

Refactor TType::contains* methods (nonfunctional)

Refactor TType::contains* methods (nonfunctional)

There were many (~8) different places in TType which all knew how to traverse
the struct/type hierarchy.  There's a need to add another, but I didn't
want to duplicate the traversal code again.  This is a small refactoring
which passes a predicate to a single traverse-and-test method.  That also
shortens all the containsSomething() methods from 9 lines of body to 1.

There are no test differences: it's nonfunctional.

Merge pull request #811 from steve-lunarg/combine-test

HLSL: set combined flag false for Buffer<>

WIP: HLSL: force uncombined flag off for Buffer<>

Revert "Merge pull request #779 from steve-lunarg/buffer-unsampled-fix"

This reverts commit 1dd65ca3983d3c361e66fbf788f050177f596d3a, reversing
changes made to 4960baaf663b18a6e0a58edb9073158ef7331930.

Merge pull request #774 from steve-lunarg/tess-ctrlpt-pcf

HLSL: support per control point patch const fn invocation

Merge pull request #810 from steve-lunarg/clip-crash-fix

HLSL: Fix #804: crash on empty sequence node passed to intrinsic expansions

HLSL: fix crash on empty sequence node passed to intrinsic expansions

HLSL: pass tessellation execution modes through to SPIR-V

The SPIR-V generator had assumed tessellation modes such as
primitive type and vertex order would only appear in tess eval
(domain) shaders.  SPIR-V allows either, and HLSL allows and
possibly requires them to be in the hull shader.

This change:

1. Passes them through for either tessellation stage, and,

2. Does not set up defaults in the domain stage for HLSl compilation,
to avoid conflicting definitions.

Merge pull request #797 from steve-lunarg/scalar-length

HLSL: allow length() on scalars

HLSL: Fix #802: Preserve promoted child under ! operator.

HLSL: Implicit bool conversions for conditional expressions and related.

Covers if(cond), while(cond), do-while(cond), for(;cond;), and (cond ? :).
Fixes #778.

HLSL: Add namespace grammar and some basic semantics.

Unknown how extensive the semantics need to be yet. Need real
feedback from workloads. This is just done as part of unifying it
with the class/struct namespaces and grammar productions.

HLSL: HS return is arrayed to match SPIR-V semantics

HLSL HS outputs a per ctrl point value, and the DS reads an array
of that type.  (It also has a per patch frequency).  The per-ctrl-pt
frequency is arrayed on just one side, as opposed to SPIR-V which
is arrayed on both.  To match semantics, the compiler creates an
array behind the scenes and indexes it by invocation ID, assigning
the HS return value to it.

HLSL: strip off array dimension when assign locations of arrayed IO.

HLSL: require tessellation factors to be fixed size arrays

SPIR-V requires that tessellation factor arrays be size 4 (outer) or 2 (inner).
HLSL allows other sizes such as 3, or even scalars.  This commit converts
between them by forcing the IO types to be the SPIR-V size, and allowing
copies between the internal and IO types to handle these cases.

HLSL: support per control point patch const fn invocation

This PR emulates per control point inputs to patch constant functions.
Without either an extension to look across SIMD lanes or a dedicated
stage, the emulation must use separate invocations of the wrapped
entry point to obtain the per control point values.  This is provided
since shaders are wanting this functionality now, but such an extension
is not yet available.

Entry point arguments qualified as an invocation ID are replaced by the
current control point number when calling the wrapped entry point.  There
is no particular optimization for the case of the entry point not having
such an input but the PCF still accepting ctrl pt frequency data.  It'll
work, but anyway makes no so much sense.

The wrapped entry point must return the per control point data by value.
At this time it is not supported as an output parameter.

Fix #809: smear scalar condition in OpSelect for selecting vector operands.

Non-functional: Round of adding 'const', related to more efficient getFullNamespaceName().

Merge pull request #801 from amdrexu/bugfix

HLSL: Fix an issue of frexp().

Merge pull request #806 from amdrexu/bugfix2

Don't emit NV-specific interface members if NV extensions are disabled.

Don't emit NV-specific interface members if NV extensions are disabled.

HLSL: Fix an issue of frexp().

The "exp" parameter is floating-point type in HLSL intrinsic while it is
integer type in GLSL built-in function.

HLSL: Move frexp() to a separate test file.

Fix #800 (mostly): set of Linux warnings.

Tests: strengthen the value of test for NV members.

Fix #790: Don't emit NV-specific interface members unless enabled by extension.