Specialize witness table lookups. (#1596)

* Specialize witness table lookups.

* Remove generated files from vcxproj

* Fix call to generic interface methods.

1 files changed, 15 insertions, 0 deletions

diff --git a/source/slang/slang-ir-generics-lowering-context.cpp b/source/slang/slang-ir-generics-lowering-context.cpp
index 9c4eb7856..bef4dbb0a 100644
--- a/source/slang/slang-ir-generics-lowering-context.cpp
+++ b/source/slang/slang-ir-generics-lowering-context.cpp
@@ -219,6 +219,21 @@ namespace Slang
         }
     }
 
+    List<IRWitnessTable*> SharedGenericsLoweringContext::getWitnessTablesFromInterfaceType(IRInst* interfaceType)
+    {
+        List<IRWitnessTable*> witnessTables;
+        for (auto globalInst : module->getGlobalInsts())
+        {
+            if (globalInst->op == kIROp_WitnessTable &&
+                cast<IRWitnessTableType>(globalInst->getDataType())->getConformanceType() ==
+                    interfaceType)
+            {
+                witnessTables.add(cast<IRWitnessTable>(globalInst));
+            }
+        }
+        return witnessTables;
+    }
+
     IRIntegerValue SharedGenericsLoweringContext::getInterfaceAnyValueSize(IRInst* type, SourceLoc usageLocation)
     {
         if (auto decor = type->findDecoration<IRAnyValueSizeDecoration>())