Implement raytracing extension(s); resolves #3560 for GLSL & SPIR-V targets (#3675)

The following PR implements raytracing extensions (GLSL_EXT_ray_tracing, GLSL_EXT_ray_query, GLSL_NV_shader_invocation_reorder & GLSL_NV_ray_tracing_motion_blur); for GLSL & SPIR-V targets. Fully implements all functions, built-in variables, & syntax; resolves #3560 for GLSL & SPIR-V Targets.

notes of worth:

* __rayPayloadFromLocation, __rayAttributeFromLocation, and __rayCallableFromLocation, were added as SPIR-V Intrinsics to refer to location's of raytracing objects in SPIR-V for when using GLSL syntax.

1 files changed, 21 insertions, 0 deletions

diff --git a/source/slang/slang-emit-c-like.cpp b/source/slang/slang-emit-c-like.cpp
index 2019bfa8c..af53b545f 100644
--- a/source/slang/slang-emit-c-like.cpp
+++ b/source/slang/slang-emit-c-like.cpp
@@ -4268,6 +4268,27 @@ void CLikeSourceEmitter::computeEmitActions(IRModule* module, List<EmitAction>&
         }
     }
 
+    for (auto inst : module->getGlobalInsts())
+    {
+        // After emitting all structure types we need to emit all raytracing objects to
+        // ensure they are emitted before the layout location is referenced, otherwise,
+        // this can be a compile error if layout is emitted after location is referenced
+        // this is required since in GLSL, it is likley in a programs life time a raytracing
+        // object will never be referenced by name
+        for (auto dec : inst->getDecorations())
+        {
+            switch (dec->getOp())
+            {
+            case kIROp_VulkanRayPayloadDecoration:
+            case kIROp_VulkanRayPayloadInDecoration:
+            case kIROp_VulkanHitObjectAttributesDecoration:
+            case kIROp_VulkanCallablePayloadDecoration:
+            case kIROp_VulkanCallablePayloadInDecoration:
+            case kIROp_VulkanHitAttributesDecoration:
+                ensureGlobalInst(&ctx, inst, EmitAction::Level::Definition);
+            };
+        }
+    }
     for(auto inst : module->getGlobalInsts())
     {
         if( as<IRType>(inst) )