Daily bump.
[official-gcc.git] / gcc / coverage.c
blobbae6f5cafac6d7ce9b9a250bcb1e70b10fd1f628
1 /* Read and write coverage files, and associated functionality.
2 Copyright (C) 1990-2018 Free Software Foundation, Inc.
3 Contributed by James E. Wilson, UC Berkeley/Cygnus Support;
4 based on some ideas from Dain Samples of UC Berkeley.
5 Further mangling by Bob Manson, Cygnus Support.
6 Further mangled by Nathan Sidwell, CodeSourcery
8 This file is part of GCC.
10 GCC is free software; you can redistribute it and/or modify it under
11 the terms of the GNU General Public License as published by the Free
12 Software Foundation; either version 3, or (at your option) any later
13 version.
15 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
16 WARRANTY; without even the implied warranty of MERCHANTABILITY or
17 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 for more details.
20 You should have received a copy of the GNU General Public License
21 along with GCC; see the file COPYING3. If not see
22 <http://www.gnu.org/licenses/>. */
25 #define GCOV_LINKAGE
27 #include "config.h"
28 #include "system.h"
29 #include "coretypes.h"
30 #include "backend.h"
31 #include "target.h"
32 #include "rtl.h"
33 #include "tree.h"
34 #include "tree-pass.h"
35 #include "memmodel.h"
36 #include "tm_p.h"
37 #include "stringpool.h"
38 #include "cgraph.h"
39 #include "coverage.h"
40 #include "diagnostic-core.h"
41 #include "fold-const.h"
42 #include "stor-layout.h"
43 #include "output.h"
44 #include "toplev.h"
45 #include "langhooks.h"
46 #include "tree-iterator.h"
47 #include "context.h"
48 #include "pass_manager.h"
49 #include "intl.h"
50 #include "params.h"
51 #include "auto-profile.h"
53 #include "gcov-io.c"
55 struct GTY((chain_next ("%h.next"))) coverage_data
57 struct coverage_data *next; /* next function */
58 unsigned ident; /* function ident */
59 unsigned lineno_checksum; /* function lineno checksum */
60 unsigned cfg_checksum; /* function cfg checksum */
61 tree fn_decl; /* the function decl */
62 tree ctr_vars[GCOV_COUNTERS]; /* counter variables. */
65 /* Counts information for a function. */
66 struct counts_entry : pointer_hash <counts_entry>
68 /* We hash by */
69 unsigned ident;
70 unsigned ctr;
72 /* Store */
73 unsigned lineno_checksum;
74 unsigned cfg_checksum;
75 gcov_type *counts;
76 gcov_summary summary;
78 /* hash_table support. */
79 static inline hashval_t hash (const counts_entry *);
80 static int equal (const counts_entry *, const counts_entry *);
81 static void remove (counts_entry *);
84 static GTY(()) struct coverage_data *functions_head = 0;
85 static struct coverage_data **functions_tail = &functions_head;
86 static unsigned no_coverage = 0;
88 /* Cumulative counter information for whole program. */
89 static unsigned prg_ctr_mask; /* Mask of counter types generated. */
91 /* Counter information for current function. */
92 static unsigned fn_ctr_mask; /* Mask of counters used. */
93 static GTY(()) tree fn_v_ctrs[GCOV_COUNTERS]; /* counter variables. */
94 static unsigned fn_n_ctrs[GCOV_COUNTERS]; /* Counters allocated. */
95 static unsigned fn_b_ctrs[GCOV_COUNTERS]; /* Allocation base. */
97 /* Coverage info VAR_DECL and function info type nodes. */
98 static GTY(()) tree gcov_info_var;
99 static GTY(()) tree gcov_fn_info_type;
100 static GTY(()) tree gcov_fn_info_ptr_type;
102 /* Name of the notes (gcno) output file. The "bbg" prefix is for
103 historical reasons, when the notes file contained only the
104 basic block graph notes.
105 If this is NULL we're not writing to the notes file. */
106 static char *bbg_file_name;
108 /* File stamp for notes file. */
109 static unsigned bbg_file_stamp;
111 /* Name of the count data (gcda) file. */
112 static char *da_file_name;
114 /* The names of merge functions for counters. */
115 #define STR(str) #str
116 #define DEF_GCOV_COUNTER(COUNTER, NAME, FN_TYPE) STR(__gcov_merge ## FN_TYPE),
117 static const char *const ctr_merge_functions[GCOV_COUNTERS] = {
118 #include "gcov-counter.def"
120 #undef DEF_GCOV_COUNTER
121 #undef STR
123 #define DEF_GCOV_COUNTER(COUNTER, NAME, FN_TYPE) NAME,
124 static const char *const ctr_names[GCOV_COUNTERS] = {
125 #include "gcov-counter.def"
127 #undef DEF_GCOV_COUNTER
129 /* Forward declarations. */
130 static void read_counts_file (void);
131 static tree build_var (tree, tree, int);
132 static void build_fn_info_type (tree, unsigned, tree);
133 static void build_info_type (tree, tree);
134 static tree build_fn_info (const struct coverage_data *, tree, tree);
135 static tree build_info (tree, tree);
136 static bool coverage_obj_init (void);
137 static vec<constructor_elt, va_gc> *coverage_obj_fn
138 (vec<constructor_elt, va_gc> *, tree, struct coverage_data const *);
139 static void coverage_obj_finish (vec<constructor_elt, va_gc> *);
141 /* Return the type node for gcov_type. */
143 tree
144 get_gcov_type (void)
146 scalar_int_mode mode
147 = smallest_int_mode_for_size (LONG_LONG_TYPE_SIZE > 32 ? 64 : 32);
148 return lang_hooks.types.type_for_mode (mode, false);
151 /* Return the type node for gcov_unsigned_t. */
153 static tree
154 get_gcov_unsigned_t (void)
156 scalar_int_mode mode = smallest_int_mode_for_size (32);
157 return lang_hooks.types.type_for_mode (mode, true);
160 inline hashval_t
161 counts_entry::hash (const counts_entry *entry)
163 return entry->ident * GCOV_COUNTERS + entry->ctr;
166 inline int
167 counts_entry::equal (const counts_entry *entry1, const counts_entry *entry2)
169 return entry1->ident == entry2->ident && entry1->ctr == entry2->ctr;
172 inline void
173 counts_entry::remove (counts_entry *entry)
175 free (entry->counts);
176 free (entry);
179 /* Hash table of count data. */
180 static hash_table<counts_entry> *counts_hash;
182 /* Read in the counts file, if available. */
184 static void
185 read_counts_file (void)
187 gcov_unsigned_t fn_ident = 0;
188 gcov_summary summary;
189 unsigned new_summary = 1;
190 gcov_unsigned_t tag;
191 int is_error = 0;
192 unsigned lineno_checksum = 0;
193 unsigned cfg_checksum = 0;
195 if (!gcov_open (da_file_name, 1))
196 return;
198 if (!gcov_magic (gcov_read_unsigned (), GCOV_DATA_MAGIC))
200 warning (0, "%qs is not a gcov data file", da_file_name);
201 gcov_close ();
202 return;
204 else if ((tag = gcov_read_unsigned ()) != GCOV_VERSION)
206 char v[4], e[4];
208 GCOV_UNSIGNED2STRING (v, tag);
209 GCOV_UNSIGNED2STRING (e, GCOV_VERSION);
211 warning (0, "%qs is version %q.*s, expected version %q.*s",
212 da_file_name, 4, v, 4, e);
213 gcov_close ();
214 return;
217 /* Read the stamp, used for creating a generation count. */
218 tag = gcov_read_unsigned ();
219 bbg_file_stamp = crc32_unsigned (bbg_file_stamp, tag);
221 counts_hash = new hash_table<counts_entry> (10);
222 while ((tag = gcov_read_unsigned ()))
224 gcov_unsigned_t length;
225 gcov_position_t offset;
227 length = gcov_read_unsigned ();
228 offset = gcov_position ();
229 if (tag == GCOV_TAG_FUNCTION)
231 if (length)
233 fn_ident = gcov_read_unsigned ();
234 lineno_checksum = gcov_read_unsigned ();
235 cfg_checksum = gcov_read_unsigned ();
237 else
238 fn_ident = lineno_checksum = cfg_checksum = 0;
239 new_summary = 1;
241 else if (tag == GCOV_TAG_PROGRAM_SUMMARY)
243 struct gcov_summary sum;
245 if (new_summary)
246 memset (&summary, 0, sizeof (summary));
248 gcov_read_summary (&sum);
249 summary.runs += sum.runs;
250 summary.sum_all += sum.sum_all;
251 if (summary.run_max < sum.run_max)
252 summary.run_max = sum.run_max;
253 summary.sum_max += sum.sum_max;
254 if (new_summary)
255 memcpy (summary.histogram, sum.histogram,
256 sizeof (gcov_bucket_type) * GCOV_HISTOGRAM_SIZE);
257 else
258 gcov_histogram_merge (summary.histogram, sum.histogram);
259 new_summary = 0;
261 else if (GCOV_TAG_IS_COUNTER (tag) && fn_ident)
263 counts_entry **slot, *entry, elt;
264 unsigned n_counts = GCOV_TAG_COUNTER_NUM (length);
265 unsigned ix;
267 elt.ident = fn_ident;
268 elt.ctr = GCOV_COUNTER_FOR_TAG (tag);
270 slot = counts_hash->find_slot (&elt, INSERT);
271 entry = *slot;
272 if (!entry)
274 *slot = entry = XCNEW (counts_entry);
275 entry->ident = fn_ident;
276 entry->ctr = elt.ctr;
277 entry->lineno_checksum = lineno_checksum;
278 entry->cfg_checksum = cfg_checksum;
279 if (elt.ctr == GCOV_COUNTER_ARCS)
280 entry->summary = summary;
281 entry->summary.num = n_counts;
282 entry->counts = XCNEWVEC (gcov_type, n_counts);
284 else if (entry->lineno_checksum != lineno_checksum
285 || entry->cfg_checksum != cfg_checksum)
287 error ("Profile data for function %u is corrupted", fn_ident);
288 error ("checksum is (%x,%x) instead of (%x,%x)",
289 entry->lineno_checksum, entry->cfg_checksum,
290 lineno_checksum, cfg_checksum);
291 delete counts_hash;
292 counts_hash = NULL;
293 break;
295 else if (entry->summary.num != n_counts)
297 error ("Profile data for function %u is corrupted", fn_ident);
298 error ("number of counters is %d instead of %d", entry->summary.num, n_counts);
299 delete counts_hash;
300 counts_hash = NULL;
301 break;
303 else
305 entry->summary.runs += summary.runs;
306 entry->summary.sum_all += summary.sum_all;
307 if (entry->summary.run_max < summary.run_max)
308 entry->summary.run_max = summary.run_max;
309 entry->summary.sum_max += summary.sum_max;
311 for (ix = 0; ix != n_counts; ix++)
312 entry->counts[ix] += gcov_read_counter ();
314 gcov_sync (offset, length);
315 if ((is_error = gcov_is_error ()))
317 error (is_error < 0
318 ? G_("%qs has overflowed")
319 : G_("%qs is corrupted"),
320 da_file_name);
321 delete counts_hash;
322 counts_hash = NULL;
323 break;
327 gcov_close ();
330 /* Returns the counters for a particular tag. */
332 gcov_type *
333 get_coverage_counts (unsigned counter, unsigned expected,
334 unsigned cfg_checksum, unsigned lineno_checksum,
335 const gcov_summary **summary)
337 counts_entry *entry, elt;
339 /* No hash table, no counts. */
340 if (!counts_hash)
342 static int warned = 0;
344 if (!warned++ && dump_enabled_p ())
346 dump_user_location_t loc
347 = dump_user_location_t::from_location_t (input_location);
348 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, loc,
349 (flag_guess_branch_prob
350 ? "file %s not found, execution counts estimated\n"
351 : "file %s not found, execution counts assumed to "
352 "be zero\n"),
353 da_file_name);
355 return NULL;
357 if (PARAM_VALUE (PARAM_PROFILE_FUNC_INTERNAL_ID))
358 elt.ident = current_function_funcdef_no + 1;
359 else
361 gcc_assert (coverage_node_map_initialized_p ());
362 elt.ident = cgraph_node::get (cfun->decl)->profile_id;
364 elt.ctr = counter;
365 entry = counts_hash->find (&elt);
366 if (!entry || !entry->summary.num)
367 /* The function was not emitted, or is weak and not chosen in the
368 final executable. Silently fail, because there's nothing we
369 can do about it. */
370 return NULL;
372 if (entry->cfg_checksum != cfg_checksum
373 || entry->summary.num != expected)
375 static int warned = 0;
376 bool warning_printed = false;
377 tree id = DECL_ASSEMBLER_NAME (current_function_decl);
379 warning_printed =
380 warning_at (input_location, OPT_Wcoverage_mismatch,
381 "the control flow of function %qE does not match "
382 "its profile data (counter %qs)", id, ctr_names[counter]);
383 if (warning_printed && dump_enabled_p ())
385 dump_user_location_t loc
386 = dump_user_location_t::from_location_t (input_location);
387 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, loc,
388 "use -Wno-error=coverage-mismatch to tolerate "
389 "the mismatch but performance may drop if the "
390 "function is hot\n");
392 if (!seen_error ()
393 && !warned++)
395 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, loc,
396 "coverage mismatch ignored\n");
397 dump_printf (MSG_OPTIMIZED_LOCATIONS,
398 flag_guess_branch_prob
399 ? G_("execution counts estimated\n")
400 : G_("execution counts assumed to be zero\n"));
401 if (!flag_guess_branch_prob)
402 dump_printf (MSG_OPTIMIZED_LOCATIONS,
403 "this can result in poorly optimized code\n");
407 return NULL;
409 else if (entry->lineno_checksum != lineno_checksum)
411 warning (OPT_Wcoverage_mismatch,
412 "source locations for function %qE have changed,"
413 " the profile data may be out of date",
414 DECL_ASSEMBLER_NAME (current_function_decl));
417 if (summary)
418 *summary = &entry->summary;
420 return entry->counts;
423 /* Allocate NUM counters of type COUNTER. Returns nonzero if the
424 allocation succeeded. */
427 coverage_counter_alloc (unsigned counter, unsigned num)
429 if (no_coverage)
430 return 0;
432 if (!num)
433 return 1;
435 if (!fn_v_ctrs[counter])
437 tree array_type = build_array_type (get_gcov_type (), NULL_TREE);
439 fn_v_ctrs[counter]
440 = build_var (current_function_decl, array_type, counter);
443 fn_b_ctrs[counter] = fn_n_ctrs[counter];
444 fn_n_ctrs[counter] += num;
446 fn_ctr_mask |= 1 << counter;
447 return 1;
450 /* Generate a tree to access COUNTER NO. */
452 tree
453 tree_coverage_counter_ref (unsigned counter, unsigned no)
455 tree gcov_type_node = get_gcov_type ();
457 gcc_assert (no < fn_n_ctrs[counter] - fn_b_ctrs[counter]);
459 no += fn_b_ctrs[counter];
461 /* "no" here is an array index, scaled to bytes later. */
462 return build4 (ARRAY_REF, gcov_type_node, fn_v_ctrs[counter],
463 build_int_cst (integer_type_node, no), NULL, NULL);
466 /* Generate a tree to access the address of COUNTER NO. */
468 tree
469 tree_coverage_counter_addr (unsigned counter, unsigned no)
471 tree gcov_type_node = get_gcov_type ();
473 gcc_assert (no < fn_n_ctrs[counter] - fn_b_ctrs[counter]);
474 no += fn_b_ctrs[counter];
476 /* "no" here is an array index, scaled to bytes later. */
477 return build_fold_addr_expr (build4 (ARRAY_REF, gcov_type_node,
478 fn_v_ctrs[counter],
479 build_int_cst (integer_type_node, no),
480 NULL, NULL));
484 /* Generate a checksum for a string. CHKSUM is the current
485 checksum. */
487 static unsigned
488 coverage_checksum_string (unsigned chksum, const char *string)
490 int i;
491 char *dup = NULL;
493 /* Look for everything that looks if it were produced by
494 get_file_function_name and zero out the second part
495 that may result from flag_random_seed. This is not critical
496 as the checksums are used only for sanity checking. */
497 for (i = 0; string[i]; i++)
499 int offset = 0;
500 if (!strncmp (string + i, "_GLOBAL__N_", 11))
501 offset = 11;
502 if (!strncmp (string + i, "_GLOBAL__", 9))
503 offset = 9;
505 /* C++ namespaces do have scheme:
506 _GLOBAL__N_<filename>_<wrongmagicnumber>_<magicnumber>functionname
507 since filename might contain extra underscores there seems
508 to be no better chance then walk all possible offsets looking
509 for magicnumber. */
510 if (offset)
512 for (i = i + offset; string[i]; i++)
513 if (string[i]=='_')
515 int y;
517 for (y = 1; y < 9; y++)
518 if (!(string[i + y] >= '0' && string[i + y] <= '9')
519 && !(string[i + y] >= 'A' && string[i + y] <= 'F'))
520 break;
521 if (y != 9 || string[i + 9] != '_')
522 continue;
523 for (y = 10; y < 18; y++)
524 if (!(string[i + y] >= '0' && string[i + y] <= '9')
525 && !(string[i + y] >= 'A' && string[i + y] <= 'F'))
526 break;
527 if (y != 18)
528 continue;
529 if (!dup)
530 string = dup = xstrdup (string);
531 for (y = 10; y < 18; y++)
532 dup[i + y] = '0';
534 break;
538 chksum = crc32_string (chksum, string);
539 free (dup);
541 return chksum;
544 /* Compute checksum for the current function. We generate a CRC32. */
546 unsigned
547 coverage_compute_lineno_checksum (void)
549 expanded_location xloc
550 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
551 unsigned chksum = xloc.line;
553 if (xloc.file)
554 chksum = coverage_checksum_string (chksum, xloc.file);
555 chksum = coverage_checksum_string
556 (chksum, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl)));
558 return chksum;
561 /* Compute profile ID. This is better to be unique in whole program. */
563 unsigned
564 coverage_compute_profile_id (struct cgraph_node *n)
566 unsigned chksum;
568 /* Externally visible symbols have unique name. */
569 if (TREE_PUBLIC (n->decl) || DECL_EXTERNAL (n->decl) || n->unique_name)
571 chksum = coverage_checksum_string
572 (0, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (n->decl)));
574 else
576 expanded_location xloc
577 = expand_location (DECL_SOURCE_LOCATION (n->decl));
578 bool use_name_only = (PARAM_VALUE (PARAM_PROFILE_FUNC_INTERNAL_ID) == 0);
580 chksum = (use_name_only ? 0 : xloc.line);
581 if (xloc.file)
582 chksum = coverage_checksum_string (chksum, xloc.file);
583 chksum = coverage_checksum_string
584 (chksum, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (n->decl)));
585 if (!use_name_only && first_global_object_name)
586 chksum = coverage_checksum_string
587 (chksum, first_global_object_name);
588 chksum = coverage_checksum_string
589 (chksum, aux_base_name);
592 /* Non-negative integers are hopefully small enough to fit in all targets.
593 Gcov file formats wants non-zero function IDs. */
594 chksum = chksum & 0x7fffffff;
595 return chksum + (!chksum);
598 /* Compute cfg checksum for the function FN given as argument.
599 The checksum is calculated carefully so that
600 source code changes that doesn't affect the control flow graph
601 won't change the checksum.
602 This is to make the profile data useable across source code change.
603 The downside of this is that the compiler may use potentially
604 wrong profile data - that the source code change has non-trivial impact
605 on the validity of profile data (e.g. the reversed condition)
606 but the compiler won't detect the change and use the wrong profile data. */
608 unsigned
609 coverage_compute_cfg_checksum (struct function *fn)
611 basic_block bb;
612 unsigned chksum = n_basic_blocks_for_fn (fn);
614 FOR_EACH_BB_FN (bb, fn)
616 edge e;
617 edge_iterator ei;
618 chksum = crc32_byte (chksum, bb->index);
619 FOR_EACH_EDGE (e, ei, bb->succs)
621 chksum = crc32_byte (chksum, e->dest->index);
625 return chksum;
628 /* Begin output to the notes file for the current function.
629 Writes the function header. Returns nonzero if data should be output. */
632 coverage_begin_function (unsigned lineno_checksum, unsigned cfg_checksum)
634 expanded_location xloc;
635 unsigned long offset;
637 /* We don't need to output .gcno file unless we're under -ftest-coverage
638 (e.g. -fprofile-arcs/generate/use don't need .gcno to work). */
639 if (no_coverage || !bbg_file_name)
640 return 0;
642 xloc = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
644 /* Announce function */
645 offset = gcov_write_tag (GCOV_TAG_FUNCTION);
646 if (PARAM_VALUE (PARAM_PROFILE_FUNC_INTERNAL_ID))
647 gcov_write_unsigned (current_function_funcdef_no + 1);
648 else
650 gcc_assert (coverage_node_map_initialized_p ());
651 gcov_write_unsigned (
652 cgraph_node::get (current_function_decl)->profile_id);
655 gcov_write_unsigned (lineno_checksum);
656 gcov_write_unsigned (cfg_checksum);
657 gcov_write_string (IDENTIFIER_POINTER
658 (DECL_ASSEMBLER_NAME (current_function_decl)));
659 gcov_write_unsigned (DECL_ARTIFICIAL (current_function_decl)
660 && !DECL_FUNCTION_VERSIONED (current_function_decl));
661 gcov_write_filename (xloc.file);
662 gcov_write_unsigned (xloc.line);
663 gcov_write_unsigned (xloc.column);
665 expanded_location endloc = expand_location (cfun->function_end_locus);
667 /* Function can start in a single file and end in another one. */
668 gcov_write_unsigned (endloc.file == xloc.file ? endloc.line : xloc.line);
669 gcov_write_length (offset);
671 return !gcov_is_error ();
674 /* Finish coverage data for the current function. Verify no output
675 error has occurred. Save function coverage counts. */
677 void
678 coverage_end_function (unsigned lineno_checksum, unsigned cfg_checksum)
680 unsigned i;
682 if (bbg_file_name && gcov_is_error ())
684 warning (0, "error writing %qs", bbg_file_name);
685 unlink (bbg_file_name);
686 bbg_file_name = NULL;
689 if (fn_ctr_mask)
691 struct coverage_data *item = 0;
693 item = ggc_alloc<coverage_data> ();
695 if (PARAM_VALUE (PARAM_PROFILE_FUNC_INTERNAL_ID))
696 item->ident = current_function_funcdef_no + 1;
697 else
699 gcc_assert (coverage_node_map_initialized_p ());
700 item->ident = cgraph_node::get (cfun->decl)->profile_id;
703 item->lineno_checksum = lineno_checksum;
704 item->cfg_checksum = cfg_checksum;
706 item->fn_decl = current_function_decl;
707 item->next = 0;
708 *functions_tail = item;
709 functions_tail = &item->next;
711 for (i = 0; i != GCOV_COUNTERS; i++)
713 tree var = fn_v_ctrs[i];
715 if (item)
716 item->ctr_vars[i] = var;
717 if (var)
719 tree array_type = build_index_type (size_int (fn_n_ctrs[i] - 1));
720 array_type = build_array_type (get_gcov_type (), array_type);
721 TREE_TYPE (var) = array_type;
722 DECL_SIZE (var) = TYPE_SIZE (array_type);
723 DECL_SIZE_UNIT (var) = TYPE_SIZE_UNIT (array_type);
724 varpool_node::finalize_decl (var);
727 fn_b_ctrs[i] = fn_n_ctrs[i] = 0;
728 fn_v_ctrs[i] = NULL_TREE;
730 prg_ctr_mask |= fn_ctr_mask;
731 fn_ctr_mask = 0;
735 /* Remove coverage file if opened. */
737 void
738 coverage_remove_note_file (void)
740 if (bbg_file_name)
742 gcov_close ();
743 unlink (bbg_file_name);
747 /* Build a coverage variable of TYPE for function FN_DECL. If COUNTER
748 >= 0 it is a counter array, otherwise it is the function structure. */
750 static tree
751 build_var (tree fn_decl, tree type, int counter)
753 tree var = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE, type);
754 const char *fn_name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn_decl));
755 char *buf;
756 size_t fn_name_len, len;
758 fn_name = targetm.strip_name_encoding (fn_name);
759 fn_name_len = strlen (fn_name);
760 buf = XALLOCAVEC (char, fn_name_len + 8 + sizeof (int) * 3);
762 if (counter < 0)
763 strcpy (buf, "__gcov__");
764 else
765 sprintf (buf, "__gcov%u_", counter);
766 len = strlen (buf);
767 buf[len - 1] = symbol_table::symbol_suffix_separator ();
768 memcpy (buf + len, fn_name, fn_name_len + 1);
769 DECL_NAME (var) = get_identifier (buf);
770 TREE_STATIC (var) = 1;
771 TREE_ADDRESSABLE (var) = 1;
772 DECL_NONALIASED (var) = 1;
773 SET_DECL_ALIGN (var, TYPE_ALIGN (type));
775 return var;
778 /* Creates the gcov_fn_info RECORD_TYPE. */
780 static void
781 build_fn_info_type (tree type, unsigned counters, tree gcov_info_type)
783 tree ctr_info = lang_hooks.types.make_type (RECORD_TYPE);
784 tree field, fields;
785 tree array_type;
787 gcc_assert (counters);
789 /* ctr_info::num */
790 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
791 get_gcov_unsigned_t ());
792 fields = field;
794 /* ctr_info::values */
795 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
796 build_pointer_type (get_gcov_type ()));
797 DECL_CHAIN (field) = fields;
798 fields = field;
800 finish_builtin_struct (ctr_info, "__gcov_ctr_info", fields, NULL_TREE);
802 /* key */
803 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
804 build_pointer_type (build_qualified_type
805 (gcov_info_type, TYPE_QUAL_CONST)));
806 fields = field;
808 /* ident */
809 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
810 get_gcov_unsigned_t ());
811 DECL_CHAIN (field) = fields;
812 fields = field;
814 /* lineno_checksum */
815 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
816 get_gcov_unsigned_t ());
817 DECL_CHAIN (field) = fields;
818 fields = field;
820 /* cfg checksum */
821 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
822 get_gcov_unsigned_t ());
823 DECL_CHAIN (field) = fields;
824 fields = field;
826 array_type = build_index_type (size_int (counters - 1));
827 array_type = build_array_type (ctr_info, array_type);
829 /* counters */
830 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE, array_type);
831 DECL_CHAIN (field) = fields;
832 fields = field;
834 finish_builtin_struct (type, "__gcov_fn_info", fields, NULL_TREE);
837 /* Returns a CONSTRUCTOR for a gcov_fn_info. DATA is
838 the coverage data for the function and TYPE is the gcov_fn_info
839 RECORD_TYPE. KEY is the object file key. */
841 static tree
842 build_fn_info (const struct coverage_data *data, tree type, tree key)
844 tree fields = TYPE_FIELDS (type);
845 tree ctr_type;
846 unsigned ix;
847 vec<constructor_elt, va_gc> *v1 = NULL;
848 vec<constructor_elt, va_gc> *v2 = NULL;
850 /* key */
851 CONSTRUCTOR_APPEND_ELT (v1, fields,
852 build1 (ADDR_EXPR, TREE_TYPE (fields), key));
853 fields = DECL_CHAIN (fields);
855 /* ident */
856 CONSTRUCTOR_APPEND_ELT (v1, fields,
857 build_int_cstu (get_gcov_unsigned_t (),
858 data->ident));
859 fields = DECL_CHAIN (fields);
861 /* lineno_checksum */
862 CONSTRUCTOR_APPEND_ELT (v1, fields,
863 build_int_cstu (get_gcov_unsigned_t (),
864 data->lineno_checksum));
865 fields = DECL_CHAIN (fields);
867 /* cfg_checksum */
868 CONSTRUCTOR_APPEND_ELT (v1, fields,
869 build_int_cstu (get_gcov_unsigned_t (),
870 data->cfg_checksum));
871 fields = DECL_CHAIN (fields);
873 /* counters */
874 ctr_type = TREE_TYPE (TREE_TYPE (fields));
875 for (ix = 0; ix != GCOV_COUNTERS; ix++)
876 if (prg_ctr_mask & (1 << ix))
878 vec<constructor_elt, va_gc> *ctr = NULL;
879 tree var = data->ctr_vars[ix];
880 unsigned count = 0;
882 if (var)
883 count
884 = tree_to_shwi (TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (var))))
885 + 1;
887 CONSTRUCTOR_APPEND_ELT (ctr, TYPE_FIELDS (ctr_type),
888 build_int_cstu (get_gcov_unsigned_t (),
889 count));
891 if (var)
892 CONSTRUCTOR_APPEND_ELT (ctr, DECL_CHAIN (TYPE_FIELDS (ctr_type)),
893 build_fold_addr_expr (var));
895 CONSTRUCTOR_APPEND_ELT (v2, NULL, build_constructor (ctr_type, ctr));
898 CONSTRUCTOR_APPEND_ELT (v1, fields,
899 build_constructor (TREE_TYPE (fields), v2));
901 return build_constructor (type, v1);
904 /* Create gcov_info struct. TYPE is the incomplete RECORD_TYPE to be
905 completed, and FN_INFO_PTR_TYPE is a pointer to the function info type. */
907 static void
908 build_info_type (tree type, tree fn_info_ptr_type)
910 tree field, fields = NULL_TREE;
911 tree merge_fn_type;
913 /* Version ident */
914 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
915 get_gcov_unsigned_t ());
916 DECL_CHAIN (field) = fields;
917 fields = field;
919 /* next pointer */
920 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
921 build_pointer_type (build_qualified_type
922 (type, TYPE_QUAL_CONST)));
923 DECL_CHAIN (field) = fields;
924 fields = field;
926 /* stamp */
927 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
928 get_gcov_unsigned_t ());
929 DECL_CHAIN (field) = fields;
930 fields = field;
932 /* Filename */
933 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
934 build_pointer_type (build_qualified_type
935 (char_type_node, TYPE_QUAL_CONST)));
936 DECL_CHAIN (field) = fields;
937 fields = field;
939 /* merge fn array */
940 merge_fn_type
941 = build_function_type_list (void_type_node,
942 build_pointer_type (get_gcov_type ()),
943 get_gcov_unsigned_t (), NULL_TREE);
944 merge_fn_type
945 = build_array_type (build_pointer_type (merge_fn_type),
946 build_index_type (size_int (GCOV_COUNTERS - 1)));
947 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
948 merge_fn_type);
949 DECL_CHAIN (field) = fields;
950 fields = field;
952 /* n_functions */
953 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
954 get_gcov_unsigned_t ());
955 DECL_CHAIN (field) = fields;
956 fields = field;
958 /* function_info pointer pointer */
959 fn_info_ptr_type = build_pointer_type
960 (build_qualified_type (fn_info_ptr_type, TYPE_QUAL_CONST));
961 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
962 fn_info_ptr_type);
963 DECL_CHAIN (field) = fields;
964 fields = field;
966 finish_builtin_struct (type, "__gcov_info", fields, NULL_TREE);
969 /* Returns a CONSTRUCTOR for the gcov_info object. INFO_TYPE is the
970 gcov_info structure type, FN_ARY is the array of pointers to
971 function info objects. */
973 static tree
974 build_info (tree info_type, tree fn_ary)
976 tree info_fields = TYPE_FIELDS (info_type);
977 tree merge_fn_type, n_funcs;
978 unsigned ix;
979 tree filename_string;
980 int da_file_name_len;
981 vec<constructor_elt, va_gc> *v1 = NULL;
982 vec<constructor_elt, va_gc> *v2 = NULL;
984 /* Version ident */
985 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
986 build_int_cstu (TREE_TYPE (info_fields),
987 GCOV_VERSION));
988 info_fields = DECL_CHAIN (info_fields);
990 /* next -- NULL */
991 CONSTRUCTOR_APPEND_ELT (v1, info_fields, null_pointer_node);
992 info_fields = DECL_CHAIN (info_fields);
994 /* stamp */
995 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
996 build_int_cstu (TREE_TYPE (info_fields),
997 bbg_file_stamp));
998 info_fields = DECL_CHAIN (info_fields);
1000 /* Filename */
1001 da_file_name_len = strlen (da_file_name);
1002 filename_string = build_string (da_file_name_len + 1, da_file_name);
1003 TREE_TYPE (filename_string) = build_array_type
1004 (char_type_node, build_index_type (size_int (da_file_name_len)));
1005 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
1006 build1 (ADDR_EXPR, TREE_TYPE (info_fields),
1007 filename_string));
1008 info_fields = DECL_CHAIN (info_fields);
1010 /* merge fn array -- NULL slots indicate unmeasured counters */
1011 merge_fn_type = TREE_TYPE (TREE_TYPE (info_fields));
1012 for (ix = 0; ix != GCOV_COUNTERS; ix++)
1014 tree ptr = null_pointer_node;
1016 if ((1u << ix) & prg_ctr_mask)
1018 tree merge_fn = build_decl (BUILTINS_LOCATION,
1019 FUNCTION_DECL,
1020 get_identifier (ctr_merge_functions[ix]),
1021 TREE_TYPE (merge_fn_type));
1022 DECL_EXTERNAL (merge_fn) = 1;
1023 TREE_PUBLIC (merge_fn) = 1;
1024 DECL_ARTIFICIAL (merge_fn) = 1;
1025 TREE_NOTHROW (merge_fn) = 1;
1026 /* Initialize assembler name so we can stream out. */
1027 DECL_ASSEMBLER_NAME (merge_fn);
1028 ptr = build1 (ADDR_EXPR, merge_fn_type, merge_fn);
1030 CONSTRUCTOR_APPEND_ELT (v2, NULL, ptr);
1032 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
1033 build_constructor (TREE_TYPE (info_fields), v2));
1034 info_fields = DECL_CHAIN (info_fields);
1036 /* n_functions */
1037 n_funcs = TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (fn_ary)));
1038 n_funcs = fold_build2 (PLUS_EXPR, TREE_TYPE (info_fields),
1039 n_funcs, size_one_node);
1040 CONSTRUCTOR_APPEND_ELT (v1, info_fields, n_funcs);
1041 info_fields = DECL_CHAIN (info_fields);
1043 /* functions */
1044 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
1045 build1 (ADDR_EXPR, TREE_TYPE (info_fields), fn_ary));
1046 info_fields = DECL_CHAIN (info_fields);
1048 gcc_assert (!info_fields);
1049 return build_constructor (info_type, v1);
1052 /* Generate the constructor function to call __gcov_init. */
1054 static void
1055 build_init_ctor (tree gcov_info_type)
1057 tree ctor, stmt, init_fn;
1059 /* Build a decl for __gcov_init. */
1060 init_fn = build_pointer_type (gcov_info_type);
1061 init_fn = build_function_type_list (void_type_node, init_fn, NULL);
1062 init_fn = build_decl (BUILTINS_LOCATION, FUNCTION_DECL,
1063 get_identifier ("__gcov_init"), init_fn);
1064 TREE_PUBLIC (init_fn) = 1;
1065 DECL_EXTERNAL (init_fn) = 1;
1066 DECL_ASSEMBLER_NAME (init_fn);
1068 /* Generate a call to __gcov_init(&gcov_info). */
1069 ctor = NULL;
1070 stmt = build_fold_addr_expr (gcov_info_var);
1071 stmt = build_call_expr (init_fn, 1, stmt);
1072 append_to_statement_list (stmt, &ctor);
1074 /* Generate a constructor to run it. */
1075 int priority = SUPPORTS_INIT_PRIORITY
1076 ? MAX_RESERVED_INIT_PRIORITY: DEFAULT_INIT_PRIORITY;
1077 cgraph_build_static_cdtor ('I', ctor, priority);
1080 /* Generate the destructor function to call __gcov_exit. */
1082 static void
1083 build_gcov_exit_decl (void)
1085 tree init_fn = build_function_type_list (void_type_node, void_type_node,
1086 NULL);
1087 init_fn = build_decl (BUILTINS_LOCATION, FUNCTION_DECL,
1088 get_identifier ("__gcov_exit"), init_fn);
1089 TREE_PUBLIC (init_fn) = 1;
1090 DECL_EXTERNAL (init_fn) = 1;
1091 DECL_ASSEMBLER_NAME (init_fn);
1093 /* Generate a call to __gcov_exit (). */
1094 tree dtor = NULL;
1095 tree stmt = build_call_expr (init_fn, 0);
1096 append_to_statement_list (stmt, &dtor);
1098 /* Generate a destructor to run it. */
1099 int priority = SUPPORTS_INIT_PRIORITY
1100 ? MAX_RESERVED_INIT_PRIORITY: DEFAULT_INIT_PRIORITY;
1102 cgraph_build_static_cdtor ('D', dtor, priority);
1105 /* Create the gcov_info types and object. Generate the constructor
1106 function to call __gcov_init. Does not generate the initializer
1107 for the object. Returns TRUE if coverage data is being emitted. */
1109 static bool
1110 coverage_obj_init (void)
1112 tree gcov_info_type;
1113 unsigned n_counters = 0;
1114 unsigned ix;
1115 struct coverage_data *fn;
1116 struct coverage_data **fn_prev;
1117 char name_buf[32];
1119 no_coverage = 1; /* Disable any further coverage. */
1121 if (!prg_ctr_mask)
1122 return false;
1124 if (symtab->dump_file)
1125 fprintf (symtab->dump_file, "Using data file %s\n", da_file_name);
1127 /* Prune functions. */
1128 for (fn_prev = &functions_head; (fn = *fn_prev);)
1129 if (DECL_STRUCT_FUNCTION (fn->fn_decl))
1130 fn_prev = &fn->next;
1131 else
1132 /* The function is not being emitted, remove from list. */
1133 *fn_prev = fn->next;
1135 if (functions_head == NULL)
1136 return false;
1138 for (ix = 0; ix != GCOV_COUNTERS; ix++)
1139 if ((1u << ix) & prg_ctr_mask)
1140 n_counters++;
1142 /* Build the info and fn_info types. These are mutually recursive. */
1143 gcov_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1144 gcov_fn_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1145 build_fn_info_type (gcov_fn_info_type, n_counters, gcov_info_type);
1146 gcov_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1147 gcov_fn_info_ptr_type = build_pointer_type
1148 (build_qualified_type (gcov_fn_info_type, TYPE_QUAL_CONST));
1149 build_info_type (gcov_info_type, gcov_fn_info_ptr_type);
1151 /* Build the gcov info var, this is referred to in its own
1152 initializer. */
1153 gcov_info_var = build_decl (BUILTINS_LOCATION,
1154 VAR_DECL, NULL_TREE, gcov_info_type);
1155 TREE_STATIC (gcov_info_var) = 1;
1156 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 0);
1157 DECL_NAME (gcov_info_var) = get_identifier (name_buf);
1159 build_init_ctor (gcov_info_type);
1160 build_gcov_exit_decl ();
1162 return true;
1165 /* Generate the coverage function info for FN and DATA. Append a
1166 pointer to that object to CTOR and return the appended CTOR. */
1168 static vec<constructor_elt, va_gc> *
1169 coverage_obj_fn (vec<constructor_elt, va_gc> *ctor, tree fn,
1170 struct coverage_data const *data)
1172 tree init = build_fn_info (data, gcov_fn_info_type, gcov_info_var);
1173 tree var = build_var (fn, gcov_fn_info_type, -1);
1175 DECL_INITIAL (var) = init;
1176 varpool_node::finalize_decl (var);
1178 CONSTRUCTOR_APPEND_ELT (ctor, NULL,
1179 build1 (ADDR_EXPR, gcov_fn_info_ptr_type, var));
1180 return ctor;
1183 /* Finalize the coverage data. Generates the array of pointers to
1184 function objects from CTOR. Generate the gcov_info initializer. */
1186 static void
1187 coverage_obj_finish (vec<constructor_elt, va_gc> *ctor)
1189 unsigned n_functions = vec_safe_length (ctor);
1190 tree fn_info_ary_type = build_array_type
1191 (build_qualified_type (gcov_fn_info_ptr_type, TYPE_QUAL_CONST),
1192 build_index_type (size_int (n_functions - 1)));
1193 tree fn_info_ary = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE,
1194 fn_info_ary_type);
1195 char name_buf[32];
1197 TREE_STATIC (fn_info_ary) = 1;
1198 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 1);
1199 DECL_NAME (fn_info_ary) = get_identifier (name_buf);
1200 DECL_INITIAL (fn_info_ary) = build_constructor (fn_info_ary_type, ctor);
1201 varpool_node::finalize_decl (fn_info_ary);
1203 DECL_INITIAL (gcov_info_var)
1204 = build_info (TREE_TYPE (gcov_info_var), fn_info_ary);
1205 varpool_node::finalize_decl (gcov_info_var);
1208 /* Perform file-level initialization. Read in data file, generate name
1209 of notes file. */
1211 void
1212 coverage_init (const char *filename)
1214 int len = strlen (filename);
1215 int prefix_len = 0;
1217 /* Since coverage_init is invoked very early, before the pass
1218 manager, we need to set up the dumping explicitly. This is
1219 similar to the handling in finish_optimization_passes. */
1220 int profile_pass_num =
1221 g->get_passes ()->get_pass_profile ()->static_pass_number;
1222 g->get_dumps ()->dump_start (profile_pass_num, NULL);
1224 if (!IS_ABSOLUTE_PATH (filename))
1226 /* When a profile_data_prefix is provided, then mangle full path
1227 of filename in order to prevent file path clashing. */
1228 if (profile_data_prefix)
1230 #if HAVE_DOS_BASED_FILE_SYSTEM
1231 const char *separator = "\\";
1232 #else
1233 const char *separator = "/";
1234 #endif
1235 filename = concat (getpwd (), separator, filename, NULL);
1236 filename = mangle_path (filename);
1237 len = strlen (filename);
1239 else
1240 profile_data_prefix = getpwd ();
1243 if (profile_data_prefix)
1244 prefix_len = strlen (profile_data_prefix);
1246 /* Name of da file. */
1247 da_file_name = XNEWVEC (char, len + strlen (GCOV_DATA_SUFFIX)
1248 + prefix_len + 2);
1250 if (profile_data_prefix)
1252 memcpy (da_file_name, profile_data_prefix, prefix_len);
1253 da_file_name[prefix_len++] = '/';
1255 memcpy (da_file_name + prefix_len, filename, len);
1256 strcpy (da_file_name + prefix_len + len, GCOV_DATA_SUFFIX);
1258 bbg_file_stamp = local_tick;
1260 if (flag_auto_profile)
1261 read_autofdo_file ();
1262 else if (flag_branch_probabilities)
1263 read_counts_file ();
1265 /* Name of bbg file. */
1266 if (flag_test_coverage && !flag_compare_debug)
1268 bbg_file_name = XNEWVEC (char, len + strlen (GCOV_NOTE_SUFFIX) + 1);
1269 memcpy (bbg_file_name, filename, len);
1270 strcpy (bbg_file_name + len, GCOV_NOTE_SUFFIX);
1272 if (!gcov_open (bbg_file_name, -1))
1274 error ("cannot open %s", bbg_file_name);
1275 bbg_file_name = NULL;
1277 else
1279 gcov_write_unsigned (GCOV_NOTE_MAGIC);
1280 gcov_write_unsigned (GCOV_VERSION);
1281 gcov_write_unsigned (bbg_file_stamp);
1282 gcov_write_string (getpwd ());
1284 /* Do not support has_unexecuted_blocks for Ada. */
1285 gcov_write_unsigned (strcmp (lang_hooks.name, "GNU Ada") != 0);
1289 g->get_dumps ()->dump_finish (profile_pass_num);
1292 /* Performs file-level cleanup. Close notes file, generate coverage
1293 variables and constructor. */
1295 void
1296 coverage_finish (void)
1298 if (bbg_file_name && gcov_close ())
1299 unlink (bbg_file_name);
1301 if (!flag_branch_probabilities && flag_test_coverage
1302 && (!local_tick || local_tick == (unsigned)-1))
1303 /* Only remove the da file, if we're emitting coverage code and
1304 cannot uniquely stamp it. If we can stamp it, libgcov will DTRT. */
1305 unlink (da_file_name);
1307 if (coverage_obj_init ())
1309 vec<constructor_elt, va_gc> *fn_ctor = NULL;
1310 struct coverage_data *fn;
1312 for (fn = functions_head; fn; fn = fn->next)
1313 fn_ctor = coverage_obj_fn (fn_ctor, fn->fn_decl, fn);
1314 coverage_obj_finish (fn_ctor);
1317 XDELETEVEC (da_file_name);
1318 da_file_name = NULL;
1321 #include "gt-coverage.h"