// Test instrumentation of C++ exception handling constructs. // FIXME: Don't seek bb labels, like "if.else" // REQUIRES: asserts // RUN: %clang_cc1 %s -o - -emit-llvm -fprofile-instrument=clang -fexceptions -fcxx-exceptions -triple %itanium_abi_triple | FileCheck -check-prefix=PGOGEN %s // RUN: %clang_cc1 %s -o - -emit-llvm -fprofile-instrument=clang -fexceptions -fcxx-exceptions -triple %itanium_abi_triple | FileCheck -check-prefix=PGOGEN-EXC %s // RUN: llvm-profdata merge %S/Inputs/cxx-throws.proftext -o %t.profdata // 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 // 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 // PGOGEN: @[[THC:__profc__Z6throwsv]] = private global [9 x i64] zeroinitializer // PGOGEN-EXC: @[[THC:__profc__Z6throwsv]] = private global [9 x i64] zeroinitializer // PGOGEN: @[[UNC:__profc__Z11unreachablei]] = private global [3 x i64] zeroinitializer // PGOGEN-LABEL: @_Z6throwsv() // PGOUSE-LABEL: @_Z6throwsv() // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 0 void throws() { // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 1 // PGOUSE: br {{.*}} !prof ![[TH1:[0-9]+]] for (int i = 0; i < 100; ++i) { try { // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 3 // PGOUSE: br {{.*}} !prof ![[TH2:[0-9]+]] if (i % 3) { // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 4 // PGOUSE: br {{.*}} !prof ![[TH3:[0-9]+]] if (i < 50) throw 1; } else { // The catch block may be emitted after the throw above, we can skip it // by looking for an else block, but this will break if anyone puts an // else in the catch // PGOUSE: if.else{{.*}}: // PGOGEN: if.else{{.*}}: // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 5 // PGOUSE: br {{.*}} !prof ![[TH4:[0-9]+]] if (i >= 50) throw 0; } } catch (int e) { // PGOUSE-EXC: catch{{.*}}: // PGOGEN-EXC: catch{{.*}}: // PGOGEN-EXC: store {{.*}} @[[THC]], i64 0, i64 6 // PGOGEN-EXC: store {{.*}} @[[THC]], i64 0, i64 7 // PGOUSE-EXC: br {{.*}} !prof ![[TH5:[0-9]+]] if (e) {} } // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 2 // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 8 // PGOUSE: br {{.*}} !prof ![[TH6:[0-9]+]] if (i < 100) {} } // PGOUSE-NOT: br {{.*}} !prof ![0-9]+ // PGOUSE: ret void } // PGOGEN-LABEL: @_Z11unreachablei(i32 // PGOUSE-LABEL: @_Z11unreachablei(i32 // PGOGEN: store {{.*}} @[[UNC]], i64 0, i64 0 void unreachable(int i) { // PGOGEN: store {{.*}} @[[UNC]], i64 0, i64 1 // PGOUSE: br {{.*}} !prof ![[UN1:[0-9]+]] if (i) throw i; // PGOGEN: store {{.*}} @[[UNC]], i64 0, i64 2 // Since we never reach here, the weights should all be zero (and skipped) // PGOUSE-NOT: br {{.*}} !prof !{{.*}} if (i) {} } // PGOUSE-DAG: ![[TH1]] = !{!"branch_weights", i32 101, i32 2} // PGOUSE-DAG: ![[TH2]] = !{!"branch_weights", i32 67, i32 35} // PGOUSE-DAG: ![[TH3]] = !{!"branch_weights", i32 34, i32 34} // PGOUSE-DAG: ![[TH4]] = !{!"branch_weights", i32 18, i32 18} // PGOUSE-EXC: ![[TH5]] = !{!"branch_weights", i32 34, i32 18} // PGOUSE-DAG: ![[TH6]] = !{!"branch_weights", i32 101, i32 1} // PGOUSE-DAG: ![[UN1]] = !{!"branch_weights", i32 2, i32 1} int main(int argc, const char *argv[]) { throws(); try { unreachable(1); } catch (int) {} return 0; } |