Merge pull request #71676 from eeckstein/embedded-ossa-modules

embedded: enable OSSA modules in embedded swift

Author: eeckstein

lib/Frontend/CompilerInvocation.cpp

@@ -3272,6 +3272,8 @@ bool CompilerInvocation::parseArgs(
     SILOpts.SkipFunctionBodies = FunctionBodySkipping::None;
     SILOpts.CMOMode = CrossModuleOptimizationMode::Everything;
     SILOpts.EmbeddedSwift = true;
+    // OSSA modules are required for deinit de-virtualization.
+    SILOpts.EnableOSSAModules = true;
   } else {
     if (SILOpts.NoAllocations) {
       Diags.diagnose(SourceLoc(), diag::no_allocations_without_embedded);

test/embedded/value-type-deinits.swift

@@ -0,0 +1,36 @@
+// RUN: %empty-directory(%t)
+// RUN: %{python} %utils/split_file.py -o %t %s
+
+// RUN: %target-swift-frontend -emit-module -o %t/MyModule.swiftmodule %t/MyModule.swift -enable-experimental-feature Embedded -Osize -wmo -parse-as-library
+// RUN: %target-swift-frontend -emit-sil -I %t %t/Main.swift -enable-experimental-feature Embedded -parse-as-library | %FileCheck %s
+
+// REQUIRES: swift_in_compiler
+// REQUIRES: OS=macosx || OS=linux-gnu
+
+// BEGIN MyModule.swift
+
+public func createFoo(x: some FixedWidthInteger) {
+  let _ = Foo<UInt>(i: 0)
+}
+
+public struct Foo<Element> : ~Copyable {
+  public let i: Int
+
+  public init(i: Int) {
+      self.i = i
+  }
+
+  deinit { }
+}
+
+// BEGIN Main.swift
+
+import MyModule
+
+func test() {
+  createFoo(x: 1)
+}
+
+// CHECK-LABEL: sil @$s8MyModule9createFoo1xyx_ts17FixedWidthIntegerRzlFSi_Tg5 :
+// CHECK-NOT:     release
+// CHECK:       } // end sil function '$s8MyModule9createFoo1xyx_ts17FixedWidthIntegerRzlFSi_Tg5'