MandatoryPerformanceOptimizations: specialize witness tables for general existentials

eeckstein · eeckstein · commit 94d783976fbe · 2025-11-11T10:23:09.000+01:00
diff --git a/SwiftCompilerSources/Sources/Optimizer/ModulePasses/MandatoryPerformanceOptimizations.swift b/SwiftCompilerSources/Sources/Optimizer/ModulePasses/MandatoryPerformanceOptimizations.swift
@@ -143,6 +143,14 @@ private func optimize(function: Function, _ context: FunctionPassContext, _ modu
           }
         }
 
+      case let initExAddr as InitExistentialAddrInst:
+        if context.options.enableEmbeddedSwift {
+          for c in initExAddr.conformances where c.isConcrete {
+            specializeWitnessTable(for: c, moduleContext)
+            worklist.addWitnessMethods(of: c, moduleContext)
+          }
+        }
+
       case let bi as BuiltinInst:
         switch bi.id {
         case .BuildOrdinaryTaskExecutorRef,

Original file line number	Diff line number	Diff line change
`@@ -143,6 +143,14 @@ private func optimize(function: Function, _ context: FunctionPassContext, _ modu`
`143`	`143`	`}`
`144`	`144`	`}`
`145`	`145`
	`146`	`+ case let initExAddr as InitExistentialAddrInst:`
	`147`	`+ if context.options.enableEmbeddedSwift {`
	`148`	`+ for c in initExAddr.conformances where c.isConcrete {`
	`149`	`+ specializeWitnessTable(for: c, moduleContext)`
	`150`	`+ worklist.addWitnessMethods(of: c, moduleContext)`
	`151`	`+ }`
	`152`	`+ }`
	`153`	`+`
`146`	`154`	`case let bi as BuiltinInst:`
`147`	`155`	`switch bi.id {`
`148`	`156`	`case .BuildOrdinaryTaskExecutorRef,`