From d58e08f8237a1888ceaad53402d534679ea83b1a Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Fri, 18 Nov 2022 12:37:27 -0800
Subject: Data flow validation pass for diagnosing derivative loss. (#2523)

---
 source/slang/slang-ir.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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

diff --git a/source/slang/slang-ir.cpp b/source/slang/slang-ir.cpp
index 261f64130..de86a6a52 100644
--- a/source/slang/slang-ir.cpp
+++ b/source/slang/slang-ir.cpp
@@ -5848,7 +5848,10 @@ namespace Slang
             return static_cast<IRConstant*>(a)->isValueEqual(static_cast<IRConstant*>(b)) &&
                 isTypeEqual(a->getFullType(), b->getFullType());
         }
-
+        if (IRSpecialize::isaImpl(opA) || opA == kIROp_lookup_interface_method)
+        {
+            return _areTypeOperandsEqual(a, b);
+        }
         SLANG_ASSERT(!"Unhandled comparison");
 
         // We can't equate any other type..
-- 
cgit v1.2.3