Skip to content

Commit 1e9976e

Browse files
aschwaighoferaschwaighofer
committed
Fix tests
1 parent 193a3d5 commit 1e9976e

File tree

35 files changed

+609
-190
lines changed

35 files changed

+609
-190
lines changed

‎test/IRGen/async/partial_apply.sil

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -406,7 +406,7 @@ bb0(%x : $*SwiftClassPair):
406406
sil public_external @use_closure2 : $@async @convention(thin) (@noescape @async @callee_guaranteed (Int) -> Int) -> ()
407407

408408
// CHECK-LABEL: define{{( dllexport)?}}{{( protected)?}} swiftcc void @partial_apply_stack_callee_guaranteed_indirect_guaranteed_class_pair_param(%swift.task* {{%[0-9]+}}, %swift.executor* {{%[0-9]+}}, %swift.context* {{%[0-9]+}}) {{#[0-9]+}} {
409-
// CHECK-LABEL: define internal swiftcc void @"$s45indirect_guaranteed_captured_class_pair_paramTA.67"(%swift.task* {{%[0-9]+}}, %swift.executor* {{%[0-9]+}}, %swift.context* {{%[0-9]+}}, %swift.refcounted* swiftself {{%[0-9]+}}) {{#[0-9]+}} {
409+
// CHECK-LABEL: define internal swiftcc void @"$s45indirect_guaranteed_captured_class_pair_paramTA.70"(%swift.task* {{%[0-9]+}}, %swift.executor* {{%[0-9]+}}, %swift.context* {{%[0-9]+}}, %swift.refcounted* swiftself {{%[0-9]+}}) {{#[0-9]+}} {
410410

411411
sil @partial_apply_stack_callee_guaranteed_indirect_guaranteed_class_pair_param : $@async @convention(thin) (@in_guaranteed SwiftClassPair) -> () {
412412
bb0(%x : $*SwiftClassPair):

‎test/IRGen/async/run-call-classinstance-int64-to-void.sil

Lines changed: 15 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -87,9 +87,10 @@ sil_vtable S {
8787
#S.deinit!deallocator: @S_deallocating_deinit
8888
}
8989

90-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
91-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
90+
// Defined in _Concurrency
91+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
9292

93+
sil @test_case : $@convention(thin) @async () -> () {
9394
%s_type = metatype $@thick S.Type
9495
%allocating_init = function_ref @S_allocating_init : $@convention(method) (@thick S.Type) -> @owned S
9596
%instance = apply %allocating_init(%s_type) : $@convention(method) (@thick S.Type) -> @owned S
@@ -100,10 +101,19 @@ bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>
100101
%result = apply %classinstanceSInt64ToVoid(%int, %instance) : $@convention(method) @async (Int64, @guaranteed S) -> () // CHECK: main.S
101102
strong_release %instance : $S
102103

103-
%2 = integer_literal $Builtin.Int32, 0
104-
%3 = struct $Int32 (%2 : $Builtin.Int32)
105-
return %3 : $Int32 // id: %4
104+
%void = tuple()
105+
return %void : $()
106106
}
107107

108+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
109+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
108110

111+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
112+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
113+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
114+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
109115

116+
%6 = integer_literal $Builtin.Int32, 0
117+
%7 = struct $Int32 (%6 : $Builtin.Int32)
118+
return %7 : $Int32
119+
}

‎test/IRGen/async/run-call-classinstance-void-to-void.sil

Lines changed: 16 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -87,9 +87,10 @@ sil_vtable S {
8787
#S.deinit!deallocator: @S_deallocating_deinit
8888
}
8989

90-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
91-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
90+
// Defined in _Concurrency
91+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
9292

93+
sil @test_case : $@convention(thin) @async () -> () {
9394
%s_type = metatype $@thick S.Type
9495
%allocating_init = function_ref @S_allocating_init : $@convention(method) (@thick S.Type) -> @owned S
9596
%instance = apply %allocating_init(%s_type) : $@convention(method) (@thick S.Type) -> @owned S
@@ -98,9 +99,19 @@ bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>
9899
%result = apply %classinstanceSVoidToVoid(%instance) : $@convention(method) @async (@guaranteed S) -> () // CHECK: main.S
99100
strong_release %instance : $S
100101

101-
%2 = integer_literal $Builtin.Int32, 0
102-
%3 = struct $Int32 (%2 : $Builtin.Int32)
103-
return %3 : $Int32 // id: %4
102+
%void = tuple()
103+
return %void : $()
104104
}
105105

106+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
107+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
108+
109+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
110+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
111+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
112+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
106113

114+
%6 = integer_literal $Builtin.Int32, 0
115+
%7 = struct $Int32 (%6 : $Builtin.Int32)
116+
return %7 : $Int32
117+
}

‎test/IRGen/async/run-call-existential-to-void.sil

Lines changed: 18 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -70,13 +70,26 @@ bb0:
7070
return %result : $()
7171
}
7272

73-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
74-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
73+
// Defined in _Concurrency
74+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
75+
76+
sil @test_case : $@convention(thin) @async () -> () {
7577
%call = function_ref @call : $@async @convention(thin) () -> () // CHECK: 7384783
7678
%result = apply %call() : $@async @convention(thin) () -> ()
7779

78-
%2 = integer_literal $Builtin.Int32, 0
79-
%3 = struct $Int32 (%2 : $Builtin.Int32)
80-
return %3 : $Int32
80+
%void = tuple()
81+
return %void : $()
8182
}
8283

84+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
85+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
86+
87+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
88+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
89+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
90+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
91+
92+
%6 = integer_literal $Builtin.Int32, 0
93+
%7 = struct $Int32 (%6 : $Builtin.Int32)
94+
return %7 : $Int32
95+
}

‎test/IRGen/async/run-call-generic-to-generic.sil

Lines changed: 15 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -29,9 +29,10 @@ bb0(%out : $*T, %in : $*T):
2929
return %result : $()
3030
}
3131

32-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
33-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
32+
// Defined in _Concurrency
33+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
3434

35+
sil @test_case : $@convention(thin) @async () -> () {
3536
%int_literal = integer_literal $Builtin.Int64, 42
3637
%int = struct $Int64 (%int_literal : $Builtin.Int64)
3738
%int_addr = alloc_stack $Int64
@@ -48,11 +49,19 @@ bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>
4849
dealloc_stack %out_addr : $*Int64
4950
dealloc_stack %int_addr : $*Int64
5051

51-
%2 = integer_literal $Builtin.Int32, 0
52-
%3 = struct $Int32 (%2 : $Builtin.Int32)
53-
return %3 : $Int32 // id: %4
52+
%void = tuple()
53+
return %void : $()
5454
}
5555

56+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
57+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
5658

59+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
60+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
61+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
62+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
5763

58-
64+
%6 = integer_literal $Builtin.Int32, 0
65+
%7 = struct $Int32 (%6 : $Builtin.Int32)
66+
return %7 : $Int32
67+
}

‎test/IRGen/async/run-call-generic-to-void.sil

Lines changed: 15 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -28,10 +28,10 @@ bb0(%instance : $*T):
2828
%result = apply %print_generic<T>(%instance) : $@convention(thin) <T> (@in_guaranteed T) -> () // CHECK: 922337203685477580
2929
return %result : $()
3030
}
31+
// Defined in _Concurrency
32+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
3133

32-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
33-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
34-
34+
sil @test_case : $@convention(thin) @async () -> () {
3535
%int_literal = integer_literal $Builtin.Int64, 922337203685477580
3636
%int = struct $Int64 (%int_literal : $Builtin.Int64)
3737
%int_addr = alloc_stack $Int64
@@ -40,10 +40,19 @@ bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>
4040
%result = apply %genericToVoid<Int64>(%int_addr) : $@async @convention(thin) <T> (@in_guaranteed T) -> ()
4141
dealloc_stack %int_addr : $*Int64
4242

43-
%2 = integer_literal $Builtin.Int32, 0
44-
%3 = struct $Int32 (%2 : $Builtin.Int32)
45-
return %3 : $Int32 // id: %4
43+
%void = tuple()
44+
return %void : $()
4645
}
4746

47+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
48+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
4849

50+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
51+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
52+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
53+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
4954

55+
%6 = integer_literal $Builtin.Int32, 0
56+
%7 = struct $Int32 (%6 : $Builtin.Int32)
57+
return %7 : $Int32
58+
}

‎test/IRGen/async/run-call-genericEquatable-x2-to-bool.sil

Lines changed: 17 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -30,9 +30,10 @@ bb0(%0 : $*T, %1 : $*T):
3030
return %6 : $Bool
3131
}
3232

33-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
34-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
33+
// Defined in _Concurrency
34+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
3535

36+
sil @test_case : $@convention(thin) @async () -> () {
3637
%int1_literal = integer_literal $Builtin.Int64, 42
3738
%int1 = struct $Int64 (%int1_literal : $Builtin.Int64)
3839
%int1_addr = alloc_stack $Int64
@@ -56,8 +57,19 @@ bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>
5657
dealloc_stack %int2_addr : $*Int64
5758
dealloc_stack %int1_addr : $*Int64
5859

59-
%2 = integer_literal $Builtin.Int32, 0
60-
%3 = struct $Int32 (%2 : $Builtin.Int32)
61-
return %3 : $Int32 // id: %4
60+
%void = tuple()
61+
return %void : $()
6262
}
6363

64+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
65+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
66+
67+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
68+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
69+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
70+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
71+
72+
%6 = integer_literal $Builtin.Int32, 0
73+
%7 = struct $Int32 (%6 : $Builtin.Int32)
74+
return %7 : $Int32
75+
}

‎test/IRGen/async/run-call-int64-and-int64-to-void.sil

Lines changed: 17 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -30,9 +30,10 @@ entry(%int1: $Int64, %int2: $Int64):
3030
return %result2 : $()
3131
}
3232

33-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
34-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
33+
// Defined in _Concurrency
34+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
3535

36+
sil @test_case : $@convention(thin) @async () -> () {
3637
%int_literal1 = integer_literal $Builtin.Int64, 42
3738
%int1 = struct $Int64 (%int_literal1 : $Builtin.Int64)
3839
%int_literal2 = integer_literal $Builtin.Int64, 13
@@ -41,8 +42,19 @@ bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>
4142
%int64AndInt64ToVoid = function_ref @int64AndInt64ToVoid : $@async @convention(thin) (Int64, Int64) -> ()
4243
%result = apply %int64AndInt64ToVoid(%int1, %int2) : $@async @convention(thin) (Int64, Int64) -> ()
4344

44-
%2 = integer_literal $Builtin.Int32, 0
45-
%3 = struct $Int32 (%2 : $Builtin.Int32)
46-
return %3 : $Int32 // id: %4
45+
%void = tuple()
46+
return %void : $()
4747
}
4848

49+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
50+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
51+
52+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
53+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
54+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
55+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
56+
57+
%6 = integer_literal $Builtin.Int32, 0
58+
%7 = struct $Int32 (%6 : $Builtin.Int32)
59+
return %7 : $Int32
60+
}

‎test/IRGen/async/run-call-int64-to-void.sil

Lines changed: 19 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -29,15 +29,29 @@ entry(%int: $Int64):
2929
return %result : $()
3030
}
3131

32-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
33-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
32+
// Defined in _Concurrency
33+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
3434

35+
sil @test_case : $@convention(thin) @async () -> () {
3536
%int_literal = integer_literal $Builtin.Int64, 42
3637
%int = struct $Int64 (%int_literal : $Builtin.Int64)
3738
%int64ToVoid = function_ref @int64ToVoid : $@async @convention(thin) (Int64) -> ()
3839
%result = apply %int64ToVoid(%int) : $@async @convention(thin) (Int64) -> ()
3940

40-
%2 = integer_literal $Builtin.Int32, 0
41-
%3 = struct $Int32 (%2 : $Builtin.Int32)
42-
return %3 : $Int32 // id: %4
41+
42+
%void = tuple()
43+
return %void : $()
44+
}
45+
46+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
47+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
48+
49+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
50+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
51+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
52+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
53+
54+
%6 = integer_literal $Builtin.Int32, 0
55+
%7 = struct $Int32 (%6 : $Builtin.Int32)
56+
return %7 : $Int32
4357
}

‎test/IRGen/async/run-call-protocolextension_instance-void-to-int64.sil

Lines changed: 19 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -62,8 +62,10 @@ bb0(%self_addr : $*I):
6262
return %result : $Int64
6363
}
6464

65-
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
66-
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
65+
// Defined in _Concurrency
66+
sil public_external @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
67+
68+
sil @test_case : $@convention(thin) @async () -> () {
6769
%i_type = metatype $@thin I.Type
6870
%i_int_literal = integer_literal $Builtin.Int64, 99
6971
%i_int = struct $Int64 (%i_int_literal : $Builtin.Int64)
@@ -76,9 +78,21 @@ bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>
7678
%printInt64 = function_ref @printInt64 : $@convention(thin) (Int64) -> ()
7779
%printInt64_result = apply %printInt64(%result) : $@convention(thin) (Int64) -> () // CHECK: 99
7880

79-
%out_literal = integer_literal $Builtin.Int32, 0
80-
%out = struct $Int32 (%out_literal : $Builtin.Int32)
81-
return %out : $Int32
81+
%void = tuple()
82+
return %void : $()
83+
}
84+
85+
sil @main : $@async @convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
86+
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
87+
88+
%2 = function_ref @test_case : $@convention(thin) @async () -> ()
89+
%3 = thin_to_thick_function %2 : $@convention(thin) @async () -> () to $@async @callee_guaranteed () -> ()
90+
%4 = function_ref @$s12_Concurrency8runAsyncyyyyYcF : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
91+
%5 = apply %4(%3) : $@convention(thin) (@guaranteed @async @callee_guaranteed () -> ()) -> ()
92+
93+
%6 = integer_literal $Builtin.Int32, 0
94+
%7 = struct $Int32 (%6 : $Builtin.Int32)
95+
return %7 : $Int32
8296
}
8397

8498
sil_witness_table hidden I: P module main {

0 commit comments

Comments
 (0)