Merge pull request #69459 from slavapestov/fix-extended-existential-metadata-weak

IRGen: Weak-link references to swift_getExtendedExistentialTypeMetadata()

Author: slavapestov

include/swift/Runtime/RuntimeFunctions.def

@@ -1310,7 +1310,8 @@ FUNCTION(GetExistentialMetadata,
 // swift_getExtendedExistentialTypeShape(
 //             const NonUniqueExtendedExistentialTypeShape *nonUnique);
 FUNCTION(GetExtendedExistentialTypeShape,
-         swift_getExtendedExistentialTypeShape, C_CC, AlwaysAvailable,
+         swift_getExtendedExistentialTypeShape, C_CC,
+         ParameterizedExistentialAvailability,
          RETURNS(TypeMetadataPtrTy),
          ARGS(Int8PtrTy, Int8PtrPtrTy),
          ATTRS(NoUnwind, WillReturn),
@@ -1321,7 +1322,8 @@ FUNCTION(GetExtendedExistentialTypeShape,
 //             const NonUniqueExtendedExistentialTypeShape *shape,
 //             const void * const *generalizationArgs);
 FUNCTION(GetExtendedExistentialTypeMetadata,
-         swift_getExtendedExistentialTypeMetadata, C_CC, AlwaysAvailable,
+         swift_getExtendedExistentialTypeMetadata, C_CC,
+         ParameterizedExistentialAvailability,
          RETURNS(TypeMetadataPtrTy),
          ARGS(Int8PtrTy, Int8PtrPtrTy),
          ATTRS(NoUnwind, WillReturn),
@@ -1332,7 +1334,8 @@ FUNCTION(GetExtendedExistentialTypeMetadata,
 //             const ExtendedExistentialTypeShape *shape,
 //             const void * const *generalizationArgs);
 FUNCTION(GetExtendedExistentialTypeMetadataUnique,
-         swift_getExtendedExistentialTypeMetadata_unique, C_CC, AlwaysAvailable,
+         swift_getExtendedExistentialTypeMetadata_unique, C_CC,
+         ParameterizedExistentialAvailability,
          RETURNS(TypeMetadataPtrTy),
          ARGS(Int8PtrTy, Int8PtrPtrTy),
          ATTRS(NoUnwind, WillReturn),

lib/IRGen/IRGenModule.cpp

@@ -929,6 +929,14 @@ namespace RuntimeConstants {
     return RuntimeAvailability::ConditionallyAvailable;
   }
 
+  RuntimeAvailability ParameterizedExistentialAvailability(ASTContext &Context) {
+    auto featureAvailability = Context.getParameterizedExistentialRuntimeAvailability();
+    if (!isDeploymentAvailabilityContainedIn(Context, featureAvailability)) {
+      return RuntimeAvailability::ConditionallyAvailable;
+    }
+    return RuntimeAvailability::AlwaysAvailable;
+  }
+
 } // namespace RuntimeConstants
 
 // We don't use enough attributes to justify generalizing the

test/IRGen/extended_existential_metadata_weak.swift

@@ -0,0 +1,13 @@
+// RUN: %target-swift-frontend -emit-ir %s -target %target-swift-abi-5.5-triple | %FileCheck %s
+// REQUIRES: VENDOR=apple
+
+public protocol P<A> {
+  associatedtype A
+}
+
+public func f<T>(_: T.Type) {}
+
+@available(SwiftStdlib 5.7, *)
+public func g<T>(_: T.Type) { f((any P<T>).self) }
+
+// CHECK-LABEL: declare extern_weak ptr @swift_getExtendedExistentialTypeMetadata(ptr, ptr)