2013-11-27 Kugan Vivekanandarajah <kuganv@linaro.org>
[official-gcc.git] / gcc / coverage.c
blobf2ac5fcaa46cc080c8f03986eda1924a3e1de7b1
1 /* Read and write coverage files, and associated functionality.
2 Copyright (C) 1990-2013 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 (bb)
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_ALIGN (var) = TYPE_ALIGN (type);
726 return var;
729 /* Creates the gcov_fn_info RECORD_TYPE. */
731 static void
732 build_fn_info_type (tree type, unsigned counters, tree gcov_info_type)
734 tree ctr_info = lang_hooks.types.make_type (RECORD_TYPE);
735 tree field, fields;
736 tree array_type;
738 gcc_assert (counters);
740 /* ctr_info::num */
741 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
742 get_gcov_unsigned_t ());
743 fields = field;
745 /* ctr_info::values */
746 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
747 build_pointer_type (get_gcov_type ()));
748 DECL_CHAIN (field) = fields;
749 fields = field;
751 finish_builtin_struct (ctr_info, "__gcov_ctr_info", fields, NULL_TREE);
753 /* key */
754 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
755 build_pointer_type (build_qualified_type
756 (gcov_info_type, TYPE_QUAL_CONST)));
757 fields = field;
759 /* ident */
760 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
761 get_gcov_unsigned_t ());
762 DECL_CHAIN (field) = fields;
763 fields = field;
765 /* lineno_checksum */
766 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
767 get_gcov_unsigned_t ());
768 DECL_CHAIN (field) = fields;
769 fields = field;
771 /* cfg checksum */
772 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
773 get_gcov_unsigned_t ());
774 DECL_CHAIN (field) = fields;
775 fields = field;
777 array_type = build_index_type (size_int (counters - 1));
778 array_type = build_array_type (ctr_info, array_type);
780 /* counters */
781 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE, array_type);
782 DECL_CHAIN (field) = fields;
783 fields = field;
785 finish_builtin_struct (type, "__gcov_fn_info", fields, NULL_TREE);
788 /* Returns a CONSTRUCTOR for a gcov_fn_info. DATA is
789 the coverage data for the function and TYPE is the gcov_fn_info
790 RECORD_TYPE. KEY is the object file key. */
792 static tree
793 build_fn_info (const struct coverage_data *data, tree type, tree key)
795 tree fields = TYPE_FIELDS (type);
796 tree ctr_type;
797 unsigned ix;
798 vec<constructor_elt, va_gc> *v1 = NULL;
799 vec<constructor_elt, va_gc> *v2 = NULL;
801 /* key */
802 CONSTRUCTOR_APPEND_ELT (v1, fields,
803 build1 (ADDR_EXPR, TREE_TYPE (fields), key));
804 fields = DECL_CHAIN (fields);
806 /* ident */
807 CONSTRUCTOR_APPEND_ELT (v1, fields,
808 build_int_cstu (get_gcov_unsigned_t (),
809 data->ident));
810 fields = DECL_CHAIN (fields);
812 /* lineno_checksum */
813 CONSTRUCTOR_APPEND_ELT (v1, fields,
814 build_int_cstu (get_gcov_unsigned_t (),
815 data->lineno_checksum));
816 fields = DECL_CHAIN (fields);
818 /* cfg_checksum */
819 CONSTRUCTOR_APPEND_ELT (v1, fields,
820 build_int_cstu (get_gcov_unsigned_t (),
821 data->cfg_checksum));
822 fields = DECL_CHAIN (fields);
824 /* counters */
825 ctr_type = TREE_TYPE (TREE_TYPE (fields));
826 for (ix = 0; ix != GCOV_COUNTERS; ix++)
827 if (prg_ctr_mask & (1 << ix))
829 vec<constructor_elt, va_gc> *ctr = NULL;
830 tree var = data->ctr_vars[ix];
831 unsigned count = 0;
833 if (var)
834 count
835 = tree_to_shwi (TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (var))))
836 + 1;
838 CONSTRUCTOR_APPEND_ELT (ctr, TYPE_FIELDS (ctr_type),
839 build_int_cstu (get_gcov_unsigned_t (),
840 count));
842 if (var)
843 CONSTRUCTOR_APPEND_ELT (ctr, DECL_CHAIN (TYPE_FIELDS (ctr_type)),
844 build_fold_addr_expr (var));
846 CONSTRUCTOR_APPEND_ELT (v2, NULL, build_constructor (ctr_type, ctr));
849 CONSTRUCTOR_APPEND_ELT (v1, fields,
850 build_constructor (TREE_TYPE (fields), v2));
852 return build_constructor (type, v1);
855 /* Create gcov_info struct. TYPE is the incomplete RECORD_TYPE to be
856 completed, and FN_INFO_PTR_TYPE is a pointer to the function info type. */
858 static void
859 build_info_type (tree type, tree fn_info_ptr_type)
861 tree field, fields = NULL_TREE;
862 tree merge_fn_type;
864 /* Version ident */
865 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
866 get_gcov_unsigned_t ());
867 DECL_CHAIN (field) = fields;
868 fields = field;
870 /* next pointer */
871 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
872 build_pointer_type (build_qualified_type
873 (type, TYPE_QUAL_CONST)));
874 DECL_CHAIN (field) = fields;
875 fields = field;
877 /* stamp */
878 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
879 get_gcov_unsigned_t ());
880 DECL_CHAIN (field) = fields;
881 fields = field;
883 /* Filename */
884 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
885 build_pointer_type (build_qualified_type
886 (char_type_node, TYPE_QUAL_CONST)));
887 DECL_CHAIN (field) = fields;
888 fields = field;
890 /* merge fn array */
891 merge_fn_type
892 = build_function_type_list (void_type_node,
893 build_pointer_type (get_gcov_type ()),
894 get_gcov_unsigned_t (), NULL_TREE);
895 merge_fn_type
896 = build_array_type (build_pointer_type (merge_fn_type),
897 build_index_type (size_int (GCOV_COUNTERS - 1)));
898 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
899 merge_fn_type);
900 DECL_CHAIN (field) = fields;
901 fields = field;
903 /* n_functions */
904 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
905 get_gcov_unsigned_t ());
906 DECL_CHAIN (field) = fields;
907 fields = field;
909 /* function_info pointer pointer */
910 fn_info_ptr_type = build_pointer_type
911 (build_qualified_type (fn_info_ptr_type, TYPE_QUAL_CONST));
912 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
913 fn_info_ptr_type);
914 DECL_CHAIN (field) = fields;
915 fields = field;
917 finish_builtin_struct (type, "__gcov_info", fields, NULL_TREE);
920 /* Returns a CONSTRUCTOR for the gcov_info object. INFO_TYPE is the
921 gcov_info structure type, FN_ARY is the array of pointers to
922 function info objects. */
924 static tree
925 build_info (tree info_type, tree fn_ary)
927 tree info_fields = TYPE_FIELDS (info_type);
928 tree merge_fn_type, n_funcs;
929 unsigned ix;
930 tree filename_string;
931 int da_file_name_len;
932 vec<constructor_elt, va_gc> *v1 = NULL;
933 vec<constructor_elt, va_gc> *v2 = NULL;
935 /* Version ident */
936 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
937 build_int_cstu (TREE_TYPE (info_fields),
938 GCOV_VERSION));
939 info_fields = DECL_CHAIN (info_fields);
941 /* next -- NULL */
942 CONSTRUCTOR_APPEND_ELT (v1, info_fields, null_pointer_node);
943 info_fields = DECL_CHAIN (info_fields);
945 /* stamp */
946 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
947 build_int_cstu (TREE_TYPE (info_fields),
948 bbg_file_stamp));
949 info_fields = DECL_CHAIN (info_fields);
951 /* Filename */
952 da_file_name_len = strlen (da_file_name);
953 filename_string = build_string (da_file_name_len + 1, da_file_name);
954 TREE_TYPE (filename_string) = build_array_type
955 (char_type_node, build_index_type (size_int (da_file_name_len)));
956 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
957 build1 (ADDR_EXPR, TREE_TYPE (info_fields),
958 filename_string));
959 info_fields = DECL_CHAIN (info_fields);
961 /* merge fn array -- NULL slots indicate unmeasured counters */
962 merge_fn_type = TREE_TYPE (TREE_TYPE (info_fields));
963 for (ix = 0; ix != GCOV_COUNTERS; ix++)
965 tree ptr = null_pointer_node;
967 if ((1u << ix) & prg_ctr_mask)
969 tree merge_fn = build_decl (BUILTINS_LOCATION,
970 FUNCTION_DECL,
971 get_identifier (ctr_merge_functions[ix]),
972 TREE_TYPE (merge_fn_type));
973 DECL_EXTERNAL (merge_fn) = 1;
974 TREE_PUBLIC (merge_fn) = 1;
975 DECL_ARTIFICIAL (merge_fn) = 1;
976 TREE_NOTHROW (merge_fn) = 1;
977 /* Initialize assembler name so we can stream out. */
978 DECL_ASSEMBLER_NAME (merge_fn);
979 ptr = build1 (ADDR_EXPR, merge_fn_type, merge_fn);
981 CONSTRUCTOR_APPEND_ELT (v2, NULL, ptr);
983 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
984 build_constructor (TREE_TYPE (info_fields), v2));
985 info_fields = DECL_CHAIN (info_fields);
987 /* n_functions */
988 n_funcs = TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (fn_ary)));
989 n_funcs = fold_build2 (PLUS_EXPR, TREE_TYPE (info_fields),
990 n_funcs, size_one_node);
991 CONSTRUCTOR_APPEND_ELT (v1, info_fields, n_funcs);
992 info_fields = DECL_CHAIN (info_fields);
994 /* functions */
995 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
996 build1 (ADDR_EXPR, TREE_TYPE (info_fields), fn_ary));
997 info_fields = DECL_CHAIN (info_fields);
999 gcc_assert (!info_fields);
1000 return build_constructor (info_type, v1);
1003 /* Generate the constructor function to call __gcov_init. */
1005 static void
1006 build_init_ctor (tree gcov_info_type)
1008 tree ctor, stmt, init_fn;
1010 /* Build a decl for __gcov_init. */
1011 init_fn = build_pointer_type (gcov_info_type);
1012 init_fn = build_function_type_list (void_type_node, init_fn, NULL);
1013 init_fn = build_decl (BUILTINS_LOCATION, FUNCTION_DECL,
1014 get_identifier ("__gcov_init"), init_fn);
1015 TREE_PUBLIC (init_fn) = 1;
1016 DECL_EXTERNAL (init_fn) = 1;
1017 DECL_ASSEMBLER_NAME (init_fn);
1019 /* Generate a call to __gcov_init(&gcov_info). */
1020 ctor = NULL;
1021 stmt = build_fold_addr_expr (gcov_info_var);
1022 stmt = build_call_expr (init_fn, 1, stmt);
1023 append_to_statement_list (stmt, &ctor);
1025 /* Generate a constructor to run it. */
1026 cgraph_build_static_cdtor ('I', ctor, DEFAULT_INIT_PRIORITY);
1029 /* Create the gcov_info types and object. Generate the constructor
1030 function to call __gcov_init. Does not generate the initializer
1031 for the object. Returns TRUE if coverage data is being emitted. */
1033 static bool
1034 coverage_obj_init (void)
1036 tree gcov_info_type;
1037 unsigned n_counters = 0;
1038 unsigned ix;
1039 struct coverage_data *fn;
1040 struct coverage_data **fn_prev;
1041 char name_buf[32];
1043 no_coverage = 1; /* Disable any further coverage. */
1045 if (!prg_ctr_mask)
1046 return false;
1048 if (cgraph_dump_file)
1049 fprintf (cgraph_dump_file, "Using data file %s\n", da_file_name);
1051 /* Prune functions. */
1052 for (fn_prev = &functions_head; (fn = *fn_prev);)
1053 if (DECL_STRUCT_FUNCTION (fn->fn_decl))
1054 fn_prev = &fn->next;
1055 else
1056 /* The function is not being emitted, remove from list. */
1057 *fn_prev = fn->next;
1059 if (functions_head == NULL)
1060 return false;
1062 for (ix = 0; ix != GCOV_COUNTERS; ix++)
1063 if ((1u << ix) & prg_ctr_mask)
1064 n_counters++;
1066 /* Build the info and fn_info types. These are mutually recursive. */
1067 gcov_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1068 gcov_fn_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1069 gcov_fn_info_ptr_type = build_pointer_type
1070 (build_qualified_type (gcov_fn_info_type, TYPE_QUAL_CONST));
1071 build_fn_info_type (gcov_fn_info_type, n_counters, gcov_info_type);
1072 build_info_type (gcov_info_type, gcov_fn_info_ptr_type);
1074 /* Build the gcov info var, this is referred to in its own
1075 initializer. */
1076 gcov_info_var = build_decl (BUILTINS_LOCATION,
1077 VAR_DECL, NULL_TREE, gcov_info_type);
1078 TREE_STATIC (gcov_info_var) = 1;
1079 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 0);
1080 DECL_NAME (gcov_info_var) = get_identifier (name_buf);
1082 build_init_ctor (gcov_info_type);
1084 return true;
1087 /* Generate the coverage function info for FN and DATA. Append a
1088 pointer to that object to CTOR and return the appended CTOR. */
1090 static vec<constructor_elt, va_gc> *
1091 coverage_obj_fn (vec<constructor_elt, va_gc> *ctor, tree fn,
1092 struct coverage_data const *data)
1094 tree init = build_fn_info (data, gcov_fn_info_type, gcov_info_var);
1095 tree var = build_var (fn, gcov_fn_info_type, -1);
1097 DECL_INITIAL (var) = init;
1098 varpool_finalize_decl (var);
1100 CONSTRUCTOR_APPEND_ELT (ctor, NULL,
1101 build1 (ADDR_EXPR, gcov_fn_info_ptr_type, var));
1102 return ctor;
1105 /* Finalize the coverage data. Generates the array of pointers to
1106 function objects from CTOR. Generate the gcov_info initializer. */
1108 static void
1109 coverage_obj_finish (vec<constructor_elt, va_gc> *ctor)
1111 unsigned n_functions = vec_safe_length (ctor);
1112 tree fn_info_ary_type = build_array_type
1113 (build_qualified_type (gcov_fn_info_ptr_type, TYPE_QUAL_CONST),
1114 build_index_type (size_int (n_functions - 1)));
1115 tree fn_info_ary = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE,
1116 fn_info_ary_type);
1117 char name_buf[32];
1119 TREE_STATIC (fn_info_ary) = 1;
1120 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 1);
1121 DECL_NAME (fn_info_ary) = get_identifier (name_buf);
1122 DECL_INITIAL (fn_info_ary) = build_constructor (fn_info_ary_type, ctor);
1123 varpool_finalize_decl (fn_info_ary);
1125 DECL_INITIAL (gcov_info_var)
1126 = build_info (TREE_TYPE (gcov_info_var), fn_info_ary);
1127 varpool_finalize_decl (gcov_info_var);
1130 /* Perform file-level initialization. Read in data file, generate name
1131 of notes file. */
1133 void
1134 coverage_init (const char *filename)
1136 int len = strlen (filename);
1137 int prefix_len = 0;
1139 /* Since coverage_init is invoked very early, before the pass
1140 manager, we need to set up the dumping explicitly. This is
1141 similar to the handling in finish_optimization_passes. */
1142 int profile_pass_num =
1143 g->get_passes ()->get_pass_profile ()->static_pass_number;
1144 g->get_dumps ()->dump_start (profile_pass_num, NULL);
1146 if (!profile_data_prefix && !IS_ABSOLUTE_PATH (filename))
1147 profile_data_prefix = getpwd ();
1149 if (profile_data_prefix)
1150 prefix_len = strlen (profile_data_prefix);
1152 /* Name of da file. */
1153 da_file_name = XNEWVEC (char, len + strlen (GCOV_DATA_SUFFIX)
1154 + prefix_len + 2);
1156 if (profile_data_prefix)
1158 memcpy (da_file_name, profile_data_prefix, prefix_len);
1159 da_file_name[prefix_len++] = '/';
1161 memcpy (da_file_name + prefix_len, filename, len);
1162 strcpy (da_file_name + prefix_len + len, GCOV_DATA_SUFFIX);
1164 bbg_file_stamp = local_tick;
1166 if (flag_branch_probabilities)
1167 read_counts_file ();
1169 /* Name of bbg file. */
1170 if (flag_test_coverage && !flag_compare_debug)
1172 bbg_file_name = XNEWVEC (char, len + strlen (GCOV_NOTE_SUFFIX) + 1);
1173 memcpy (bbg_file_name, filename, len);
1174 strcpy (bbg_file_name + len, GCOV_NOTE_SUFFIX);
1176 if (!gcov_open (bbg_file_name, -1))
1178 error ("cannot open %s", bbg_file_name);
1179 bbg_file_name = NULL;
1181 else
1183 gcov_write_unsigned (GCOV_NOTE_MAGIC);
1184 gcov_write_unsigned (GCOV_VERSION);
1185 gcov_write_unsigned (bbg_file_stamp);
1189 g->get_dumps ()->dump_finish (profile_pass_num);
1192 /* Performs file-level cleanup. Close notes file, generate coverage
1193 variables and constructor. */
1195 void
1196 coverage_finish (void)
1198 if (bbg_file_name && gcov_close ())
1199 unlink (bbg_file_name);
1201 if (!flag_branch_probabilities && flag_test_coverage
1202 && (!local_tick || local_tick == (unsigned)-1))
1203 /* Only remove the da file, if we're emitting coverage code and
1204 cannot uniquely stamp it. If we can stamp it, libgcov will DTRT. */
1205 unlink (da_file_name);
1207 if (coverage_obj_init ())
1209 vec<constructor_elt, va_gc> *fn_ctor = NULL;
1210 struct coverage_data *fn;
1212 for (fn = functions_head; fn; fn = fn->next)
1213 fn_ctor = coverage_obj_fn (fn_ctor, fn->fn_decl, fn);
1214 coverage_obj_finish (fn_ctor);
1217 XDELETEVEC (da_file_name);
1218 da_file_name = NULL;
1221 #include "gt-coverage.h"