[SPIRV] Support `globallycoherent` and `[vk::index()]`. (#3488)

* [SPIRV] Support `globallycoherent` modifier.

* Fix.

* Disable executable cooperative vector tests.

* Update expected failure.

* [SPIRV] Emit varying output index decoration.

* Add test.

* Update tests.

* Fix test.

* Emit `SpvExecutionModeEarlyFragmentTests`.

* Lower `StructuredBuffer<bool>`.

* Support globallycoherent on ByteAddressBuffer.

---------

Co-authored-by: Yong He <yhe@nvidia.com>

4 files changed, 7 insertions, 8 deletions

diff --git a/tests/bugs/gh-841.slang b/tests/bugs/gh-841.slang
index 0608023e5..ba746984b 100644
--- a/tests/bugs/gh-841.slang
+++ b/tests/bugs/gh-841.slang
@@ -1,6 +1,5 @@
 // gh-841.slang
 
-//TEST:CROSS_COMPILE: -profile ps_5_0 -entry main -target spirv-assembly
 //TEST:CROSS_COMPILE(filecheck=SPV): -profile ps_5_0 -entry main -target spirv-assembly
 //TEST:CROSS_COMPILE(filecheck=GLSL): -profile ps_5_0 -entry main -target glsl
 
diff --git a/tests/bugs/gh-941.slang.glsl b/tests/bugs/gh-941.slang.glsl
index 111cdb33c..9c82d070d 100644
--- a/tests/bugs/gh-941.slang.glsl
+++ b/tests/bugs/gh-941.slang.glsl
@@ -21,11 +21,11 @@ layout(binding = 1)
 uniform sampler s_0;
 
 layout(location = 0)
-out vec4 _S2;
+out vec4 main_0;
 
 void main()
 {
-    _S2 = (texture(sampler2D(t_0[C_0.index_0],s_0), (C_0.uv_0)));
+    main_0 = (texture(sampler2D(t_0[C_0.index_0],s_0), (C_0.uv_0)));
     return;
 }
 
diff --git a/tests/bugs/vk-image-atomics.slang.glsl b/tests/bugs/vk-image-atomics.slang.glsl
index 2ed19bffa..d72bdd10f 100644
--- a/tests/bugs/vk-image-atomics.slang.glsl
+++ b/tests/bugs/vk-image-atomics.slang.glsl
@@ -5,12 +5,12 @@ layout(binding = 0)
 uniform uimage2D t_0;
 
 layout(location = 0)
-out vec4 _S1;
+out vec4 main_0;
 
 void main()
 {
     uint u_0;
     u_0 = imageAtomicAdd(t_0, ivec2(uvec2(0)), 1);
-    _S1 = vec4(u_0);
+    main_0 = vec4(u_0);
     return;
 }
diff --git a/tests/bugs/vk-structured-buffer-binding.hlsl.glsl b/tests/bugs/vk-structured-buffer-binding.hlsl.glsl
index f108aac00..18ed1a8a7 100644
--- a/tests/bugs/vk-structured-buffer-binding.hlsl.glsl
+++ b/tests/bugs/vk-structured-buffer-binding.hlsl.glsl
@@ -10,14 +10,14 @@ layout(std430, binding = 3, set = 4) buffer StructuredBuffer_uint_t_0 {
 } gDoneGroups_0;
 
 layout(location = 0)
-out vec4 _S1;
+out vec4 main_0;
 
 layout(location = 0)
-in vec3 _S2;
+in vec3 uv_0;
 
 void main()
 {
-    _S1 = vec4(float(gDoneGroups_0._data[uint(int(_S2.z))]));
+    main_0 = vec4(float(gDoneGroups_0._data[uint(int(uv_0.z))]));
     return;
 }