mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
22eb7e62d9
Key paths can't reference non-escapable or non-copyable storage declarations, so we don't need to refer to them resiliently, and can elide their property descriptors. However, declarations may still be conditionally Copyable and Escapable, and if so, then they still need a property descriptor for resilient key path references. When a property or subscript can be used in a context where it is fully Copyable and Escapable, emit the property descriptor in a generic environment constrained by the necessary conditional constraints. Fixes rdar://151628396.
181 lines
9.4 KiB
Swift
181 lines
9.4 KiB
Swift
// RUN: %target-swift-emit-silgen -enable-library-evolution %s | %FileCheck %s
|
|
|
|
public struct ConditionallyCopyable<T: ~Copyable>: ~Copyable {
|
|
}
|
|
|
|
extension ConditionallyCopyable: Copyable where T: Copyable {}
|
|
|
|
public struct NeverCopyable: ~Copyable {}
|
|
|
|
public struct Index<U: ~Copyable>: Hashable { }
|
|
|
|
extension ConditionallyCopyable where T: ~Copyable {
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.sometimesCopyableBase_sometimesCopyableValue
|
|
// CHECK-SAME: getter @{{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0> (@in_guaranteed ConditionallyCopyable<τ_0_0>) -> @out τ_0_0
|
|
// CHECK-SAME: setter @{{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0> (@in_guaranteed τ_0_0, @inout ConditionallyCopyable<τ_0_0>) -> ()
|
|
public private(set) var sometimesCopyableBase_sometimesCopyableValue: T {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.sometimesCopyableBase_alwaysCopyableValue
|
|
// CHECK-SAME: getter @{{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0> (@in_guaranteed ConditionallyCopyable<τ_0_0>) -> @out Int
|
|
// CHECK-SAME: setter @{{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0> (@in_guaranteed Int, @inout ConditionallyCopyable<τ_0_0>) -> ()
|
|
public private(set) var sometimesCopyableBase_alwaysCopyableValue: Int {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-NOT: sil_property #ConditionallyCopyable.neverCopyableBase_alwaysCopyableValue
|
|
public private(set) var sometimesCopyableBase_neverCopyableValue: NeverCopyable {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.subscript{{.*}}, id @$s45conditionally_copyable_conformance_descriptor21ConditionallyCopyableVAARi_zrlE09sometimesf5Base_gF10IndexValueqd__AA0I0Vyqd__G_tcRi_d__luir
|
|
// CHECK-SAME: getter @{{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0><τ_1_0> (@in_guaranteed ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> @out τ_1_0
|
|
// CHECK-SAME: setter @{{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0><τ_1_0> (@in_guaranteed τ_1_0, @inout ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> ()
|
|
public private(set) subscript<U: ~Copyable>(
|
|
sometimesCopyableBase_sometimesCopyableIndexValue _: Index<U>
|
|
) -> U {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.subscript{{.*}}, id @$s45conditionally_copyable_conformance_descriptor21ConditionallyCopyableVAARi_zrlE09sometimesf5Base_gF5ValuexAA5IndexVyqd__G_tcRi_d__luir
|
|
// CHECK-SAME: getter @{{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0><τ_1_0 where τ_1_0 : ~Copyable> (@in_guaranteed ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> @out τ_0_0
|
|
// CHECK-SAME: setter @{{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0><τ_1_0 where τ_1_0 : ~Copyable> (@in_guaranteed τ_0_0, @inout ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> ()
|
|
public private(set) subscript<U: ~Copyable>(
|
|
sometimesCopyableBase_sometimesCopyableValue _: Index<U>
|
|
) -> T {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.subscript{{.*}}, id @$s45conditionally_copyable_conformance_descriptor21ConditionallyCopyableVAARi_zrlE09sometimesf11Base_alwaysF5ValueSiAA5IndexVyqd__G_tcRi_d__luig
|
|
// CHECK-SAME: getter @{{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0><τ_1_0 where τ_1_0 : ~Copyable> (@in_guaranteed ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> @out Int
|
|
// CHECK-SAME: setter @{{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0><τ_1_0 where τ_1_0 : ~Copyable> (@in_guaranteed Int, @inout ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> ()
|
|
public private(set) subscript<U: ~Copyable>(
|
|
sometimesCopyableBase_alwaysCopyableValue _: Index<U>
|
|
) -> Int {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-NOT: sil_property #ConditionallyCopyable.subscript{{.*}}never
|
|
public private(set) subscript<U: ~Copyable>(
|
|
sometimesCopyableBase_neverCopyableValue _: Index<U>
|
|
) -> NeverCopyable {
|
|
get { }
|
|
set { }
|
|
}
|
|
}
|
|
|
|
extension ConditionallyCopyable where T == NeverCopyable, T: ~Copyable {
|
|
// CHECK-NOT: sil_property #ConditionallyCopyable.neverCopyableBase_sometimesCopyableValue
|
|
public private(set) var neverCopyableBase_sometimesCopyableValue: T {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-NOT: sil_property #ConditionallyCopyable.neverCopyableBase_alwaysCopyableValue
|
|
public private(set) var neverCopyableBase_alwaysCopyableValue: Int {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-NOT: sil_property #ConditionallyCopyable.neverCopyableBase_neverCopyableValue
|
|
public private(set) var neverCopyableBase_neverCopyableValue: NeverCopyable {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-NOT: sil_property #ConditionallyCopyable.subscript{{.*}}never
|
|
public private(set) subscript<U: ~Copyable>(
|
|
neverCopyableBase_sometimesCopyableIndexValue _: Index<U>
|
|
) -> U {
|
|
get { }
|
|
set { }
|
|
}
|
|
public private(set) subscript<U: ~Copyable>(
|
|
neverCopyableBase_sometimesCopyableValue _: Index<U>
|
|
) -> T {
|
|
get { }
|
|
set { }
|
|
}
|
|
public private(set) subscript<U: ~Copyable>(
|
|
neverCopyableBase_alwaysCopyableValue _: Index<U>
|
|
) -> Int {
|
|
get { }
|
|
set { }
|
|
}
|
|
public private(set) subscript<U: ~Copyable>(
|
|
neverCopyableBase_neverCopyableValue _: Index<U>
|
|
) -> NeverCopyable {
|
|
get { }
|
|
set { }
|
|
}
|
|
}
|
|
|
|
extension ConditionallyCopyable where T: Copyable {
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.alwaysCopyableBase_sometimesCopyableValue
|
|
// CHECK-SAME: getter {{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0> (@in_guaranteed ConditionallyCopyable<τ_0_0>) -> @out τ_0_0
|
|
// CHECK-SAME: setter {{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0> (@in_guaranteed τ_0_0, @inout ConditionallyCopyable<τ_0_0>) -> ()
|
|
public private(set) var alwaysCopyableBase_sometimesCopyableValue: T {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.alwaysCopyableBase_alwaysCopyableValue
|
|
// CHECK-SAME: getter {{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0> (@in_guaranteed ConditionallyCopyable<τ_0_0>) -> @out Int
|
|
// CHECK-SAME: setter {{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0> (@in_guaranteed Int, @inout ConditionallyCopyable<τ_0_0>) -> ()
|
|
public private(set) var alwaysCopyableBase_alwaysCopyableValue: Int {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-NOT: sil_property alwaysCopyableBase_neverCopyableValue
|
|
public private(set) var alwaysCopyableBase_neverCopyableValue: NeverCopyable {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.subscript{{.*}}, id @$s45conditionally_copyable_conformance_descriptor21ConditionallyCopyableV06alwaysf14Base_sometimesF10IndexValueqd__AA0J0Vyqd__G_tcRi_d__luir
|
|
// CHECK-SAME: getter {{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0><τ_1_0> (@in_guaranteed ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> @out τ_1_0
|
|
// CHECK-SAME: setter {{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0><τ_1_0> (@in_guaranteed τ_1_0, @inout ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> ())
|
|
public private(set) subscript<U: ~Copyable>(
|
|
alwaysCopyableBase_sometimesCopyableIndexValue _: Index<U>
|
|
) -> U {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.subscript{{.*}}, id @$s45conditionally_copyable_conformance_descriptor21ConditionallyCopyableV06alwaysf14Base_sometimesF5ValuexAA5IndexVyqd__G_tcRi_d__luig
|
|
// CHECK-SAME: getter {{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0><τ_1_0 where τ_1_0 : ~Copyable> (@in_guaranteed ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> @out τ_0_0
|
|
// CHECK-SAME: setter {{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0><τ_1_0 where τ_1_0 : ~Copyable> (@in_guaranteed τ_0_0, @inout ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> ()
|
|
public private(set) subscript<U: ~Copyable>(
|
|
alwaysCopyableBase_sometimesCopyableValue _: Index<U>
|
|
) -> T {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil_property #ConditionallyCopyable.subscript{{.*}}, id @$s45conditionally_copyable_conformance_descriptor21ConditionallyCopyableV06alwaysf5Base_gF5ValueSiAA5IndexVyqd__G_tcRi_d__luig
|
|
// CHECK-SAME: getter {{[^ ]*}} : $@convention(keypath_accessor_getter) <τ_0_0><τ_1_0 where τ_1_0 : ~Copyable> (@in_guaranteed ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> @out Int
|
|
// CHECK-SAME: setter {{[^ ]*}} : $@convention(keypath_accessor_setter) <τ_0_0><τ_1_0 where τ_1_0 : ~Copyable> (@in_guaranteed Int, @inout ConditionallyCopyable<τ_0_0>, @in_guaranteed Index<τ_1_0>) -> ()
|
|
public private(set) subscript<U: ~Copyable>(
|
|
alwaysCopyableBase_alwaysCopyableValue _: Index<U>
|
|
) -> Int {
|
|
get { }
|
|
set { }
|
|
}
|
|
|
|
// CHECK-NOT: sil_property #ConditionallyCopyable.subscript{{.*}}never
|
|
public private(set) subscript<U: ~Copyable>(
|
|
alwaysCopyableBase_neverCopyableValue _: Index<U>
|
|
) -> NeverCopyable {
|
|
get { }
|
|
set { }
|
|
}
|
|
}
|