Properly implement differential witness of intermediate context type. (#2699)

* Properly implement differential witness of intermediate context type.

* Modify test to include a loop.

---------

Co-authored-by: Yong He <yhe@nvidia.com>

1 files changed, 0 insertions, 13 deletions

diff --git a/source/slang/slang-ir-peephole.cpp b/source/slang/slang-ir-peephole.cpp
index a5ec50b2c..5d5a41726 100644
--- a/source/slang/slang-ir-peephole.cpp
+++ b/source/slang/slang-ir-peephole.cpp
@@ -633,19 +633,6 @@ struct PeepholeContext : InstPassBase
                 }
             }
             break;
-        case kIROp_StructuralAdd:
-        {
-            IRBuilder builder(module);
-            builder.setInsertBefore(inst);
-            // See if we can replace the generic add inst with concrete values.
-            if (auto newCtor = builder.emitStructuralAdd(inst->getOperand(0), inst->getOperand(1), false))
-            {
-                inst->replaceUsesWith(newCtor);
-                maybeRemoveOldInst(inst);
-                changed = true;
-            }
-        }
-        break;
         case kIROp_Add:
         case kIROp_Mul:
         case kIROp_Sub: