mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
0971d82f70
- Fix block to func reabstraction thunks block argument handling - Forward cast ownership - Fix applyPartiallyAppliedSuperMethod ownership for @callee_guaranteed closures - Avoid a copy in buildBlockToFuncThunkBody - Update tests for callee_guaranteed closures SR-5441 rdar://33255593
187 lines
15 KiB
Swift
187 lines
15 KiB
Swift
// RUN: %target-swift-frontend -enable-sil-ownership -emit-silgen -primary-file %s | %FileCheck %s
|
|
// RUN: %target-swift-frontend -enable-sil-ownership -emit-ir -primary-file %s
|
|
|
|
protocol Clonable {
|
|
func clone() -> Self
|
|
func maybeClone() -> Self?
|
|
func cloneMetatype() -> Self.Type
|
|
func getCloneFn() -> () -> Self
|
|
|
|
func genericClone<T>(t: T) -> Self
|
|
func genericGetCloneFn<T>(t: T) -> () -> Self
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Partial apply of methods returning Self-derived types
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// CHECK-LABEL: sil hidden @_T022partial_apply_protocol12testClonableyAA0E0_p1c_tF : $@convention(thin) (@in Clonable) -> ()
|
|
func testClonable(c: Clonable) {
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xIegr_22partial_apply_protocol8Clonable_pIegr_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out τ_0_0) -> @out Clonable
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>({{.*}})
|
|
let _: () -> Clonable = c.clone
|
|
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xSgIegr_22partial_apply_protocol8Clonable_pSgIegr_AbCRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out Optional<τ_0_0>) -> @out Optional<Clonable>
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>({{.*}})
|
|
let _: () -> Clonable? = c.maybeClone
|
|
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xXMTIegd_22partial_apply_protocol8Clonable_pXmTIegd_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @thick τ_0_0.Type) -> @thick Clonable.Type
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>({{.*}}) : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @thick τ_0_0.Type) -> @thick Clonable.Type
|
|
let _: () -> Clonable.Type = c.cloneMetatype
|
|
|
|
// CHECK: [[METHOD_FN:%.*]] = witness_method $@opened("{{.*}}") Clonable, #Clonable.getCloneFn!1 : {{.*}}, {{.*}} : $*@opened("{{.*}}") Clonable : $@convention(witness_method: Clonable) <τ_0_0 where τ_0_0 : Clonable> (@in_guaranteed τ_0_0) -> @owned @callee_guaranteed () -> @out τ_0_0
|
|
// CHECK: [[RESULT:%.*]] = apply [[METHOD_FN]]<@opened("{{.*}}") Clonable>({{.*}}) : $@convention(witness_method: Clonable) <τ_0_0 where τ_0_0 : Clonable> (@in_guaranteed τ_0_0) -> @owned @callee_guaranteed () -> @out τ_0_0
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xIegr_22partial_apply_protocol8Clonable_pIegr_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out τ_0_0) -> @out Clonable
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>([[RESULT]])
|
|
let _: () -> Clonable = c.getCloneFn()
|
|
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xIegr_Iego_22partial_apply_protocol8Clonable_pIegr_Iego_AaBRzlTR
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>({{.*}})
|
|
let _: () -> () -> Clonable = c.getCloneFn
|
|
}
|
|
|
|
// CHECK-LABEL: sil shared [transparent] [serializable] [reabstraction_thunk] @_T0xIegr_22partial_apply_protocol8Clonable_pIegr_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out τ_0_0) -> @out Clonable
|
|
// CHECK: bb0(%0 : @trivial $*Clonable, %1 : @guaranteed $@callee_guaranteed () -> @out τ_0_0):
|
|
// CHECK-NEXT: [[COPY:%.*]] = copy_value %1
|
|
// CHECK-NEXT: [[INNER_RESULT:%.*]] = alloc_stack $τ_0_0
|
|
// CHECK-NEXT: [[B:%.*]] = begin_borrow [[COPY]]
|
|
// CHECK-NEXT: apply [[B]]([[INNER_RESULT]])
|
|
// CHECK-NEXT: [[OUTER_RESULT:%.*]] = init_existential_addr %0
|
|
// CHECK-NEXT: copy_addr [take] [[INNER_RESULT]] to [initialization] [[OUTER_RESULT]]
|
|
// CHECK-NEXT: [[EMPTY:%.*]] = tuple ()
|
|
// CHECK-NEXT: end_borrow [[B]]
|
|
// CHECK-NEXT: dealloc_stack [[INNER_RESULT]]
|
|
// CHECK-NEXT: destroy_value [[COPY]]
|
|
// CHECK-NEXT: return [[EMPTY]]
|
|
|
|
// FIXME: This is horribly inefficient, too much alloc_stack / copy_addr!
|
|
|
|
// CHECK-LABEL: sil shared [transparent] [serializable] [reabstraction_thunk] @_T0xSgIegr_22partial_apply_protocol8Clonable_pSgIegr_AbCRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out Optional<τ_0_0>) -> @out Optional<Clonable>
|
|
// CHECK: bb0(%0 : @trivial $*Optional<Clonable>, %1 : @guaranteed $@callee_guaranteed () -> @out Optional<τ_0_0>):
|
|
// CHECK-NEXT: [[COPY:%.*]] = copy_value %1
|
|
// CHECK-NEXT: [[INNER_RESULT:%.*]] = alloc_stack $Optional<τ_0_0>
|
|
// CHECK-NEXT: [[B:%.*]] = begin_borrow [[COPY]]
|
|
// CHECK-NEXT: apply [[B]]([[INNER_RESULT]])
|
|
// CHECK-NEXT: [[OUTER_RESULT:%.*]] = alloc_stack $Optional<Clonable>
|
|
// CHECK-NEXT: switch_enum_addr [[INNER_RESULT]] : $*Optional<{{.*}}>, case #Optional.some!enumelt.1: [[SOME_BB:bb[0-9]+]],
|
|
// CHECK: [[SOME_BB]]:
|
|
// CHECK-NEXT: [[INNER_RESULT_ADDR:%.*]] = unchecked_take_enum_data_addr [[INNER_RESULT]]
|
|
// CHECK-NEXT: [[SOME_PAYLOAD:%.*]] = alloc_stack $Clonable
|
|
// CHECK-NEXT: [[SOME_PAYLOAD_ADDR:%.*]] = init_existential_addr [[SOME_PAYLOAD]]
|
|
// CHECK-NEXT: copy_addr [take] [[INNER_RESULT_ADDR]] to [initialization] [[SOME_PAYLOAD_ADDR]]
|
|
// CHECK-NEXT: [[OUTER_RESULT_ADDR:%.*]] = init_enum_data_addr [[OUTER_RESULT]]
|
|
// CHECK-NEXT: copy_addr [take] [[SOME_PAYLOAD]] to [initialization] [[OUTER_RESULT_ADDR]]
|
|
// CHECK-NEXT: inject_enum_addr [[OUTER_RESULT]]
|
|
// CHECK-NEXT: dealloc_stack [[SOME_PAYLOAD]]
|
|
// CHECK-NEXT: br bb3
|
|
// CHECK: bb2:
|
|
// CHECK-NEXT: inject_enum_addr [[OUTER_RESULT]]
|
|
// CHECK-NEXT: br bb3
|
|
// CHECK: bb3:
|
|
// CHECK-NEXT: copy_addr [take] [[OUTER_RESULT]] to [initialization] %0
|
|
// CHECK-NEXT: [[EMPTY:%.*]] = tuple ()
|
|
// CHECK-NEXT: dealloc_stack [[OUTER_RESULT]]
|
|
// CHECK-NEXT: end_borrow [[B]]
|
|
// CHECK-NEXT: dealloc_stack [[INNER_RESULT]]
|
|
// CHECK-NEXT: destroy_value [[COPY]]
|
|
// CHECK-NEXT: return [[EMPTY]]
|
|
|
|
// CHECK-LABEL: sil shared [transparent] [serializable] [reabstraction_thunk] @_T0xXMTIegd_22partial_apply_protocol8Clonable_pXmTIegd_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @thick τ_0_0.Type) -> @thick Clonable.Type
|
|
// CHECK: bb0(%0 : @guaranteed $@callee_guaranteed () -> @thick τ_0_0.Type):
|
|
// CHECK-NEXT: [[C:%.*]] = copy_value %0
|
|
// CHECK-NEXT: [[B:%.*]] = begin_borrow [[C]]
|
|
// CHECK-NEXT: [[INNER_RESULT:%.*]] = apply [[B]]()
|
|
// CHECK-NEXT: [[OUTER_RESULT:%.*]] = init_existential_metatype [[INNER_RESULT]]
|
|
// CHECK-NEXT: end_borrow [[B]]
|
|
// CHECK-NEXT: destroy_value [[C]]
|
|
// CHECK-NEXT: return [[OUTER_RESULT]]
|
|
|
|
// CHECK-LABEL: sil shared [transparent] [serializable] [reabstraction_thunk] @_T0xIegr_Iego_22partial_apply_protocol8Clonable_pIegr_Iego_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @owned @callee_guaranteed () -> @out τ_0_0) -> @owned @callee_guaranteed () -> @out Clonable
|
|
// CHECK: bb0(%0 : @guaranteed $@callee_guaranteed () -> @owned @callee_guaranteed () -> @out τ_0_0):
|
|
// CHECK-NEXT: [[C:%.*]] = copy_value %0
|
|
// CHECK-NEXT: [[B:%.*]] = begin_borrow [[C]]
|
|
// CHECK-NEXT: [[INNER_RESULT:%.*]] = apply [[B]]()
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xIegr_22partial_apply_protocol8Clonable_pIegr_AaBRzlTR
|
|
// CHECK-NEXT: [[OUTER_RESULT:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<τ_0_0>([[INNER_RESULT]])
|
|
// CHECK-NEXT: end_borrow [[B]]
|
|
// CHECK-NEXT: destroy_value [[C]]
|
|
// CHECK-NEXT: return [[OUTER_RESULT]]
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Partial apply of methods returning Self-derived types from generic context
|
|
//
|
|
// Make sure the thunk only has the context generic parameters if needed!
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// CHECK-LABEL: sil hidden @_T022partial_apply_protocol28testClonableInGenericContextyAA0E0_p1c_x1ttlF : $@convention(thin) <T> (@in Clonable, @in T) -> ()
|
|
func testClonableInGenericContext<T>(c: Clonable, t: T) {
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xIegr_22partial_apply_protocol8Clonable_pIegr_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out τ_0_0) -> @out Clonable
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>({{.*}})
|
|
let _: () -> Clonable = c.clone
|
|
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xSgIegr_22partial_apply_protocol8Clonable_pSgIegr_AbCRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out Optional<τ_0_0>) -> @out Optional<Clonable>
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>({{.*}}) : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out Optional<τ_0_0>) -> @out Optional<Clonable>
|
|
let _: () -> Clonable? = c.maybeClone
|
|
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xXMTIegd_22partial_apply_protocol8Clonable_pXmTIegd_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @thick τ_0_0.Type) -> @thick Clonable.Type
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>({{.*}}) : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @thick τ_0_0.Type) -> @thick Clonable.Type
|
|
let _: () -> Clonable.Type = c.cloneMetatype
|
|
|
|
// CHECK: [[METHOD_FN:%.*]] = witness_method $@opened("{{.*}}") Clonable, #Clonable.getCloneFn!1 : {{.*}}, {{.*}} : $*@opened("{{.*}}") Clonable : $@convention(witness_method: Clonable) <τ_0_0 where τ_0_0 : Clonable> (@in_guaranteed τ_0_0) -> @owned @callee_guaranteed () -> @out τ_0_0
|
|
// CHECK: [[RESULT:%.*]] = apply [[METHOD_FN]]<@opened("{{.*}}") Clonable>({{.*}}) : $@convention(witness_method: Clonable) <τ_0_0 where τ_0_0 : Clonable> (@in_guaranteed τ_0_0) -> @owned @callee_guaranteed () -> @out τ_0_0
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xIegr_22partial_apply_protocol8Clonable_pIegr_AaBRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out τ_0_0) -> @out Clonable
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>([[RESULT]]) : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out τ_0_0) -> @out Clonable
|
|
let _: () -> Clonable = c.getCloneFn()
|
|
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xIegr_Iego_22partial_apply_protocol8Clonable_pIegr_Iego_AaBRzlTR
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<@opened("{{.*}}") Clonable>({{.*}}) : $@convention(thin) <τ_0_0 where τ_0_0 : Clonable> (@guaranteed @callee_guaranteed () -> @owned @callee_guaranteed () -> @out τ_0_0) -> @owned @callee_guaranteed () -> @out Clonable
|
|
let _: () -> () -> Clonable = c.getCloneFn
|
|
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xqd__Iegir_x22partial_apply_protocol8Clonable_pIegir_AaBRd__r__lTR : $@convention(thin) <τ_0_0><τ_1_0 where τ_1_0 : Clonable> (@in τ_0_0, @guaranteed @callee_guaranteed (@in τ_0_0) -> @out τ_1_0) -> @out Clonable
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<T, @opened("{{.*}}") Clonable>({{.*}}) : $@convention(thin) <τ_0_0><τ_1_0 where τ_1_0 : Clonable> (@in τ_0_0, @guaranteed @callee_guaranteed (@in τ_0_0) -> @out τ_1_0) -> @out Clonable
|
|
let _: (T) -> Clonable = c.genericClone
|
|
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0xqd__Iegr_Iegio_x22partial_apply_protocol8Clonable_pIegr_Iegio_AaBRd__r__lTR : $@convention(thin) <τ_0_0><τ_1_0 where τ_1_0 : Clonable> (@in τ_0_0, @guaranteed @callee_guaranteed (@in τ_0_0) -> @owned @callee_guaranteed () -> @out τ_1_0) -> @owned @callee_guaranteed () -> @out Clonable
|
|
// CHECK: [[THUNK:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<T, @opened("{{.*}}") Clonable>({{.*}}) : $@convention(thin) <τ_0_0><τ_1_0 where τ_1_0 : Clonable> (@in τ_0_0, @guaranteed @callee_guaranteed (@in τ_0_0) -> @owned @callee_guaranteed () -> @out τ_1_0) -> @owned @callee_guaranteed () -> @out Clonable
|
|
let _: (T) -> () -> Clonable = c.genericGetCloneFn
|
|
}
|
|
|
|
// CHECK-LABEL: sil shared [transparent] [serializable] [reabstraction_thunk] @_T0xqd__Iegir_x22partial_apply_protocol8Clonable_pIegir_AaBRd__r__lTR : $@convention(thin) <τ_0_0><τ_1_0 where τ_1_0 : Clonable> (@in τ_0_0, @guaranteed @callee_guaranteed (@in τ_0_0) -> @out τ_1_0) -> @out Clonable
|
|
// CHECK: bb0(%0 : @trivial $*Clonable, %1 : @trivial $*τ_0_0, %2 : @guaranteed $@callee_guaranteed (@in τ_0_0) -> @out τ_1_0):
|
|
// CHECK-NEXT: [[COPY:%.*]] = copy_value %2
|
|
// CHECK-NEXT: [[INNER_RESULT:%.*]] = alloc_stack $τ_1_0
|
|
// CHECK-NEXT: [[BORROW:%.*]] = begin_borrow [[COPY]]
|
|
// CHECK-NEXT: apply [[BORROW]]([[INNER_RESULT]], %1)
|
|
// CHECK-NEXT: [[OUTER_RESULT:%.*]] = init_existential_addr %0
|
|
// CHECK-NEXT: copy_addr [take] [[INNER_RESULT]] to [initialization] [[OUTER_RESULT]]
|
|
// CHECK-NEXT: [[EMPTY:%.*]] = tuple ()
|
|
// CHECK-NEXT: end_borrow [[BORROW]]
|
|
// CHECK-NEXT: dealloc_stack [[INNER_RESULT]]
|
|
// CHECK-NEXT: destroy_value [[COPY]]
|
|
// CHECK-NEXT: return [[EMPTY]]
|
|
|
|
// CHECK-LABEL: sil shared [transparent] [serializable] [reabstraction_thunk] @_T0xqd__Iegr_Iegio_x22partial_apply_protocol8Clonable_pIegr_Iegio_AaBRd__r__lTR : $@convention(thin) <τ_0_0><τ_1_0 where τ_1_0 : Clonable> (@in τ_0_0, @guaranteed @callee_guaranteed (@in τ_0_0) -> @owned @callee_guaranteed () -> @out τ_1_0) -> @owned @callee_guaranteed () -> @out Clonable
|
|
// CHECK: bb0(%0 : @trivial $*τ_0_0, %1 : @guaranteed $@callee_guaranteed (@in τ_0_0) -> @owned @callee_guaranteed () -> @out τ_1_0):
|
|
// CHECK-NEXT: [[COPY:%.*]] = copy_value %1
|
|
// CHECK-NEXT: [[BORROW:%.*]] = begin_borrow [[COPY]]
|
|
// CHECK-NEXT: [[RES:%.*]] = apply [[BORROW]](%0)
|
|
// CHECK: [[THUNK_FN:%.*]] = function_ref @_T0qd__Iegr_22partial_apply_protocol8Clonable_pIegr_AaBRd__r__lTR
|
|
// CHECK-NEXT: [[RESULT:%.*]] = partial_apply [callee_guaranteed] [[THUNK_FN]]<τ_0_0, τ_1_0>([[RES]])
|
|
// CHECK-NEXT: end_borrow [[BORROW]]
|
|
// CHECK-NEXT: destroy_value [[COPY]]
|
|
// CHECK-NEXT: return [[RESULT]]
|
|
|
|
// CHECK-LABEL: sil shared [transparent] [serializable] [reabstraction_thunk] @_T0qd__Iegr_22partial_apply_protocol8Clonable_pIegr_AaBRd__r__lTR : $@convention(thin) <τ_0_0><τ_1_0 where τ_1_0 : Clonable> (@guaranteed @callee_guaranteed () -> @out τ_1_0) -> @out Clonable {
|
|
// CHECK: bb0(%0 : @trivial $*Clonable, %1 : @guaranteed $@callee_guaranteed () -> @out τ_1_0):
|
|
// CHECK-NEXT: [[COPY:%.*]] = copy_value %1
|
|
// CHECK-NEXT: [[INNER_RESULT:%.*]] = alloc_stack $τ_1_0
|
|
// CHECK-NEXT: [[BORROW:%.*]] = begin_borrow [[COPY]]
|
|
// CHECK-NEXT: apply [[BORROW]]([[INNER_RESULT]])
|
|
// CHECK-NEXT: [[OUTER_RESULT:%.*]] = init_existential_addr %0
|
|
// CHECK-NEXT: copy_addr [take] [[INNER_RESULT]] to [initialization] [[OUTER_RESULT]]
|
|
// CHECK-NEXT: [[EMPTY:%.*]] = tuple ()
|
|
// CHECK-NEXT: end_borrow [[BORROW]]
|
|
// CHECK-NEXT: dealloc_stack [[INNER_RESULT:%.*]]
|
|
// CHECK-NEXT: destroy_value [[COPY]]
|
|
// CHECK-NEXT: return [[EMPTY]]
|