averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[transferring] Add mangling support for transferring.

Browse Source 
This includes runtime support for instantiating transferring param/result in
function types. This is especially important since that is how we instantiate
function types like: typealias Fn = (transferring X) -> ().

rdar://123118061
This commit is contained in:
Michael Gottesman
2024-02-16 13:54:56 -08:00
parent d35dcc8f9c
commit f4efcec55c
18 changed files with 302 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

58
test/Runtime/demangleToMetadataTransferring.swift Normal file
View File

@@ -0,0 +1,58 @@
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -enable-experimental-feature TransferringArgsAndResults -enable-experimental-feature RegionBasedIsolation -strict-concurrency=complete -Xfrontend -disable-availability-checking -parse-stdlib %s -module-name main -o %t/a.out
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out
// REQUIRES: executable_test
// REQUIRES: concurrency
// REQUIRES: asserts
// UNSUPPORTED: use_os_stdlib
// UNSUPPORTED: back_deployment_runtime
import Swift
import StdlibUnittest
import _Concurrency
// TODO: Once transferring is enabled by default, move these into
// demangleToMetadata.swift.
class Klass {}
let DemangleToMetadataTests = TestSuite("DemangleToMetadata")
if #available(SwiftStdlib 5.11, *) {
DemangleToMetadataTests.test("transferring parameter") {
typealias Fn = (transferring Klass) -> Void
expectEqual("y4main5KlassCnYuc", _mangledTypeName(Fn.self)!)
expectEqual(Fn.self, _typeByName("y4main5KlassCnYuc")!)
typealias Fn2 = (transferring Klass, transferring Klass) -> Void
expectEqual("y4main5KlassCnYu_ACnYutc", _mangledTypeName(Fn2.self)!)
expectEqual(Fn2.self, _typeByName("y4main5KlassCnYu_ACnYutc")!)
typealias Fn3 = (transferring (Klass, Klass)) -> Void
expectEqual("y4main5KlassC_ACtnYuc", _mangledTypeName(Fn3.self)!)
expectEqual(Fn3.self, _typeByName("y4main5KlassC_ACtnYuc")!)
}
DemangleToMetadataTests.test("transferring result") {
typealias Fn = (Klass) -> transferring Klass
expectEqual("4main5KlassCACYTc", _mangledTypeName(Fn.self)!)
expectEqual(Fn.self, _typeByName("4main5KlassCACYTc")!)
typealias Fn2 = (transferring Klass, transferring Klass) -> transferring Klass
expectEqual("4main5KlassCACnYu_ACnYutYTc", _mangledTypeName(Fn2.self)!)
expectEqual(Fn2.self, _typeByName("4main5KlassCACnYu_ACnYutYTc")!)
typealias Fn3 = (transferring (Klass, Klass)) -> transferring (Klass, Klass)
expectEqual("4main5KlassC_ACtAC_ACtnYuYTc", _mangledTypeName(Fn3.self)!)
expectEqual(Fn3.self, _typeByName("4main5KlassC_ACtAC_ACtnYuYTc")!)
typealias Fn4 = () -> transferring Klass
expectEqual("4main5KlassCyYTc", _mangledTypeName(Fn4.self)!)
expectEqual(Fn4.self, _typeByName("4main5KlassCyYTc")!)
}
}
runAllTests()