]> git.ipfire.org Git - thirdparty/gcc.git/blame - libgcc/libgcov-profiler.c
Assert for POINTER_TYPE_P in expr_callee_abi
[thirdparty/gcc.git] / libgcc / libgcov-profiler.c
CommitLineData
ded3d3f8 1/* Routines required for instrumenting a program. */
2/* Compile this one with gcc. */
fbd26352 3/* Copyright (C) 1989-2019 Free Software Foundation, Inc.
ded3d3f8 4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9Software Foundation; either version 3, or (at your option) any later
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
16
17Under Section 7 of GPL version 3, you are granted additional
18permissions described in the GCC Runtime Library Exception, version
193.1, as published by the Free Software Foundation.
20
21You should have received a copy of the GNU General Public License and
22a copy of the GCC Runtime Library Exception along with this program;
23see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
24<http://www.gnu.org/licenses/>. */
25
67745126 26#include "libgcov.h"
ded3d3f8 27#if !defined(inhibit_libc)
ded3d3f8 28
4c790ba8 29/* Detect whether target can support atomic update of profilers. */
30#if __SIZEOF_LONG_LONG__ == 4 && __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4
31#define GCOV_SUPPORTS_ATOMIC 1
32#else
33#if __SIZEOF_LONG_LONG__ == 8 && __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8
34#define GCOV_SUPPORTS_ATOMIC 1
35#else
36#define GCOV_SUPPORTS_ATOMIC 0
37#endif
38#endif
39
ded3d3f8 40#ifdef L_gcov_interval_profiler
41/* If VALUE is in interval <START, START + STEPS - 1>, then increases the
42 corresponding counter in COUNTERS. If the VALUE is above or below
43 the interval, COUNTERS[STEPS] or COUNTERS[STEPS + 1] is increased
44 instead. */
45
46void
47__gcov_interval_profiler (gcov_type *counters, gcov_type value,
48 int start, unsigned steps)
49{
50 gcov_type delta = value - start;
51 if (delta < 0)
52 counters[steps + 1]++;
53 else if (delta >= steps)
54 counters[steps]++;
55 else
56 counters[delta]++;
57}
58#endif
59
4c790ba8 60#if defined(L_gcov_interval_profiler_atomic) && GCOV_SUPPORTS_ATOMIC
2d2b4107 61/* If VALUE is in interval <START, START + STEPS - 1>, then increases the
62 corresponding counter in COUNTERS. If the VALUE is above or below
63 the interval, COUNTERS[STEPS] or COUNTERS[STEPS + 1] is increased
64 instead. Function is thread-safe. */
65
66void
67__gcov_interval_profiler_atomic (gcov_type *counters, gcov_type value,
68 int start, unsigned steps)
69{
70 gcov_type delta = value - start;
71 if (delta < 0)
ad7b10a2 72 __atomic_fetch_add (&counters[steps + 1], 1, __ATOMIC_RELAXED);
2d2b4107 73 else if (delta >= steps)
ad7b10a2 74 __atomic_fetch_add (&counters[steps], 1, __ATOMIC_RELAXED);
2d2b4107 75 else
ad7b10a2 76 __atomic_fetch_add (&counters[delta], 1, __ATOMIC_RELAXED);
2d2b4107 77}
78#endif
79
ded3d3f8 80#ifdef L_gcov_pow2_profiler
81/* If VALUE is a power of two, COUNTERS[1] is incremented. Otherwise
82 COUNTERS[0] is incremented. */
83
84void
85__gcov_pow2_profiler (gcov_type *counters, gcov_type value)
86{
defa7026 87 if (value == 0 || (value & (value - 1)))
ded3d3f8 88 counters[0]++;
89 else
90 counters[1]++;
91}
92#endif
93
4c790ba8 94#if defined(L_gcov_pow2_profiler_atomic) && GCOV_SUPPORTS_ATOMIC
2d2b4107 95/* If VALUE is a power of two, COUNTERS[1] is incremented. Otherwise
96 COUNTERS[0] is incremented. Function is thread-safe. */
97
98void
99__gcov_pow2_profiler_atomic (gcov_type *counters, gcov_type value)
100{
101 if (value == 0 || (value & (value - 1)))
ad7b10a2 102 __atomic_fetch_add (&counters[0], 1, __ATOMIC_RELAXED);
2d2b4107 103 else
ad7b10a2 104 __atomic_fetch_add (&counters[1], 1, __ATOMIC_RELAXED);
2d2b4107 105}
106#endif
107
108
ac65c341 109/* Tries to determine N most commons value among its inputs. */
ded3d3f8 110
111static inline void
ac65c341 112__gcov_topn_values_profiler_body (gcov_type *counters, gcov_type value,
113 int use_atomic)
ded3d3f8 114{
6b327ef5 115 if (use_atomic)
116 __atomic_fetch_add (&counters[0], 1, __ATOMIC_RELAXED);
117 else
118 counters[0]++;
119
120 ++counters;
121
ac65c341 122 /* We have GCOV_TOPN_VALUES as we can keep multiple values
6b327ef5 123 next to each other. */
124 unsigned sindex = 0;
125
ac65c341 126 for (unsigned i = 0; i < GCOV_TOPN_VALUES; i++)
ded3d3f8 127 {
6b327ef5 128 if (value == counters[2 * i])
129 {
130 if (use_atomic)
131 __atomic_fetch_add (&counters[2 * i + 1], 1, __ATOMIC_RELAXED);
132 else
133 counters[2 * i + 1]++;
134 return;
135 }
136 else if (counters[2 * i + 1] == 0)
137 {
138 /* We found an empty slot. */
139 counters[2 * i] = value;
140 counters[2 * i + 1] = 1;
141 return;
142 }
143
144 if (counters[2 * i + 1] < counters[2 * sindex + 1])
145 sindex = i;
ded3d3f8 146 }
2d2b4107 147
6b327ef5 148 /* We haven't found an empty slot, then decrement the smallest. */
2d2b4107 149 if (use_atomic)
6b327ef5 150 __atomic_fetch_sub (&counters[2 * sindex + 1], 1, __ATOMIC_RELAXED);
2d2b4107 151 else
6b327ef5 152 counters[2 * sindex + 1]--;
ded3d3f8 153}
154
ac65c341 155#ifdef L_gcov_topn_values_profiler
ded3d3f8 156void
ac65c341 157__gcov_topn_values_profiler (gcov_type *counters, gcov_type value)
ded3d3f8 158{
ac65c341 159 __gcov_topn_values_profiler_body (counters, value, 0);
2d2b4107 160}
161#endif
162
ac65c341 163#if defined(L_gcov_topn_values_profiler_atomic) && GCOV_SUPPORTS_ATOMIC
2d2b4107 164
165/* Update one value profilers (COUNTERS) for a given VALUE.
166
167 CAVEAT: Following function is not thread-safe, only total number
168 of executions (COUNTERS[2]) is update with an atomic instruction.
169 Problem is that one cannot atomically update two counters
170 (COUNTERS[0] and COUNTERS[1]), for more information please read
171 following email thread:
172 https://gcc.gnu.org/ml/gcc-patches/2016-08/msg00024.html. */
173
174void
ac65c341 175__gcov_topn_values_profiler_atomic (gcov_type *counters, gcov_type value)
2d2b4107 176{
ac65c341 177 __gcov_topn_values_profiler_body (counters, value, 1);
ded3d3f8 178}
179#endif
180
1a15313c 181#ifdef L_gcov_indirect_call_profiler_v4
ded3d3f8 182
183/* These two variables are used to actually track caller and callee. Keep
184 them in TLS memory so races are not common (they are written to often).
185 The variables are set directly by GCC instrumented code, so declaration
186 here must match one in tree-profile.c */
187
188#if defined(HAVE_CC_TLS) && !defined (USE_EMUTLS)
189__thread
190#endif
604e9a8b 191struct indirect_call_tuple __gcov_indirect_call;
ded3d3f8 192
193/* By default, the C++ compiler will use function addresses in the
194 vtable entries. Setting TARGET_VTABLE_USES_DESCRIPTORS to nonzero
195 tells the compiler to use function descriptors instead. The value
325b8c3c 196 of this macro says how many words wide the descriptor is (normally 2).
ded3d3f8 197
198 It is assumed that the address of a function descriptor may be treated
199 as a pointer to a function. */
200
ded3d3f8 201/* Tries to determine the most common value among its inputs. */
202void
1a15313c 203__gcov_indirect_call_profiler_v4 (gcov_type value, void* cur_func)
ded3d3f8 204{
205 /* If the C++ virtual tables contain function descriptors then one
206 function may have multiple descriptors and we need to dereference
207 the descriptors to see if they point to the same function. */
604e9a8b 208 if (cur_func == __gcov_indirect_call.callee
874612dc 209 || (__LIBGCC_VTABLE_USES_DESCRIPTORS__
604e9a8b 210 && *(void **) cur_func == *(void **) __gcov_indirect_call.callee))
ac65c341 211 __gcov_topn_values_profiler_body (__gcov_indirect_call.counters, value, 0);
696ee0c7 212
604e9a8b 213 __gcov_indirect_call.callee = NULL;
ded3d3f8 214}
215#endif
216
217#ifdef L_gcov_time_profiler
218
219/* Counter for first visit of each function. */
352bbfad 220gcov_type __gcov_time_profiler_counter ATTRIBUTE_HIDDEN;
ded3d3f8 221
ded3d3f8 222#endif
2d2b4107 223
ded3d3f8 224#ifdef L_gcov_average_profiler
225/* Increase corresponding COUNTER by VALUE. FIXME: Perhaps we want
226 to saturate up. */
227
228void
229__gcov_average_profiler (gcov_type *counters, gcov_type value)
230{
231 counters[0] += value;
232 counters[1] ++;
233}
234#endif
235
4c790ba8 236#if defined(L_gcov_average_profiler_atomic) && GCOV_SUPPORTS_ATOMIC
2d2b4107 237/* Increase corresponding COUNTER by VALUE. FIXME: Perhaps we want
238 to saturate up. Function is thread-safe. */
239
240void
241__gcov_average_profiler_atomic (gcov_type *counters, gcov_type value)
242{
ad7b10a2 243 __atomic_fetch_add (&counters[0], value, __ATOMIC_RELAXED);
244 __atomic_fetch_add (&counters[1], 1, __ATOMIC_RELAXED);
2d2b4107 245}
246#endif
247
ded3d3f8 248#ifdef L_gcov_ior_profiler
249/* Bitwise-OR VALUE into COUNTER. */
250
251void
252__gcov_ior_profiler (gcov_type *counters, gcov_type value)
253{
254 *counters |= value;
255}
256#endif
257
4c790ba8 258#if defined(L_gcov_ior_profiler_atomic) && GCOV_SUPPORTS_ATOMIC
2d2b4107 259/* Bitwise-OR VALUE into COUNTER. Function is thread-safe. */
260
261void
262__gcov_ior_profiler_atomic (gcov_type *counters, gcov_type value)
263{
ad7b10a2 264 __atomic_fetch_or (&counters[0], value, __ATOMIC_RELAXED);
2d2b4107 265}
266#endif
267
268
ded3d3f8 269#endif /* inhibit_libc */