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
|
// RUN: %target-swift-frontend %s -emit-ir -g -o - \
// RUN: -module-name a -disable-availability-checking \
// RUN: -parse-as-library | %FileCheck %s --check-prefix=CHECK
// REQUIRES: concurrency
// REQUIRES: CPU=x86_64 || CPU=arm64
// Test that x is described as a direct dbg.declare of the incoming function
// argument.
// CHECK-LABEL: define {{.*}} void @"$s1a3fibyS2iYaFTY0_"
// CHECK-SAME: (ptr swiftasync %[[ARG:.*]])
// CHECK: call void @llvm.dbg.declare(metadata ptr %[[ARG]], metadata {{.*}}, metadata !DIExpression(DW_OP_LLVM_entry_value
// CHECK: call void @llvm.dbg.declare(metadata ptr %[[ARG]], metadata {{.*}}, metadata !DIExpression(DW_OP_LLVM_entry_value
// CHECK: call void @llvm.dbg.declare(metadata ptr %[[ARG]], metadata ![[X0:[0-9]+]], metadata !DIExpression(DW_OP_LLVM_entry_value
// CHECK-LABEL: define {{.*}} void @"$s1a3fibyS2iYaFTY2_"
// CHECK-SAME: (ptr swiftasync %[[ARG:.*]])
// CHECK: call void @llvm.dbg.declare(metadata ptr %[[ARG]], metadata {{.*}}, metadata !DIExpression(DW_OP_LLVM_entry_value
// CHECK: call void @llvm.dbg.declare(metadata ptr %[[ARG]], metadata {{.*}}, metadata !DIExpression(DW_OP_LLVM_entry_value
// CHECK: call void @llvm.dbg.declare(metadata ptr %[[ARG]], metadata ![[X1:[0-9]+]], metadata !DIExpression(DW_OP_LLVM_entry_value
// CHECK: ![[X0]] = !DILocalVariable(name: "x"
// CHECK: ![[X1]] = !DILocalVariable(name: "x"
func fib(_ x: Int) async -> Int {
if x <= 1 { return 1 }
let a = await fib(x - 1)
let b = await fib(x - 2)
return a + b
}
@main struct Main {
static func main() async {
await fib(4)
}
}
|
