Support initializing an existential value from a generic value. (#1503)

* Support initializing an existential value from a generic value.

* Remove trailing spaces and clean up debugging code.

1 files changed, 10 insertions, 0 deletions

diff --git a/source/slang/slang-ir.cpp b/source/slang/slang-ir.cpp
index 2a1db6310..c5943da3c 100644
--- a/source/slang/slang-ir.cpp
+++ b/source/slang/slang-ir.cpp
@@ -2790,6 +2790,16 @@ namespace Slang
         return emitIntrinsicInst(type, kIROp_MakeExistential, SLANG_COUNT_OF(args), args);
     }
 
+    IRInst* IRBuilder::emitMakeExistentialWithRTTI(
+        IRType* type,
+        IRInst* value,
+        IRInst* witnessTable,
+        IRInst* rtti)
+    {
+        IRInst* args[] = { value, witnessTable, rtti };
+        return emitIntrinsicInst(type, kIROp_MakeExistentialWithRTTI, SLANG_COUNT_OF(args), args);
+    }
+
     IRInst* IRBuilder::emitWrapExistential(
         IRType*         type,
         IRInst*         value,