Convert shader_relaxed_extended_instruction sample from GLSL to Slang and update copyrights to 2026

Author: gpx1000

bldsys/cmake/sample_helper.cmake

@@ -1,7 +1,7 @@
 #[[
- Copyright (c) 2019-2025, Arm Limited and Contributors
- Copyright (c) 2024-2025, Mobica Limited
- Copyright (c) 2024-2025, Sascha Willems
+ Copyright (c) 2019-2026, Arm Limited and Contributors
+ Copyright (c) 2024-2026, Mobica Limited
+ Copyright (c) 2024-2026, Sascha Willems
 
  SPDX-License-Identifier: Apache-2.0
 
@@ -281,7 +281,7 @@ endif()
             set(SLANG_ENTRY_POINT "main")
             add_custom_command(
                 OUTPUT ${OUTPUT_FILE}
-                COMMAND ${Vulkan_slang_EXECUTABLE} ${SHADER_FILE_SLANG} -profile ${SLANG_PROFILE} -matrix-layout-column-major -target spirv -o ${OUTPUT_FILE} -entry ${SLANG_ENTRY_POINT}
+                COMMAND ${Vulkan_slang_EXECUTABLE} ${SHADER_FILE_SLANG} -profile ${SLANG_PROFILE} -matrix-layout-column-major -target spirv -o ${OUTPUT_FILE} -entry ${SLANG_ENTRY_POINT} ${TARGET_SLANGC_ADDITIONAL_ARGUMENTS}
                 COMMAND ${CMAKE_COMMAND} -E copy ${OUTPUT_FILE} ${directory}
                 MAIN_DEPENDENCY ${SHADER_FILE_SLANG}
                 WORKING_DIRECTORY ${CMAKE_SOURCE_DIR}

samples/extensions/shader_relaxed_extended_instruction/README.adoc

@@ -1,5 +1,5 @@
 ////
-- Copyright (c) 2025, Holochip Inc.
+- Copyright (c) 2026, Holochip Inc.
 -
 - SPDX-License-Identifier: Apache-2.0
 -
@@ -80,6 +80,29 @@ void main() {
 }
 ----
 
+== Slang shader variant and OpExtInstWithForwardRef
+
+This sample also includes a Slang shader variant that demonstrates the pattern intended to trigger `OpExtInstWithForwardRef` emission. The Slang shader uses a struct with a method that calls `printf`, which creates the structure that should produce circular dependencies in debug instructions when compiled with rich debug info (e.g., `NonSemantic.Shader.DebugInfo.100`).
+
+[source,slang]
+----
+struct A {
+    void foo(uint3 gid) {
+        printf("relaxed-ext-inst demo: gid = %u", gid.x);
+    }
+};
+
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void main(uint3 gid : SV_DispatchThreadID)
+{
+    A a;
+    a.foo(gid);
+}
+----
+
+NOTE: As of Slang in Vulkan SDK 1.4.328, the compiler does not yet emit the rich debug info needed to trigger `OpExtInstWithForwardRef` emission. The shader is structured correctly and will emit `OpExtInstWithForwardRef` once Slang's debug info support is enhanced. The `OpExtInstWithForwardRef` instruction is specifically designed to handle forward references in extended instruction sets, which can occur when debug info creates circular dependencies (e.g., a class method referencing debug info that references the class).
+
 TIP: To actually see the `debugPrintfEXT` output, run with validation configured to capture debug printf (see the `shader_debugprintf` sample or use VK_EXT_layer_settings to enable `VK_VALIDATION_FEATURE_ENABLE_DEBUG_PRINTF_EXT`). This sample registers an INFO‑severity `VkDebugUtilsMessengerEXT` so messages are visible when validation is active.
 
 NOTE: If `VK_EXT_layer_settings` is not available from the validation layer at runtime, the sample automatically falls back to `VK_EXT_validation_features` and enables `VK_VALIDATION_FEATURE_ENABLE_DEBUG_PRINTF_EXT` during instance creation. In that case you do not need any environment configuration to see output.

samples/extensions/shader_relaxed_extended_instruction/shader_relaxed_extended_instruction.cpp

@@ -1,4 +1,4 @@
-/* Copyright (c) 2025, Holochip Inc.
+/* Copyright (c) 2026, Holochip Inc.
  *
  * SPDX-License-Identifier: Apache-2.0
  *
@@ -220,7 +220,7 @@ bool ShaderRelaxedExtendedInstruction::prepare(const vkb::ApplicationOptions &op
 		VkPipelineLayoutCreateInfo layout_info{VK_STRUCTURE_TYPE_PIPELINE_LAYOUT_CREATE_INFO};
 		VK_CHECK(vkCreatePipelineLayout(get_device().get_handle(), &layout_info, nullptr, &pipeline_layout));
 
-		VkPipelineShaderStageCreateInfo stage = load_shader("shader_relaxed_extended_instruction/glsl/relaxed_demo.comp.spv", VK_SHADER_STAGE_COMPUTE_BIT);
+		VkPipelineShaderStageCreateInfo stage = load_shader("shader_relaxed_extended_instruction/slang/relaxed_demo.comp.spv", VK_SHADER_STAGE_COMPUTE_BIT);
 
 		VkComputePipelineCreateInfo compute_ci{VK_STRUCTURE_TYPE_COMPUTE_PIPELINE_CREATE_INFO};
 		compute_ci.stage  = stage;

samples/extensions/shader_relaxed_extended_instruction/shader_relaxed_extended_instruction.h

@@ -1,4 +1,4 @@
-/* Copyright (c) 2025, Holochip Inc.
+/* Copyright (c) 2026, Holochip Inc.
  *
  * SPDX-License-Identifier: Apache-2.0
  *

shaders/shader_relaxed_extended_instruction/glsl/relaxed_demo.comp.spv

@@ -1,5 +1,4 @@
-#version 450
-/* Copyright (c) 2025, Holochip Inc.
+/* Copyright (c) 2026, Holochip Inc.
  *
  * SPDX-License-Identifier: Apache-2.0
  *
@@ -17,18 +16,32 @@
  */
 
 // This shader demonstrates a non-semantic extended instruction via
-// GL_EXT_debug_printf. On SPIR-V this lowers to an OpExtInst in the
+// printf. On SPIR-V this lowers to an OpExtInst in the
 // NonSemantic.DebugPrintf instruction set, which interacts with
 // SPV_KHR_non_semantic_info. VK_KHR_shader_relaxed_extended_instruction
 // makes certain forward-reference cases in such extended instruction sets
 // legal in SPIR-V.
+//
+// By using a struct with a method that calls printf, we create the pattern
+// that should trigger circular dependencies in debug instructions, which
+// would emit OpExtInstWithForwardRef instructions when compiled with rich
+// debug info (e.g., NonSemantic.Shader.DebugInfo.100).
+//
+// Note: As of Slang in Vulkan SDK 1.4.328, the compiler does not yet emit
+// the rich debug info needed to trigger OpExtInstWithForwardRef. This shader
+// is structured correctly and will emit OpExtInstWithForwardRef once Slang's
+// debug info support is enhanced.
 
-#extension GL_EXT_debug_printf : enable
+struct A {
+    void foo(uint3 gid) {
+        printf("relaxed-ext-inst demo: gid = %u", gid.x);
+    }
+};
 
-layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
-
-void main()
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void main(uint3 gid : SV_DispatchThreadID)
 {
-    // If validation is configured to route debugPrintfEXT, this will be printed.
-    debugPrintfEXT("relaxed-ext-inst demo: gid = %u", gl_GlobalInvocationID.x);
+    A a;
+    a.foo(gid);
 }