clang/test/Profile/cxx-throws.cpp

   1 // Test instrumentation of C++ exception handling constructs.
   2
   3 // FIXME: Don't seek bb labels, like "if.else"
   4 // REQUIRES: asserts
   5
   6 // RUN: %clang_cc1 %s -o - -emit-llvm -fprofile-instrument=clang -fexceptions -fcxx-exceptions -triple %itanium_abi_triple | FileCheck -check-prefix=PGOGEN %s
   7 // RUN: %clang_cc1 %s -o - -emit-llvm -fprofile-instrument=clang -fexceptions -fcxx-exceptions -triple %itanium_abi_triple | FileCheck -check-prefix=PGOGEN-EXC %s
   8
   9 // RUN: llvm-profdata merge %S/Inputs/cxx-throws.proftext -o %t.profdata
  10 // RUN: %clang_cc1 %s -o - -emit-llvm -fprofile-instrument-use-path=%t.profdata -fexceptions -fcxx-exceptions -triple %itanium_abi_triple | FileCheck -check-prefix=PGOUSE %s
  11 // RUN: %clang_cc1 %s -o - -emit-llvm -fprofile-instrument-use-path=%t.profdata -fexceptions -fcxx-exceptions -triple %itanium_abi_triple | FileCheck -check-prefix=PGOUSE-EXC %s
  12
  13 // PGOGEN: @[[THC:__profc__Z6throwsv]] = {{(private|internal)}} global [9 x i64] zeroinitializer
  14 // PGOGEN-EXC: @[[THC:__profc__Z6throwsv]] = {{(private|internal)}} global [9 x i64] zeroinitializer
  15 // PGOGEN: @[[UNC:__profc__Z11unreachablei]] = {{(private|internal)}} global [3 x i64] zeroinitializer
  16
  17 // PGOGEN-LABEL: @_Z6throwsv()
  18 // PGOUSE-LABEL: @_Z6throwsv()
  19 // PGOGEN: store {{.*}} @[[THC]]
  20 void throws() {
  21   // PGOGEN: store {{.*}} @[[THC]], i32 0, i32 1
  22   // PGOUSE: br {{.*}} !prof ![[TH1:[0-9]+]]
  23   for (int i = 0; i < 100; ++i) {
  24     try {
  25       // PGOGEN: store {{.*}} @[[THC]], i32 0, i32 3
  26       // PGOUSE: br {{.*}} !prof ![[TH2:[0-9]+]]
  27       if (i % 3) {
  28         // PGOGEN: store {{.*}} @[[THC]], i32 0, i32 4
  29         // PGOUSE: br {{.*}} !prof ![[TH3:[0-9]+]]
  30         if (i < 50)
  31           throw 1;
  32       } else {
  33         // The catch block may be emitted after the throw above, we can skip it
  34         // by looking for an else block, but this will break if anyone puts an
  35         // else in the catch
  36         // PGOUSE: if.else{{.*}}:
  37         // PGOGEN: if.else{{.*}}:
  38
  39         // PGOGEN: store {{.*}} @[[THC]], i32 0, i32 5
  40         // PGOUSE: br {{.*}} !prof ![[TH4:[0-9]+]]
  41         if (i >= 50)
  42           throw 0;
  43       }
  44     } catch (int e) {
  45       // PGOUSE-EXC: catch{{.*}}:
  46       // PGOGEN-EXC: catch{{.*}}:
  47
  48       // PGOGEN-EXC: store {{.*}} @[[THC]], i32 0, i32 6
  49       // PGOGEN-EXC: store {{.*}} @[[THC]], i32 0, i32 7
  50       // PGOUSE-EXC: br {{.*}} !prof ![[TH5:[0-9]+]]
  51       if (e) {}
  52     }
  53     // PGOGEN: store {{.*}} @[[THC]], i32 0, i32 2
  54
  55     // PGOGEN: store {{.*}} @[[THC]], i32 0, i32 8
  56     // PGOUSE: br {{.*}} !prof ![[TH6:[0-9]+]]
  57     if (i < 100) {}
  58   }
  59
  60   // PGOUSE-NOT: br {{.*}} !prof ![0-9]+
  61   // PGOUSE: ret void
  62 }
  63
  64 // PGOGEN-LABEL: @_Z11unreachablei(i32
  65 // PGOUSE-LABEL: @_Z11unreachablei(i32
  66 // PGOGEN: store {{.*}} @[[UNC]]
  67 void unreachable(int i) {
  68   // PGOGEN: store {{.*}} @[[UNC]], i32 0, i32 1
  69   // PGOUSE: br {{.*}} !prof ![[UN1:[0-9]+]]
  70   if (i)
  71     throw i;
  72
  73   // PGOGEN: store {{.*}} @[[UNC]], i32 0, i32 2
  74   // Since we never reach here, the weights should all be zero (and skipped)
  75   // PGOUSE-NOT: br {{.*}} !prof !{{.*}}
  76   if (i) {}
  77 }
  78
  79 // PGOUSE-DAG: ![[TH1]] = !{!"branch_weights", i32 101, i32 2}
  80 // PGOUSE-DAG: ![[TH2]] = !{!"branch_weights", i32 67, i32 35}
  81 // PGOUSE-DAG: ![[TH3]] = !{!"branch_weights", i32 34, i32 34}
  82 // PGOUSE-DAG: ![[TH4]] = !{!"branch_weights", i32 18, i32 18}
  83 // PGOUSE-EXC: ![[TH5]] = !{!"branch_weights", i32 34, i32 18}
  84 // PGOUSE-DAG: ![[TH6]] = !{!"branch_weights", i32 101, i32 1}
  85 // PGOUSE-DAG: ![[UN1]] = !{!"branch_weights", i32 2, i32 1}
  86
  87 int main(int argc, const char *argv[]) {
  88   throws();
  89   try {
  90     unreachable(1);
  91   } catch (int) {}
  92   return 0;
  93 }