1 // Tests that we don't attach misleading debug locations to llvm.instrprof.increment
2 // counters.
3
4 // RUN: %clang_cc1 -x c++ %s -debug-info-kind=standalone -triple %itanium_abi_triple -main-file-name debug-info-instr_profile_switch.cpp -std=c++11 -o - -emit-llvm -fprofile-instrument=clang | FileCheck %s
5
main(int argc,const char * argv[])6 int main(int argc, const char *argv[]) {
7 switch(argc) {
8 case 0:
9 return 0;
10 case 1:
11 return 1;
12 }
13 }
14
15 // CHECK: define {{.*}} @main({{.*}}) #0 !dbg ![[MAIN_SCOPE:[0-9]+]]
16
17 // CHECK: switch i32 {{.*}}, label {{.*}} [
18 // CHECK-NEXT: i32 0, label %[[CASE1_LBL:[a-z0-9.]+]]
19 // CHECK-NEXT: i32 1, label %[[CASE2_LBL:[a-z0-9.]+]]
20 // CHECK-NEXT: ], !dbg ![[SWITCH_LOC:[0-9]+]]
21
22 // CHECK: [[CASE1_LBL]]:
23 // CHECK-NEXT: %{{.*}} = load i64, ptr getelementptr inbounds ({{.*}}, ptr @__profc_main, {{.*}}), align {{.*}}, !dbg ![[CTR_LOC:[0-9]+]]
24 // CHECK-NEXT: %{{.*}} = add {{.*}}, !dbg ![[CTR_LOC]]
25 // CHECK-NEXT: store i64 {{.*}}, ptr getelementptr inbounds ({{.*}}, ptr @__profc_main, {{.*}}), align {{.*}}, !dbg ![[CTR_LOC]]
26 // CHECK-NEXT: store i32 0, {{.*}} !dbg ![[CASE1_LOC:[0-9]+]]
27 // CHECK-NEXT: br label {{.*}}, !dbg ![[CASE1_LOC]]
28
29 // CHECK: [[CASE2_LBL]]:
30 // CHECK-NEXT: %{{.*}} = load i64, ptr getelementptr inbounds ({{.*}}, ptr @__profc_main, {{.*}}), align {{.*}}, !dbg ![[CTR_LOC]]
31 // CHECK-NEXT: %{{.*}} = add {{.*}}, !dbg ![[CTR_LOC]]
32 // CHECK-NEXT: store i64 {{.*}}, ptr getelementptr inbounds ({{.*}}, ptr @__profc_main, {{.*}}), align {{.*}}, !dbg ![[CTR_LOC]]
33 // CHECK-NEXT: store i32 1, {{.*}} !dbg ![[CASE2_LOC:[0-9]+]]
34 // CHECK-NEXT: br label {{.*}}, !dbg ![[CASE2_LOC]]
35
36 // CHECK: ![[SWITCH_LOC]] = !DILocation({{.*}}, scope: ![[MAIN_SCOPE]])
37 // CHECK: ![[CTR_LOC]] = !DILocation(line: 0, scope: ![[BLOCK_SCOPE:[0-9]+]])
38 // CHECK: ![[BLOCK_SCOPE]] = distinct !DILexicalBlock(scope: ![[MAIN_SCOPE]]
39 // CHECK: ![[CASE1_LOC]] = !DILocation(line: {{.*}}, column: {{.*}}, scope: ![[BLOCK_SCOPE]])
40 // CHECK: ![[CASE2_LOC]] = !DILocation(line: {{.*}}, column: {{.*}}, scope: ![[BLOCK_SCOPE]])
41