Specialize and SSA in a loop + better diagnostics on dynamic dispatch failure (#2396)

* Report diagnostic when dynamic dispatch failed instead of crashing.

* Specialize and SSA in a loop. Explicit specialization only interface.

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

1 files changed, 4 insertions, 0 deletions

diff --git a/source/slang/slang-lower-to-ir.cpp b/source/slang/slang-lower-to-ir.cpp
index 95d2c1cd7..99af2abd6 100644
--- a/source/slang/slang-lower-to-ir.cpp
+++ b/source/slang/slang-lower-to-ir.cpp
@@ -6809,6 +6809,10 @@ struct DeclLoweringVisitor : DeclVisitor<DeclLoweringVisitor, LoweredValInfo>
         {
             subBuilder->addAnyValueSizeDecoration(irInterface, anyValueSizeAttr->size);
         }
+        if (auto specializeAttr = decl->findModifier<SpecializeAttribute>())
+        {
+            subBuilder->addSpecializeDecoration(irInterface);
+        }
         if (auto comInterfaceAttr = decl->findModifier<ComInterfaceAttribute>())
         {
             subBuilder->addComInterfaceDecoration(irInterface, comInterfaceAttr->guid.getUnownedSlice());