mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
71239d6357
When its operand has coroutine kind `yield_once_2`, a `begin_apply` instruction produces an additional value representing the storage allocated by the callee. This storage must be deallocated by a `dealloc_stack` on every path out of the function. Like any other stack allocation, it must obey stack discipline.
32 lines
1.3 KiB
Plaintext
32 lines
1.3 KiB
Plaintext
// RUN: %target-sil-opt \
|
|
// RUN: -test-runner \
|
|
// RUN: -sil-disable-input-verify \
|
|
// RUN: %s \
|
|
// RUN: -o /dev/null \
|
|
// RUN: 2>&1 | %FileCheck %s
|
|
|
|
import Builtin
|
|
|
|
sil @coro : $@convention(thin) @yield_once_2 <T> () -> (@yields @in_guaranteed T)
|
|
|
|
// CHECK-LABEL: begin running test {{.*}} on begin_apply_fixup: stack_nesting_fixup
|
|
// CHECK-LABEL: sil @begin_apply_fixup : $@convention(thin) <T> () -> () {
|
|
// CHECK: [[STACK:%[^,]+]] = alloc_stack
|
|
// CHECK: ({{%[^,]+}}, {{%[^,]+}}, [[ALLOCATION:%[^,]+]]) = begin_apply
|
|
// CHECK: dealloc_stack [[ALLOCATION]]
|
|
// CHECK: dealloc_stack [[STACK]]
|
|
// CHECK-LABEL: } // end sil function 'begin_apply_fixup'
|
|
// CHECK-LABEL: end running test {{.*}} on begin_apply_fixup: stack_nesting_fixup
|
|
sil @begin_apply_fixup : $@convention(thin) <T> () -> () {
|
|
entry:
|
|
specify_test "stack_nesting_fixup"
|
|
%stk = alloc_stack $T
|
|
%coro = function_ref @coro : $@convention(thin) @yield_once_2 <T> () -> (@yields @in_guaranteed T)
|
|
(%t, %token, %allocation) = begin_apply %coro<T>() : $@convention(thin) @yield_once_2 <T> () -> (@yields @in_guaranteed T)
|
|
end_apply %token as $()
|
|
dealloc_stack %stk : $*T
|
|
dealloc_stack %allocation : $*Builtin.SILToken
|
|
%retval = tuple ()
|
|
return %retval : $()
|
|
}
|