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 global [9 x i64] zeroinitializer
14 // PGOGEN-EXC: @[[THC:__profc__Z6throwsv]] = private global [9 x i64] zeroinitializer
15 // PGOGEN: @[[UNC:__profc__Z11unreachablei]] = private global [3 x i64] zeroinitializer
16 
17 // PGOGEN-LABEL: @_Z6throwsv()
18 // PGOUSE-LABEL: @_Z6throwsv()
19 // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 0
20 void throws() {
21   // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 1
22   // PGOUSE: br {{.*}} !prof ![[TH1:[0-9]+]]
23   for (int i = 0; i < 100; ++i) {
24     try {
25       // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 3
26       // PGOUSE: br {{.*}} !prof ![[TH2:[0-9]+]]
27       if (i % 3) {
28         // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 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]], i64 0, i64 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]], i64 0, i64 6
49       // PGOGEN-EXC: store {{.*}} @[[THC]], i64 0, i64 7
50       // PGOUSE-EXC: br {{.*}} !prof ![[TH5:[0-9]+]]
51       if (e) {}
52     }
53     // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 2
54 
55     // PGOGEN: store {{.*}} @[[THC]], i64 0, i64 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]], i64 0, i64 0
67 void unreachable(int i) {
68   // PGOGEN: store {{.*}} @[[UNC]], i64 0, i64 1
69   // PGOUSE: br {{.*}} !prof ![[UN1:[0-9]+]]
70   if (i)
71     throw i;
72 
73   // PGOGEN: store {{.*}} @[[UNC]], i64 0, i64 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 }
94