2014-04-14 Martin Jambor <mjambor@suse.cz>
[official-gcc.git] / gcc / coverage.c
blob4c06fa47908cec214c30b3acc4ee65e230dab787
1 /* Read and write coverage files, and associated functionality.
2 Copyright (C) 1990-2014 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 "tm.h"
31 #include "rtl.h"
32 #include "tree.h"
33 #include "stringpool.h"
34 #include "stor-layout.h"
35 #include "flags.h"
36 #include "output.h"
37 #include "regs.h"
38 #include "expr.h"
39 #include "function.h"
40 #include "basic-block.h"
41 #include "toplev.h"
42 #include "tm_p.h"
43 #include "ggc.h"
44 #include "coverage.h"
45 #include "langhooks.h"
46 #include "hash-table.h"
47 #include "tree-iterator.h"
48 #include "context.h"
49 #include "pass_manager.h"
50 #include "tree-pass.h"
51 #include "cgraph.h"
52 #include "dumpfile.h"
53 #include "diagnostic-core.h"
54 #include "intl.h"
55 #include "filenames.h"
56 #include "target.h"
58 #include "gcov-io.h"
59 #include "gcov-io.c"
61 struct GTY((chain_next ("%h.next"))) coverage_data
63 struct coverage_data *next; /* next function */
64 unsigned ident; /* function ident */
65 unsigned lineno_checksum; /* function lineno checksum */
66 unsigned cfg_checksum; /* function cfg checksum */
67 tree fn_decl; /* the function decl */
68 tree ctr_vars[GCOV_COUNTERS]; /* counter variables. */
71 /* Counts information for a function. */
72 typedef struct counts_entry
74 /* We hash by */
75 unsigned ident;
76 unsigned ctr;
78 /* Store */
79 unsigned lineno_checksum;
80 unsigned cfg_checksum;
81 gcov_type *counts;
82 struct gcov_ctr_summary summary;
84 /* hash_table support. */
85 typedef counts_entry value_type;
86 typedef counts_entry compare_type;
87 static inline hashval_t hash (const value_type *);
88 static int equal (const value_type *, const compare_type *);
89 static void remove (value_type *);
90 } counts_entry_t;
92 static GTY(()) struct coverage_data *functions_head = 0;
93 static struct coverage_data **functions_tail = &functions_head;
94 static unsigned no_coverage = 0;
96 /* Cumulative counter information for whole program. */
97 static unsigned prg_ctr_mask; /* Mask of counter types generated. */
99 /* Counter information for current function. */
100 static unsigned fn_ctr_mask; /* Mask of counters used. */
101 static GTY(()) tree fn_v_ctrs[GCOV_COUNTERS]; /* counter variables. */
102 static unsigned fn_n_ctrs[GCOV_COUNTERS]; /* Counters allocated. */
103 static unsigned fn_b_ctrs[GCOV_COUNTERS]; /* Allocation base. */
105 /* Coverage info VAR_DECL and function info type nodes. */
106 static GTY(()) tree gcov_info_var;
107 static GTY(()) tree gcov_fn_info_type;
108 static GTY(()) tree gcov_fn_info_ptr_type;
110 /* Name of the notes (gcno) output file. The "bbg" prefix is for
111 historical reasons, when the notes file contained only the
112 basic block graph notes.
113 If this is NULL we're not writing to the notes file. */
114 static char *bbg_file_name;
116 /* File stamp for notes file. */
117 static unsigned bbg_file_stamp;
119 /* Name of the count data (gcda) file. */
120 static char *da_file_name;
122 /* The names of merge functions for counters. */
123 static const char *const ctr_merge_functions[GCOV_COUNTERS] = GCOV_MERGE_FUNCTIONS;
124 static const char *const ctr_names[GCOV_COUNTERS] = GCOV_COUNTER_NAMES;
126 /* Forward declarations. */
127 static void read_counts_file (void);
128 static tree build_var (tree, tree, int);
129 static void build_fn_info_type (tree, unsigned, tree);
130 static void build_info_type (tree, tree);
131 static tree build_fn_info (const struct coverage_data *, tree, tree);
132 static tree build_info (tree, tree);
133 static bool coverage_obj_init (void);
134 static vec<constructor_elt, va_gc> *coverage_obj_fn
135 (vec<constructor_elt, va_gc> *, tree, struct coverage_data const *);
136 static void coverage_obj_finish (vec<constructor_elt, va_gc> *);
138 /* Return the type node for gcov_type. */
140 tree
141 get_gcov_type (void)
143 enum machine_mode mode = smallest_mode_for_size (GCOV_TYPE_SIZE, MODE_INT);
144 return lang_hooks.types.type_for_mode (mode, false);
147 /* Return the type node for gcov_unsigned_t. */
149 static tree
150 get_gcov_unsigned_t (void)
152 enum machine_mode mode = smallest_mode_for_size (32, MODE_INT);
153 return lang_hooks.types.type_for_mode (mode, true);
156 inline hashval_t
157 counts_entry::hash (const value_type *entry)
159 return entry->ident * GCOV_COUNTERS + entry->ctr;
162 inline int
163 counts_entry::equal (const value_type *entry1,
164 const compare_type *entry2)
166 return entry1->ident == entry2->ident && entry1->ctr == entry2->ctr;
169 inline void
170 counts_entry::remove (value_type *entry)
172 free (entry->counts);
173 free (entry);
176 /* Hash table of count data. */
177 static hash_table <counts_entry> counts_hash;
179 /* Read in the counts file, if available. */
181 static void
182 read_counts_file (void)
184 gcov_unsigned_t fn_ident = 0;
185 struct gcov_summary summary;
186 unsigned new_summary = 1;
187 gcov_unsigned_t tag;
188 int is_error = 0;
189 unsigned lineno_checksum = 0;
190 unsigned cfg_checksum = 0;
192 if (!gcov_open (da_file_name, 1))
193 return;
195 if (!gcov_magic (gcov_read_unsigned (), GCOV_DATA_MAGIC))
197 warning (0, "%qs is not a gcov data file", da_file_name);
198 gcov_close ();
199 return;
201 else if ((tag = gcov_read_unsigned ()) != GCOV_VERSION)
203 char v[4], e[4];
205 GCOV_UNSIGNED2STRING (v, tag);
206 GCOV_UNSIGNED2STRING (e, GCOV_VERSION);
208 warning (0, "%qs is version %q.*s, expected version %q.*s",
209 da_file_name, 4, v, 4, e);
210 gcov_close ();
211 return;
214 /* Read the stamp, used for creating a generation count. */
215 tag = gcov_read_unsigned ();
216 bbg_file_stamp = crc32_unsigned (bbg_file_stamp, tag);
218 counts_hash.create (10);
219 while ((tag = gcov_read_unsigned ()))
221 gcov_unsigned_t length;
222 gcov_position_t offset;
224 length = gcov_read_unsigned ();
225 offset = gcov_position ();
226 if (tag == GCOV_TAG_FUNCTION)
228 if (length)
230 fn_ident = gcov_read_unsigned ();
231 lineno_checksum = gcov_read_unsigned ();
232 cfg_checksum = gcov_read_unsigned ();
234 else
235 fn_ident = lineno_checksum = cfg_checksum = 0;
236 new_summary = 1;
238 else if (tag == GCOV_TAG_PROGRAM_SUMMARY)
240 struct gcov_summary sum;
241 unsigned ix;
243 if (new_summary)
244 memset (&summary, 0, sizeof (summary));
246 gcov_read_summary (&sum);
247 for (ix = 0; ix != GCOV_COUNTERS_SUMMABLE; ix++)
249 summary.ctrs[ix].runs += sum.ctrs[ix].runs;
250 summary.ctrs[ix].sum_all += sum.ctrs[ix].sum_all;
251 if (summary.ctrs[ix].run_max < sum.ctrs[ix].run_max)
252 summary.ctrs[ix].run_max = sum.ctrs[ix].run_max;
253 summary.ctrs[ix].sum_max += sum.ctrs[ix].sum_max;
255 if (new_summary)
256 memcpy (summary.ctrs[GCOV_COUNTER_ARCS].histogram,
257 sum.ctrs[GCOV_COUNTER_ARCS].histogram,
258 sizeof (gcov_bucket_type) * GCOV_HISTOGRAM_SIZE);
259 else
260 gcov_histogram_merge (summary.ctrs[GCOV_COUNTER_ARCS].histogram,
261 sum.ctrs[GCOV_COUNTER_ARCS].histogram);
262 new_summary = 0;
264 else if (GCOV_TAG_IS_COUNTER (tag) && fn_ident)
266 counts_entry_t **slot, *entry, elt;
267 unsigned n_counts = GCOV_TAG_COUNTER_NUM (length);
268 unsigned ix;
270 elt.ident = fn_ident;
271 elt.ctr = GCOV_COUNTER_FOR_TAG (tag);
273 slot = counts_hash.find_slot (&elt, INSERT);
274 entry = *slot;
275 if (!entry)
277 *slot = entry = XCNEW (counts_entry_t);
278 entry->ident = fn_ident;
279 entry->ctr = elt.ctr;
280 entry->lineno_checksum = lineno_checksum;
281 entry->cfg_checksum = cfg_checksum;
282 if (elt.ctr < GCOV_COUNTERS_SUMMABLE)
283 entry->summary = summary.ctrs[elt.ctr];
284 entry->summary.num = n_counts;
285 entry->counts = XCNEWVEC (gcov_type, n_counts);
287 else if (entry->lineno_checksum != lineno_checksum
288 || entry->cfg_checksum != cfg_checksum)
290 error ("Profile data for function %u is corrupted", fn_ident);
291 error ("checksum is (%x,%x) instead of (%x,%x)",
292 entry->lineno_checksum, entry->cfg_checksum,
293 lineno_checksum, cfg_checksum);
294 counts_hash.dispose ();
295 break;
297 else if (entry->summary.num != n_counts)
299 error ("Profile data for function %u is corrupted", fn_ident);
300 error ("number of counters is %d instead of %d", entry->summary.num, n_counts);
301 counts_hash.dispose ();
302 break;
304 else if (elt.ctr >= GCOV_COUNTERS_SUMMABLE)
306 error ("cannot merge separate %s counters for function %u",
307 ctr_names[elt.ctr], fn_ident);
308 goto skip_merge;
310 else
312 entry->summary.runs += summary.ctrs[elt.ctr].runs;
313 entry->summary.sum_all += summary.ctrs[elt.ctr].sum_all;
314 if (entry->summary.run_max < summary.ctrs[elt.ctr].run_max)
315 entry->summary.run_max = summary.ctrs[elt.ctr].run_max;
316 entry->summary.sum_max += summary.ctrs[elt.ctr].sum_max;
318 for (ix = 0; ix != n_counts; ix++)
319 entry->counts[ix] += gcov_read_counter ();
320 skip_merge:;
322 gcov_sync (offset, length);
323 if ((is_error = gcov_is_error ()))
325 error (is_error < 0 ? "%qs has overflowed" : "%qs is corrupted",
326 da_file_name);
327 counts_hash.dispose ();
328 break;
332 gcov_close ();
335 /* Returns the counters for a particular tag. */
337 gcov_type *
338 get_coverage_counts (unsigned counter, unsigned expected,
339 unsigned cfg_checksum, unsigned lineno_checksum,
340 const struct gcov_ctr_summary **summary)
342 counts_entry_t *entry, elt;
344 /* No hash table, no counts. */
345 if (!counts_hash.is_created ())
347 static int warned = 0;
349 if (!warned++ && dump_enabled_p ())
350 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
351 (flag_guess_branch_prob
352 ? "file %s not found, execution counts estimated\n"
353 : "file %s not found, execution counts assumed to "
354 "be zero\n"),
355 da_file_name);
356 return NULL;
359 elt.ident = current_function_funcdef_no + 1;
360 elt.ctr = counter;
361 entry = counts_hash.find (&elt);
362 if (!entry || !entry->summary.num)
363 /* The function was not emitted, or is weak and not chosen in the
364 final executable. Silently fail, because there's nothing we
365 can do about it. */
366 return NULL;
368 if (entry->cfg_checksum != cfg_checksum
369 || entry->summary.num != expected)
371 static int warned = 0;
372 bool warning_printed = false;
373 tree id = DECL_ASSEMBLER_NAME (current_function_decl);
375 warning_printed =
376 warning_at (input_location, OPT_Wcoverage_mismatch,
377 "the control flow of function %qE does not match "
378 "its profile data (counter %qs)", id, ctr_names[counter]);
379 if (warning_printed && dump_enabled_p ())
381 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
382 "use -Wno-error=coverage-mismatch to tolerate "
383 "the mismatch but performance may drop if the "
384 "function is hot\n");
386 if (!seen_error ()
387 && !warned++)
389 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
390 "coverage mismatch ignored\n");
391 dump_printf (MSG_OPTIMIZED_LOCATIONS,
392 flag_guess_branch_prob
393 ? G_("execution counts estimated\n")
394 : G_("execution counts assumed to be zero\n"));
395 if (!flag_guess_branch_prob)
396 dump_printf (MSG_OPTIMIZED_LOCATIONS,
397 "this can result in poorly optimized code\n");
401 return NULL;
403 else if (entry->lineno_checksum != lineno_checksum)
405 warning (0, "source locations for function %qE have changed,"
406 " the profile data may be out of date",
407 DECL_ASSEMBLER_NAME (current_function_decl));
410 if (summary)
411 *summary = &entry->summary;
413 return entry->counts;
416 /* Allocate NUM counters of type COUNTER. Returns nonzero if the
417 allocation succeeded. */
420 coverage_counter_alloc (unsigned counter, unsigned num)
422 if (no_coverage)
423 return 0;
425 if (!num)
426 return 1;
428 if (!fn_v_ctrs[counter])
430 tree array_type = build_array_type (get_gcov_type (), NULL_TREE);
432 fn_v_ctrs[counter]
433 = build_var (current_function_decl, array_type, counter);
436 fn_b_ctrs[counter] = fn_n_ctrs[counter];
437 fn_n_ctrs[counter] += num;
439 fn_ctr_mask |= 1 << counter;
440 return 1;
443 /* Generate a tree to access COUNTER NO. */
445 tree
446 tree_coverage_counter_ref (unsigned counter, unsigned no)
448 tree gcov_type_node = get_gcov_type ();
450 gcc_assert (no < fn_n_ctrs[counter] - fn_b_ctrs[counter]);
452 no += fn_b_ctrs[counter];
454 /* "no" here is an array index, scaled to bytes later. */
455 return build4 (ARRAY_REF, gcov_type_node, fn_v_ctrs[counter],
456 build_int_cst (integer_type_node, no), NULL, NULL);
459 /* Generate a tree to access the address of COUNTER NO. */
461 tree
462 tree_coverage_counter_addr (unsigned counter, unsigned no)
464 tree gcov_type_node = get_gcov_type ();
466 gcc_assert (no < fn_n_ctrs[counter] - fn_b_ctrs[counter]);
467 no += fn_b_ctrs[counter];
469 /* "no" here is an array index, scaled to bytes later. */
470 return build_fold_addr_expr (build4 (ARRAY_REF, gcov_type_node,
471 fn_v_ctrs[counter],
472 build_int_cst (integer_type_node, no),
473 NULL, NULL));
477 /* Generate a checksum for a string. CHKSUM is the current
478 checksum. */
480 static unsigned
481 coverage_checksum_string (unsigned chksum, const char *string)
483 int i;
484 char *dup = NULL;
486 /* Look for everything that looks if it were produced by
487 get_file_function_name and zero out the second part
488 that may result from flag_random_seed. This is not critical
489 as the checksums are used only for sanity checking. */
490 for (i = 0; string[i]; i++)
492 int offset = 0;
493 if (!strncmp (string + i, "_GLOBAL__N_", 11))
494 offset = 11;
495 if (!strncmp (string + i, "_GLOBAL__", 9))
496 offset = 9;
498 /* C++ namespaces do have scheme:
499 _GLOBAL__N_<filename>_<wrongmagicnumber>_<magicnumber>functionname
500 since filename might contain extra underscores there seems
501 to be no better chance then walk all possible offsets looking
502 for magicnumber. */
503 if (offset)
505 for (i = i + offset; string[i]; i++)
506 if (string[i]=='_')
508 int y;
510 for (y = 1; y < 9; y++)
511 if (!(string[i + y] >= '0' && string[i + y] <= '9')
512 && !(string[i + y] >= 'A' && string[i + y] <= 'F'))
513 break;
514 if (y != 9 || string[i + 9] != '_')
515 continue;
516 for (y = 10; y < 18; y++)
517 if (!(string[i + y] >= '0' && string[i + y] <= '9')
518 && !(string[i + y] >= 'A' && string[i + y] <= 'F'))
519 break;
520 if (y != 18)
521 continue;
522 if (!dup)
523 string = dup = xstrdup (string);
524 for (y = 10; y < 18; y++)
525 dup[i + y] = '0';
527 break;
531 chksum = crc32_string (chksum, string);
532 free (dup);
534 return chksum;
537 /* Compute checksum for the current function. We generate a CRC32. */
539 unsigned
540 coverage_compute_lineno_checksum (void)
542 expanded_location xloc
543 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
544 unsigned chksum = xloc.line;
546 chksum = coverage_checksum_string (chksum, xloc.file);
547 chksum = coverage_checksum_string
548 (chksum, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl)));
550 return chksum;
553 /* Compute profile ID. This is better to be unique in whole program. */
555 unsigned
556 coverage_compute_profile_id (struct cgraph_node *n)
558 expanded_location xloc
559 = expand_location (DECL_SOURCE_LOCATION (n->decl));
560 unsigned chksum = xloc.line;
562 chksum = coverage_checksum_string (chksum, xloc.file);
563 chksum = coverage_checksum_string
564 (chksum, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (n->decl)));
565 if (first_global_object_name)
566 chksum = coverage_checksum_string
567 (chksum, first_global_object_name);
568 chksum = coverage_checksum_string
569 (chksum, aux_base_name);
571 /* Non-negative integers are hopefully small enough to fit in all targets. */
572 return chksum & 0x7fffffff;
575 /* Compute cfg checksum for the current function.
576 The checksum is calculated carefully so that
577 source code changes that doesn't affect the control flow graph
578 won't change the checksum.
579 This is to make the profile data useable across source code change.
580 The downside of this is that the compiler may use potentially
581 wrong profile data - that the source code change has non-trivial impact
582 on the validity of profile data (e.g. the reversed condition)
583 but the compiler won't detect the change and use the wrong profile data. */
585 unsigned
586 coverage_compute_cfg_checksum (void)
588 basic_block bb;
589 unsigned chksum = n_basic_blocks_for_fn (cfun);
591 FOR_EACH_BB_FN (bb, cfun)
593 edge e;
594 edge_iterator ei;
595 chksum = crc32_byte (chksum, bb->index);
596 FOR_EACH_EDGE (e, ei, bb->succs)
598 chksum = crc32_byte (chksum, e->dest->index);
602 return chksum;
605 /* Begin output to the notes file for the current function.
606 Writes the function header. Returns nonzero if data should be output. */
609 coverage_begin_function (unsigned lineno_checksum, unsigned cfg_checksum)
611 expanded_location xloc;
612 unsigned long offset;
614 /* We don't need to output .gcno file unless we're under -ftest-coverage
615 (e.g. -fprofile-arcs/generate/use don't need .gcno to work). */
616 if (no_coverage || !bbg_file_name)
617 return 0;
619 xloc = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
621 /* Announce function */
622 offset = gcov_write_tag (GCOV_TAG_FUNCTION);
623 gcov_write_unsigned (current_function_funcdef_no + 1);
624 gcov_write_unsigned (lineno_checksum);
625 gcov_write_unsigned (cfg_checksum);
626 gcov_write_string (IDENTIFIER_POINTER
627 (DECL_ASSEMBLER_NAME (current_function_decl)));
628 gcov_write_string (xloc.file);
629 gcov_write_unsigned (xloc.line);
630 gcov_write_length (offset);
632 return !gcov_is_error ();
635 /* Finish coverage data for the current function. Verify no output
636 error has occurred. Save function coverage counts. */
638 void
639 coverage_end_function (unsigned lineno_checksum, unsigned cfg_checksum)
641 unsigned i;
643 if (bbg_file_name && gcov_is_error ())
645 warning (0, "error writing %qs", bbg_file_name);
646 unlink (bbg_file_name);
647 bbg_file_name = NULL;
650 if (fn_ctr_mask)
652 struct coverage_data *item = 0;
654 /* If the function is extern (i.e. extern inline), then we won't
655 be outputting it, so don't chain it onto the function
656 list. */
657 if (!DECL_EXTERNAL (current_function_decl))
659 item = ggc_alloc_coverage_data ();
661 item->ident = current_function_funcdef_no + 1;
662 item->lineno_checksum = lineno_checksum;
663 item->cfg_checksum = cfg_checksum;
665 item->fn_decl = current_function_decl;
666 item->next = 0;
667 *functions_tail = item;
668 functions_tail = &item->next;
671 for (i = 0; i != GCOV_COUNTERS; i++)
673 tree var = fn_v_ctrs[i];
675 if (item)
676 item->ctr_vars[i] = var;
677 if (var)
679 tree array_type = build_index_type (size_int (fn_n_ctrs[i] - 1));
680 array_type = build_array_type (get_gcov_type (), array_type);
681 TREE_TYPE (var) = array_type;
682 DECL_SIZE (var) = TYPE_SIZE (array_type);
683 DECL_SIZE_UNIT (var) = TYPE_SIZE_UNIT (array_type);
684 varpool_finalize_decl (var);
687 fn_b_ctrs[i] = fn_n_ctrs[i] = 0;
688 fn_v_ctrs[i] = NULL_TREE;
690 prg_ctr_mask |= fn_ctr_mask;
691 fn_ctr_mask = 0;
695 /* Build a coverage variable of TYPE for function FN_DECL. If COUNTER
696 >= 0 it is a counter array, otherwise it is the function structure. */
698 static tree
699 build_var (tree fn_decl, tree type, int counter)
701 tree var = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE, type);
702 const char *fn_name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn_decl));
703 char *buf;
704 size_t fn_name_len, len;
706 fn_name = targetm.strip_name_encoding (fn_name);
707 fn_name_len = strlen (fn_name);
708 buf = XALLOCAVEC (char, fn_name_len + 8 + sizeof (int) * 3);
710 if (counter < 0)
711 strcpy (buf, "__gcov__");
712 else
713 sprintf (buf, "__gcov%u_", counter);
714 len = strlen (buf);
715 #ifndef NO_DOT_IN_LABEL
716 buf[len - 1] = '.';
717 #elif !defined NO_DOLLAR_IN_LABEL
718 buf[len - 1] = '$';
719 #endif
720 memcpy (buf + len, fn_name, fn_name_len + 1);
721 DECL_NAME (var) = get_identifier (buf);
722 TREE_STATIC (var) = 1;
723 TREE_ADDRESSABLE (var) = 1;
724 DECL_NONALIASED (var) = 1;
725 DECL_ALIGN (var) = TYPE_ALIGN (type);
727 return var;
730 /* Creates the gcov_fn_info RECORD_TYPE. */
732 static void
733 build_fn_info_type (tree type, unsigned counters, tree gcov_info_type)
735 tree ctr_info = lang_hooks.types.make_type (RECORD_TYPE);
736 tree field, fields;
737 tree array_type;
739 gcc_assert (counters);
741 /* ctr_info::num */
742 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
743 get_gcov_unsigned_t ());
744 fields = field;
746 /* ctr_info::values */
747 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
748 build_pointer_type (get_gcov_type ()));
749 DECL_CHAIN (field) = fields;
750 fields = field;
752 finish_builtin_struct (ctr_info, "__gcov_ctr_info", fields, NULL_TREE);
754 /* key */
755 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
756 build_pointer_type (build_qualified_type
757 (gcov_info_type, TYPE_QUAL_CONST)));
758 fields = field;
760 /* ident */
761 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
762 get_gcov_unsigned_t ());
763 DECL_CHAIN (field) = fields;
764 fields = field;
766 /* lineno_checksum */
767 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
768 get_gcov_unsigned_t ());
769 DECL_CHAIN (field) = fields;
770 fields = field;
772 /* cfg checksum */
773 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
774 get_gcov_unsigned_t ());
775 DECL_CHAIN (field) = fields;
776 fields = field;
778 array_type = build_index_type (size_int (counters - 1));
779 array_type = build_array_type (ctr_info, array_type);
781 /* counters */
782 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE, array_type);
783 DECL_CHAIN (field) = fields;
784 fields = field;
786 finish_builtin_struct (type, "__gcov_fn_info", fields, NULL_TREE);
789 /* Returns a CONSTRUCTOR for a gcov_fn_info. DATA is
790 the coverage data for the function and TYPE is the gcov_fn_info
791 RECORD_TYPE. KEY is the object file key. */
793 static tree
794 build_fn_info (const struct coverage_data *data, tree type, tree key)
796 tree fields = TYPE_FIELDS (type);
797 tree ctr_type;
798 unsigned ix;
799 vec<constructor_elt, va_gc> *v1 = NULL;
800 vec<constructor_elt, va_gc> *v2 = NULL;
802 /* key */
803 CONSTRUCTOR_APPEND_ELT (v1, fields,
804 build1 (ADDR_EXPR, TREE_TYPE (fields), key));
805 fields = DECL_CHAIN (fields);
807 /* ident */
808 CONSTRUCTOR_APPEND_ELT (v1, fields,
809 build_int_cstu (get_gcov_unsigned_t (),
810 data->ident));
811 fields = DECL_CHAIN (fields);
813 /* lineno_checksum */
814 CONSTRUCTOR_APPEND_ELT (v1, fields,
815 build_int_cstu (get_gcov_unsigned_t (),
816 data->lineno_checksum));
817 fields = DECL_CHAIN (fields);
819 /* cfg_checksum */
820 CONSTRUCTOR_APPEND_ELT (v1, fields,
821 build_int_cstu (get_gcov_unsigned_t (),
822 data->cfg_checksum));
823 fields = DECL_CHAIN (fields);
825 /* counters */
826 ctr_type = TREE_TYPE (TREE_TYPE (fields));
827 for (ix = 0; ix != GCOV_COUNTERS; ix++)
828 if (prg_ctr_mask & (1 << ix))
830 vec<constructor_elt, va_gc> *ctr = NULL;
831 tree var = data->ctr_vars[ix];
832 unsigned count = 0;
834 if (var)
835 count
836 = tree_to_shwi (TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (var))))
837 + 1;
839 CONSTRUCTOR_APPEND_ELT (ctr, TYPE_FIELDS (ctr_type),
840 build_int_cstu (get_gcov_unsigned_t (),
841 count));
843 if (var)
844 CONSTRUCTOR_APPEND_ELT (ctr, DECL_CHAIN (TYPE_FIELDS (ctr_type)),
845 build_fold_addr_expr (var));
847 CONSTRUCTOR_APPEND_ELT (v2, NULL, build_constructor (ctr_type, ctr));
850 CONSTRUCTOR_APPEND_ELT (v1, fields,
851 build_constructor (TREE_TYPE (fields), v2));
853 return build_constructor (type, v1);
856 /* Create gcov_info struct. TYPE is the incomplete RECORD_TYPE to be
857 completed, and FN_INFO_PTR_TYPE is a pointer to the function info type. */
859 static void
860 build_info_type (tree type, tree fn_info_ptr_type)
862 tree field, fields = NULL_TREE;
863 tree merge_fn_type;
865 /* Version ident */
866 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
867 get_gcov_unsigned_t ());
868 DECL_CHAIN (field) = fields;
869 fields = field;
871 /* next pointer */
872 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
873 build_pointer_type (build_qualified_type
874 (type, TYPE_QUAL_CONST)));
875 DECL_CHAIN (field) = fields;
876 fields = field;
878 /* stamp */
879 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
880 get_gcov_unsigned_t ());
881 DECL_CHAIN (field) = fields;
882 fields = field;
884 /* Filename */
885 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
886 build_pointer_type (build_qualified_type
887 (char_type_node, TYPE_QUAL_CONST)));
888 DECL_CHAIN (field) = fields;
889 fields = field;
891 /* merge fn array */
892 merge_fn_type
893 = build_function_type_list (void_type_node,
894 build_pointer_type (get_gcov_type ()),
895 get_gcov_unsigned_t (), NULL_TREE);
896 merge_fn_type
897 = build_array_type (build_pointer_type (merge_fn_type),
898 build_index_type (size_int (GCOV_COUNTERS - 1)));
899 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
900 merge_fn_type);
901 DECL_CHAIN (field) = fields;
902 fields = field;
904 /* n_functions */
905 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
906 get_gcov_unsigned_t ());
907 DECL_CHAIN (field) = fields;
908 fields = field;
910 /* function_info pointer pointer */
911 fn_info_ptr_type = build_pointer_type
912 (build_qualified_type (fn_info_ptr_type, TYPE_QUAL_CONST));
913 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
914 fn_info_ptr_type);
915 DECL_CHAIN (field) = fields;
916 fields = field;
918 finish_builtin_struct (type, "__gcov_info", fields, NULL_TREE);
921 /* Returns a CONSTRUCTOR for the gcov_info object. INFO_TYPE is the
922 gcov_info structure type, FN_ARY is the array of pointers to
923 function info objects. */
925 static tree
926 build_info (tree info_type, tree fn_ary)
928 tree info_fields = TYPE_FIELDS (info_type);
929 tree merge_fn_type, n_funcs;
930 unsigned ix;
931 tree filename_string;
932 int da_file_name_len;
933 vec<constructor_elt, va_gc> *v1 = NULL;
934 vec<constructor_elt, va_gc> *v2 = NULL;
936 /* Version ident */
937 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
938 build_int_cstu (TREE_TYPE (info_fields),
939 GCOV_VERSION));
940 info_fields = DECL_CHAIN (info_fields);
942 /* next -- NULL */
943 CONSTRUCTOR_APPEND_ELT (v1, info_fields, null_pointer_node);
944 info_fields = DECL_CHAIN (info_fields);
946 /* stamp */
947 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
948 build_int_cstu (TREE_TYPE (info_fields),
949 bbg_file_stamp));
950 info_fields = DECL_CHAIN (info_fields);
952 /* Filename */
953 da_file_name_len = strlen (da_file_name);
954 filename_string = build_string (da_file_name_len + 1, da_file_name);
955 TREE_TYPE (filename_string) = build_array_type
956 (char_type_node, build_index_type (size_int (da_file_name_len)));
957 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
958 build1 (ADDR_EXPR, TREE_TYPE (info_fields),
959 filename_string));
960 info_fields = DECL_CHAIN (info_fields);
962 /* merge fn array -- NULL slots indicate unmeasured counters */
963 merge_fn_type = TREE_TYPE (TREE_TYPE (info_fields));
964 for (ix = 0; ix != GCOV_COUNTERS; ix++)
966 tree ptr = null_pointer_node;
968 if ((1u << ix) & prg_ctr_mask)
970 tree merge_fn = build_decl (BUILTINS_LOCATION,
971 FUNCTION_DECL,
972 get_identifier (ctr_merge_functions[ix]),
973 TREE_TYPE (merge_fn_type));
974 DECL_EXTERNAL (merge_fn) = 1;
975 TREE_PUBLIC (merge_fn) = 1;
976 DECL_ARTIFICIAL (merge_fn) = 1;
977 TREE_NOTHROW (merge_fn) = 1;
978 /* Initialize assembler name so we can stream out. */
979 DECL_ASSEMBLER_NAME (merge_fn);
980 ptr = build1 (ADDR_EXPR, merge_fn_type, merge_fn);
982 CONSTRUCTOR_APPEND_ELT (v2, NULL, ptr);
984 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
985 build_constructor (TREE_TYPE (info_fields), v2));
986 info_fields = DECL_CHAIN (info_fields);
988 /* n_functions */
989 n_funcs = TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (fn_ary)));
990 n_funcs = fold_build2 (PLUS_EXPR, TREE_TYPE (info_fields),
991 n_funcs, size_one_node);
992 CONSTRUCTOR_APPEND_ELT (v1, info_fields, n_funcs);
993 info_fields = DECL_CHAIN (info_fields);
995 /* functions */
996 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
997 build1 (ADDR_EXPR, TREE_TYPE (info_fields), fn_ary));
998 info_fields = DECL_CHAIN (info_fields);
1000 gcc_assert (!info_fields);
1001 return build_constructor (info_type, v1);
1004 /* Generate the constructor function to call __gcov_init. */
1006 static void
1007 build_init_ctor (tree gcov_info_type)
1009 tree ctor, stmt, init_fn;
1011 /* Build a decl for __gcov_init. */
1012 init_fn = build_pointer_type (gcov_info_type);
1013 init_fn = build_function_type_list (void_type_node, init_fn, NULL);
1014 init_fn = build_decl (BUILTINS_LOCATION, FUNCTION_DECL,
1015 get_identifier ("__gcov_init"), init_fn);
1016 TREE_PUBLIC (init_fn) = 1;
1017 DECL_EXTERNAL (init_fn) = 1;
1018 DECL_ASSEMBLER_NAME (init_fn);
1020 /* Generate a call to __gcov_init(&gcov_info). */
1021 ctor = NULL;
1022 stmt = build_fold_addr_expr (gcov_info_var);
1023 stmt = build_call_expr (init_fn, 1, stmt);
1024 append_to_statement_list (stmt, &ctor);
1026 /* Generate a constructor to run it. */
1027 cgraph_build_static_cdtor ('I', ctor, DEFAULT_INIT_PRIORITY);
1030 /* Create the gcov_info types and object. Generate the constructor
1031 function to call __gcov_init. Does not generate the initializer
1032 for the object. Returns TRUE if coverage data is being emitted. */
1034 static bool
1035 coverage_obj_init (void)
1037 tree gcov_info_type;
1038 unsigned n_counters = 0;
1039 unsigned ix;
1040 struct coverage_data *fn;
1041 struct coverage_data **fn_prev;
1042 char name_buf[32];
1044 no_coverage = 1; /* Disable any further coverage. */
1046 if (!prg_ctr_mask)
1047 return false;
1049 if (cgraph_dump_file)
1050 fprintf (cgraph_dump_file, "Using data file %s\n", da_file_name);
1052 /* Prune functions. */
1053 for (fn_prev = &functions_head; (fn = *fn_prev);)
1054 if (DECL_STRUCT_FUNCTION (fn->fn_decl))
1055 fn_prev = &fn->next;
1056 else
1057 /* The function is not being emitted, remove from list. */
1058 *fn_prev = fn->next;
1060 if (functions_head == NULL)
1061 return false;
1063 for (ix = 0; ix != GCOV_COUNTERS; ix++)
1064 if ((1u << ix) & prg_ctr_mask)
1065 n_counters++;
1067 /* Build the info and fn_info types. These are mutually recursive. */
1068 gcov_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1069 gcov_fn_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1070 gcov_fn_info_ptr_type = build_pointer_type
1071 (build_qualified_type (gcov_fn_info_type, TYPE_QUAL_CONST));
1072 build_fn_info_type (gcov_fn_info_type, n_counters, gcov_info_type);
1073 build_info_type (gcov_info_type, gcov_fn_info_ptr_type);
1075 /* Build the gcov info var, this is referred to in its own
1076 initializer. */
1077 gcov_info_var = build_decl (BUILTINS_LOCATION,
1078 VAR_DECL, NULL_TREE, gcov_info_type);
1079 TREE_STATIC (gcov_info_var) = 1;
1080 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 0);
1081 DECL_NAME (gcov_info_var) = get_identifier (name_buf);
1083 build_init_ctor (gcov_info_type);
1085 return true;
1088 /* Generate the coverage function info for FN and DATA. Append a
1089 pointer to that object to CTOR and return the appended CTOR. */
1091 static vec<constructor_elt, va_gc> *
1092 coverage_obj_fn (vec<constructor_elt, va_gc> *ctor, tree fn,
1093 struct coverage_data const *data)
1095 tree init = build_fn_info (data, gcov_fn_info_type, gcov_info_var);
1096 tree var = build_var (fn, gcov_fn_info_type, -1);
1098 DECL_INITIAL (var) = init;
1099 varpool_finalize_decl (var);
1101 CONSTRUCTOR_APPEND_ELT (ctor, NULL,
1102 build1 (ADDR_EXPR, gcov_fn_info_ptr_type, var));
1103 return ctor;
1106 /* Finalize the coverage data. Generates the array of pointers to
1107 function objects from CTOR. Generate the gcov_info initializer. */
1109 static void
1110 coverage_obj_finish (vec<constructor_elt, va_gc> *ctor)
1112 unsigned n_functions = vec_safe_length (ctor);
1113 tree fn_info_ary_type = build_array_type
1114 (build_qualified_type (gcov_fn_info_ptr_type, TYPE_QUAL_CONST),
1115 build_index_type (size_int (n_functions - 1)));
1116 tree fn_info_ary = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE,
1117 fn_info_ary_type);
1118 char name_buf[32];
1120 TREE_STATIC (fn_info_ary) = 1;
1121 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 1);
1122 DECL_NAME (fn_info_ary) = get_identifier (name_buf);
1123 DECL_INITIAL (fn_info_ary) = build_constructor (fn_info_ary_type, ctor);
1124 varpool_finalize_decl (fn_info_ary);
1126 DECL_INITIAL (gcov_info_var)
1127 = build_info (TREE_TYPE (gcov_info_var), fn_info_ary);
1128 varpool_finalize_decl (gcov_info_var);
1131 /* Perform file-level initialization. Read in data file, generate name
1132 of notes file. */
1134 void
1135 coverage_init (const char *filename)
1137 int len = strlen (filename);
1138 int prefix_len = 0;
1140 /* Since coverage_init is invoked very early, before the pass
1141 manager, we need to set up the dumping explicitly. This is
1142 similar to the handling in finish_optimization_passes. */
1143 int profile_pass_num =
1144 g->get_passes ()->get_pass_profile ()->static_pass_number;
1145 g->get_dumps ()->dump_start (profile_pass_num, NULL);
1147 if (!profile_data_prefix && !IS_ABSOLUTE_PATH (filename))
1148 profile_data_prefix = getpwd ();
1150 if (profile_data_prefix)
1151 prefix_len = strlen (profile_data_prefix);
1153 /* Name of da file. */
1154 da_file_name = XNEWVEC (char, len + strlen (GCOV_DATA_SUFFIX)
1155 + prefix_len + 2);
1157 if (profile_data_prefix)
1159 memcpy (da_file_name, profile_data_prefix, prefix_len);
1160 da_file_name[prefix_len++] = '/';
1162 memcpy (da_file_name + prefix_len, filename, len);
1163 strcpy (da_file_name + prefix_len + len, GCOV_DATA_SUFFIX);
1165 bbg_file_stamp = local_tick;
1167 if (flag_branch_probabilities)
1168 read_counts_file ();
1170 /* Name of bbg file. */
1171 if (flag_test_coverage && !flag_compare_debug)
1173 bbg_file_name = XNEWVEC (char, len + strlen (GCOV_NOTE_SUFFIX) + 1);
1174 memcpy (bbg_file_name, filename, len);
1175 strcpy (bbg_file_name + len, GCOV_NOTE_SUFFIX);
1177 if (!gcov_open (bbg_file_name, -1))
1179 error ("cannot open %s", bbg_file_name);
1180 bbg_file_name = NULL;
1182 else
1184 gcov_write_unsigned (GCOV_NOTE_MAGIC);
1185 gcov_write_unsigned (GCOV_VERSION);
1186 gcov_write_unsigned (bbg_file_stamp);
1190 g->get_dumps ()->dump_finish (profile_pass_num);
1193 /* Performs file-level cleanup. Close notes file, generate coverage
1194 variables and constructor. */
1196 void
1197 coverage_finish (void)
1199 if (bbg_file_name && gcov_close ())
1200 unlink (bbg_file_name);
1202 if (!flag_branch_probabilities && flag_test_coverage
1203 && (!local_tick || local_tick == (unsigned)-1))
1204 /* Only remove the da file, if we're emitting coverage code and
1205 cannot uniquely stamp it. If we can stamp it, libgcov will DTRT. */
1206 unlink (da_file_name);
1208 if (coverage_obj_init ())
1210 vec<constructor_elt, va_gc> *fn_ctor = NULL;
1211 struct coverage_data *fn;
1213 for (fn = functions_head; fn; fn = fn->next)
1214 fn_ctor = coverage_obj_fn (fn_ctor, fn->fn_decl, fn);
1215 coverage_obj_finish (fn_ctor);
1218 XDELETEVEC (da_file_name);
1219 da_file_name = NULL;
1222 #include "gt-coverage.h"