mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
81885a67d0
We want SILGen to have a simplified view of its executor and know that whenever one sees an Actor, it is an actual actor instead of a Builtin.Executor. This just simplifies code. Also, we should eventually have an invariant that Builtin.Executor should only be allowed in LoweredSIL after LowerHopToExecutor has run. But that is a change for another day.
353 lines
27 KiB
Swift
353 lines
27 KiB
Swift
// RUN: %target-swift-frontend -Xllvm -sil-print-types -emit-silgen %s -module-name test -swift-version 5 -target %target-swift-5.1-abi-triple -parse-stdlib -sil-verify-all | %FileCheck %s
|
|
// REQUIRES: concurrency
|
|
|
|
import Swift
|
|
import _Concurrency
|
|
|
|
public struct X {
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test1XV14getCurrentTaskBoyYaF
|
|
func getCurrentTask() async -> Builtin.NativeObject {
|
|
// CHECK: builtin "getCurrentAsyncTask"() : $Builtin.NativeObject
|
|
return Builtin.getCurrentAsyncTask()
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test1XV8doCancel4taskyBo_tF : $@convention(method) (@guaranteed Builtin.NativeObject, X) -> ()
|
|
func doCancel(task: Builtin.NativeObject) {
|
|
// CHECK: builtin "cancelAsyncTask"(%0 : $Builtin.NativeObject) : $()
|
|
Builtin.cancelAsyncTask(task)
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test1XV12launchFutureyyxlF : $@convention(method) <T> (@in_guaranteed T, X) -> ()
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE_FN:%.*]] = function_ref @$s4test1XV12launchFutureyyxlFxyYaKcfU_ :
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply [callee_guaranteed] [[CLOSURE_FN]]<T>({{.*}}) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> (@out τ_0_0, @error any Error)
|
|
// CHECK: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[GROUP]] : $Optional<Builtin.RawPointer>, [[TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func launchFuture<T>(_ value: T) {
|
|
_ = Builtin.createAsyncTask(0) { () async throws -> T in
|
|
return value
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test1XV16launchGroupChild_5groupyx_BptlF : $@convention(method) <T> (@in_guaranteed T, Builtin.RawPointer, X) -> () {
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %1 : $Builtin.RawPointer
|
|
// CHECK: [[TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE_FN:%.*]] = function_ref @$s4test1XV16launchGroupChild_5groupyx_BptlFxyYaKcfU_ :
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply [callee_guaranteed] [[CLOSURE_FN]]<T>({{.*}}) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> (@out τ_0_0, @error any Error)
|
|
// CHECK: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[GROUP]] : $Optional<Builtin.RawPointer>, [[TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func launchGroupChild<T>(_ value: T, group: Builtin.RawPointer) {
|
|
_ = Builtin.createAsyncTaskInGroup(0, group) { () async throws -> T in
|
|
return value
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test1XV26launchDiscardingGroupChild5groupyBp_tF : $@convention(method) (Builtin.RawPointer, X) -> () {
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %0 : $Builtin.RawPointer
|
|
// CHECK: [[TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE_FN:%.*]] = function_ref @$s4test1XV26launchDiscardingGroupChild5groupyBp_tFyyYaKcfU_ :
|
|
// CHECK: [[CLOSURE:%.*]] = thin_to_thick_function [[CLOSURE_FN]]
|
|
// CHECK: builtin "createAsyncTask"([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[GROUP]] : $Optional<Builtin.RawPointer>, [[TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CLOSURE]] : $@async @callee_guaranteed () -> @error any Error) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func launchDiscardingGroupChild(group: Builtin.RawPointer) {
|
|
_ = Builtin.createAsyncDiscardingTaskInGroup(0, group) { () async throws in
|
|
return
|
|
}
|
|
}
|
|
|
|
public func launchRocker<T>(closure: @Sendable @escaping () async throws -> T) {
|
|
_ = Builtin.createAsyncTask(0, closure)
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test1XV24launchFutureWithExecutor_8executoryx_BetlF : $@convention(method) <T> (@in_guaranteed T, Builtin.Executor, X) -> () {
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, %1 : $Builtin.Executor
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE_FN:%.*]] = function_ref @$s4test1XV24launchFutureWithExecutor_8executoryx_BetlFxyYaKcfU_ :
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply [callee_guaranteed] [[CLOSURE_FN]]<T>({{.*}}) : $@convention(thin) @async <τ_0_0> (@in_guaranteed τ_0_0) -> (@out τ_0_0, @error any Error)
|
|
// CHECK: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[GROUP]] : $Optional<Builtin.RawPointer>, [[TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func launchFutureWithExecutor<T>(_ value: T, executor: Builtin.Executor) {
|
|
_ = Builtin.createAsyncTaskWithExecutor(0, executor) { () async throws -> T in
|
|
return value
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test1XV34launchDiscardingFutureWithExecutor5group8executoryBp_BetF : $@convention(method) (Builtin.RawPointer, Builtin.Executor, X) -> () {
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %0 : $Builtin.RawPointer
|
|
// CHECK: [[TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, %1 : $Builtin.Executor
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE_FN:%.*]] = function_ref @$s4test1XV34launchDiscardingFutureWithExecutor5group8executoryBp_BetFyyYaKcfU_ :
|
|
// CHECK: [[CLOSURE:%.*]] = thin_to_thick_function [[CLOSURE_FN]]
|
|
// CHECK: builtin "createAsyncTask"([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[GROUP]] : $Optional<Builtin.RawPointer>, [[TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CLOSURE]] : $@async @callee_guaranteed () -> @error any Error) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func launchDiscardingFutureWithExecutor(group: Builtin.RawPointer, executor: Builtin.Executor) {
|
|
_ = Builtin.createAsyncDiscardingTaskInGroupWithExecutor(0, group, executor) { () async throws in
|
|
return
|
|
}
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test0A10CreateTask5valueyx_tlF
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK-NEXT: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK-NEXT: [[OPT_GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK-NEXT: [[OPT_TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply
|
|
// CHECK-NEXT: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK-NEXT: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[OPT_GROUP]] : $Optional<Builtin.RawPointer>, [[OPT_TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func testCreateTask<T>(value: T) {
|
|
_ = Builtin.createTask(flags: 0) {
|
|
value
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test0A10CreateTask5group5valueyBp_xtlF
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK-NEXT: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none!enumelt
|
|
// CHECK-NEXT: [[OPT_GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %0 : $Builtin.RawPointer
|
|
// CHECK-NEXT: [[OPT_TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply
|
|
// CHECK-NEXT: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK-NEXT: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[OPT_GROUP]] : $Optional<Builtin.RawPointer>, [[OPT_TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func testCreateTask<T>(group: Builtin.RawPointer, value: T) {
|
|
_ = Builtin.createTask(flags: 0, taskGroup: group) {
|
|
value
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test0A10CreateTask12taskExecutor5valueyBe_xtlF
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK-NEXT: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none!enumelt
|
|
// CHECK-NEXT: [[OPT_GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK-NEXT: [[OPT_TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, %0 : $Builtin.Executor
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply
|
|
// CHECK-NEXT: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK-NEXT: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[OPT_GROUP]] : $Optional<Builtin.RawPointer>, [[OPT_TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func testCreateTask<T>(taskExecutor: Builtin.Executor, value: T) {
|
|
_ = Builtin.createTask(flags: 0, initialTaskExecutor: taskExecutor) {
|
|
value
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test0A10CreateTask14serialExecutor5valueyBe_xtlF
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK-NEXT: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, %0 : $Builtin.Executor
|
|
// CHECK-NEXT: [[OPT_GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK-NEXT: [[OPT_TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply
|
|
// CHECK-NEXT: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK-NEXT: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[OPT_GROUP]] : $Optional<Builtin.RawPointer>, [[OPT_TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func testCreateTask<T>(serialExecutor: Builtin.Executor, value: T) {
|
|
_ = Builtin.createTask(flags: 0, initialSerialExecutor: serialExecutor) {
|
|
value
|
|
}
|
|
}
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test0A10CreateTask5group8executor5valueyBp_BextlF
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK-NEXT: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none!enumelt
|
|
// CHECK-NEXT: [[OPT_GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %0 : $Builtin.RawPointer
|
|
// CHECK-NEXT: [[OPT_TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, %1 : $Builtin.Executor
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply
|
|
// CHECK-NEXT: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK-NEXT: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[OPT_GROUP]] : $Optional<Builtin.RawPointer>, [[OPT_TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func testCreateTask<T>(group: Builtin.RawPointer, executor: Builtin.Executor, value: T) {
|
|
_ = Builtin.createTask(flags: 0, taskGroup: group, initialTaskExecutor: executor) {
|
|
value
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test0A15CreateNamedTask5group8executor4name5valueyBp_BeBpxtlF
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK-NEXT: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none!enumelt
|
|
// CHECK-NEXT: [[OPT_GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %0 : $Builtin.RawPointer
|
|
// CHECK-NEXT: [[OPT_TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, %1 : $Builtin.Executor
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %2 : $Builtin.RawPointer
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply
|
|
// CHECK-NEXT: [[CONVERTED_CLOSURE:%.*]] = convert_function [[CLOSURE]] : $@async @callee_guaranteed () -> (@out T, @error any Error) to $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>
|
|
// CHECK-NEXT: builtin "createAsyncTask"<T>([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[OPT_GROUP]] : $Optional<Builtin.RawPointer>, [[OPT_TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CONVERTED_CLOSURE]] : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error any Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func testCreateNamedTask<T>(group: Builtin.RawPointer, executor: Builtin.Executor, name: Builtin.RawPointer, value: T) {
|
|
_ = Builtin.createTask(flags: 0, taskGroup: group, initialTaskExecutor: executor, taskName: name) {
|
|
value
|
|
}
|
|
}
|
|
|
|
// A discarding task without a group is not currently a legal
|
|
// combination; if we start enforcing that, feel free to change this
|
|
// as needed.
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test0A20CreateDiscardingTask5valueyx_tlF
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK-NEXT: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none!enumelt
|
|
// CHECK-NEXT: [[OPT_GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK-NEXT: [[OPT_TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply
|
|
// CHECK-NEXT: builtin "createAsyncTask"([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[OPT_GROUP]] : $Optional<Builtin.RawPointer>, [[OPT_TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CLOSURE]] : $@async @callee_guaranteed () -> @error any Error) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func testCreateDiscardingTask<T>(value: T) {
|
|
_ = Builtin.createDiscardingTask(flags: 0) {
|
|
_ = value
|
|
}
|
|
}
|
|
|
|
// A discarding task without a group is not currently a legal
|
|
// combination; if we start enforcing that, feel free to change this
|
|
// as needed.
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4test0A20CreateDiscardingTask5group8executor5valueyBp_BextlF
|
|
// CHECK: [[FLAGS:%.*]] = apply
|
|
// CHECK-NEXT: [[OPT_SERIAL_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.none!enumelt
|
|
// CHECK-NEXT: [[OPT_GROUP:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %0 : $Builtin.RawPointer
|
|
// CHECK-NEXT: [[OPT_TASK_EXECUTOR:%.*]] = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, %1 : $Builtin.Executor
|
|
// CHECK: [[TASK_EXECUTOR_OWNED:%.*]] = enum $Optional<[[TASK_EXECUTOR_OWNED_TYPE:.*]]>, #Optional.none
|
|
// CHECK: [[TASK_NAME:%.*]] = enum $Optional<Builtin.RawPointer>, #Optional.none
|
|
// CHECK: [[CLOSURE:%.*]] = partial_apply
|
|
// CHECK-NEXT: builtin "createAsyncTask"([[FLAGS]] : $Int, [[OPT_SERIAL_EXECUTOR]] : $Optional<Builtin.Executor>, [[OPT_GROUP]] : $Optional<Builtin.RawPointer>, [[OPT_TASK_EXECUTOR]] : $Optional<Builtin.Executor>, [[TASK_EXECUTOR_OWNED]] : $Optional<[[TASK_EXECUTOR_OWNED_TYPE]]>, [[TASK_NAME]] : $Optional<Builtin.RawPointer>, [[CLOSURE]] : $@async @callee_guaranteed () -> @error any Error) : $(Builtin.NativeObject, Builtin.RawPointer)
|
|
func testCreateDiscardingTask<T>(group: Builtin.RawPointer, executor: Builtin.Executor, value: T) {
|
|
_ = Builtin.createDiscardingTask(flags: 0, taskGroup: group, initialTaskExecutor: executor) {
|
|
_ = value
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil [ossa] @$s4test26usesWithUnsafeContinuationyyYaF : $@convention(thin) @async () -> () {
|
|
public func usesWithUnsafeContinuation() async {
|
|
// trivial resume type
|
|
let _: Int = await Builtin.withUnsafeContinuation { c in }
|
|
|
|
// CHECK: [[FN:%.*]] = function_ref @$s4test26usesWithUnsafeContinuationyyYaFyBcXEfU_ : $@convention(thin) (Builtin.RawUnsafeContinuation) -> ()
|
|
// CHECK: [[CLOSURE:%.*]] = thin_to_thick_function [[FN]]
|
|
// CHECK: [[BOX:%.*]] = alloc_stack $Int
|
|
// CHECK: [[CC:%.*]] = get_async_continuation_addr Int, [[BOX]] : $*Int
|
|
// CHECK: apply [[CLOSURE]]([[CC]]) : $@noescape @callee_guaranteed (Builtin.RawUnsafeContinuation) -> ()
|
|
// CHECK: await_async_continuation [[CC]] : $Builtin.RawUnsafeContinuation, resume bb1
|
|
|
|
// CHECK: bb1:
|
|
// CHECK: [[RESULT:%.*]] = load [trivial] [[BOX]] : $*Int
|
|
// CHECK: dealloc_stack [[BOX]]
|
|
|
|
// loadable resume type
|
|
let _: String = await Builtin.withUnsafeContinuation { c in }
|
|
|
|
// CHECK: [[FN:%.*]] = function_ref @$s4test26usesWithUnsafeContinuationyyYaFyBcXEfU0_ : $@convention(thin) (Builtin.RawUnsafeContinuation) -> ()
|
|
// CHECK: [[CLOSURE:%.*]] = thin_to_thick_function [[FN]]
|
|
// CHECK: [[BOX:%.*]] = alloc_stack $String
|
|
// CHECK: [[CC:%.*]] = get_async_continuation_addr String, [[BOX]] : $*String
|
|
// CHECK: apply [[CLOSURE]]([[CC]]) : $@noescape @callee_guaranteed (Builtin.RawUnsafeContinuation) -> ()
|
|
// CHECK: await_async_continuation [[CC]] : $Builtin.RawUnsafeContinuation, resume bb2
|
|
|
|
// CHECK: bb2:
|
|
// CHECK: [[RESULT:%.*]] = load [take] [[BOX]] : $*String
|
|
// CHECK: destroy_value [[RESULT]]
|
|
// CHECK: dealloc_stack [[BOX]]
|
|
|
|
// address-only resume type
|
|
let _: Any = await Builtin.withUnsafeContinuation { c in }
|
|
|
|
// CHECK: [[FN:%.*]] = function_ref @$s4test26usesWithUnsafeContinuationyyYaFyBcXEfU1_ : $@convention(thin) (Builtin.RawUnsafeContinuation) -> ()
|
|
// CHECK: [[CLOSURE:%.*]] = thin_to_thick_function [[FN]]
|
|
// CHECK: [[BOX:%.*]] = alloc_stack $Any
|
|
// CHECK: [[CC:%.*]] = get_async_continuation_addr Any, [[BOX]] : $*Any
|
|
// CHECK: apply [[CLOSURE]]([[CC]]) : $@noescape @callee_guaranteed (Builtin.RawUnsafeContinuation) -> ()
|
|
// CHECK: await_async_continuation [[CC]] : $Builtin.RawUnsafeContinuation, resume bb3
|
|
|
|
// CHECK: bb3:
|
|
// CHECK: [[COPY:%.*]] = alloc_stack $Any
|
|
// CHECK: copy_addr [take] [[BOX]] to [init] [[COPY]]
|
|
// CHECK: destroy_addr [[COPY]]
|
|
// CHECK: dealloc_stack [[COPY]]
|
|
// CHECK: dealloc_stack [[BOX]]
|
|
}
|
|
|
|
// CHECK-LABEL: sil [ossa] @$s4test34usesWithUnsafeThrowingContinuationyyYaKF : $@convention(thin) @async () -> @error any Error {
|
|
public func usesWithUnsafeThrowingContinuation() async throws {
|
|
let _: Int = try await Builtin.withUnsafeThrowingContinuation { c in }
|
|
|
|
// CHECK: [[FN:%.*]] = function_ref @$s4test34usesWithUnsafeThrowingContinuationyyYaKFyBcXEfU_ : $@convention(thin) (Builtin.RawUnsafeContinuation) -> ()
|
|
// CHECK: [[CLOSURE:%.*]] = thin_to_thick_function [[FN]]
|
|
// CHECK: [[BOX:%.*]] = alloc_stack $Int
|
|
// CHECK: [[CC:%.*]] = get_async_continuation_addr [throws] Int, [[BOX]] : $*Int
|
|
// CHECK: apply [[CLOSURE]]([[CC]]) : $@noescape @callee_guaranteed (Builtin.RawUnsafeContinuation) -> ()
|
|
// CHECK: await_async_continuation [[CC]] : $Builtin.RawUnsafeContinuation, resume bb1, error bb2
|
|
|
|
// CHECK: bb1:
|
|
// CHECK: [[RESULT:%.*]] = load [trivial] [[BOX]] : $*Int
|
|
// CHECK: dealloc_stack [[BOX]]
|
|
|
|
// CHECK: bb2([[ERROR:%.*]] : @owned $any Error):
|
|
// CHECK: builtin "willThrow"([[ERROR]] : $any Error) : $()
|
|
// CHECK: dealloc_stack [[BOX]]
|
|
// CHECK: throw [[ERROR]]
|
|
}
|
|
|
|
// Make sure we do the right thing when the closure value is non-trivial,
|
|
// because it has captures and was formed by a partial_apply.
|
|
public func usesWithUnsafeContinuationCaptures(fn: (Builtin.RawUnsafeContinuation) -> ()) async throws {
|
|
let _: Int = await Builtin.withUnsafeContinuation { c in fn(c) }
|
|
}
|
|
|
|
// CHECK-LABEL: sil [ossa] @$s4test29resumeNonThrowingContinuationyyBc_SSntF
|
|
public func resumeNonThrowingContinuation(_ cont: Builtin.RawUnsafeContinuation,
|
|
_ value: __owned String) {
|
|
// CHECK: bb0(%0 : $Builtin.RawUnsafeContinuation, %1 : @owned $String):
|
|
// CHECK: debug_value
|
|
// CHECK: [[BORROW:%.*]] = begin_borrow %1 : $String
|
|
// CHECK-NEXT: [[COPY:%.*]] = copy_value [[BORROW]] : $String
|
|
// CHECK-NEXT: builtin "resumeNonThrowingContinuationReturning"<String>(%0 : $Builtin.RawUnsafeContinuation, [[COPY]] : $String)
|
|
// CHECK-NEXT: end_borrow [[BORROW]] : $String
|
|
// CHECK-NEXT: destroy_value %1 : $String
|
|
Builtin.resumeNonThrowingContinuationReturning(cont, value)
|
|
}
|
|
|
|
// CHECK-LABEL: sil [ossa] @$s4test26resumeThrowingContinuationyyBc_SSntF
|
|
public func resumeThrowingContinuation(_ cont: Builtin.RawUnsafeContinuation,
|
|
_ value: __owned String) {
|
|
// CHECK: bb0(%0 : $Builtin.RawUnsafeContinuation, %1 : @owned $String):
|
|
// CHECK: debug_value
|
|
// CHECK: [[BORROW:%.*]] = begin_borrow %1 : $String
|
|
// CHECK-NEXT: [[COPY:%.*]] = copy_value [[BORROW]] : $String
|
|
// CHECK-NEXT: builtin "resumeThrowingContinuationReturning"<String>(%0 : $Builtin.RawUnsafeContinuation, [[COPY]] : $String)
|
|
// CHECK-NEXT: end_borrow [[BORROW]] : $String
|
|
// CHECK-NEXT: destroy_value %1 : $String
|
|
Builtin.resumeThrowingContinuationReturning(cont, value)
|
|
}
|
|
|
|
// CHECK-LABEL: sil [ossa] @$s4test026resumeThrowingContinuationC0yyBc_s5Error_pntF
|
|
public func resumeThrowingContinuationThrowing(_ cont: Builtin.RawUnsafeContinuation,
|
|
_ error: __owned Error) {
|
|
// CHECK: bb0(%0 : $Builtin.RawUnsafeContinuation, %1 : @owned $any Error):
|
|
// CHECK: debug_value
|
|
// CHECK: [[BORROW:%.*]] = begin_borrow %1 : $any Error
|
|
// CHECK-NEXT: [[COPY:%.*]] = copy_value [[BORROW]] : $any Error
|
|
// CHECK-NEXT: builtin "resumeThrowingContinuationThrowing"(%0 : $Builtin.RawUnsafeContinuation, [[COPY]] : $any Error)
|
|
// CHECK-NEXT: end_borrow [[BORROW]] : $any Error
|
|
// CHECK-NEXT: destroy_value %1 : $any Error
|
|
Builtin.resumeThrowingContinuationThrowing(cont, error)
|
|
}
|