Merge pull request #25751 from aschwaighofer/irgen_resilient_non_resilient_same_module

IRGen: Public non-resilient types that reference resilient types from the same module must view those types as non-fixed

Author: aschwaighofer

lib/IRGen/GenEnum.cpp

@@ -5799,6 +5799,9 @@ EnumImplStrategy::get(TypeConverter &TC, SILType type, EnumDecl *theEnum) {
   std::vector<Element> elementsWithPayload;
   std::vector<Element> elementsWithNoPayload;
 
+  if (TC.IGM.isResilient(theEnum, ResilienceExpansion::Minimal))
+    alwaysFixedSize = IsNotFixedSize;
+
   // Resilient enums are manipulated as opaque values, except we still
   // make the following assumptions:
   // 1) The indirect-ness of cases won't change

test/multifile/Inputs/resilient-module-2.swift

@@ -0,0 +1,10 @@
+public enum ResilientType {
+  case a(Int64)
+  case b(Int64)
+}
+
+@frozen
+public enum SomeEnum {
+  case first(ResilientType)
+  case second(ResilientType)
+}

test/multifile/resilient-module.swift

@@ -0,0 +1,20 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-build-swift-dylib(%t/%target-library-name(A)) -enable-library-evolution -module-name A -emit-module -emit-module-path %t/A.swiftmodule %S/Inputs/resilient-module-2.swift
+// RUN: %target-swift-frontend -enable-library-evolution -module-name A %S/Inputs/resilient-module-2.swift -emit-ir | %FileCheck --check-prefix=METADATA %s
+// RUN: %target-build-swift -I%t -L%t -lA -o %t/main %target-rpath(%t) %s
+// RUN: %target-build-swift -I%t -L%t -lA -o %t/main %target-rpath(%t) %s
+// RUN: %target-codesign %t/main %t/%target-library-name(A)
+// RUN: %target-run %t/main %t/%target-library-name(A) | %FileCheck %s
+
+
+// METADATA: @"$s1A8SomeEnumOMn" = {{.*}}constant <{ i32, i32, i32, i32, i32, i32, i32 }> <{{{.*}} i32 33554434, i32 0 }>
+
+import A
+
+func runTest() {
+  let e = SomeEnum.first(ResilientType.a(Int64(10)))
+  // CHECK: first(A.ResilientType.a(10))
+  print(e)
+}
+
+runTest()