2015-08-04 Thomas Preud'homme <thomas.preudhomme@arm.com>
[official-gcc.git] / gcc / coverage.c
blob3c165a4fecf593bfd6195ab477d52e3bf9012972
1 /* Read and write coverage files, and associated functionality.
2 Copyright (C) 1990-2015 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 "rtl.h"
32 #include "alias.h"
33 #include "tree.h"
34 #include "fold-const.h"
35 #include "stringpool.h"
36 #include "stor-layout.h"
37 #include "flags.h"
38 #include "output.h"
39 #include "regs.h"
40 #include "insn-config.h"
41 #include "expmed.h"
42 #include "dojump.h"
43 #include "explow.h"
44 #include "calls.h"
45 #include "emit-rtl.h"
46 #include "varasm.h"
47 #include "stmt.h"
48 #include "expr.h"
49 #include "toplev.h"
50 #include "tm_p.h"
51 #include "coverage.h"
52 #include "langhooks.h"
53 #include "tree-iterator.h"
54 #include "context.h"
55 #include "pass_manager.h"
56 #include "tree-pass.h"
57 #include "cgraph.h"
58 #include "dumpfile.h"
59 #include "diagnostic-core.h"
60 #include "intl.h"
61 #include "filenames.h"
62 #include "target.h"
63 #include "params.h"
64 #include "auto-profile.h"
66 #include "gcov-io.h"
67 #include "gcov-io.c"
69 struct GTY((chain_next ("%h.next"))) coverage_data
71 struct coverage_data *next; /* next function */
72 unsigned ident; /* function ident */
73 unsigned lineno_checksum; /* function lineno checksum */
74 unsigned cfg_checksum; /* function cfg checksum */
75 tree fn_decl; /* the function decl */
76 tree ctr_vars[GCOV_COUNTERS]; /* counter variables. */
79 /* Counts information for a function. */
80 typedef struct counts_entry : pointer_hash <counts_entry>
82 /* We hash by */
83 unsigned ident;
84 unsigned ctr;
86 /* Store */
87 unsigned lineno_checksum;
88 unsigned cfg_checksum;
89 gcov_type *counts;
90 struct gcov_ctr_summary summary;
92 /* hash_table support. */
93 static inline hashval_t hash (const counts_entry *);
94 static int equal (const counts_entry *, const counts_entry *);
95 static void remove (counts_entry *);
96 } counts_entry_t;
98 static GTY(()) struct coverage_data *functions_head = 0;
99 static struct coverage_data **functions_tail = &functions_head;
100 static unsigned no_coverage = 0;
102 /* Cumulative counter information for whole program. */
103 static unsigned prg_ctr_mask; /* Mask of counter types generated. */
105 /* Counter information for current function. */
106 static unsigned fn_ctr_mask; /* Mask of counters used. */
107 static GTY(()) tree fn_v_ctrs[GCOV_COUNTERS]; /* counter variables. */
108 static unsigned fn_n_ctrs[GCOV_COUNTERS]; /* Counters allocated. */
109 static unsigned fn_b_ctrs[GCOV_COUNTERS]; /* Allocation base. */
111 /* Coverage info VAR_DECL and function info type nodes. */
112 static GTY(()) tree gcov_info_var;
113 static GTY(()) tree gcov_fn_info_type;
114 static GTY(()) tree gcov_fn_info_ptr_type;
116 /* Name of the notes (gcno) output file. The "bbg" prefix is for
117 historical reasons, when the notes file contained only the
118 basic block graph notes.
119 If this is NULL we're not writing to the notes file. */
120 static char *bbg_file_name;
122 /* File stamp for notes file. */
123 static unsigned bbg_file_stamp;
125 /* Name of the count data (gcda) file. */
126 static char *da_file_name;
128 /* The names of merge functions for counters. */
129 #define STR(str) #str
130 #define DEF_GCOV_COUNTER(COUNTER, NAME, FN_TYPE) STR(__gcov_merge ## FN_TYPE),
131 static const char *const ctr_merge_functions[GCOV_COUNTERS] = {
132 #include "gcov-counter.def"
134 #undef DEF_GCOV_COUNTER
135 #undef STR
137 #define DEF_GCOV_COUNTER(COUNTER, NAME, FN_TYPE) NAME,
138 static const char *const ctr_names[GCOV_COUNTERS] = {
139 #include "gcov-counter.def"
141 #undef DEF_GCOV_COUNTER
143 /* Forward declarations. */
144 static void read_counts_file (void);
145 static tree build_var (tree, tree, int);
146 static void build_fn_info_type (tree, unsigned, tree);
147 static void build_info_type (tree, tree);
148 static tree build_fn_info (const struct coverage_data *, tree, tree);
149 static tree build_info (tree, tree);
150 static bool coverage_obj_init (void);
151 static vec<constructor_elt, va_gc> *coverage_obj_fn
152 (vec<constructor_elt, va_gc> *, tree, struct coverage_data const *);
153 static void coverage_obj_finish (vec<constructor_elt, va_gc> *);
155 /* Return the type node for gcov_type. */
157 tree
158 get_gcov_type (void)
160 machine_mode mode = smallest_mode_for_size (GCOV_TYPE_SIZE, MODE_INT);
161 return lang_hooks.types.type_for_mode (mode, false);
164 /* Return the type node for gcov_unsigned_t. */
166 static tree
167 get_gcov_unsigned_t (void)
169 machine_mode mode = smallest_mode_for_size (32, MODE_INT);
170 return lang_hooks.types.type_for_mode (mode, true);
173 inline hashval_t
174 counts_entry::hash (const counts_entry *entry)
176 return entry->ident * GCOV_COUNTERS + entry->ctr;
179 inline int
180 counts_entry::equal (const counts_entry *entry1, const counts_entry *entry2)
182 return entry1->ident == entry2->ident && entry1->ctr == entry2->ctr;
185 inline void
186 counts_entry::remove (counts_entry *entry)
188 free (entry->counts);
189 free (entry);
192 /* Hash table of count data. */
193 static hash_table<counts_entry> *counts_hash;
195 /* Read in the counts file, if available. */
197 static void
198 read_counts_file (void)
200 gcov_unsigned_t fn_ident = 0;
201 struct gcov_summary summary;
202 unsigned new_summary = 1;
203 gcov_unsigned_t tag;
204 int is_error = 0;
205 unsigned lineno_checksum = 0;
206 unsigned cfg_checksum = 0;
208 if (!gcov_open (da_file_name, 1))
209 return;
211 if (!gcov_magic (gcov_read_unsigned (), GCOV_DATA_MAGIC))
213 warning (0, "%qs is not a gcov data file", da_file_name);
214 gcov_close ();
215 return;
217 else if ((tag = gcov_read_unsigned ()) != GCOV_VERSION)
219 char v[4], e[4];
221 GCOV_UNSIGNED2STRING (v, tag);
222 GCOV_UNSIGNED2STRING (e, GCOV_VERSION);
224 warning (0, "%qs is version %q.*s, expected version %q.*s",
225 da_file_name, 4, v, 4, e);
226 gcov_close ();
227 return;
230 /* Read the stamp, used for creating a generation count. */
231 tag = gcov_read_unsigned ();
232 bbg_file_stamp = crc32_unsigned (bbg_file_stamp, tag);
234 counts_hash = new hash_table<counts_entry> (10);
235 while ((tag = gcov_read_unsigned ()))
237 gcov_unsigned_t length;
238 gcov_position_t offset;
240 length = gcov_read_unsigned ();
241 offset = gcov_position ();
242 if (tag == GCOV_TAG_FUNCTION)
244 if (length)
246 fn_ident = gcov_read_unsigned ();
247 lineno_checksum = gcov_read_unsigned ();
248 cfg_checksum = gcov_read_unsigned ();
250 else
251 fn_ident = lineno_checksum = cfg_checksum = 0;
252 new_summary = 1;
254 else if (tag == GCOV_TAG_PROGRAM_SUMMARY)
256 struct gcov_summary sum;
257 unsigned ix;
259 if (new_summary)
260 memset (&summary, 0, sizeof (summary));
262 gcov_read_summary (&sum);
263 for (ix = 0; ix != GCOV_COUNTERS_SUMMABLE; ix++)
265 summary.ctrs[ix].runs += sum.ctrs[ix].runs;
266 summary.ctrs[ix].sum_all += sum.ctrs[ix].sum_all;
267 if (summary.ctrs[ix].run_max < sum.ctrs[ix].run_max)
268 summary.ctrs[ix].run_max = sum.ctrs[ix].run_max;
269 summary.ctrs[ix].sum_max += sum.ctrs[ix].sum_max;
271 if (new_summary)
272 memcpy (summary.ctrs[GCOV_COUNTER_ARCS].histogram,
273 sum.ctrs[GCOV_COUNTER_ARCS].histogram,
274 sizeof (gcov_bucket_type) * GCOV_HISTOGRAM_SIZE);
275 else
276 gcov_histogram_merge (summary.ctrs[GCOV_COUNTER_ARCS].histogram,
277 sum.ctrs[GCOV_COUNTER_ARCS].histogram);
278 new_summary = 0;
280 else if (GCOV_TAG_IS_COUNTER (tag) && fn_ident)
282 counts_entry_t **slot, *entry, elt;
283 unsigned n_counts = GCOV_TAG_COUNTER_NUM (length);
284 unsigned ix;
286 elt.ident = fn_ident;
287 elt.ctr = GCOV_COUNTER_FOR_TAG (tag);
289 slot = counts_hash->find_slot (&elt, INSERT);
290 entry = *slot;
291 if (!entry)
293 *slot = entry = XCNEW (counts_entry_t);
294 entry->ident = fn_ident;
295 entry->ctr = elt.ctr;
296 entry->lineno_checksum = lineno_checksum;
297 entry->cfg_checksum = cfg_checksum;
298 if (elt.ctr < GCOV_COUNTERS_SUMMABLE)
299 entry->summary = summary.ctrs[elt.ctr];
300 entry->summary.num = n_counts;
301 entry->counts = XCNEWVEC (gcov_type, n_counts);
303 else if (entry->lineno_checksum != lineno_checksum
304 || entry->cfg_checksum != cfg_checksum)
306 error ("Profile data for function %u is corrupted", fn_ident);
307 error ("checksum is (%x,%x) instead of (%x,%x)",
308 entry->lineno_checksum, entry->cfg_checksum,
309 lineno_checksum, cfg_checksum);
310 delete counts_hash;
311 counts_hash = NULL;
312 break;
314 else if (entry->summary.num != n_counts)
316 error ("Profile data for function %u is corrupted", fn_ident);
317 error ("number of counters is %d instead of %d", entry->summary.num, n_counts);
318 delete counts_hash;
319 counts_hash = NULL;
320 break;
322 else if (elt.ctr >= GCOV_COUNTERS_SUMMABLE)
324 error ("cannot merge separate %s counters for function %u",
325 ctr_names[elt.ctr], fn_ident);
326 goto skip_merge;
328 else
330 entry->summary.runs += summary.ctrs[elt.ctr].runs;
331 entry->summary.sum_all += summary.ctrs[elt.ctr].sum_all;
332 if (entry->summary.run_max < summary.ctrs[elt.ctr].run_max)
333 entry->summary.run_max = summary.ctrs[elt.ctr].run_max;
334 entry->summary.sum_max += summary.ctrs[elt.ctr].sum_max;
336 for (ix = 0; ix != n_counts; ix++)
337 entry->counts[ix] += gcov_read_counter ();
338 skip_merge:;
340 gcov_sync (offset, length);
341 if ((is_error = gcov_is_error ()))
343 error (is_error < 0 ? "%qs has overflowed" : "%qs is corrupted",
344 da_file_name);
345 delete counts_hash;
346 counts_hash = NULL;
347 break;
351 gcov_close ();
354 /* Returns the counters for a particular tag. */
356 gcov_type *
357 get_coverage_counts (unsigned counter, unsigned expected,
358 unsigned cfg_checksum, unsigned lineno_checksum,
359 const struct gcov_ctr_summary **summary)
361 counts_entry_t *entry, elt;
363 /* No hash table, no counts. */
364 if (!counts_hash)
366 static int warned = 0;
368 if (!warned++ && dump_enabled_p ())
369 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
370 (flag_guess_branch_prob
371 ? "file %s not found, execution counts estimated\n"
372 : "file %s not found, execution counts assumed to "
373 "be zero\n"),
374 da_file_name);
375 return NULL;
377 if (PARAM_VALUE (PARAM_PROFILE_FUNC_INTERNAL_ID))
378 elt.ident = current_function_funcdef_no + 1;
379 else
381 gcc_assert (coverage_node_map_initialized_p ());
382 elt.ident = cgraph_node::get (cfun->decl)->profile_id;
384 elt.ctr = counter;
385 entry = counts_hash->find (&elt);
386 if (!entry || !entry->summary.num)
387 /* The function was not emitted, or is weak and not chosen in the
388 final executable. Silently fail, because there's nothing we
389 can do about it. */
390 return NULL;
392 if (entry->cfg_checksum != cfg_checksum
393 || entry->summary.num != expected)
395 static int warned = 0;
396 bool warning_printed = false;
397 tree id = DECL_ASSEMBLER_NAME (current_function_decl);
399 warning_printed =
400 warning_at (input_location, OPT_Wcoverage_mismatch,
401 "the control flow of function %qE does not match "
402 "its profile data (counter %qs)", id, ctr_names[counter]);
403 if (warning_printed && dump_enabled_p ())
405 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
406 "use -Wno-error=coverage-mismatch to tolerate "
407 "the mismatch but performance may drop if the "
408 "function is hot\n");
410 if (!seen_error ()
411 && !warned++)
413 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
414 "coverage mismatch ignored\n");
415 dump_printf (MSG_OPTIMIZED_LOCATIONS,
416 flag_guess_branch_prob
417 ? G_("execution counts estimated\n")
418 : G_("execution counts assumed to be zero\n"));
419 if (!flag_guess_branch_prob)
420 dump_printf (MSG_OPTIMIZED_LOCATIONS,
421 "this can result in poorly optimized code\n");
425 return NULL;
427 else if (entry->lineno_checksum != lineno_checksum)
429 warning (OPT_Wcoverage_mismatch,
430 "source locations for function %qE have changed,"
431 " the profile data may be out of date",
432 DECL_ASSEMBLER_NAME (current_function_decl));
435 if (summary)
436 *summary = &entry->summary;
438 return entry->counts;
441 /* Allocate NUM counters of type COUNTER. Returns nonzero if the
442 allocation succeeded. */
445 coverage_counter_alloc (unsigned counter, unsigned num)
447 if (no_coverage)
448 return 0;
450 if (!num)
451 return 1;
453 if (!fn_v_ctrs[counter])
455 tree array_type = build_array_type (get_gcov_type (), NULL_TREE);
457 fn_v_ctrs[counter]
458 = build_var (current_function_decl, array_type, counter);
461 fn_b_ctrs[counter] = fn_n_ctrs[counter];
462 fn_n_ctrs[counter] += num;
464 fn_ctr_mask |= 1 << counter;
465 return 1;
468 /* Generate a tree to access COUNTER NO. */
470 tree
471 tree_coverage_counter_ref (unsigned counter, unsigned no)
473 tree gcov_type_node = get_gcov_type ();
475 gcc_assert (no < fn_n_ctrs[counter] - fn_b_ctrs[counter]);
477 no += fn_b_ctrs[counter];
479 /* "no" here is an array index, scaled to bytes later. */
480 return build4 (ARRAY_REF, gcov_type_node, fn_v_ctrs[counter],
481 build_int_cst (integer_type_node, no), NULL, NULL);
484 /* Generate a tree to access the address of COUNTER NO. */
486 tree
487 tree_coverage_counter_addr (unsigned counter, unsigned no)
489 tree gcov_type_node = get_gcov_type ();
491 gcc_assert (no < fn_n_ctrs[counter] - fn_b_ctrs[counter]);
492 no += fn_b_ctrs[counter];
494 /* "no" here is an array index, scaled to bytes later. */
495 return build_fold_addr_expr (build4 (ARRAY_REF, gcov_type_node,
496 fn_v_ctrs[counter],
497 build_int_cst (integer_type_node, no),
498 NULL, NULL));
502 /* Generate a checksum for a string. CHKSUM is the current
503 checksum. */
505 static unsigned
506 coverage_checksum_string (unsigned chksum, const char *string)
508 int i;
509 char *dup = NULL;
511 /* Look for everything that looks if it were produced by
512 get_file_function_name and zero out the second part
513 that may result from flag_random_seed. This is not critical
514 as the checksums are used only for sanity checking. */
515 for (i = 0; string[i]; i++)
517 int offset = 0;
518 if (!strncmp (string + i, "_GLOBAL__N_", 11))
519 offset = 11;
520 if (!strncmp (string + i, "_GLOBAL__", 9))
521 offset = 9;
523 /* C++ namespaces do have scheme:
524 _GLOBAL__N_<filename>_<wrongmagicnumber>_<magicnumber>functionname
525 since filename might contain extra underscores there seems
526 to be no better chance then walk all possible offsets looking
527 for magicnumber. */
528 if (offset)
530 for (i = i + offset; string[i]; i++)
531 if (string[i]=='_')
533 int y;
535 for (y = 1; y < 9; y++)
536 if (!(string[i + y] >= '0' && string[i + y] <= '9')
537 && !(string[i + y] >= 'A' && string[i + y] <= 'F'))
538 break;
539 if (y != 9 || string[i + 9] != '_')
540 continue;
541 for (y = 10; y < 18; y++)
542 if (!(string[i + y] >= '0' && string[i + y] <= '9')
543 && !(string[i + y] >= 'A' && string[i + y] <= 'F'))
544 break;
545 if (y != 18)
546 continue;
547 if (!dup)
548 string = dup = xstrdup (string);
549 for (y = 10; y < 18; y++)
550 dup[i + y] = '0';
552 break;
556 chksum = crc32_string (chksum, string);
557 free (dup);
559 return chksum;
562 /* Compute checksum for the current function. We generate a CRC32. */
564 unsigned
565 coverage_compute_lineno_checksum (void)
567 expanded_location xloc
568 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
569 unsigned chksum = xloc.line;
571 chksum = coverage_checksum_string (chksum, xloc.file);
572 chksum = coverage_checksum_string
573 (chksum, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl)));
575 return chksum;
578 /* Compute profile ID. This is better to be unique in whole program. */
580 unsigned
581 coverage_compute_profile_id (struct cgraph_node *n)
583 unsigned chksum;
585 /* Externally visible symbols have unique name. */
586 if (TREE_PUBLIC (n->decl) || DECL_EXTERNAL (n->decl) || n->unique_name)
588 chksum = coverage_checksum_string
589 (0, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (n->decl)));
591 else
593 expanded_location xloc
594 = expand_location (DECL_SOURCE_LOCATION (n->decl));
595 bool use_name_only = (PARAM_VALUE (PARAM_PROFILE_FUNC_INTERNAL_ID) == 0);
597 chksum = (use_name_only ? 0 : xloc.line);
598 chksum = coverage_checksum_string (chksum, xloc.file);
599 chksum = coverage_checksum_string
600 (chksum, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (n->decl)));
601 if (!use_name_only && first_global_object_name)
602 chksum = coverage_checksum_string
603 (chksum, first_global_object_name);
604 chksum = coverage_checksum_string
605 (chksum, aux_base_name);
608 /* Non-negative integers are hopefully small enough to fit in all targets.
609 Gcov file formats wants non-zero function IDs. */
610 chksum = chksum & 0x7fffffff;
611 return chksum + (!chksum);
614 /* Compute cfg checksum for the function FN given as argument.
615 The checksum is calculated carefully so that
616 source code changes that doesn't affect the control flow graph
617 won't change the checksum.
618 This is to make the profile data useable across source code change.
619 The downside of this is that the compiler may use potentially
620 wrong profile data - that the source code change has non-trivial impact
621 on the validity of profile data (e.g. the reversed condition)
622 but the compiler won't detect the change and use the wrong profile data. */
624 unsigned
625 coverage_compute_cfg_checksum (struct function *fn)
627 basic_block bb;
628 unsigned chksum = n_basic_blocks_for_fn (fn);
630 FOR_EACH_BB_FN (bb, fn)
632 edge e;
633 edge_iterator ei;
634 chksum = crc32_byte (chksum, bb->index);
635 FOR_EACH_EDGE (e, ei, bb->succs)
637 chksum = crc32_byte (chksum, e->dest->index);
641 return chksum;
644 /* Begin output to the notes file for the current function.
645 Writes the function header. Returns nonzero if data should be output. */
648 coverage_begin_function (unsigned lineno_checksum, unsigned cfg_checksum)
650 expanded_location xloc;
651 unsigned long offset;
653 /* We don't need to output .gcno file unless we're under -ftest-coverage
654 (e.g. -fprofile-arcs/generate/use don't need .gcno to work). */
655 if (no_coverage || !bbg_file_name)
656 return 0;
658 xloc = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
660 /* Announce function */
661 offset = gcov_write_tag (GCOV_TAG_FUNCTION);
662 if (PARAM_VALUE (PARAM_PROFILE_FUNC_INTERNAL_ID))
663 gcov_write_unsigned (current_function_funcdef_no + 1);
664 else
666 gcc_assert (coverage_node_map_initialized_p ());
667 gcov_write_unsigned (
668 cgraph_node::get (current_function_decl)->profile_id);
671 gcov_write_unsigned (lineno_checksum);
672 gcov_write_unsigned (cfg_checksum);
673 gcov_write_string (IDENTIFIER_POINTER
674 (DECL_ASSEMBLER_NAME (current_function_decl)));
675 gcov_write_string (xloc.file);
676 gcov_write_unsigned (xloc.line);
677 gcov_write_length (offset);
679 return !gcov_is_error ();
682 /* Finish coverage data for the current function. Verify no output
683 error has occurred. Save function coverage counts. */
685 void
686 coverage_end_function (unsigned lineno_checksum, unsigned cfg_checksum)
688 unsigned i;
690 if (bbg_file_name && gcov_is_error ())
692 warning (0, "error writing %qs", bbg_file_name);
693 unlink (bbg_file_name);
694 bbg_file_name = NULL;
697 if (fn_ctr_mask)
699 struct coverage_data *item = 0;
701 item = ggc_alloc<coverage_data> ();
703 if (PARAM_VALUE (PARAM_PROFILE_FUNC_INTERNAL_ID))
704 item->ident = current_function_funcdef_no + 1;
705 else
707 gcc_assert (coverage_node_map_initialized_p ());
708 item->ident = cgraph_node::get (cfun->decl)->profile_id;
711 item->lineno_checksum = lineno_checksum;
712 item->cfg_checksum = cfg_checksum;
714 item->fn_decl = current_function_decl;
715 item->next = 0;
716 *functions_tail = item;
717 functions_tail = &item->next;
719 for (i = 0; i != GCOV_COUNTERS; i++)
721 tree var = fn_v_ctrs[i];
723 if (item)
724 item->ctr_vars[i] = var;
725 if (var)
727 tree array_type = build_index_type (size_int (fn_n_ctrs[i] - 1));
728 array_type = build_array_type (get_gcov_type (), array_type);
729 TREE_TYPE (var) = array_type;
730 DECL_SIZE (var) = TYPE_SIZE (array_type);
731 DECL_SIZE_UNIT (var) = TYPE_SIZE_UNIT (array_type);
732 varpool_node::finalize_decl (var);
735 fn_b_ctrs[i] = fn_n_ctrs[i] = 0;
736 fn_v_ctrs[i] = NULL_TREE;
738 prg_ctr_mask |= fn_ctr_mask;
739 fn_ctr_mask = 0;
743 /* Build a coverage variable of TYPE for function FN_DECL. If COUNTER
744 >= 0 it is a counter array, otherwise it is the function structure. */
746 static tree
747 build_var (tree fn_decl, tree type, int counter)
749 tree var = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE, type);
750 const char *fn_name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn_decl));
751 char *buf;
752 size_t fn_name_len, len;
754 fn_name = targetm.strip_name_encoding (fn_name);
755 fn_name_len = strlen (fn_name);
756 buf = XALLOCAVEC (char, fn_name_len + 8 + sizeof (int) * 3);
758 if (counter < 0)
759 strcpy (buf, "__gcov__");
760 else
761 sprintf (buf, "__gcov%u_", counter);
762 len = strlen (buf);
763 #ifndef NO_DOT_IN_LABEL
764 buf[len - 1] = '.';
765 #elif !defined NO_DOLLAR_IN_LABEL
766 buf[len - 1] = '$';
767 #endif
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 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 cgraph_build_static_cdtor ('I', ctor, DEFAULT_INIT_PRIORITY);
1078 /* Create the gcov_info types and object. Generate the constructor
1079 function to call __gcov_init. Does not generate the initializer
1080 for the object. Returns TRUE if coverage data is being emitted. */
1082 static bool
1083 coverage_obj_init (void)
1085 tree gcov_info_type;
1086 unsigned n_counters = 0;
1087 unsigned ix;
1088 struct coverage_data *fn;
1089 struct coverage_data **fn_prev;
1090 char name_buf[32];
1092 no_coverage = 1; /* Disable any further coverage. */
1094 if (!prg_ctr_mask)
1095 return false;
1097 if (symtab->dump_file)
1098 fprintf (symtab->dump_file, "Using data file %s\n", da_file_name);
1100 /* Prune functions. */
1101 for (fn_prev = &functions_head; (fn = *fn_prev);)
1102 if (DECL_STRUCT_FUNCTION (fn->fn_decl))
1103 fn_prev = &fn->next;
1104 else
1105 /* The function is not being emitted, remove from list. */
1106 *fn_prev = fn->next;
1108 if (functions_head == NULL)
1109 return false;
1111 for (ix = 0; ix != GCOV_COUNTERS; ix++)
1112 if ((1u << ix) & prg_ctr_mask)
1113 n_counters++;
1115 /* Build the info and fn_info types. These are mutually recursive. */
1116 gcov_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1117 gcov_fn_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1118 build_fn_info_type (gcov_fn_info_type, n_counters, gcov_info_type);
1119 gcov_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1120 gcov_fn_info_ptr_type = build_pointer_type
1121 (build_qualified_type (gcov_fn_info_type, TYPE_QUAL_CONST));
1122 build_info_type (gcov_info_type, gcov_fn_info_ptr_type);
1124 /* Build the gcov info var, this is referred to in its own
1125 initializer. */
1126 gcov_info_var = build_decl (BUILTINS_LOCATION,
1127 VAR_DECL, NULL_TREE, gcov_info_type);
1128 TREE_STATIC (gcov_info_var) = 1;
1129 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 0);
1130 DECL_NAME (gcov_info_var) = get_identifier (name_buf);
1132 build_init_ctor (gcov_info_type);
1134 return true;
1137 /* Generate the coverage function info for FN and DATA. Append a
1138 pointer to that object to CTOR and return the appended CTOR. */
1140 static vec<constructor_elt, va_gc> *
1141 coverage_obj_fn (vec<constructor_elt, va_gc> *ctor, tree fn,
1142 struct coverage_data const *data)
1144 tree init = build_fn_info (data, gcov_fn_info_type, gcov_info_var);
1145 tree var = build_var (fn, gcov_fn_info_type, -1);
1147 DECL_INITIAL (var) = init;
1148 varpool_node::finalize_decl (var);
1150 CONSTRUCTOR_APPEND_ELT (ctor, NULL,
1151 build1 (ADDR_EXPR, gcov_fn_info_ptr_type, var));
1152 return ctor;
1155 /* Finalize the coverage data. Generates the array of pointers to
1156 function objects from CTOR. Generate the gcov_info initializer. */
1158 static void
1159 coverage_obj_finish (vec<constructor_elt, va_gc> *ctor)
1161 unsigned n_functions = vec_safe_length (ctor);
1162 tree fn_info_ary_type = build_array_type
1163 (build_qualified_type (gcov_fn_info_ptr_type, TYPE_QUAL_CONST),
1164 build_index_type (size_int (n_functions - 1)));
1165 tree fn_info_ary = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE,
1166 fn_info_ary_type);
1167 char name_buf[32];
1169 TREE_STATIC (fn_info_ary) = 1;
1170 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 1);
1171 DECL_NAME (fn_info_ary) = get_identifier (name_buf);
1172 DECL_INITIAL (fn_info_ary) = build_constructor (fn_info_ary_type, ctor);
1173 varpool_node::finalize_decl (fn_info_ary);
1175 DECL_INITIAL (gcov_info_var)
1176 = build_info (TREE_TYPE (gcov_info_var), fn_info_ary);
1177 varpool_node::finalize_decl (gcov_info_var);
1180 /* Perform file-level initialization. Read in data file, generate name
1181 of notes file. */
1183 void
1184 coverage_init (const char *filename)
1186 int len = strlen (filename);
1187 int prefix_len = 0;
1189 /* Since coverage_init is invoked very early, before the pass
1190 manager, we need to set up the dumping explicitly. This is
1191 similar to the handling in finish_optimization_passes. */
1192 int profile_pass_num =
1193 g->get_passes ()->get_pass_profile ()->static_pass_number;
1194 g->get_dumps ()->dump_start (profile_pass_num, NULL);
1196 if (!profile_data_prefix && !IS_ABSOLUTE_PATH (filename))
1197 profile_data_prefix = getpwd ();
1199 if (profile_data_prefix)
1200 prefix_len = strlen (profile_data_prefix);
1202 /* Name of da file. */
1203 da_file_name = XNEWVEC (char, len + strlen (GCOV_DATA_SUFFIX)
1204 + prefix_len + 2);
1206 if (profile_data_prefix)
1208 memcpy (da_file_name, profile_data_prefix, prefix_len);
1209 da_file_name[prefix_len++] = '/';
1211 memcpy (da_file_name + prefix_len, filename, len);
1212 strcpy (da_file_name + prefix_len + len, GCOV_DATA_SUFFIX);
1214 bbg_file_stamp = local_tick;
1216 if (flag_auto_profile)
1217 read_autofdo_file ();
1218 else if (flag_branch_probabilities)
1219 read_counts_file ();
1221 /* Name of bbg file. */
1222 if (flag_test_coverage && !flag_compare_debug)
1224 bbg_file_name = XNEWVEC (char, len + strlen (GCOV_NOTE_SUFFIX) + 1);
1225 memcpy (bbg_file_name, filename, len);
1226 strcpy (bbg_file_name + len, GCOV_NOTE_SUFFIX);
1228 if (!gcov_open (bbg_file_name, -1))
1230 error ("cannot open %s", bbg_file_name);
1231 bbg_file_name = NULL;
1233 else
1235 gcov_write_unsigned (GCOV_NOTE_MAGIC);
1236 gcov_write_unsigned (GCOV_VERSION);
1237 gcov_write_unsigned (bbg_file_stamp);
1241 g->get_dumps ()->dump_finish (profile_pass_num);
1244 /* Performs file-level cleanup. Close notes file, generate coverage
1245 variables and constructor. */
1247 void
1248 coverage_finish (void)
1250 if (bbg_file_name && gcov_close ())
1251 unlink (bbg_file_name);
1253 if (!flag_branch_probabilities && flag_test_coverage
1254 && (!local_tick || local_tick == (unsigned)-1))
1255 /* Only remove the da file, if we're emitting coverage code and
1256 cannot uniquely stamp it. If we can stamp it, libgcov will DTRT. */
1257 unlink (da_file_name);
1259 if (coverage_obj_init ())
1261 vec<constructor_elt, va_gc> *fn_ctor = NULL;
1262 struct coverage_data *fn;
1264 for (fn = functions_head; fn; fn = fn->next)
1265 fn_ctor = coverage_obj_fn (fn_ctor, fn->fn_decl, fn);
1266 coverage_obj_finish (fn_ctor);
1269 XDELETEVEC (da_file_name);
1270 da_file_name = NULL;
1273 #include "gt-coverage.h"