Merge pull request #58687 from aschwaighofer/cmo_dont_serialize_prespecialized_entry_points_only

CrossModuleOptimization: Don't serialize pre-specialized public entry points

Author: aschwaighofer

lib/SILOptimizer/IPO/CrossModuleOptimization.cpp

@@ -207,7 +207,9 @@ bool CrossModuleOptimization::canSerializeFunction(
   // Do the same check for the specializations of such functions.
   if (function->isSpecialization()) {
     const SILFunction *parent = function->getSpecializationInfo()->getParent();
-    if (!parent->getSpecializeAttrs().empty())
+    // Don't serialize exported (public) specializations.
+    if (!parent->getSpecializeAttrs().empty() &&
+        function->getLinkage() == SILLinkage::Public)
       return false;
   }
 

test/SILOptimizer/Inputs/cross-module/cross-module.swift

@@ -17,6 +17,7 @@ public struct Container {
     var arr = Array<Base>()
     arr.append(Base())
     print(arr)
+    dontBlockSerialization(arr)
     return t
   }
 

test/SILOptimizer/Inputs/cross-module/cross-submodule.swift

@@ -10,3 +10,9 @@ public func genericSubmoduleFunc<T>(_ t: T) {
   printit(t)
 }
 
+@_specialize(exported: true, where T == Int)
+@inlinable
+@inline(never)
+public func dontBlockSerialization<T>(_ t: T) {
+    print(t)
+}