mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
489910e483
This is the last part of SILGen conditionalized on EnableSILOwnership being set. It also (as you can tell from the diff) eliminates a bunch of code from the tests. rdar://29791263
220 lines
12 KiB
Swift
220 lines
12 KiB
Swift
|
|
// RUN: %target-swift-emit-silgen -enable-sil-ownership -parse-stdlib -parse-as-library -module-name Swift %s | %FileCheck %s
|
|
|
|
enum Optional<T> {
|
|
case some(T)
|
|
case none
|
|
}
|
|
|
|
precedencegroup AssignmentPrecedence {}
|
|
|
|
typealias AnyObject = Builtin.AnyObject
|
|
|
|
// -- 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 @$ss19class_bound_generic{{[_0-9a-zA-Z]*}}F
|
|
func class_bound_generic<T : ClassBound>(x: T) -> T {
|
|
var x = x
|
|
// CHECK: bb0([[X:%.*]] : @guaranteed $T):
|
|
// CHECK: [[X_ADDR:%.*]] = alloc_box $<τ_0_0 where τ_0_0 : ClassBound> { var τ_0_0 } <T>
|
|
// CHECK: [[PB:%.*]] = project_box [[X_ADDR]]
|
|
// CHECK: [[X_COPY:%.*]] = copy_value [[X]]
|
|
// CHECK: store [[X_COPY]] to [init] [[PB]]
|
|
return x
|
|
// CHECK: [[READ:%.*]] = begin_access [read] [unknown] [[PB]] : $*T
|
|
// CHECK: [[X1:%.*]] = load [copy] [[READ]]
|
|
// CHECK: destroy_value [[X_ADDR]]
|
|
// CHECK: return [[X1]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$ss21class_bound_generic_2{{[_0-9a-zA-Z]*}}F
|
|
func class_bound_generic_2<T : ClassBound & NotClassBound>(x: T) -> T {
|
|
var x = x
|
|
// CHECK: bb0([[X:%.*]] : @guaranteed $T):
|
|
// CHECK: [[X_ADDR:%.*]] = alloc_box $<τ_0_0 where τ_0_0 : ClassBound, τ_0_0 : NotClassBound> { var τ_0_0 } <T>
|
|
// CHECK: [[PB:%.*]] = project_box [[X_ADDR]]
|
|
// CHECK: [[X_COPY:%.*]] = copy_value [[X]]
|
|
// CHECK: store [[X_COPY]] to [init] [[PB]]
|
|
return x
|
|
// CHECK: [[READ:%.*]] = begin_access [read] [unknown] [[PB]] : $*T
|
|
// CHECK: [[X1:%.*]] = load [copy] [[READ]]
|
|
// CHECK: return [[X1]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$ss20class_bound_protocol{{[_0-9a-zA-Z]*}}F
|
|
func class_bound_protocol(x: ClassBound) -> ClassBound {
|
|
var x = x
|
|
// CHECK: bb0([[X:%.*]] : @guaranteed $ClassBound):
|
|
// CHECK: [[X_ADDR:%.*]] = alloc_box ${ var ClassBound }
|
|
// CHECK: [[PB:%.*]] = project_box [[X_ADDR]]
|
|
// CHECK: [[X_COPY:%.*]] = copy_value [[X]]
|
|
// CHECK: store [[X_COPY]] to [init] [[PB]]
|
|
return x
|
|
// CHECK: [[READ:%.*]] = begin_access [read] [unknown] [[PB]] : $*ClassBound
|
|
// CHECK: [[X1:%.*]] = load [copy] [[READ]]
|
|
// CHECK: return [[X1]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$ss32class_bound_protocol_composition{{[_0-9a-zA-Z]*}}F
|
|
func class_bound_protocol_composition(x: ClassBound & NotClassBound)
|
|
-> ClassBound & NotClassBound {
|
|
var x = x
|
|
// CHECK: bb0([[X:%.*]] : @guaranteed $ClassBound & NotClassBound):
|
|
// CHECK: [[X_ADDR:%.*]] = alloc_box ${ var ClassBound & NotClassBound }
|
|
// CHECK: [[PB:%.*]] = project_box [[X_ADDR]]
|
|
// CHECK: [[X_COPY:%.*]] = copy_value [[X]]
|
|
// CHECK: store [[X_COPY]] to [init] [[PB]]
|
|
return x
|
|
// CHECK: [[READ:%.*]] = begin_access [read] [unknown] [[PB]] : $*ClassBound & NotClassBound
|
|
// CHECK: [[X1:%.*]] = load [copy] [[READ]]
|
|
// CHECK: return [[X1]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$ss19class_bound_erasure{{[_0-9a-zA-Z]*}}F
|
|
func class_bound_erasure(x: ConcreteClass) -> ClassBound {
|
|
return x
|
|
// CHECK: [[PROTO:%.*]] = init_existential_ref {{%.*}} : $ConcreteClass, $ClassBound
|
|
// CHECK: return [[PROTO]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$ss30class_bound_existential_upcast1xs10ClassBound_psAC_s0E6Bound2p_tF :
|
|
func class_bound_existential_upcast(x: ClassBound & ClassBound2)
|
|
-> ClassBound {
|
|
return x
|
|
// CHECK: bb0([[ARG:%.*]] : @guaranteed $ClassBound & ClassBound2):
|
|
// CHECK: [[OPENED:%.*]] = open_existential_ref [[ARG]] : $ClassBound & ClassBound2 to [[OPENED_TYPE:\$@opened(.*) ClassBound & ClassBound2]]
|
|
// CHECK: [[OPENED_COPY:%.*]] = copy_value [[OPENED]]
|
|
// CHECK: [[PROTO:%.*]] = init_existential_ref [[OPENED_COPY]] : [[OPENED_TYPE]] : [[OPENED_TYPE]], $ClassBound
|
|
// CHECK: return [[PROTO]]
|
|
}
|
|
// CHECK: } // end sil function '$ss30class_bound_existential_upcast1xs10ClassBound_psAC_s0E6Bound2p_tF'
|
|
|
|
// CHECK-LABEL: sil hidden @$ss41class_bound_to_unbound_existential_upcast1xs13NotClassBound_ps0hI0_sACp_tF :
|
|
// CHECK: bb0([[ARG0:%.*]] : @trivial $*NotClassBound, [[ARG1:%.*]] : @guaranteed $ClassBound & NotClassBound):
|
|
// CHECK: [[X_OPENED:%.*]] = open_existential_ref [[ARG1]] : $ClassBound & NotClassBound to [[OPENED_TYPE:\$@opened(.*) ClassBound & NotClassBound]]
|
|
// CHECK: [[PAYLOAD_ADDR:%.*]] = init_existential_addr [[ARG0]] : $*NotClassBound, [[OPENED_TYPE]]
|
|
// CHECK: [[X_OPENED_COPY:%.*]] = copy_value [[X_OPENED]]
|
|
// CHECK: store [[X_OPENED_COPY]] to [init] [[PAYLOAD_ADDR]]
|
|
func class_bound_to_unbound_existential_upcast
|
|
(x: ClassBound & NotClassBound) -> NotClassBound {
|
|
return x
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$ss18class_bound_method1xys10ClassBound_p_tF :
|
|
// CHECK: bb0([[ARG:%.*]] : @guaranteed $ClassBound):
|
|
func class_bound_method(x: ClassBound) {
|
|
var x = x
|
|
x.classBoundMethod()
|
|
// CHECK: [[XBOX:%.*]] = alloc_box ${ var ClassBound }, var, name "x"
|
|
// CHECK: [[XBOX_PB:%.*]] = project_box [[XBOX]]
|
|
// CHECK: [[ARG_COPY:%.*]] = copy_value [[ARG]]
|
|
// CHECK: store [[ARG_COPY]] to [init] [[XBOX_PB]]
|
|
// CHECK: [[READ:%.*]] = begin_access [read] [unknown] [[XBOX_PB]] : $*ClassBound
|
|
// CHECK: [[X:%.*]] = load [copy] [[READ]] : $*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]])
|
|
// CHECK: destroy_value [[PROJ]]
|
|
// CHECK: destroy_value [[XBOX]]
|
|
}
|
|
// CHECK: } // end sil function '$ss18class_bound_method1xys10ClassBound_p_tF'
|
|
|
|
// rdar://problem/31858378
|
|
struct Value {}
|
|
|
|
protocol HasMutatingMethod {
|
|
mutating func mutateMe()
|
|
var mutatingCounter: Value { get set }
|
|
var nonMutatingCounter: Value { get nonmutating set }
|
|
}
|
|
|
|
protocol InheritsMutatingMethod : class, HasMutatingMethod {}
|
|
|
|
func takesInOut<T>(_: inout T) {}
|
|
|
|
// CHECK-LABEL: sil hidden @$ss27takesInheritsMutatingMethod1x1yys0bcD0_pz_s5ValueVtF : $@convention(thin) (@inout InheritsMutatingMethod, Value) -> () {
|
|
func takesInheritsMutatingMethod(x: inout InheritsMutatingMethod,
|
|
y: Value) {
|
|
// CHECK: [[X_ADDR:%.*]] = begin_access [modify] [unknown] %0 : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_VALUE:%.*]] = load [copy] [[X_ADDR]] : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_PAYLOAD:%.*]] = open_existential_ref [[X_VALUE]] : $InheritsMutatingMethod to $@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: [[TEMPORARY:%.*]] = alloc_stack $@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: store [[X_PAYLOAD]] to [init] [[TEMPORARY]] : $*@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: [[METHOD:%.*]] = witness_method $@opened("{{.*}}") InheritsMutatingMethod, #HasMutatingMethod.mutateMe!1 : <Self where Self : HasMutatingMethod> (inout Self) -> () -> (), [[X_PAYLOAD]] : $@opened("{{.*}}") InheritsMutatingMethod : $@convention(witness_method: HasMutatingMethod) <τ_0_0 where τ_0_0 : HasMutatingMethod> (@inout τ_0_0) -> ()
|
|
// CHECK-NEXT: apply [[METHOD]]<@opened("{{.*}}") InheritsMutatingMethod>([[TEMPORARY]]) : $@convention(witness_method: HasMutatingMethod) <τ_0_0 where τ_0_0 : HasMutatingMethod> (@inout τ_0_0) -> ()
|
|
// CHECK-NEXT: [[X_PAYLOAD:%.*]] = load [take] [[TEMPORARY]] : $*@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_VALUE:%.*]] = init_existential_ref [[X_PAYLOAD]] : $@opened("{{.*}}") InheritsMutatingMethod : $@opened("{{.*}}") InheritsMutatingMethod, $InheritsMutatingMethod
|
|
// CHECK-NEXT: assign [[X_VALUE]] to [[X_ADDR]] : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: end_access [[X_ADDR]] : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: dealloc_stack [[TEMPORARY]] : $*@opened("{{.*}}") InheritsMutatingMethod
|
|
x.mutateMe()
|
|
|
|
// CHECK-NEXT: [[RESULT_BOX:%.*]] = alloc_stack $Value
|
|
// CHECK-NEXT: [[RESULT:%.*]] = mark_uninitialized [var] [[RESULT_BOX]] : $*Value
|
|
// CHECK-NEXT: [[X_ADDR:%.*]] = begin_access [read] [unknown] %0 : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_VALUE:%.*]] = load [copy] [[X_ADDR]] : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_PAYLOAD:%.*]] = open_existential_ref [[X_VALUE]] : $InheritsMutatingMethod to $@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: [[TEMPORARY:%.*]] = alloc_stack $@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: store [[X_PAYLOAD]] to [init] [[TEMPORARY]] : $*@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_PAYLOAD_RELOADED:%.*]] = load_borrow [[TEMPORARY]]
|
|
//
|
|
// ** *NOTE* This extra copy is here since RValue invariants enforce that all
|
|
// ** loadable objects are actually loaded. So we form the RValue and
|
|
// ** load... only to then need to store the value back in a stack location to
|
|
// ** pass to an in_guaranteed method. PredictableMemOpts is able to handle this
|
|
// ** type of temporary codegen successfully.
|
|
// CHECK-NEXT: [[TEMPORARY_2:%.*]] = alloc_stack $@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: store_borrow [[X_PAYLOAD_RELOADED:%.*]] to [[TEMPORARY_2]]
|
|
//
|
|
// CHECK-NEXT: [[METHOD:%.*]] = witness_method $@opened("{{.*}}") InheritsMutatingMethod, #HasMutatingMethod.mutatingCounter!getter.1 : <Self where Self : HasMutatingMethod> (Self) -> () -> Value, [[X_PAYLOAD]] : $@opened("{{.*}}") InheritsMutatingMethod : $@convention(witness_method: HasMutatingMethod) <τ_0_0 where τ_0_0 : HasMutatingMethod> (@in_guaranteed τ_0_0) -> Value
|
|
// CHECK-NEXT: [[RESULT_VALUE:%.*]] = apply [[METHOD]]<@opened("{{.*}}") InheritsMutatingMethod>([[TEMPORARY_2]]) : $@convention(witness_method: HasMutatingMethod) <τ_0_0 where τ_0_0 : HasMutatingMethod> (@in_guaranteed τ_0_0) -> Value
|
|
// CHECK-NEXT: dealloc_stack [[TEMPORARY_2]]
|
|
// CHECK-NEXT: end_borrow
|
|
// CHECK-NEXT: destroy_addr
|
|
// CHECK-NEXT: end_access [[X_ADDR]] : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: assign [[RESULT_VALUE]] to [[RESULT]] : $*Value
|
|
// CHECK-NEXT: dealloc_stack [[TEMPORARY]] : $*@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: dealloc_stack [[RESULT_BOX]] : $*Value
|
|
_ = x.mutatingCounter
|
|
|
|
// CHECK-NEXT: [[X_ADDR:%.*]] = begin_access [modify] [unknown] %0 : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_VALUE:%.*]] = load [copy] [[X_ADDR]] : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_PAYLOAD:%.*]] = open_existential_ref [[X_VALUE]] : $InheritsMutatingMethod to $@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: [[TEMPORARY:%.*]] = alloc_stack $@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: store [[X_PAYLOAD]] to [init] [[TEMPORARY]] : $*@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: [[METHOD:%.*]] = witness_method $@opened("{{.*}}") InheritsMutatingMethod, #HasMutatingMethod.mutatingCounter!setter.1 : <Self where Self : HasMutatingMethod> (inout Self) -> (Value) -> (), [[X_PAYLOAD]] : $@opened("{{.*}}") InheritsMutatingMethod : $@convention(witness_method: HasMutatingMethod) <τ_0_0 where τ_0_0 : HasMutatingMethod> (Value, @inout τ_0_0) -> ()
|
|
// CHECK-NEXT: apply [[METHOD]]<@opened("{{.*}}") InheritsMutatingMethod>(%1, [[TEMPORARY]]) : $@convention(witness_method: HasMutatingMethod) <τ_0_0 where τ_0_0 : HasMutatingMethod> (Value, @inout τ_0_0) -> ()
|
|
// CHECK-NEXT: [[X_PAYLOAD:%.*]] = load [take] [[TEMPORARY]] : $*@opened("{{.*}}") InheritsMutatingMethod
|
|
// CHECK-NEXT: [[X_VALUE:%.*]] = init_existential_ref [[X_PAYLOAD]] : $@opened("{{.*}}") InheritsMutatingMethod : $@opened("{{.*}}") InheritsMutatingMethod, $InheritsMutatingMethod
|
|
// CHECK-NEXT: assign [[X_VALUE]] to [[X_ADDR]] : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: end_access [[X_ADDR]] : $*InheritsMutatingMethod
|
|
// CHECK-NEXT: dealloc_stack [[TEMPORARY]] : $*@opened("{{.*}}") InheritsMutatingMethod
|
|
x.mutatingCounter = y
|
|
|
|
takesInOut(&x.mutatingCounter)
|
|
|
|
_ = x.nonMutatingCounter
|
|
x.nonMutatingCounter = y
|
|
takesInOut(&x.nonMutatingCounter)
|
|
}
|