1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
// RUN: %target-swift-frontend -enable-experimental-async-demotion -disable-availability-checking -module-name main -O -emit-sil -primary-file %s | %FileCheck %s --implicit-check-not hop_to_executor
// REQUIRES: swift_in_compiler
// REQUIRES: concurrency
// for now, check for the expected number of hops after the pass:
// CHECK: hop_to_executor
// CHECK: hop_to_executor
// CHECK: hop_to_executor
// CHECK: hop_to_executor
@MainActor func mainActorFn() {}
func TRUE_LEAF() async {}
func ONE() async { await TWO() }
func TWO() async { await THREE() }
func THREE() async {
await TRUE_LEAF()
await ONE()
}
func NOT_CANDIDATE() async {
await mainActorFn()
await ONE()
}
@inline(never)
public
func fib(_ n: Int) async -> Int {
if n <= 1 { return n }
return await fib(n-1) + fib(n-2)
}
@inline(never)
@MainActor
public
func leaf() async {}
@MainActor
public
func start() async {
await leaf()
if await fib(40) != 102334155 {
fatalError("bug")
}
}
public
func checkIt(_ t: Task<Int, Never>) async -> Int {
await t.value
}
|
