shared: compiletest for unused shared memory, failing

Author: Firestar99

tests/compiletests/ui/arch/shared/dce_shared.rs

@@ -0,0 +1,36 @@
+// build-pass
+// compile-flags: -C llvm-args=--disassemble-globals
+// normalize-stderr-test "OpSource .*\n" -> ""
+// normalize-stderr-test "%\d+ = OpString .*\n" -> ""
+// normalize-stderr-test "OpMemoryModel Logical Vulkan" -> "OpMemoryModel Logical Simple"
+// normalize-stderr-test "OpCapability VulkanMemoryModel\n" -> ""
+// ignore-spv1.0
+// ignore-spv1.1
+// ignore-spv1.2
+// ignore-spv1.3
+// ignore-vulkan1.0
+// ignore-vulkan1.1
+
+use spirv_std::arch::workgroup_memory_barrier_with_group_sync;
+use spirv_std::glam::*;
+use spirv_std::spirv;
+
+#[spirv(compute(threads(2)))]
+pub fn main(
+    #[spirv(descriptor_set = 0, binding = 0, storage_buffer)] input: &f32,
+    #[spirv(descriptor_set = 0, binding = 1, storage_buffer)] output: &mut f32,
+    #[spirv(workgroup)] used_shared: &mut f32,
+    #[spirv(workgroup)] dce_shared: &mut [i32; 2],
+    #[spirv(local_invocation_index)] inv_id: UVec3,
+) {
+    unsafe {
+        let inv_id = inv_id.x as usize;
+        if inv_id == 0 {
+            *used_shared = *input;
+        }
+        workgroup_memory_barrier_with_group_sync();
+        if inv_id == 1 {
+            *output = *used_shared;
+        }
+    }
+}

tests/compiletests/ui/arch/shared/dce_shared.stderr

@@ -0,0 +1,49 @@
+OpCapability Shader
+OpMemoryModel Logical Simple
+OpEntryPoint GLCompute %1 "main" %2 %3 %4 %5 %6
+OpExecutionMode %1 LocalSize 2 1 1
+OpName %2 "input"
+OpName %3 "output"
+OpName %6 "inv_id"
+OpName %4 "used_shared"
+OpName %5 "dce_shared"
+OpDecorate %9 Block
+OpMemberDecorate %9 0 Offset 0
+OpDecorate %10 ArrayStride 4
+OpDecorate %2 NonWritable
+OpDecorate %2 Binding 0
+OpDecorate %2 DescriptorSet 0
+OpDecorate %3 Binding 1
+OpDecorate %3 DescriptorSet 0
+OpDecorate %6 BuiltIn LocalInvocationIndex
+%11 = OpTypeFloat 32
+%9 = OpTypeStruct %11
+%12 = OpTypePointer StorageBuffer %9
+%13 = OpTypePointer Workgroup %11
+%14 = OpTypeInt 32 1
+%15 = OpTypeInt 32 0
+%16 = OpConstant  %15  2
+%10 = OpTypeArray %14 %16
+%17 = OpTypePointer Workgroup %10
+%18 = OpTypeVector %15 3
+%19 = OpTypePointer Input %18
+%20 = OpTypeVoid
+%21 = OpTypeFunction %20
+%22 = OpTypePointer StorageBuffer %11
+%2 = OpVariable  %12  StorageBuffer
+%23 = OpConstant  %15  0
+%3 = OpVariable  %12  StorageBuffer
+%6 = OpVariable  %19  Input
+%24 = OpTypeBool
+%4 = OpVariable  %13  Workgroup
+%25 = OpConstant  %15  264
+%26 = OpConstant  %15  1
+%5 = OpVariable  %17  Workgroup
+error: error:0:0 - [VUID-StandaloneSpirv-None-10684] Invalid explicit layout decorations on type for operand '17[%_ptr_Workgroup__arr_int_uint_2]'
+         %dce_shared = OpVariable %_ptr_Workgroup__arr_int_uint_2 Workgroup
+   |
+   = note: spirv-val failed
+   = note: module `$TEST_BUILD_DIR/arch/shared/dce_shared.vulkan1.2`
+
+error: aborting due to 1 previous error
+