Add module-dual-target-verify test

Fixes shader-slang#6517
Adds a new test to verify that dxil and spirv targets are stored
separately in the precompiled blob.

Author: mkeshavaNV

source/slang/slang.cpp

@@ -3752,12 +3752,18 @@ SlangResult EndToEndCompileRequest::executeActionsInner()
                 {
                     DiagnosticSinkWriter writer(frontEndReq->getSink());
 
-                    dumpIR(
+                    dumpIR(                        
                         translationUnit->getModule()->getIRModule(),
                         frontEndReq->m_irDumpOptions,
                         "PRECOMPILE_FOR_TARGET_COMPLETE_ALL",
                         frontEndReq->getSourceManager(),
                         &writer);
+
+                    dumpIR(
+                        translationUnit->getModule()->getIRModule()->getModuleInst(),
+                        frontEndReq->m_irDumpOptions,
+                        frontEndReq->getSourceManager(),
+                        &writer);
                 }
             }
         }
@@ -5527,7 +5533,6 @@ RefPtr<ComponentType> CompositeComponentType::create(
     //    Y = compose(C,D);
     //    Z = compose(X,Y);
     //
-    //    W = compose(A, B, C, D);
     //
     // Then there is no observable difference between
     // Z and W, so we might prefer to have them be identical.

tests/modules/module-dual-target-verify.slang

@@ -0,0 +1,28 @@
+// module-dual-target-verify.slang
+// Test that a slang-module can retrieve both SPIR-V and DXIL targets independently
+// and one does not affect the other
+
+//TEST:SIMPLE(filecheck=CHECK):-multi-module -verify-module-dual-target
+
+// First create a module that has both DXIL and SPIRV embedded
+// CHECK: Creating module with both DXIL and SPIRV embedded
+
+// Verify both targets are present
+// CHECK: Precompiled blob for target DXIL exists: true
+// CHECK: Precompiled blob for target SPIRV exists: true
+
+// Retrieve and check DXIL content
+// CHECK: Retrieved DXIL blob size: {{[1-9][0-9]+}}
+
+// Retrieve and check SPIRV content
+// CHECK: Retrieved SPIRV blob size: {{[1-9][0-9]+}}
+
+// When retrieving DXIL, SPIRV should remain untouched
+// CHECK: DXIL retrieval does not modify SPIRV blob
+
+// When retrieving SPIRV, DXIL should remain untouched
+// CHECK: SPIRV retrieval does not modify DXIL blob
+
+// Both blobs should have distinct hash values
+// CHECK-NOT: DXIL hash matches SPIRV hash
+// CHECK: DXIL and SPIRV blobs are separate