mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
f267f62f65
Whenever we have a reference to a foreign function/variable in SIL, use a mangled name at the SIL level with the C name in the asmname attribute. The expands the use of asmname to three kinds of cases that it hadn't been used in yet: * Declarations imported from C headers/modules * @_cdecl @implementation of C headers/modules * @_cdecl functions in general Some code within the SIL pipeline makes assumptions that the C names of various runtime functions are reflected at the SIL level. For example, the linking of Embedded Swift runtime functions is done by-name, and some of those names refer to C functions (like `swift_retain`) and others refer to Swift functions that use `@_silgen_name` (like `swift_getDefaultExecutor`). Extend the serialized module format to include a table that maps from the asmname of functions/variables over to their mangled names, so we can look up functions by asmname if we want. These tables could also be used for checking for declarations that conflict on their asmname in the future. Right now, we leave it up to LLVM or the linker to do the checking. `@_silgen_name` is not affected by these changes, nor should it be: that hidden feature is specifically meant to affect the name at the SIL level. The vast majority of test changes are SIL tests where we had expected to see the C/C++/Objective-C names in the tests for references to foreign entities, and now we see Swift mangled names (ending in To). The SIL declarations themselves will have a corresponding asmname. Notably, the IRGen tests have *not* changed, because we generally the same IR as before. It's only the modeling at the SIL lever that has changed. Another part of rdar://137014448.
111 lines
7.8 KiB
Swift
111 lines
7.8 KiB
Swift
// RUN: %target-swift-emit-silgen(mock-sdk: %clang-importer-sdk) -Xllvm -sil-print-types -I %S/../IDE/Inputs/custom-modules %s | %FileCheck %s
|
|
|
|
// REQUIRES: objc_interop
|
|
|
|
import Foundation
|
|
import ImportAsMember.Class
|
|
|
|
// CHECK-LABEL: sil shared [serialized] [thunk] [ossa] @$sSo4HiveC5queenABSgSo3BeeCSg_tcfCTO : $@convention(method) (@owned Optional<Bee>, @thick Hive.Type) -> @owned Optional<Hive>
|
|
func testInstanceTypeFactoryMethod(queen: Bee) {
|
|
// CHECK: bb0([[QUEEN:%[0-9]+]] : @owned $Optional<Bee>, [[HIVE_META:%[0-9]+]] : $@thick Hive.Type):
|
|
// CHECK-NEXT: [[HIVE_META_OBJC:%[0-9]+]] = thick_to_objc_metatype [[HIVE_META]] : $@thick Hive.Type to $@objc_metatype Hive.Type
|
|
// CHECK-NEXT: [[FACTORY:%[0-9]+]] = objc_method [[HIVE_META_OBJC]] : $@objc_metatype Hive.Type, #Hive.init!allocator.foreign : (Hive.Type) -> (Bee?) -> Hive?, $@convention(objc_method) (Optional<Bee>, @objc_metatype Hive.Type) -> @autoreleased Optional<Hive>
|
|
// CHECK-NEXT: [[HIVE:%[0-9]+]] = apply [[FACTORY]]([[QUEEN]], [[HIVE_META_OBJC]]) : $@convention(objc_method) (Optional<Bee>, @objc_metatype Hive.Type) -> @autoreleased Optional<Hive>
|
|
// CHECK-NEXT: destroy_value [[QUEEN]]
|
|
// CHECK-NEXT: return [[HIVE]] : $Optional<Hive>
|
|
var hive1 = Hive(queen: queen)
|
|
}
|
|
|
|
extension Hive {
|
|
// FIXME: This whole approach is wrong. This should be a factory initializer,
|
|
// not a convenience initializer, which means it does not have an initializing
|
|
// entry point at all.
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$sSo4HiveC17objc_factory_initE10otherQueenABSo3BeeC_tcfC
|
|
// CHECK: bb0([[QUEEN:%.*]] : @owned $Bee, [[META:%.*]] : $@thick Hive.Type):
|
|
// CHECK: [[SELF_BOX:%.*]] = alloc_box ${ var Hive }, let, name "self"
|
|
// CHECK: [[MU:%.*]] = mark_uninitialized [delegatingself] [[SELF_BOX]]
|
|
// CHECK: [[LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MU]]
|
|
// CHECK: [[PB_BOX:%.*]] = project_box [[LIFETIME]] : ${ var Hive }, 0
|
|
// CHECK: [[OBJC_META:%[0-9]+]] = thick_to_objc_metatype [[META]] : $@thick Hive.Type to $@objc_metatype Hive.Type
|
|
// CHECK: [[BORROWED_QUEEN:%.*]] = begin_borrow [[QUEEN]]
|
|
// CHECK: [[COPIED_BORROWED_QUEEN:%.*]] = copy_value [[BORROWED_QUEEN]]
|
|
// CHECK: [[OPT_COPIED_BORROWED_QUEEN:%.*]] = enum $Optional<Bee>, #Optional.some!enumelt, [[COPIED_BORROWED_QUEEN]]
|
|
// CHECK: [[FACTORY:%[0-9]+]] = objc_method [[OBJC_META]] : $@objc_metatype Hive.Type, #Hive.init!allocator.foreign : (Hive.Type) -> (Bee?) -> Hive?, $@convention(objc_method) (Optional<Bee>, @objc_metatype Hive.Type) -> @autoreleased Optional<Hive>
|
|
// CHECK: [[NEW_HIVE:%.*]] = apply [[FACTORY]]([[OPT_COPIED_BORROWED_QUEEN]], [[OBJC_META]]) : $@convention(objc_method) (Optional<Bee>, @objc_metatype Hive.Type) -> @autoreleased Optional<Hive>
|
|
// CHECK: destroy_value [[OPT_COPIED_BORROWED_QUEEN]]
|
|
// CHECK: switch_enum [[NEW_HIVE]] : $Optional<Hive>, case #Optional.some!enumelt: [[SOME_BB:bb[0-9]+]]
|
|
//
|
|
// CHECK: [[SOME_BB]]([[NEW_HIVE:%.*]] : @owned $Hive):
|
|
// CHECK: assign [[NEW_HIVE]] to [[PB_BOX]]
|
|
// CHECK: } // end sil function '$sSo4HiveC17objc_factory_initE10otherQueenABSo3BeeC_tcfC'
|
|
convenience init(otherQueen other: Bee) {
|
|
self.init(queen: other)
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$sSo4HiveC17objc_factory_initE15otherFlakyQueenABSo3BeeC_tKcfC
|
|
// CHECK: bb0([[QUEEN:%.*]] : @owned $Bee, [[META:%.*]] : $@thick Hive.Type):
|
|
// CHECK: [[SELF_BOX:%.*]] = alloc_box ${ var Hive }, let, name "self"
|
|
// CHECK-NEXT: [[MU:%.*]] = mark_uninitialized [delegatingself] [[SELF_BOX]]
|
|
// CHECK-NEXT: [[LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MU]]
|
|
// CHECK-NEXT: [[PB_BOX:%.*]] = project_box [[LIFETIME]] : ${ var Hive }, 0
|
|
// CHECK: [[FOREIGN_ERROR_STACK:%.*]] = alloc_stack [dynamic_lifetime] $Optional<NSError>
|
|
// CHECK: [[OBJC_META:%[0-9]+]] = thick_to_objc_metatype [[META]] : $@thick Hive.Type to $@objc_metatype Hive.Type
|
|
// CHECK: [[BORROWED_QUEEN:%.*]] = begin_borrow [[QUEEN]]
|
|
// CHECK: [[COPIED_BORROWED_QUEEN:%.*]] = copy_value [[BORROWED_QUEEN]]
|
|
// CHECK: [[OPT_COPIED_BORROWED_QUEEN:%.*]] = enum $Optional<Bee>, #Optional.some!enumelt, [[COPIED_BORROWED_QUEEN]]
|
|
// CHECK: [[FACTORY:%[0-9]+]] = objc_method [[OBJC_META]] : $@objc_metatype Hive.Type, #Hive.init!allocator.foreign : (Hive.Type) -> (Bee?) throws -> Hive, $@convention(objc_method) (Optional<Bee>, Optional<AutoreleasingUnsafeMutablePointer<Optional<NSError>>>, @objc_metatype Hive.Type) -> @autoreleased Optional<Hive>
|
|
// CHECK: [[ERROR_PTR_STACK:%.*]] = alloc_stack $AutoreleasingUnsafeMutablePointer<Optional<NSError>>
|
|
// CHECK: [[ERROR_PTR:%.*]] = load [trivial] [[ERROR_PTR_STACK]]
|
|
// CHECK: [[OPT_ERROR_PTR:%.*]] = enum $Optional<AutoreleasingUnsafeMutablePointer<Optional<NSError>>>, #Optional.some!enumelt, [[ERROR_PTR]]
|
|
// CHECK: [[OPT_NEW_HIVE:%.*]] = apply [[FACTORY]]([[OPT_COPIED_BORROWED_QUEEN]], [[OPT_ERROR_PTR]], [[OBJC_META]]) : $@convention(objc_method) (Optional<Bee>, Optional<AutoreleasingUnsafeMutablePointer<Optional<NSError>>>, @objc_metatype Hive.Type) -> @autoreleased Optional<Hive>
|
|
// CHECK: switch_enum [[OPT_NEW_HIVE]] : $Optional<Hive>, case #Optional.some!enumelt: [[NORMAL_BB:bb[0-9]+]], case #Optional.none!enumelt: [[ERROR_BB:bb[0-9]+]]
|
|
//
|
|
// CHECK: bb1([[HIVE:%.*]] : @owned $Hive):
|
|
// CHECK: assign [[HIVE]] to [[PB_BOX]]
|
|
// CHECK: dealloc_stack [[FOREIGN_ERROR_STACK]]
|
|
// CHECK: [[HIVE_COPY:%.*]] = load [copy] [[PB_BOX]]
|
|
// CHECK: return [[HIVE_COPY]]
|
|
// CHECK: bb2:
|
|
// CHECK: [[OPTIONAL_NSERROR:%.*]] = load [take] [[FOREIGN_ERROR_STACK]] : $*Optional<NSError>
|
|
// CHECK: [[CONVERT_NSERROR_TO_ERROR_FUNC:%.*]] = function_ref @$s10Foundation22_convertNSErrorToErrorys0E0_pSo0C0CSgF : $@convention(thin) (@guaranteed Optional<NSError>) -> @owned any Error
|
|
// CHECK: [[ERROR:%.*]] = apply [[CONVERT_NSERROR_TO_ERROR_FUNC]]([[OPTIONAL_NSERROR]]) : $@convention(thin) (@guaranteed Optional<NSError>) -> @owned any Error
|
|
// CHECK: "willThrow"([[ERROR]] : $any Error)
|
|
// CHECK: dealloc_stack [[FOREIGN_ERROR_STACK]]
|
|
// CHECK: throw [[ERROR]] : $any Error
|
|
// CHECK: } // end sil function '$sSo4HiveC17objc_factory_initE15otherFlakyQueenABSo3BeeC_tKcfC'
|
|
convenience init(otherFlakyQueen other: Bee) throws {
|
|
try self.init(flakyQueen: other)
|
|
}
|
|
}
|
|
|
|
extension SomeClass {
|
|
// CHECK-LABEL: sil hidden [ossa] @$sSo12IAMSomeClassC17objc_factory_initE6doubleABSd_tcfC
|
|
// CHECK: bb0([[DOUBLE:%.*]] : $Double,
|
|
// CHECK-NOT: value_metatype
|
|
// CHECK: [[FNREF:%[0-9]+]] = function_ref @$sSo12IAMSomeClassC5valueABSd_tcfCTo : $@convention(c) (Double) -> @autoreleased SomeClass
|
|
// CHECK: apply [[FNREF]]([[DOUBLE]])
|
|
convenience init(double: Double) {
|
|
self.init(value: double)
|
|
}
|
|
}
|
|
|
|
class SubHive : Hive {
|
|
// CHECK-LABEL: sil hidden [ossa] @$s17objc_factory_init7SubHiveC20delegatesToInheritedACyt_tcfC
|
|
// CHECK: bb0([[METATYPE:%.*]] : $@thick SubHive.Type):
|
|
// CHECK: [[SELF_BOX:%.*]] = alloc_box ${ var SubHive }, let, name "self"
|
|
// CHECK: [[MU:%.*]] = mark_uninitialized [delegatingself] [[SELF_BOX]] : ${ var SubHive }
|
|
// CHECK: [[LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MU]]
|
|
// CHECK: [[PB_BOX:%.*]] = project_box [[LIFETIME]] : ${ var SubHive }, 0
|
|
// CHECK: [[UP_METATYPE:%.*]] = upcast [[METATYPE]]
|
|
// CHECK: [[OBJC_METATYPE:%.*]] = thick_to_objc_metatype [[UP_METATYPE]]
|
|
// CHECK: [[QUEEN:%.*]] = unchecked_ref_cast {{.*}} : $Bee to $Optional<Bee>
|
|
// CHECK: [[HIVE_INIT_FN:%.*]] = objc_method [[OBJC_METATYPE]] : $@objc_metatype Hive.Type, #Hive.init!allocator.foreign
|
|
// CHECK: apply [[HIVE_INIT_FN]]([[QUEEN]], [[OBJC_METATYPE]]) : $@convention(objc_method) (Optional<Bee>, @objc_metatype Hive.Type) -> @autoreleased Optional<Hive>
|
|
// CHECK: destroy_value [[QUEEN]]
|
|
// CHECK: } // end sil function '$s17objc_factory_init7SubHiveC20delegatesToInheritedACyt_tcfC'
|
|
convenience init(delegatesToInherited: ()) {
|
|
self.init(queen: Bee())
|
|
}
|
|
}
|