@@ -128,22 +128,6 @@ bb0(%x : $*SwiftClass):
128
128
return %p : $@async @callee_guaranteed (Int) -> Int
129
129
}
130
130
131
- sil public @indirect_consumed_captured_class_param : $@async @convention(thin) (Int, @in SwiftClass) -> Int {
132
- entry(%i : $Int, %c : $*SwiftClass):
133
- %0 = builtin "int_trap"() : $Never
134
- unreachable
135
- }
136
-
137
- // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swift{{(tail)?}}cc void @partial_apply_indirect_consumed_class_param(
138
- // CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s38indirect_consumed_captured_class_paramTA"(
139
-
140
- sil @partial_apply_indirect_consumed_class_param : $@async @convention(thin) (@in SwiftClass) -> @async @callee_guaranteed (Int) -> Int {
141
- bb0(%x : $*SwiftClass):
142
- %f = function_ref @indirect_consumed_captured_class_param : $@async @convention(thin) (Int, @in SwiftClass) -> Int
143
- %p = partial_apply [callee_guaranteed] %f(%x) : $@async @convention(thin) (Int, @in SwiftClass) -> Int
144
- return %p : $@async @callee_guaranteed (Int) -> Int
145
- }
146
-
147
131
/*****************************************************************************/
148
132
/* A non-trivial capture. Indirect applications can directly reference the */
149
133
/* field from the partial apply context. */
@@ -184,53 +168,6 @@ bb0(%x : $*SwiftClassPair):
184
168
return %p : $@async @callee_guaranteed (Int) -> Int
185
169
}
186
170
187
- sil public @indirect_consumed_captured_class_pair_param : $@async @convention(thin) (Int, @in SwiftClassPair) -> Int {
188
- entry(%i : $Int, %c : $*SwiftClassPair):
189
- %0 = builtin "int_trap"() : $Never
190
- unreachable
191
- }
192
-
193
-
194
- // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swift{{(tail)?}}cc void @partial_apply_indirect_consumed_class_pair_param(
195
- // CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s43indirect_consumed_captured_class_pair_paramTA"(
196
-
197
- sil @partial_apply_indirect_consumed_class_pair_param : $@async @convention(thin) (@in SwiftClassPair) -> @async @callee_guaranteed (Int) -> Int {
198
- bb0(%x : $*SwiftClassPair):
199
- %f = function_ref @indirect_consumed_captured_class_pair_param : $@async @convention(thin) (Int, @in SwiftClassPair) -> Int
200
- %p = partial_apply [callee_guaranteed] %f(%x) : $@async @convention(thin) (Int, @in SwiftClassPair) -> Int
201
- return %p : $@async @callee_guaranteed (Int) -> Int
202
- }
203
-
204
- sil public @captured_fixed_and_dependent_params : $@async @convention(thin) <A> (@owned SwiftClass, @in A, Int) -> () {
205
- entry(%c : $SwiftClass, %a : $*A, %i : $Int):
206
- %0 = builtin "int_trap"() : $Never
207
- unreachable
208
- }
209
-
210
- // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swift{{(tail)?}}cc void @partial_apply_indirect_non_fixed_layout
211
- // CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s35captured_fixed_and_dependent_paramsTA"(
212
- sil @partial_apply_indirect_non_fixed_layout : $@async @convention(thin) <T> (@owned SwiftClass, @in T, Int) -> @async @callee_guaranteed () -> () {
213
- bb0(%a : $SwiftClass, %b : $*T, %c : $Int):
214
- %f = function_ref @captured_fixed_and_dependent_params : $@async @convention(thin) <B> (@owned SwiftClass, @in B, Int) -> ()
215
- %p = partial_apply [callee_guaranteed] %f<T>(%a, %b, %c) : $@async @convention(thin) <C> (@owned SwiftClass, @in C, Int) -> ()
216
- return %p : $@async @callee_guaranteed () -> ()
217
- }
218
-
219
- sil public @captured_dependent_out_param : $@async @convention(thin) <A> (@in A) -> @out A {
220
- entry(%o : $*A, %i : $*A):
221
- %0 = builtin "int_trap"() : $Never
222
- unreachable
223
- }
224
-
225
- sil @partial_apply_with_out_param : $@async @convention(thin) <T> (@in T) -> @async @callee_guaranteed () -> @out T {
226
- bb0(%x : $*T):
227
- %f = function_ref @captured_dependent_out_param : $@async @convention(thin) <B> (@in B) -> @out B
228
- %p = partial_apply [callee_guaranteed] %f<T>(%x) : $@async @convention(thin) <C> (@in C) -> @out C
229
- return %p : $@async @callee_guaranteed () -> @out T
230
- }
231
-
232
- // CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s28captured_dependent_out_paramTA"(
233
-
234
171
sil @partial_apply_dynamic_with_out_param : $@async @convention(thin) <T> (Int32, @owned @async @callee_guaranteed (Int32) -> @out T) -> @async @callee_guaranteed () -> @out T {
235
172
bb0(%x : $Int32, %f : $@async @callee_guaranteed (Int32) -> @out T):
236
173
%p = partial_apply [callee_guaranteed] %f(%x) : $@async @callee_guaranteed (Int32) -> @out T
@@ -469,47 +406,6 @@ bb0(%x : $*SwiftClassPair):
469
406
return %t : $()
470
407
}
471
408
472
- // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swift{{(tail)?}}cc void @partial_apply_stack_callee_guaranteed_indirect_in_class_pair_param(
473
-
474
- sil public @indirect_in_captured_class_pair_param : $@async @convention(thin) (Int, @in SwiftClassPair) -> Int {
475
- entry(%i : $Int, %p : $*SwiftClassPair):
476
- %0 = builtin "int_trap"() : $Never
477
- unreachable
478
- }
479
-
480
- sil @partial_apply_stack_callee_guaranteed_indirect_in_class_pair_param : $@async @convention(thin) (@in SwiftClassPair) -> () {
481
- bb0(%x : $*SwiftClassPair):
482
- %f = function_ref @indirect_in_captured_class_pair_param : $@async @convention(thin) (Int, @in SwiftClassPair) -> Int
483
- %p = partial_apply [callee_guaranteed] [on_stack] %f(%x) : $@async @convention(thin) (Int, @in SwiftClassPair) -> Int
484
- %u = function_ref @use_closure2 : $@async @convention(thin) (@noescape @async @callee_guaranteed (Int) -> Int) -> ()
485
- %r = apply %u(%p) : $@async @convention(thin) (@noescape @async @callee_guaranteed (Int) -> Int) -> ()
486
- dealloc_stack %p : $@noescape @async @callee_guaranteed (Int) ->(Int)
487
- destroy_addr %x: $*SwiftClassPair
488
- %t = tuple()
489
- return %t : $()
490
- }
491
-
492
-
493
- // CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swift{{(tail)?}}cc void @partial_apply_stack_callee_guaranteed_indirect_in_constant_class_pair_param(
494
-
495
- sil public @indirect_in_constant_captured_class_pair_param : $@async @convention(thin) (Int, @in_constant SwiftClassPair) -> Int {
496
- entry(%i : $Int, %ic : $*SwiftClassPair):
497
- %0 = builtin "int_trap"() : $Never
498
- unreachable
499
- }
500
-
501
- sil @partial_apply_stack_callee_guaranteed_indirect_in_constant_class_pair_param : $@async @convention(thin) (@in SwiftClassPair) -> () {
502
- bb0(%x : $*SwiftClassPair):
503
- %f = function_ref @indirect_in_constant_captured_class_pair_param : $@async @convention(thin) (Int, @in_constant SwiftClassPair) -> Int
504
- %p = partial_apply [callee_guaranteed] [on_stack] %f(%x) : $@async @convention(thin) (Int, @in_constant SwiftClassPair) -> Int
505
- %u = function_ref @use_closure2 : $@async @convention(thin) (@noescape @async @callee_guaranteed (Int) -> Int) -> ()
506
- %r = apply %u(%p) : $@async @convention(thin) (@noescape @async @callee_guaranteed (Int) -> Int) -> ()
507
- dealloc_stack %p : $@noescape @async @callee_guaranteed (Int) ->(Int)
508
- destroy_addr %x: $*SwiftClassPair
509
- %t = tuple()
510
- return %t : $()
511
- }
512
-
513
409
sil public @closure : $@async @convention(thin) (@in_guaranteed ResilientInt, @guaranteed SwiftClass) -> () {
514
410
entry(%i : $*ResilientInt, %c : $SwiftClass):
515
411
%0 = builtin "int_trap"() : $Never
@@ -608,7 +504,5 @@ bb0(%thick : $@callee_guaranteed @async @convention(thick) (Int64, Int32) -> Int
608
504
// CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s23generic_indirect_returnTA"(
609
505
// CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s24generic_indirect_return2TA"(
610
506
// CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s45indirect_guaranteed_captured_class_pair_paramTA.{{[0-9]+}}"(
611
- // CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s37indirect_in_captured_class_pair_paramTA"(
612
- // CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s46indirect_in_constant_captured_class_pair_paramTA"(
613
507
// CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s12create_pa_f2Tw_"(
614
508
// CHECK-LABEL: define internal swift{{(tail)?}}cc void @"$s12create_pa_f2Tw0_"(
0 commit comments