| // 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: !DILexicalBlock({{.*}}, line: 5, column: 50) |
| // 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: !DILexicalBlock({{.*}}, line: 5) |
| // 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: |