HLSL - Support for SV_GroupIndex

Merge pull request #1 from KhronosGroup/master

Update from master

Merge pull request #720 from flaviobortot/master

Added --vn option to generate a C header file containing a variable a…

Merge pull request #728 from MaciejJesionowskiAMD/fix-mismatched-subgroup-vote-string

Fix mismatched doc string for SPV_KHR_subgroup_vote

Fix mismatched doc string for SPV_KHR_subgroup_vote

Text for opcodes OpSubgroupAllKHR and OpSubgroupAnyKHR was swapped.

Merge pull request #724 from chaoc/master

Implement NVX_multiview_per_view_attributes

Removed tabs and replaced with spaces. Changed layout for "else if"

Implement NVX_multiview_per_view_attributes

Support align/offset for all versions GLSL/ESSL targeting SPIR-V.

Merge pull request #722 from steve-lunarg/tessellation

Add basic HS/DS implementation.

PP, nonfunctional: Properly encapsulate a TokenStream.

Add basic HS/DS implementation.

This obsoletes WIP PR #704, which was built on the pre entry point wrapping master.  New version
here uses entry point wrapping.

This is a limited implementation of tessellation shaders.  In particular, the following are not functional,
and will be added as separate stages to reduce the size of each PR.

* patchconstantfunctions accepting per-control-point input values, such as
  const OutputPatch <hs_out_t, 3> cpv are not implemented.

* patchconstantfunctions whose signature requires an aggregate input type such as
  a structure containing builtin variables.  Code to synthesize such calls is not
  yet present.

These restrictions will be relaxed as soon as possible.  Simple cases can compile now: see for example
Test/hulsl.hull.1.tesc - e.g, writing to inner and outer tessellation factors.

PCF invocation is synthesized as an entry point epilogue protected behind a barrier and a test on
invocation ID == 0.  If there is an existing invocation ID variable it will be used, otherwise one is
added to the linkage.  The PCF and the shader EP interfaces are unioned and builtins appearing in
the PCF but not the EP are also added to the linkage and synthesized as shader inputs.
Parameter matching to (eventually arbitrary) PCF signatures is by builtin variable type.  Any user
variables in the PCF signature will result in an error.  Overloaded PCF functions will also result in
an error.

[domain()], [partitioning()], [outputtopology()], [outputcontrolpoints()], and [patchconstantfunction()]
attributes to the shader entry point are in place, with the exception of the Pow2 partitioning mode.

PP, nonfunctional: Remove crufty bit-twiddling of tokens.

Fix issue #708: token pasting within macro argument expansion.

Merge pull request #707 from KhronosGroup/emit-opSelect

SPV: Emit op select

Address issue #718. Should change which warning is generated, hopefully to a better one.

SPV: Implement specialization constants for ?:.

SPV: Emit OpSelect when a selection node is simple enough.

Also, ensures it has a type, no disallowed side effects,
or performance trade offs.

Merge pull request #685 from KhronosGroup/wrap-entry-point

HLSL: Wrap entry-point; needed to write 'in' args, and support 'inout' args

HLSL: don't do a deepCopy() for typedef, as we still want to share the type graph.

This enables the IO type mapping to work transparently for typedefs.

HLSL: Add tests and refine what decorations are passed through per stage/in/out.

HLSL: Move to fine-grained control for defining input/output/uniform IO types.

HLSL: Build IO types bottom up, as parsed, and cache the original (IO).

Previously, this was done recursively, per object, and the nonIO version
was cached. This reverses both those approaches.

HLSL: Have loose uniforms also go through the makeTypeNonIo() path.

HLSL: remove pervertex output blocks

This removes pervertex output blocks, in favor of using only
loose variables.  The pervertex blocks are not required and were
only partly implemented, and were adding some complication.

This change goes with wrap-entry-point.

Build: Fix Linux for older compiler: Use TMap instead of TUndorderedMap.

HLSL: fix copies between arrays of structs of builtins, and arrayed builtins.

Structs are split to remove builtin members to create valid SPIR-V.  In this
process, an outer structure array dimension may be propegated onto the
now-removed builtin variables.  For example, a mystruct[3].position ->
position[3].  The copy between the split and unsplit forms would handle
this in some cases, but not if the array dimension was at different levels
of aggregate.

It now does this, but may not handle arbitrary composite types.  Unclear if
that has any semantic meaning for builtins though.

HLSL: Make the entry-point shadow function have non-IO params and return.

This also removes an no longer needed makeTemporary() and rationalizes
makeTypeNonIo()'s interface.

HLSL: Type sanitization: create non-IO types for var decl and fn param/ret

This introduces parallel types for IO-type containing aggregates used as
non-entry point function parameters or return types, or declared as variables.
Further uses of the same original type will share the same sanitized deep
structure.

This is intended to be used with the wrap-entry-point branch.

AST: Have type deepCopy() preserve type graphs as graphs.

Previously, a type graph would turn into a type tree. That is,
a deep node that is shared would have multiple copies made.

This is important when creating IO and non-IO versions of deep types.

HLSL: Wrap the entry-point; need to write 'in' args, and support 'inout' args.

This needs some render testing, but is destined to be part of master.

This also leads to a variety of other simplifications.
 - IO are global symbols, so only need one list of linkage nodes (deferred)
 - no longer need parse-context-wide 'inEntryPoint' state, entry-point is localized
 - several parts of splitting/flattening are now localized

Added --vn option to generate a C header file containing a variable assigned to the hex representation of the shader. This is a standard feature on Microsoft's HLSL compiler and it allows developers to include pre-compiled shaders directly into the code. This option enables "Hex output", so it is NOT required to specify -x as well. The output file name is preserved, so no ".h" extension is added. If you want the output file to have ".h" extension then you have to specify it on the output file name. The generated header file uses the "#pragma once" pragma to avoid multiple inclusions.

Resolve issue #700: allow initializers on struct members.

Memory/constructor/warning clean-up. Addresses issue #705.

Merge pull request #711 from eoma/fix-friendly-specialization-name

SPV: Emit names of specialization constants, fixes #710

SPV: Emit names of specialization constants

Merge pull request #706 from Ralith/install-headers

Install headers

Install headers

This enables the vulkan loader to be built against an installed glslang.

Fix bug from PR #678: NV_EXTENSIONS deleted implicit array sizing.

Fix issue #693. Ternary operator on void type.

Merge pull request #690 from ligfx/proper_dependencies

CMake: add target_link_libraries internally

README: point to HLSL status issues

Merge pull request #702 from resetnow/master

SpvBuilder: add const specifier to vector reference arguments

SpvBuilder: add const specifier to vector reference arguments

Merge pull request #694 from mtavenrath/fix_origin_link

Use correct OriginUpperLeft when linking more than one shader.

Use correct OriginUpperLeft when linking more than one shader.

Merge pull request #696 from amdrexu/bugfix2

Semantics: Texture clamp functions are available for fragment shader only

Merge pull request #695 from amdrexu/bugfix

Fix a CMakeLists issue

Semantics: Texture clamp functions are available for fragment shader only.

Fix a CMakeLists issue

Merge pull request #692 from hrydgard/no-nvextensions-build-fix

Fix build if NV_EXTENSIONS is not set

Fix build if NV_EXTENSIONS is not set

Merge pull request #678 from chaoc/stereo_view_rendering

support SPV_NV_viewport_array2 and SPV_NV_stereo_view_rendering

CMake: add target_link_libraries internally

Makes it easier to include glslang in a larger CMake project---instead
of having to call `target_link_libraries(glslang OSDependent OGLCompiler
HLSL)`, for example, you only need to call
`target_link_libraries(glslang)` and it will pull in the helpers it
needs.

This is also better in terms of cleaning up the "public interface",
of sorts, for building glslang: end-users probably shouldn't need to
know or be explicitly dependent on internal targets.

support SPV_NV_viewport_array2 and SPV_NV_stereo_view_rendering

Merge pull request #689 from mikew-lunarg/master

Fix for not-handled-in-switch warnings

Fix for not-handled-in-switch warnings

Added default to the switch() for AMD_EXTENSIONS to avoid a spew
of warning messages.

Merge pull request #683 from rdb/master

Fix compilation with MSVC 2010

Fix compilation with MSVC 2010

Merge pull request #682 from steve-lunarg/split-copy-fix

HLSL: fix dereferencing when copying split structures with arrays

Merge pull request #679 from ashwinkolhe/akolhe_spv_khr_subgroup_vote

Implement SPV_KHR_subgroup_vote

SPV: Merge pull request #675 from amdrexu/feature

SPV: Implement new revision of extension GL_AMD_shader_ballot

Infrastructure: remove potential memory leaks.

HLSL: fix dereferencing when copying split structures with arrays

When copying split types with mixtures of user variables and buitins,
where the builtins are extracted, there is a parallel structures traversal.
The traversal was not obtaining the derefenced types in the array case.

Implement new revision of extension GL_AMD_shader_ballot

- Add support for invocation functions with "InclusiveScan" and
  "ExclusiveScan" modes.
- Add support for invocation functions taking int64/uint64/doube/float16
  as inout data types.

Non-functional: Factor out entry-point logic from handleFunctionDefinition().

Implement SPV_KHR_subgroup_vote

doc.cpp: Add capabilities, scope to the opcodes. Add opcode and
capability strings.
GLSL.ext.KHR.h: Add extension
string.
GlslangToSpv.cpp: Fix handling of opcodes to generate
appropriate SPIR-V.
spirv.hpp: Add capability and opcode
enums.
spv.shaderGroupVote.comp.out: Update SPIR-V output for test
shader.

Fix build break for non-VS.

Non-functional: Fix round of compiler warnings.

Front-ends: Non-functional: Rationalize vector and matrix swizzles.

This reduces code duplication in a few ways, and better encapsulates
vector swizzle representation.

Merge pull request #656 from TiemoJung/overload_fix

HLSL: Improved overload handling

HLSL: Add EOpMatrixSwizzle, selectively decomposed to other ops, for issue #670.

Since EOpMatrixSwizzle is a new op, existing back-ends only work when the
front end first decomposes it to other operations. So far, this is only
being done for simple assignment into matrix swizzles.

HLSL: matrix swizzle (_12, _m23) syntax, partial semantics.

This partially addressess issue #670, for when the matrix swizzle
degenerates to a component or column: m[c], m[c][r] (where HLSL
swaps rows and columns for user's view).

An error message is given for the arbitrary cases not covered.

These cases will work for arbitrary use of l-values.

Future work will handle more arbitrary swizzles, which might
not work as arbitrary l-values.

PP: Clean up and rationalize floating-point-number scanner.

This encapsulates where the string could overflow, removing 40 lines
of fragile code.  It also improves handling of numbers that are too long.

There are a couple of open issues that could related to this function
being more rational (locale dependence, 1.#INF).

Merge pull request #664 from steve-lunarg/stage-io-fix

add other builtins to interstage IO

Infrastructure: Support standard build with ENABLE_HLSL set to off.

Infrastructure: Protect against missing built-in symbol table generators.

Merge pull request #663 from KhronosGroup/full-include-semantics

Includer interface change to support full include semantics (requires downstream changes)

Merge pull request #668 from slime73/DisableHLSL

Add a CMake option to disable compilation of HLSL input support.

Change disabled-by-default DISABLE_HLSL option to enabled-by-default ENABLE_HLSL.

Matches existing options.

WIP: add other builtins to interstage IO

(Still adding tests: do not commit)

This fixes PR #632 so that:

(a) The 4 PerVertex builtins are added to an interface block for all stages except fragment.

(b) Other builtin qualified variables are added as "loose" linkage members.

(c) Arrayness from the PerVertex builtins is moved to the PerVertex block.

(d) Sometimes, two PerVertex blocks are created, one for in, one for out (e.g, for some GS that
    both reads and writes a Position)

Add a CMake option to disable compilation of HLSL input support.

Merge pull request #667 from slime73/Compiler-Warnings

Address several compiler warnings

Reorder initializer fields to match variable declaration order (or vice versa) for several class constructors.

Add a virtual destructor to a class which has virtual methods.

Mark an overriden method in a subclass with ‘override’.

PP #include: address PR feedback.

External interface change: PP: Full <> and "" semantics for the Includer.

Any previous use would only be for "", which would probably mean changing

    include(...)  -> includeLocal(...)

See comments about includeLocal() being an additional search over
includeSystem(), not a superset search.

This also removed ForbidIncluder, as
 - the message in ForbidIncluder was redundant: error results were
   already returned to the caller, which then gives the error it
   wants to
 - there is a trivial default implementation that a subclass can
   override any subset of (I still like abstract base classes though)
 - trying to get less implementation out of the interface file anyway

PP #include non-functional: consistent notation for "header" and "header name".

This is versus a variety of file-related language, designated, requested, etc.
Will simplify diffs for next commit.

Non-functional: White space after "//", mostly for copyrights.

Non-Functional: Whitespace, comments, replace accidentally deleted comment.

- fixed ParseHelper.cpp newlines (crlf -> lf)
- removed trailing white space in most source files
- fix some spelling issues
- extra blank lines
- tabs to spaces
- replace #include comment about no location

Merge pull request #661 from KhronosGroup/fix-include-error-paths

PP: #include: simplify the different paths out of #include.

PP: #include: simplify the different paths out of #include.

- some paths didn't release 'res'
- token is always '\n' after proper acceptance of the directive itself,
  so no need to test it, change it to '\n', etc.
- assuming setCurrentColumn(0) is not needed unless there are header tokens,
  but not clear why it is ever needed

Note: much of the simplified code read as if the included header tokens had
actually been processed, versus queued up for processing; maybe that explains
some things.

PP: #include: add names to error messages, so that lexical analysis can be tested.

Non-functional: Very minor clean up.

Merge pull request #650 from steve-lunarg/lvalue-swizzle-fix

HLSL: allow destination swizzles when writing RWTexture/RWBuffer

HLSL: Fix issue #658: Don't adopt initializer constness from declaration.

This also makes it match how GLSL handles the same thing.

Merge pull request #648 from steve-lunarg/type-identifiers

HLSL: allow type keywords as identifiers, and add half type

Merge pull request #632 from steve-lunarg/structure-splitting

HLSL: inter-stage structure splitting.

Merge pull request #659 from steve-lunarg/d3dcolortoubyte4

Add D3DCOLORtoUBYTE4 decomposition