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.

Update known_good for SPV_NV_ray_tracing_motion_blur.

Merge branch 'KhronosGroup:master' into rt_motion

Add support for GL_NV_ray_tracing_motion_blur.

Merge pull request #2726 from TheMindVirus/master

Update CMakeLists.txt

Merge pull request #2729 from greg-lunarg/2725

Fix seperate stores to swizzled lvalue.

Fix seperate stores to swizzled lvalue.

Seen with += and ++ ops on swizzled lvalues. Was using stale access chain.

Fixes 2725.

Update CMakeLists.txt

Checked REGEX REPLACE for consistency failure

Support Extension GL_ARB_shader_atomic_counter_ops and relative intrisic functions.

refs:
https://www.khronos.org/registry/OpenGL/extensions/ARB/ARB_shader_atomic_counter_ops.txt

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

Merge pull request #2716 from greg-lunarg/i2689

Add support for pragma STDGL invariant(all)

Add support for pragma STDGL invariant(all)

Fixes #2689

Merge pull request #2715 from greg-lunarg/i2714

Allow layout(std430) uniform with GL_EXT_scalar_block_layout

Merge pull request #2690 from AndreyMlashkin/make_msvc_runtime_override_optional

add possibility to not override runtime of MSVC

Allow layout(std430) uniform with GL_EXT_scalar_block_layout

correct ident

Merge pull request #2691 from ZhiqianXia/BugPoint

Atomic memory function can only be used for shader storage block member or shared variable.

Merge branch 'master' into BugPoint

Merge pull request #2700 from ZhiqianXia/u2i

Support Uint to Int implicit conversions at #extension GL_ARB_gpu_shader5.

Merge pull request #2702 from jeremy-lunarg/hayes-2518

Generate separate stores for partially swizzled memory stores

Generate separate stores for partially swizzled memory stores

Full vector and fully specified vector swizzle stores are not affected by this change, only partial swizzles ie swizzles with fewer components than the vector being stored to.

Previously the vector being stored to loaded and any components not specified in the swizzle were used to create a full store to the vector.

While this change generates more SPIR-V instructions, it is necessary for correctness.

Fixes #2518.

Fix OpImageRead result type when compiling HLSL (#2706)

Fix OpImageRead result type when compiling HLSL

- Per the Vulkan spec, OpImageRead must return a 4-component vector always. When compiling HLSL, loads from a RWTexture of a template type with < 4 components would incorrectly generate an OpImageRead with a < 4 component result, resulting in validation errors.
- This was previously fixed for OpImageFetch in commit 4425f24; this commit does the same thing for OpImageRead.
- Added associated tests and expanded existing image fetch tests to check all the different types of textures, in both float and int incarnations, for completeness.
- Update other HLSL tests involving OpImageRead

Merge pull request #2705 from pkasting/master

Fix some instances of -Wunused-but-set-variable.

Merge pull request #2704 from YunHsiao/master

Fix per-set argument parsing in standalone

Fix some instances of -Wunused-but-set-variable.

Bug: chromium:1203071

Fix per-set argument parsing in standalone

Support Uint to Int implicit conversions at #extension GL_ARB_gpu_shader5.

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

Merge pull request #2695 from ShabbyX/fix-bool-array-in-uniform-load

Fix loading bool arrays from interface blocks

Fix loading bool arrays from interface blocks

SPIR-V disallows bool in interface blocks, which is emulated with uint.
When loading a bool variable (through accessChainLoad()), it's converted
from uint to bool if it came from an interface block.

This was handled for bool and bvecN, but not for bool arrays.  This
change implements the conversion for bool arrays.

Closes #2694

make AND to upper case

add possibility to not override runtime of MSVC

Atomic memory function can only be used for shader storage block member or shared variable.

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

Fix isIoResizeArray() tessellation stage handling

Merge pull request #2688 from KhronosGroup/revert-2643-master

Revert "Atomic memory function can only be used for shader storage block member or shared variable."