mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
7648bce91b
[concurrency] Make sure that TypeLowering inserts the extra actor parameter for @execution(caller) parameters.
66 lines
4.1 KiB
Swift
66 lines
4.1 KiB
Swift
// RUN: %target-swift-emit-silgen %s -enable-experimental-feature ExecutionAttribute | %FileCheck -check-prefix CHECK -check-prefix DISABLED %s
|
|
// RUN: %target-swift-emit-silgen %s -enable-experimental-feature ExecutionAttribute -enable-experimental-feature AsyncCallerExecution | %FileCheck -check-prefix CHECK -check-prefix ENABLED %s
|
|
|
|
// REQUIRES: concurrency
|
|
// REQUIRES: swift_feature_ExecutionAttribute
|
|
// REQUIRES: swift_feature_AsyncCallerExecution
|
|
|
|
// Validate that both with and without the experimental flag we properly codegen
|
|
// execution(caller) and execution(concurrent).
|
|
|
|
// CHECK-LABEL: // executionCaller()
|
|
// CHECK-NEXT: // Isolation: caller_isolation_inheriting
|
|
// CHECK-NEXT: sil hidden [ossa] @$s14execution_attr0A6CalleryyYaF : $@convention(thin) @async (@sil_isolated @sil_implicit_leading_param @guaranteed Optional<any Actor>) -> () {
|
|
@execution(caller)
|
|
func executionCaller() async {}
|
|
|
|
// CHECK-LABEL: // executionConcurrent()
|
|
// CHECK: // Isolation: nonisolated
|
|
// CHECK: sil hidden [ossa] @$s14execution_attr0A10ConcurrentyyYaF : $@convention(thin) @async () -> () {
|
|
@execution(concurrent)
|
|
func executionConcurrent() async {}
|
|
|
|
// DISABLED: sil hidden [ossa] @$s14execution_attr0A15CallerParameteryyyyYaYCXEYaF : $@convention(thin) @async (@guaranteed @noescape @async @callee_guaranteed (@sil_isolated @sil_implicit_leading_param @guaranteed Optional<any Actor>) -> ()) -> () {
|
|
// ENABLED: sil hidden [ossa] @$s14execution_attr0A15CallerParameteryyyyYaYCXEYaF : $@convention(thin) @async (@sil_isolated @sil_implicit_leading_param @guaranteed Optional<any Actor>, @guaranteed @noescape @async @callee_guaranteed (@sil_isolated @sil_implicit_leading_param @guaranteed Optional<any Actor>) -> ()) -> () {
|
|
// CHECK: } // end sil function '$s14execution_attr0A15CallerParameteryyyyYaYCXEYaF'
|
|
func executionCallerParameter(_ x: @execution(caller) () async -> ()) async {
|
|
await x()
|
|
}
|
|
|
|
// DISABLED-LABEL: sil hidden [ossa] @$s14execution_attr0A19ConcurrentParameteryyyyYaXEYaF : $@convention(thin) @async (@guaranteed @noescape @async @callee_guaranteed () -> ()) -> () {
|
|
// ENABLED-LABEL: sil hidden [ossa] @$s14execution_attr0A19ConcurrentParameteryyyyYaXEYaF : $@convention(thin) @async (@sil_isolated @sil_implicit_leading_param @guaranteed Optional<any Actor>, @guaranteed @noescape @async @callee_guaranteed () -> ()) -> () {
|
|
func executionConcurrentParameter(_ x: @execution(concurrent) () async -> ()) async {
|
|
await x()
|
|
}
|
|
|
|
struct S {
|
|
let field: @execution(caller) () async -> ()
|
|
}
|
|
|
|
// DISABLED: sil hidden [ossa] @$s14execution_attr0A11CallerFieldyyAA1SVYaF : $@convention(thin) @async (@guaranteed S) -> () {
|
|
// DISABLED: bb0([[ARG:%.*]] : @guaranteed $S):
|
|
// DISABLED: [[FIELD:%.*]] = struct_extract [[ARG]]
|
|
// DISABLED: [[FIELD_COPY:%.*]] = copy_value [[FIELD]]
|
|
// DISABLED: [[ACTOR_NONE:%.*]] = enum $Optional<any Actor>, #Optional.none!enumelt
|
|
// DISABLED: [[BORROWED_FIELD:%.*]] = begin_borrow [[FIELD_COPY]]
|
|
// DISABLED: apply [[BORROWED_FIELD]]([[ACTOR_NONE]])
|
|
// DISABLED: } // end sil function '$s14execution_attr0A11CallerFieldyyAA1SVYaF'
|
|
|
|
// ENABLED: sil hidden [ossa] @$s14execution_attr0A11CallerFieldyyAA1SVYaF : $@convention(thin) @async (@sil_isolated @sil_implicit_leading_param @guaranteed Optional<any Actor>, @guaranteed S) -> () {
|
|
// ENABLED: bb0([[ACTOR:%.*]] : @guaranteed $Optional<any Actor>, [[ARG:%.*]] : @guaranteed $S):
|
|
// ENABLED: [[FIELD:%.*]] = struct_extract [[ARG]]
|
|
// ENABLED: [[FIELD_COPY:%.*]] = copy_value [[FIELD]]
|
|
// ENABLED: [[BORROWED_FIELD:%.*]] = begin_borrow [[FIELD_COPY]]
|
|
// ENABLED: apply [[BORROWED_FIELD]]([[ACTOR]])
|
|
// ENABLED: } // end sil function '$s14execution_attr0A11CallerFieldyyAA1SVYaF'
|
|
func executionCallerField(_ s: S) async {
|
|
await s.field()
|
|
}
|
|
|
|
extension S {
|
|
// CHECK-LABEL: // S.executionCallerFieldMethod(_:)
|
|
// CHECK: // Isolation: unspecified
|
|
// CHECK: sil hidden [ossa] @$s14execution_attr1SV0A17CallerFieldMethodyyyyYaYCXEF : $@convention(method) (@guaranteed @noescape @async @callee_guaranteed (@sil_isolated @sil_implicit_leading_param @guaranteed Optional<any Actor>) -> (), @guaranteed S) -> () {
|
|
func executionCallerFieldMethod(_ x: @execution(caller) () async -> ()) {}
|
|
}
|