From bf67309454032b4f92d0bc9735b608e56b16882f Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Tue, 8 Nov 2022 10:07:57 -0800
Subject: Make `__BuiltinFloatingPointType` conform to `IDifferentiable`.
 (#2499)

---
 source/slang/slang-ir-peephole.cpp | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

(limited to 'source/slang/slang-ir-peephole.cpp')

diff --git a/source/slang/slang-ir-peephole.cpp b/source/slang/slang-ir-peephole.cpp
index 32950edc9..788110330 100644
--- a/source/slang/slang-ir-peephole.cpp
+++ b/source/slang/slang-ir-peephole.cpp
@@ -197,6 +197,29 @@ struct PeepholeContext : InstPassBase
                 }
             }
             break;
+        case kIROp_lookup_interface_method:
+            {
+                if (inst->getOperand(0)->getOp() == kIROp_WitnessTable)
+                {
+                    auto wt = as<IRWitnessTable>(inst->getOperand(0));
+                    auto key = inst->getOperand(1);
+                    for (auto item : wt->getChildren())
+                    {
+                        if (auto entry = as<IRWitnessTableEntry>(item))
+                        {
+                            if (entry->getRequirementKey() == key)
+                            {
+                                auto value = entry->getSatisfyingVal();
+                                inst->replaceUsesWith(value);
+                                inst->removeAndDeallocate();
+                                changed = true;
+                                break;
+                            }
+                        }
+                    }
+                }
+            }
+            break;
         default:
             break;
         }
-- 
cgit v1.2.3