Merge pull request #2826 from amdrexu/bugfix

Fix an issue of spirv_type used in local variable definitions

Merge pull request #2811 from mbechard/master

remove unneeded extra constructions now that pool allocation is fixed

Fix an issue of spirv_type used in local variable definitions

We previously use createOp() in SPV builder to create type declaration.
However, all type declarations should be placed in const-type-variable
declaration section. And duplicated type defintions ought to be avoided.
We now make a method in SPV builder to perform this operation with a
more general solution: makeGenericType().

remove unneeded extra constructions now that pool allocation is fixed

Merge pull request #2824 from alan-baker/update-tools

Update SPIRV-Tools

Merge pull request #2825 from greg-lunarg/i2244

Add --hlsl-dx-position-w option

Add --hlsl-dx-position-w option

This reciprocates the w component of SV_Position in HLSL fragment shaders
to provide DirectX compatibility for HLSL shaders in Vulkan.

Fixes #2244

Update SPIRV-Tools

* Fix test expectations

Merge pull request #2823 from kda/master

Initialize member TSymbol::uniqueId.

Initialize member TSymbol::uniqueId.

Merge pull request #2821 from greg-lunarg/conv0

[RFC] add more negative float conversions to test constantUnaryConversion.comp and remove the undefined ones

remove undefined conversions from test constantUnaryConversion.comp

Remove remaining conversions from negative float64_t to unsigned
integers, which are undefined behavior.

As a result, this test will also succeed on platforms that implement
those conversions differently than x86. That addresses one of the issues
in #2815.

add negative float conversions to test constantUnaryConversion.comp

Add conversions from negative float16_t and float32_t to bool, all
signed integer types (i.e., including those in
GL_EXT_shader_explicit_arithmetic_types), and all float types (from the
same extension) to extend coverage.

Note that converting negative float values to unsigned integers is
undefined behavior. Thus, we exclude them.

Merge pull request #2806 from ZhiqianXia/bestFunctionMatching

#extension GL_ARB_gpu_shader5 support the implicit conversion ,

Merge pull request #2818 from mhillenbrand/promoteConstantUnion_signed_char

TIntermediate::promoteConstantUnion(): fix conversion to int8

Merge pull request #2819 from greg-lunarg/i2812

Fix struct type sharing

Merge pull request #2814 from mhillenbrand/isinf_isnan2

Use intermOut.cpp's IsNan and IsInfinity for parse-time constant folding (updated)

Fix struct type sharing

Fixes #2812

Merge pull request #2817 from greg-lunarg/sdk0

Revert port GL_EXT_shader_realtime_clock to GL_EXT_spirv_intrinsics

TIntermediate::promoteConstantUnion(): fix conversion to int8

The signedness of type char is implementation-defined in C++. The
conversion to (signed) int8 currently uses a cast to char, which is
undefined for negative values when the type char is implemented as
unsigned. Thus, fix to cast to "signed char", which has the intended
semantic on all implementations.

Fixes #2807

Revert port of GL_EXT_shader_realtime_clock to GL_EXT_spirv_intrinsics

Could not be found by glslang library interface. Blocking SDK build.

Merge pull request #2816 from greg-lunarg/v11.7.0

Release 11.7.0

Merge pull request #2813 from greg-lunarg/kg120

Update to latest spirv-headers

Release 11.7.0

Use intermOut.cpp's IsNan and IsInfinity for parse-time constant folding (updated)

There were two implementations of isInf() and isNan(), in Constant.cpp
and in intermOut.cpp. The former only works on little-endian systems,
the latter is a wrapper for library functions and works regardless of
endianness. Move the second version into Common.h and adopt it in both
places. Thereby avoid the duplication and fix for big-endian systems.

A previous commit with the same intent and purpose had missed a required
header for builds on Windows.

On s390x, this fixes the test case
Glsl/CompileToAstTest.FromFile/constFold_frag.

Fixes #2802

Update to latest spirv-headers

Merge pull request #2810 from greg-lunarg/push1

Generate error for binding on push_constant

Merge pull request #2809 from KhronosGroup/revert-2803-isinf_isnan

Revert "Use intermOut.cpp's IsNan and IsInfinity for parse-time constant folding"

Generate error for binding on push_constant

Revert "Use intermOut.cpp's IsNan and IsInfinity for parse-time constant folding"

Merge pull request #2805 from greg-lunarg/push0

Fix test spv.1.4.OpEntryPoint.frag

#extension GL_ARB_gpu_shader5 support the implicit conversion ,
So the best function matching algorithm should be actived.

Signed-off-by: ZhiqianXia <xzq0528@outlook.com>

Fix test spv.1.4.OpEntryPoint.frag

Cannot apply binding qualifier to push_constant

Merge pull request #2781 from kevin-mccullough/FixLinkTimeValidationForGl_PerVertex

Fix incorrect link time validation for unused gl_PerVertex members

Merge pull request #2801 from haasn/thread_safety

Thread safety fixes

Merge pull request #2803 from mhillenbrand/isinf_isnan

Use intermOut.cpp's IsNan and IsInfinity for parse-time constant folding

Use intermOut.cpp's IsNan and IsInfinity for parse-time constant folding

There were two implementations of isInf() and isNan(), in Constant.cpp
and in intermOut.cpp. The former only works on little-endian systems,
the latter is a wrapper for library functions and works regardless of
endianness. Move the second version into Common.h and adopt it in both
places. Thereby avoid the duplication and fix for big-endian systems.

On s390x, this fixes the test case
Glsl/CompileToAstTest.FromFile/constFold_frag.

Fixes #2802

Merge pull request #2799 from cyanreg/master

Add support for targeting Vulkan 1.2 in the C API

Merge pull request #2798 from alan-baker/update-tools

Update tools

Fix incorrect link time validation for unused gl_PerVertex members

Merge pull request #2722 from ZhiqianXia/GL_ARB_draw_instanced

Support the #extension GL_ARB_draw_instanced.

Don't release global mutex before initialize/finalize is done

Otherwise this can race with other threads for access to the fields it's
supposed to be initializing/finalizing.

For example, imagine another thread is calling ShInitialize() while the
first thread is calling ShFinalize() - the finalize function would
destroy the state at the same time as the initialize function is trying
to initialize it.

Holding on to the global lock for the entire function prevents all of
these failure modes.

Initialize global mutex in a thread-safe manner

Currently, ShInitialize() and friends call glslang::InitGlobalLock()
which *overwrites* the global mutex. As such, even though it ostensibly
takes a mutex, this function is actually completely thread-unsafe.

Fix it by using pthread_once to ensure the mutex is only initialized
once, and then never again.

Add support for targeting Vulkan 1.2 in the C API

Support the #extension GL_ARB_draw_instanced.

Signed-off-by: ZhiqianXia <xzq0528@outlook.com>

Update test expectations

Update SPIRV-Tools and SPIRV-Headers

Merge pull request #2719 from ZhiqianXia/GL_EXT_shader_integer_mix

Add the preamble for GL_EXT_shader_integer_mix

Add the GL_EXT_shader_integer_mix Preamble for glsl.

Signed-off-by: ZhiqianXia <xzq0528@outlook.com>

Merge pull request #2712 from ZhiqianXia/switch_error

glslang should report a error for Feature: last case/default label not followed by statements'.

To be compatible with Feature: 'last case/default label not followed by statements'.

Signed-off-by: ZhiqianXia <xzq0528@outlook.com>

Merge pull request #2796 from greg-lunarg/i2793

Remove support for double trig, pow, exp and log

Remove support for double trig, pow, exp and log

These are not supported in core GLSL or under any extension

Fixes 2793

Merge pull request #2792 from jeremy-lunarg/hayes-2760

Return new allocator for copied containers

Return new allocator for copied containers

Fix #2760.

Implement the optional function select_on_container_copy_contruction to
return a default-contructed allocator for containers that are
copy-constructed. This gives copy-constructed containers a pool
allocator for the current thead.

There may be a similar problem with the copy contructor which takes
allocators of type "Other" but, in practice, there is only one place
where this is being used and the allocators are always the same. (i.e.
executing from the same thread)

Merge pull request #2780 from kevin-mccullough/FixCrossStageCheck

Fix cross-stage check to allow subsequent stage to use previous stage's binding

Merge pull request #2777 from amdrexu/bugfix

Make modifications of GL_EXT_spirv_intrinsics

Merge pull request #2787 from greg-lunarg/i2779

Allow 8/16-bit integer as array index

Merge pull request #2788 from alelenv/iomapper_sr_fix

Skip auto decorating shader record buffer blocks with 'set' and 'binding'.

Merge pull request #2789 from greg-lunarg/i2785

Accept gl_ViewportMask in version 430 and later

Allow 8/16-bit integer as array index

Also enable 8/16 bit int capability in SPIR-V in such cases.

Also enable 64 bit capabilities when used in operations.

Fixes #2779

Accept gl_ViewportMask in version 430 and later

Was previously accepted only in 450 or later.

Fixes #2785

Skip auto decorating shader record buffer blocks with 'set' and
'binding'.

Merge pull request #2786 from dneto0/current-source-dir

Fix Cmake rule for extension header generation

Fix Cmake rule for extension header generation

Allow glslang to be embedded in an enclosing project (such as Shaderc)

Merge pull request #2783 from chrisforbes/untangle

Untangle use of core glslang version enums in SpvPostProcess

Merge pull request #2749 from AaronHaganAMD/master

GL_EXT_spirv_intrinsics port of GL_EXT_shader_realtime_clock

GL_EXT_spirv_intrinsics - Port extensions

Add mechanism to use GL_EXT_spirv_intrinsics headers in glslang.
Ported GL_EXT_shader_realtime_clock as an example.

Make modifications of GL_EXT_spirv_intrinsics

1. spirv_execution_mode_id and spirv_decorate_id could support
   specialization constants. The original implementation always
   assume only normal frontend constants are valid. It is not true.

2. spirv_type donesn't support type_specifier as an option of
   spirv_type_parameter. At present, only constant_expression is the
   valid option.

Untangle use of core glslang version enums in SpvPostProcess

This is the only thing requiring GlslangToSpv.h to be included here.

Change-Id: I72e9e278aa1e6d717e83f9dbf11e089aafe2eb0e

Fix cross-stage check to allow subsequent stage to use previous stage's binding

Merge pull request #2770 from ncesario-lunarg/ncesario-cmake-endif

cmake: Remove "conditions" from endif

Merge pull request #2771 from mbechard/master

rename member variable for clarity

cmake: Remove "conditions" from endif

See https://cmake.org/cmake/help/latest/command/endif.html and
https://cmake.org/cmake/help/latest/command/if.html.

If the else/endif condition does not match the if condition verbatim,
an error is produced on some versions of cmake. This change removes
these "legacy conditions."

rename member variable for clarity

it's a little strange how the resolver takes an arbitrary intermediate
in it's constructor. Really this should be an 'options' object that
holds the various resolve/remapping options which are read from this
intermediate.
At least for now rename it so it's more clear it's used differently from
other intermediates that are accessed in the resolver (such as the per
stage ones).

Merge pull request #2768 from greg-lunarg/i2744

Fix variable scoping of do-while

Fix variable scoping of do-while

Fixes #2744

Merge pull request #2767 from greg-lunarg/i2763

Fix unreachable code in getSampledType()

Scalarize vector readFirstInvocationARB (#2766)

Fixes #2761

Fix unreachable code in getSampledType()

Fixed #2763

Auto push constant blocks (#2764)

* add ability to upgrade uniform block to push constants assuming it fits within the size limit imposed by the caller
* allow selecting the packing for the auto push constants
* check the size using the potential layout packing of the push constants

Merge pull request #2685 from kevin-mccullough/FixIsIoResizeArrayTesselationStageHandling

Fix isIoResizeArray() tessellation stage handling

Merge pull request #2762 from greg-lunarg/2757

Fix SPIR-V for HLSL SampleBias

Fix SPIR-V for SampleBias

Fixes #2757

Merge pull request #2759 from mbechard/vkRelaxed-RetargetID

GL_EXT_vulkan_glsl_relaxed - retarget gl_VertexID to gl_VertexIndex

Merge pull request #2756 from mbechard/vkRelaxed-AvoidDuplicateUniform

GL_EXT_vulkan_glsl_relaxed - avoid growing the global uniform block with duplicates

GL_EXT_vulkan_glsl_relaxed - retarget gl_VertexID to gl_VertexIndex

instead of allowing for multiple declarations of the variable in the
resulting SPIR-V, instead use a retargeted mechanism to cause references
to gl_VertexID and gl_InstanceID to use the gl_VertexIndex and
gl_InstanceIndex symbol.

avoid growing the global uniform block with duplicates

When using GL_EXT_vulkan_glsl_relaxed, check to see if a
uniform already exists in the block uniform block, and if so,
ensure they are the same type. Otherwise, avoid growing the block
with a duplicate.

Merge pull request #2745 from jeremy-lunarg/hayes-fix-warnings

Fix GCC warnings

Merge pull request #2752 from InsertAReallyCreativeNameHere/master

Change MINGW_HAS_SECURE_API checks.

Merge pull request #2755 from greg-lunarg/2748

Run update_precision() on array and matrix constructors.

Run update_precision() on array and matrix constructors.

Change MINGW_HAS_SECURE_API checks.

MINGW_HAS_SECURE_API can be defined as 0, but this will be ignored here without this change.
Without these *_s "safe" functions, this code will also build on Windows XP.

Merge pull request #2747 from greg-lunarg/i2740

Perform update_precision on constructors and converts

Perform update_precision on constructors and converts

Fixes #2740

Fix GCC warnings

Fix -Wsign-compare warnings.
Fix -Wunused-parameter warnings.

Merge pull request #2738 from greg-lunarg/kg119

Update known goods and CHANGES for 11.6.0

Update known goods and CHANGES for 11.6.0

Merge pull request #2718 from ZhiqianXia/AtomicOpsARB

Support the atomic_counter_xxxARB  built-in functons at #extension GL_ARB_shader_atomic_counter_ops.

Merge pull request #2731 from alelenv/rt_motion

Add support for GL_NV_ray_tracing_motion_blur.