clang/test/Profile/debug-info-instr_profile_switch.cpp

   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
   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]])