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.

HLSL: allow length() on scalars

Merge pull request #796 from steve-lunarg/emptystruct-return-fix

HLSL: fix crash on empty struct return from entry point

HLSL: fix crash on empty struct return from entry point

Tests: Update test results.

HLSL: Allow use of $Global members in between function calls.

This allows global initializers to use $Global members.

HLSL: Implement 'this' keyword.

HLSL: non-static member functions: track and find active anonymous 'this' scopes and members.

Thanks to @steve-lunarg for his input and discussions on handling member functions.

HLSL: Non-functional: the symbol field of a token was in practice unused; remove it.

Another precurser to getting member non-static functions working.

Merge pull request #782 from steve-lunarg/builtin-methods-prefix

HLSL: use prefix for builtin functions names to avoid namespace colli…

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

HLSL: Buffer types should be unsampled.

HLSL: use prefix for builtin functions names to avoid namespace collisions

It would have been possible for globally scoped user functions to collide
with builtin method names.  This adds a prefix to avoid polluting the
namespace.

Ideally this would be an invalid character to use in user identifiers, but
as that requires changing the scanner, for the moment it's an unlikely yet
valid prefix.

HLSL: Basic turn on of non-static member functions.

Still need: pass by reference in SPIR-V and symbol-table level
for accessing 'this' members from member functions.

HLSL: Add implicit-this tracking to TFunction.

HLSL non-functional: Generalize namespace nesting.

Also use this to move deferred member-function-body parsing to a better
place.

This should also be well poised for implementing the 'namespace' keyword.

WIP: HLSL: propagate readonly qualifier for buffer types

WIP: HLSL: Buffer types should be unsampled.

RWBuffer objects were generating (properly) unsampled resoures, while
Buffer objects were not.  This fixes that.

Fix #777: don't parse .suffix if <stage> is provided.

Adding a test for this also uncovered an extraneous \r in the runtests script,
fixed now.

Merge pull request #776 from amdrexu/bugfix

SPV: Fix unexpected declarations of capability and extension

SPV: Fix unexpected declarations of capability and extension

HLSL: Fix #771: add inline keyword.

Merge pull request #767 from DragoonX6/master

Fix building on MinGW-w64

Merge branch 'TiemoJung-semantic_handling'

Merge branch 'semantic_handling' of https://github.com/TiemoJung/glslang into TiemoJung-semantic_handling

GLSL output: Removed fixed-size buffer; fixes #769.

Makes some white-space differences in most output, plus a few cases
where more could have been put out but was cut short by the previous
fix-sized buffer.

Full stack: properly implement GL_EXT_device_group and GL_EXT_multiview.

Fix location of #defines for core and compatibility profile.

These were recently added for all profiles, versus just desktop.

Revert previous check-in, until knowing what the spec. is and whether the test failure is related.

SPV: Address #759: make ViewIndex and DeviceIndex by 'in', not 'uniform'.

Merge pull request #768 from amdrexu/bugfix

HLSL: Additional channel value for textureGatherXXX().

HLSL: Additional channel value for textureGatherXXX().

When mapping HLSL gather intrinsics to GLSL textureGatherXXX() built-in
function, the channel selection value is only valid for non-shadow samplers.

Fix building on MinGW-w64

Some HLSL to Spirv tests fail.

HLSL: Member-functions: capture body token stream for deferred syntax/semantics.

This is needed for accessing types/variables within a member function body that are
not known until after the struct is finished being declared. However, that funtionality
is not yet present, this is just the deferred processing, which is working for
static member functions.

HLSL: Non-functional: consolidate function declarator information.

Merge pull request #762 from LukasBanana/master

Added 'GL_core_profile' and 'GL_compatibility_profile' to macro expansion

HLSL: Add scoping operator, accept static member functions, and support calling them.

HLSL: non-functional: simplify handleBuiltInMethod() to isBuiltInMethod().

Added 'GL_core_profile' and 'GL_compatibility_profile' macro definition to preamble.

Added version check (version >= 150) for GL_(core/compatibility)_profile macros.

Added GL_core_profile standard macro check to "150.vert" test file.

Fixed version check for GL_core_profile macros, and removed bad token character from 150.vert test.

Updated 150.vert.out test base-result with google-test suite.

PP: Recognize the '::' token, and translate appropriately to GLSL/HLSL token.

Merge pull request #764 from steve-lunarg/imagequery-sign

Preserve signedness in SPIR-V image query ops

Preserve signedness in SPV image query ops

The AST->SPIRV translation of image queries was dropping signedness,
causing some validation troubles.

Merge pull request #763 from steve-lunarg/nullstruct-preservation

HLSL: preserve empty structures after splitting

WIP: HLSL: preserve empty structures after splitting

HLSL: Accept SV_Cull/ClipDistanceN, by refactoring the way semantics are mapped.

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

Compile fixes for VS2010

Merge pull request #760 from steve-lunarg/gathercmpred

HLSL: Enable GatherCmpRed.  Green/Blue/Alpha cannot be supported.

Compile fixes for VS2010

* Removed range-based for
* Added explicit return type to non-trivial lambda
* Added explicit scope for tInterstageIoData

Enable GatherCmpRed.  Green/Blue/Alpha cannot be supported.

This implements GatherCmpRed in terms of OpImageDrefGather.

There appears to be no way to implement the Green/Blue/Apha forms: see #673.

HLSL: Non-functional: Remove dead .length() code.

HLSL: Non-functional: Drive existing method recognition by syntax, not by name.

This (and previous commit) is a better foundation to build real methods on.

HLSL: Non-functional: Don't process function name/parameters before expected a function declaration.

Merge pull request #756 from steve-lunarg/getdimensions-fix

HLSL: use LOD form of ImageQuerySize when needed.

HLSL: Grammar: Generalize accepting a declaration to accept an aggregate of subtrees.

This is slightly cleaner today for entry-point wrapping, which sometimes made
two subtrees for a function definition instead of just one subtree.  It will be
critical though for recognizing a struct with multiple member functions.

HLSL: use LOD form of ImageQuerySize when needed.

The non-LOD form of image size query is prohibited in certain cases:
see the OpImageQuerySize and OpImageQuerySizeLod sections of the SPIR-V
spec for details.  Sometimes we were generating the non-LOD form when
we should have been using the LOD form.  Sometimes the LOD form is required
even if the underlying HLSL query did not supply a MIP level itself,
in which case level 0 is now queried.

HLSL: Fix #754: recognize type casts in if-statements separately from declarations.

Merge pull request #755 from steve-lunarg/sb-orderfix

HLSL: Fix ordering defect if global SB decl after fn param

WIP: HLSL: Fix ordering defect if global SB decl after fn param

This change propagates the storage qualifier from the buffer object to its contained
array type so that isStructBufferType() realizes it is one.  That propagation was
happening before only for global variable declarations, so compilation defects would
result if the use of a function parameter happened before a global declaration.

This fixes that case, whether or not there ever is a global declaration, and
regardless of the relative order.

This changes the hlsl.structbuffer.fn.frag test to exercise the alternate order.

There are no differences to generated SPIR-V for the cases which successfully compiled before.

SPV: Allow push constant buffers to not have an instance name.

HLSL: Test for issue #699.

Merge pull request #750 from dgkoch/rename_KHX_to_EXT

Rename KHX_multiview/device_group to EXT_multiview/device to match the released specs

HLSL: Add 'class' keyword as (so far) synonym for 'struct'.

Rename KHX to EXT to match the released specs

GL_KHX_multiview and GL_KHX_device_group don't exist,
they were released as GL_EXT_multiview and GL_EXT_device_group.

Merge pull request #748 from dgkoch/dgkoch_build_fixes2

More build fixes

More build fixes

Fix another build warning on some platforms

Use an explicit cast from size_t to int to avoid warning.

HLSL: Fix #747: accept 'struct' in front of previously user-defined type name.

SPV: Fix #739: OpSelect can only operate on scalars and vectors.

Merge pull request #744 from realitix/sanitize_sh_link

Sanitize ShaderLang.h

Merge pull request #746 from dgkoch/dgkoch_build_fixes

Fix build warnings on some platforms

Build: Another fix for issue #718: implement the hidden methods of tFinalize.

Fix build warnings on some platforms

Use an explicit cast from size_t to int to avoid errors like the following:
glslang\glslang\MachineIndependent\preprocessor\Pp.cpp(1053) : error C2220: warning treated as error - no 'object' file generated
glslang\glslang\MachineIndependent\preprocessor\Pp.cpp(1053) : warning C4267: '=' : conversion from 'size_t' to 'int', possible loss of data

affects Pp.cpp, hlslParseHelper.cpp.

Initialize local variable to get rid of warningsa about potentially
uninitialized variables:
glslang\hlsl\hlslparsehelper.cpp(3667) : error C2220: warning treated as error - no 'object' file generated
glslang\hlsl\hlslparsehelper.cpp(3667) : warning C4701: potentially uninitialized local variable 'builtIn' used

affects hlslParseHelper.cpp

Sanitize ShaderLang.h

ShaderLang.h contains declaration for `ShLink` function which is never
defined.

See this grep output:

$grep -Hrn 'ShLink'
glslang/Public/ShaderLang.h:206:SH_IMPORT_EXPORT int ShLink(
glslang/Public/ShaderLang.h:214:SH_IMPORT_EXPORT int ShLinkExt(
glslang/MachineIndependent/ShaderLang.cpp:1268:int ShLinkExt(

PP: Fix issue #738: don't assert on characters within a string.

PP: Partially address issue #738: handle premature end of argument when token pasting.

Merge pull request #742 from steve-lunarg/f16tof32-typefix

HLSL: small fix for index type in f16tof32 opcode

HLSL: small fix for index type in f16tof32 opcode

The f16tof32 opcode was indexing a vector with a float 0, rather
than an int 0.  It may have made no functional difference due to the
identical bit pattern, but code looking at the type could be
confused.

GLSL: Fix #741: rationalize per-block vs. per-member offset checking.

Merge pull request #736 from steve-lunarg/structbuffer-params

HLSL: add structuredbuffer pass by reference in fn params

PP: Address #737: accept 'h'/'H' floating-point suffix more broadly.