mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
a9f0cc0ae7
This simplifies the code generation path for existential methods by allowing it to shared more code with the generic case, (It'll be even simpler when Sema opens the existentials for SILGen...) turning protocol_method lookups into open_existential + witness_method sequences. In this patch, we handle normal generic method lookups, but property accesses still go through protocol_method. Swift SVN r22437
105 lines
4.0 KiB
Swift
105 lines
4.0 KiB
Swift
// RUN: %swift -parse-stdlib -parse-as-library -emit-silgen %s | FileCheck %s
|
|
|
|
// -- Class-bound archetypes and existentials are *not* address-only and can
|
|
// be manipulated using normal reference type value semantics.
|
|
|
|
protocol NotClassBound {
|
|
func notClassBoundMethod()
|
|
}
|
|
protocol ClassBound : class {
|
|
func classBoundMethod()
|
|
}
|
|
|
|
protocol ClassBound2 : class {
|
|
func classBound2Method()
|
|
}
|
|
|
|
class ConcreteClass : NotClassBound, ClassBound, ClassBound2 {
|
|
func notClassBoundMethod() {}
|
|
func classBoundMethod() {}
|
|
func classBound2Method() {}
|
|
}
|
|
|
|
class ConcreteSubclass : ConcreteClass { }
|
|
|
|
// CHECK-LABEL: sil hidden @_TF21class_bound_protocols19class_bound_generic
|
|
func class_bound_generic<T : ClassBound>(var x: T) -> T {
|
|
// CHECK: bb0([[X:%.*]] : $T):
|
|
// CHECK: [[X_ADDR:%.*]] = alloc_box $T
|
|
// CHECK: store [[X]] to [[X_ADDR]]
|
|
return x
|
|
// CHECK: [[X1:%.*]] = load [[X_ADDR]]
|
|
// CHECK: retain [[X1]]
|
|
// CHECK: return [[X1]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @_TF21class_bound_protocols21class_bound_generic_2
|
|
func class_bound_generic_2<T : protocol<ClassBound, NotClassBound>>(var x: T) -> T {
|
|
// CHECK: bb0([[X:%.*]] : $T):
|
|
// CHECK: [[X_ADDR:%.*]] = alloc_box $T
|
|
// CHECK: store [[X]] to [[X_ADDR]]
|
|
return x
|
|
// CHECK: [[X1:%.*]] = load [[X_ADDR]]
|
|
// CHECK: retain [[X1]]
|
|
// CHECK: return [[X1]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @_TF21class_bound_protocols20class_bound_protocol
|
|
func class_bound_protocol(var x: ClassBound) -> ClassBound {
|
|
// CHECK: bb0([[X:%.*]] : $ClassBound):
|
|
// CHECK: [[X_ADDR:%.*]] = alloc_box $ClassBound
|
|
// CHECK: store [[X]] to [[X_ADDR]]
|
|
return x
|
|
// CHECK: [[X1:%.*]] = load [[X_ADDR]]
|
|
// CHECK: retain [[X1]]
|
|
// CHECK: return [[X1]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @_TF21class_bound_protocols32class_bound_protocol_composition
|
|
func class_bound_protocol_composition(var x: protocol<ClassBound, NotClassBound>)
|
|
-> protocol<ClassBound, NotClassBound> {
|
|
// CHECK: bb0([[X:%.*]] : $protocol<ClassBound, NotClassBound>):
|
|
// CHECK: [[X_ADDR:%.*]] = alloc_box $protocol<ClassBound, NotClassBound>
|
|
// CHECK: store [[X]] to [[X_ADDR]]
|
|
return x
|
|
// CHECK: [[X1:%.*]] = load [[X_ADDR]]
|
|
// CHECK: retain [[X1]]
|
|
// CHECK: return [[X1]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @_TF21class_bound_protocols19class_bound_erasure
|
|
func class_bound_erasure(x: ConcreteClass) -> ClassBound {
|
|
return x
|
|
// CHECK: [[PROTO:%.*]] = init_existential_ref {{%.*}} : $ConcreteClass, $ClassBound
|
|
// CHECK: return [[PROTO]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @_TF21class_bound_protocols30class_bound_existential_upcast
|
|
func class_bound_existential_upcast(x: protocol<ClassBound,ClassBound2>)
|
|
-> ClassBound {
|
|
return x
|
|
// CHECK: [[OPENED:%.*]] = open_existential_ref {{%.*}} : $protocol<ClassBound, ClassBound2> to [[OPENED_TYPE:\$@opened(.*) protocol<ClassBound, ClassBound2>]]
|
|
// CHECK: [[PROTO:%.*]] = init_existential_ref [[OPENED]] : [[OPENED_TYPE]] : [[OPENED_TYPE]], $ClassBound
|
|
// CHECK: return [[PROTO]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @_TF21class_bound_protocols41class_bound_to_unbound_existential_upcast
|
|
func class_bound_to_unbound_existential_upcast
|
|
(var x:protocol<ClassBound,NotClassBound>) -> NotClassBound {
|
|
return x
|
|
// CHECK: [[X:%.*]] = load {{%.*}} : $*protocol<ClassBound, NotClassBound>
|
|
// CHECK: [[X_OPENED:%.*]] = open_existential_ref [[X]] : $protocol<ClassBound, NotClassBound> to [[OPENED_TYPE:\$@opened(.*) protocol<ClassBound, NotClassBound>]]
|
|
// CHECK: [[PAYLOAD_ADDR:%.*]] = init_existential %0 : $*NotClassBound, [[OPENED_TYPE]]
|
|
// CHECK: store [[X_OPENED]] to [[PAYLOAD_ADDR]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @_TF21class_bound_protocols18class_bound_method
|
|
func class_bound_method(var x: ClassBound) {
|
|
x.classBoundMethod()
|
|
// CHECK: [[X:%.*]] = load {{%.*}} : $*ClassBound
|
|
// CHECK: [[PROJ:%.*]] = open_existential_ref [[X]] : $ClassBound to $[[OPENED:@opened(.*) ClassBound]]
|
|
// CHECK: [[METHOD:%.*]] = witness_method $[[OPENED]], #ClassBound.classBoundMethod!1
|
|
// CHECK: apply [[METHOD]]<[[OPENED]]>([[PROJ]])
|
|
}
|
|
|