Skip to content

Commit f2b080a

Browse files
ktosoktoso
committed
[Concurrency] adjust async builtin tests
1 parent 3269a33 commit f2b080a

File tree

2 files changed

+55
-19
lines changed

2 files changed

+55
-19
lines changed

‎test/IRGen/async/builtins.sil

Lines changed: 14 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,8 @@ bb0(%flags : $Int, %taskFunction: @owned $@async @callee_guaranteed @substituted
3939
%optTaskGroup = enum $Optional<Builtin.RawPointer>, #Optional.none
4040
%optTaskExecutor = enum $Optional<Builtin.Executor>, #Optional.none
4141
%optTaskExecutorOwned = enum $Optional<any TaskExecutor>, #Optional.none
42-
%20 = builtin "createAsyncTask"<T>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
42+
%taskName = enum $Optional<Builtin.RawPointer>, #Optional.none
43+
%20 = builtin "createAsyncTask"<T>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskName : $Optional<Builtin.RawPointer>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
4344
destroy_value %20 : $(Builtin.NativeObject, Builtin.RawPointer)
4445
%21 = tuple ()
4546
return %21 : $()
@@ -65,7 +66,8 @@ bb0(%flags : $Int, %serialExecutor : $Builtin.Executor, %taskFunction: @owned $@
6566
%optTaskGroup = enum $Optional<Builtin.RawPointer>, #Optional.none
6667
%optTaskExecutor = enum $Optional<Builtin.Executor>, #Optional.none
6768
%optTaskExecutorOwned = enum $Optional<any TaskExecutor>, #Optional.none
68-
%20 = builtin "createAsyncTask"<T>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
69+
%taskName = enum $Optional<Builtin.RawPointer>, #Optional.none
70+
%20 = builtin "createAsyncTask"<T>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskName : $Optional<Builtin.RawPointer>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
6971
destroy_value %20 : $(Builtin.NativeObject, Builtin.RawPointer)
7072
%21 = tuple ()
7173
return %21 : $()
@@ -88,7 +90,8 @@ bb0(%taskGroup : $Builtin.RawPointer, %taskFunction : $@async @callee_guaranteed
8890
%optTaskGroup = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %taskGroup : $Builtin.RawPointer
8991
%optTaskExecutor = enum $Optional<Builtin.Executor>, #Optional.none
9092
%optTaskExecutorOwned = enum $Optional<any TaskExecutor>, #Optional.none
91-
%9 = builtin "createAsyncTask"<Int>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <Int>) : $(Builtin.NativeObject, Builtin.RawPointer)
93+
%taskName = enum $Optional<Builtin.RawPointer>, #Optional.none
94+
%9 = builtin "createAsyncTask"<Int>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskName : $Optional<Builtin.RawPointer>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <Int>) : $(Builtin.NativeObject, Builtin.RawPointer)
9295
%10 = tuple_extract %9 : $(Builtin.NativeObject, Builtin.RawPointer), 0
9396
strong_release %10 : $Builtin.NativeObject
9497
%12 = tuple ()
@@ -118,7 +121,8 @@ bb0(%flags : $Int, %optTaskGroup : $Optional<Builtin.RawPointer>, %taskFunction:
118121
%optSerialExecutor = enum $Optional<Builtin.Executor>, #Optional.none
119122
%optTaskExecutor = enum $Optional<Builtin.Executor>, #Optional.none
120123
%optTaskExecutorOwned = enum $Optional<any TaskExecutor>, #Optional.none
121-
%20 = builtin "createAsyncTask"<T>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
124+
%taskName = enum $Optional<Builtin.RawPointer>, #Optional.none
125+
%20 = builtin "createAsyncTask"<T>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskName : $Optional<Builtin.RawPointer>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <T>) : $(Builtin.NativeObject, Builtin.RawPointer)
122126
destroy_value %20 : $(Builtin.NativeObject, Builtin.RawPointer)
123127
%result = tuple ()
124128
return %result : $()
@@ -131,9 +135,10 @@ bb0(%taskGroup : $Builtin.RawPointer, %taskFunction : $@async @callee_guaranteed
131135
%optTaskGroup = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %taskGroup : $Builtin.RawPointer
132136
%optTaskExecutor = enum $Optional<Builtin.Executor>, #Optional.none
133137
%optTaskExecutorOwned = enum $Optional<any TaskExecutor>, #Optional.none
138+
%taskName = enum $Optional<Builtin.RawPointer>, #Optional.none
134139
// CHECK-NOT: br i1
135140
// CHECK: call swift{{(tail)?}}cc %swift.async_task_and_context @swift_task_create(
136-
%9 = builtin "createAsyncTask"(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskFunction : $@async @callee_guaranteed () -> @error Error) : $(Builtin.NativeObject, Builtin.RawPointer)
141+
%9 = builtin "createAsyncTask"(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskName : $Optional<Builtin.RawPointer>, %taskFunction : $@async @callee_guaranteed () -> @error Error) : $(Builtin.NativeObject, Builtin.RawPointer)
137142
%10 = tuple_extract %9 : $(Builtin.NativeObject, Builtin.RawPointer), 0
138143
strong_release %10 : $Builtin.NativeObject
139144
%12 = tuple ()
@@ -147,6 +152,7 @@ bb0(%taskGroup : $Builtin.RawPointer, %taskExecutor : $Builtin.Executor, %taskFu
147152
%optTaskGroup = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %taskGroup : $Builtin.RawPointer
148153
%optTaskExecutor = enum $Optional<Builtin.Executor>, #Optional.some!enumelt, %taskExecutor : $Builtin.Executor
149154
%optTaskExecutorOwned = enum $Optional<any TaskExecutor>, #Optional.none
155+
%taskName = enum $Optional<Builtin.RawPointer>, #Optional.none
150156
// CHECK: [[GROUP_RECORD:%.*]] = alloca %swift.task_group_task_option
151157
// CHECK: [[EXECUTOR_RECORD:%.*]] = alloca %swift.task_executor_task_option
152158
// CHECK-NOT: br i1
@@ -171,7 +177,7 @@ bb0(%taskGroup : $Builtin.RawPointer, %taskExecutor : $Builtin.Executor, %taskFu
171177
// CHECK: store [[INT]] %2, ptr [[EXECUTOR_IMPL_GEP]], align
172178

173179
// CHECK: call swift{{(tail)?}}cc %swift.async_task_and_context @swift_task_create([[INT]] %5, ptr [[EXECUTOR_RECORD]]
174-
%9 = builtin "createAsyncTask"(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor: $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskFunction : $@async @callee_guaranteed () -> @error Error) : $(Builtin.NativeObject, Builtin.RawPointer)
180+
%9 = builtin "createAsyncTask"(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor: $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskName : $Optional<Builtin.RawPointer>, %taskFunction : $@async @callee_guaranteed () -> @error Error) : $(Builtin.NativeObject, Builtin.RawPointer)
175181
%10 = tuple_extract %9 : $(Builtin.NativeObject, Builtin.RawPointer), 0
176182
strong_release %10 : $Builtin.NativeObject
177183
%12 = tuple ()
@@ -185,8 +191,9 @@ bb0(%flags : $Int, %taskGroup : $Builtin.RawPointer, %taskFunction: @owned $@asy
185191
%optTaskGroup = enum $Optional<Builtin.RawPointer>, #Optional.some!enumelt, %taskGroup : $Builtin.RawPointer
186192
%optTaskExecutor = enum $Optional<Builtin.Executor>, #Optional.none
187193
%optTaskExecutorOwned = enum $Optional<any TaskExecutor>, #Optional.none
194+
%taskName = enum $Optional<Builtin.RawPointer>, #Optional.none
188195
// CHECK: [[NEW_TASK_AND_CONTEXT:%.*]] = call swift{{(tail)?}}cc %swift.async_task_and_context @swift_task_create(
189-
%20 = builtin "createAsyncTask"<()>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <()>) : $(Builtin.NativeObject, Builtin.RawPointer)
196+
%20 = builtin "createAsyncTask"<()>(%flags : $Int, %optSerialExecutor : $Optional<Builtin.Executor>, %optTaskGroup : $Optional<Builtin.RawPointer>, %optTaskExecutor : $Optional<Builtin.Executor>, %optTaskExecutorOwned : $Optional<any TaskExecutor>, %taskName : $Optional<Builtin.RawPointer>, %taskFunction : $@async @callee_guaranteed @substituted <τ_0_0> () -> (@out τ_0_0, @error Error) for <()>) : $(Builtin.NativeObject, Builtin.RawPointer)
190197
destroy_value %20 : $(Builtin.NativeObject, Builtin.RawPointer)
191198
%21 = tuple ()
192199
return %21 : $()

0 commit comments

Comments
 (0)