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
|
// RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s --check-prefixes CHECK,DWARF-CHECK
// RUN: %target-swift-frontend %s -emit-ir -g -debug-info-format=codeview -o - \
// RUN: | %FileCheck %s --check-prefixes CHECK,CV-CHECK -allow-deprecated-dag-overlap
public func foo(_ a: Int64, _ b: Int64) -> Int64 { // line 5
// CHECK: sdiv i64 {{.*}}, !dbg ![[DIV:[0-9]+]]
// CHECK: call {{.*}} @llvm.sadd.with.overflow{{.*}}, !dbg ![[ADD:[0-9]+]]
let c = a + b / a; // line 8
// CHECK: icmp slt i64 {{.*}}, !dbg ![[SLT:[0-9]+]]
if (c < b) { // line 10
// CHECK: call {{.*}} @llvm.ssub.with.overflow{{.*}}, !dbg ![[SUB:[0-9]+]]
return a - b // line 12
}
return c
}
// CHECK-DAG: !DISubprogram(name: "foo",{{.*}} line: 5,
// DWARF-CHECK-DAG: ![[DIV]] = !DILocation(line: 8, column: 17,
// DWARF-CHECK-DAG: ![[ADD]] = !DILocation(line: 8, column: 13,
// DWARF-CHECK-DAG: ![[SLT]] = !DILocation(line: 10, column: 9,
// DWARF-CHECK-DAG: !DILexicalBlock({{.*}}, line: 10, column: 14)
// DWARF-CHECK-DAG: ![[SUB]] = !DILocation(line: 12, column: 14,
// CV-CHECK-DAG: ![[DIV]] = !DILocation(line: 8, scope:
// CV-CHECK-DAG: ![[SLT]] = !DILocation(line: 10, scope:
// CV-CHECK-DAG: !DILexicalBlock({{.*}}, line: 10)
// CV-CHECK-DAG: ![[SUB]] = !DILocation(line: 12, scope:
|
