From 936c22a9a938744eb43c310dd82c9c6944f79e87 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Tue, 10 Sep 2024 08:13:21 -0700
Subject: Specialize existential return types when possible. (#5044)

* Fix inccorect dropping of declref during Unification of DeclaredSubtypeWitness.

* Add extension test.

* Specialize existential return types when possible.

* Fix.

* Fix.

* Fix falcor issue.
---
 source/slang/slang-emit.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'source/slang/slang-emit.cpp')

diff --git a/source/slang/slang-emit.cpp b/source/slang/slang-emit.cpp
index 2ccf075f3..cdd2ca5b6 100644
--- a/source/slang/slang-emit.cpp
+++ b/source/slang/slang-emit.cpp
@@ -841,6 +841,10 @@ Result linkAndOptimizeIR(
     {
         simplifyIR(targetProgram, irModule, fastIRSimplificationOptions, sink);
     }
+    else if (requiredLoweringPassSet.generics)
+    {
+        eliminateDeadCode(irModule, fastIRSimplificationOptions.deadCodeElimOptions);
+    }
 
     if (!ArtifactDescUtil::isCpuLikeTarget(artifactDesc) &&
         targetProgram->getOptionSet().shouldRunNonEssentialValidation())
-- 
cgit v1.2.3