2014-06-25 Marc Glisse <marc.glisse@inria.fr>
[official-gcc.git] / gcc / coverage.c
blob0eeaaa519ecf704a983cb8717a5d40806405eb6b
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 = new hash_table<counts_entry> (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 delete counts_hash;
295 counts_hash = NULL;
296 break;
298 else if (entry->summary.num != n_counts)
300 error ("Profile data for function %u is corrupted", fn_ident);
301 error ("number of counters is %d instead of %d", entry->summary.num, n_counts);
302 delete counts_hash;
303 counts_hash = NULL;
304 break;
306 else if (elt.ctr >= GCOV_COUNTERS_SUMMABLE)
308 error ("cannot merge separate %s counters for function %u",
309 ctr_names[elt.ctr], fn_ident);
310 goto skip_merge;
312 else
314 entry->summary.runs += summary.ctrs[elt.ctr].runs;
315 entry->summary.sum_all += summary.ctrs[elt.ctr].sum_all;
316 if (entry->summary.run_max < summary.ctrs[elt.ctr].run_max)
317 entry->summary.run_max = summary.ctrs[elt.ctr].run_max;
318 entry->summary.sum_max += summary.ctrs[elt.ctr].sum_max;
320 for (ix = 0; ix != n_counts; ix++)
321 entry->counts[ix] += gcov_read_counter ();
322 skip_merge:;
324 gcov_sync (offset, length);
325 if ((is_error = gcov_is_error ()))
327 error (is_error < 0 ? "%qs has overflowed" : "%qs is corrupted",
328 da_file_name);
329 delete counts_hash;
330 counts_hash = NULL;
331 break;
335 gcov_close ();
338 /* Returns the counters for a particular tag. */
340 gcov_type *
341 get_coverage_counts (unsigned counter, unsigned expected,
342 unsigned cfg_checksum, unsigned lineno_checksum,
343 const struct gcov_ctr_summary **summary)
345 counts_entry_t *entry, elt;
347 /* No hash table, no counts. */
348 if (!counts_hash)
350 static int warned = 0;
352 if (!warned++ && dump_enabled_p ())
353 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
354 (flag_guess_branch_prob
355 ? "file %s not found, execution counts estimated\n"
356 : "file %s not found, execution counts assumed to "
357 "be zero\n"),
358 da_file_name);
359 return NULL;
362 elt.ident = current_function_funcdef_no + 1;
363 elt.ctr = counter;
364 entry = counts_hash->find (&elt);
365 if (!entry || !entry->summary.num)
366 /* The function was not emitted, or is weak and not chosen in the
367 final executable. Silently fail, because there's nothing we
368 can do about it. */
369 return NULL;
371 if (entry->cfg_checksum != cfg_checksum
372 || entry->summary.num != expected)
374 static int warned = 0;
375 bool warning_printed = false;
376 tree id = DECL_ASSEMBLER_NAME (current_function_decl);
378 warning_printed =
379 warning_at (input_location, OPT_Wcoverage_mismatch,
380 "the control flow of function %qE does not match "
381 "its profile data (counter %qs)", id, ctr_names[counter]);
382 if (warning_printed && dump_enabled_p ())
384 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
385 "use -Wno-error=coverage-mismatch to tolerate "
386 "the mismatch but performance may drop if the "
387 "function is hot\n");
389 if (!seen_error ()
390 && !warned++)
392 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, input_location,
393 "coverage mismatch ignored\n");
394 dump_printf (MSG_OPTIMIZED_LOCATIONS,
395 flag_guess_branch_prob
396 ? G_("execution counts estimated\n")
397 : G_("execution counts assumed to be zero\n"));
398 if (!flag_guess_branch_prob)
399 dump_printf (MSG_OPTIMIZED_LOCATIONS,
400 "this can result in poorly optimized code\n");
404 return NULL;
406 else if (entry->lineno_checksum != lineno_checksum)
408 warning (0, "source locations for function %qE have changed,"
409 " the profile data may be out of date",
410 DECL_ASSEMBLER_NAME (current_function_decl));
413 if (summary)
414 *summary = &entry->summary;
416 return entry->counts;
419 /* Allocate NUM counters of type COUNTER. Returns nonzero if the
420 allocation succeeded. */
423 coverage_counter_alloc (unsigned counter, unsigned num)
425 if (no_coverage)
426 return 0;
428 if (!num)
429 return 1;
431 if (!fn_v_ctrs[counter])
433 tree array_type = build_array_type (get_gcov_type (), NULL_TREE);
435 fn_v_ctrs[counter]
436 = build_var (current_function_decl, array_type, counter);
439 fn_b_ctrs[counter] = fn_n_ctrs[counter];
440 fn_n_ctrs[counter] += num;
442 fn_ctr_mask |= 1 << counter;
443 return 1;
446 /* Generate a tree to access COUNTER NO. */
448 tree
449 tree_coverage_counter_ref (unsigned counter, unsigned no)
451 tree gcov_type_node = get_gcov_type ();
453 gcc_assert (no < fn_n_ctrs[counter] - fn_b_ctrs[counter]);
455 no += fn_b_ctrs[counter];
457 /* "no" here is an array index, scaled to bytes later. */
458 return build4 (ARRAY_REF, gcov_type_node, fn_v_ctrs[counter],
459 build_int_cst (integer_type_node, no), NULL, NULL);
462 /* Generate a tree to access the address of COUNTER NO. */
464 tree
465 tree_coverage_counter_addr (unsigned counter, unsigned no)
467 tree gcov_type_node = get_gcov_type ();
469 gcc_assert (no < fn_n_ctrs[counter] - fn_b_ctrs[counter]);
470 no += fn_b_ctrs[counter];
472 /* "no" here is an array index, scaled to bytes later. */
473 return build_fold_addr_expr (build4 (ARRAY_REF, gcov_type_node,
474 fn_v_ctrs[counter],
475 build_int_cst (integer_type_node, no),
476 NULL, NULL));
480 /* Generate a checksum for a string. CHKSUM is the current
481 checksum. */
483 static unsigned
484 coverage_checksum_string (unsigned chksum, const char *string)
486 int i;
487 char *dup = NULL;
489 /* Look for everything that looks if it were produced by
490 get_file_function_name and zero out the second part
491 that may result from flag_random_seed. This is not critical
492 as the checksums are used only for sanity checking. */
493 for (i = 0; string[i]; i++)
495 int offset = 0;
496 if (!strncmp (string + i, "_GLOBAL__N_", 11))
497 offset = 11;
498 if (!strncmp (string + i, "_GLOBAL__", 9))
499 offset = 9;
501 /* C++ namespaces do have scheme:
502 _GLOBAL__N_<filename>_<wrongmagicnumber>_<magicnumber>functionname
503 since filename might contain extra underscores there seems
504 to be no better chance then walk all possible offsets looking
505 for magicnumber. */
506 if (offset)
508 for (i = i + offset; string[i]; i++)
509 if (string[i]=='_')
511 int y;
513 for (y = 1; y < 9; y++)
514 if (!(string[i + y] >= '0' && string[i + y] <= '9')
515 && !(string[i + y] >= 'A' && string[i + y] <= 'F'))
516 break;
517 if (y != 9 || string[i + 9] != '_')
518 continue;
519 for (y = 10; y < 18; y++)
520 if (!(string[i + y] >= '0' && string[i + y] <= '9')
521 && !(string[i + y] >= 'A' && string[i + y] <= 'F'))
522 break;
523 if (y != 18)
524 continue;
525 if (!dup)
526 string = dup = xstrdup (string);
527 for (y = 10; y < 18; y++)
528 dup[i + y] = '0';
530 break;
534 chksum = crc32_string (chksum, string);
535 free (dup);
537 return chksum;
540 /* Compute checksum for the current function. We generate a CRC32. */
542 unsigned
543 coverage_compute_lineno_checksum (void)
545 expanded_location xloc
546 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
547 unsigned chksum = xloc.line;
549 chksum = coverage_checksum_string (chksum, xloc.file);
550 chksum = coverage_checksum_string
551 (chksum, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl)));
553 return chksum;
556 /* Compute profile ID. This is better to be unique in whole program. */
558 unsigned
559 coverage_compute_profile_id (struct cgraph_node *n)
561 unsigned chksum;
563 /* Externally visible symbols have unique name. */
564 if (TREE_PUBLIC (n->decl) || DECL_EXTERNAL (n->decl))
566 chksum = coverage_checksum_string
567 (0, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (n->decl)));
569 else
571 expanded_location xloc
572 = expand_location (DECL_SOURCE_LOCATION (n->decl));
574 chksum = xloc.line;
575 chksum = coverage_checksum_string (chksum, xloc.file);
576 chksum = coverage_checksum_string
577 (chksum, IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (n->decl)));
578 if (first_global_object_name)
579 chksum = coverage_checksum_string
580 (chksum, first_global_object_name);
581 chksum = coverage_checksum_string
582 (chksum, aux_base_name);
585 /* Non-negative integers are hopefully small enough to fit in all targets. */
586 return chksum & 0x7fffffff;
589 /* Compute cfg checksum for the function FN given as argument.
590 The checksum is calculated carefully so that
591 source code changes that doesn't affect the control flow graph
592 won't change the checksum.
593 This is to make the profile data useable across source code change.
594 The downside of this is that the compiler may use potentially
595 wrong profile data - that the source code change has non-trivial impact
596 on the validity of profile data (e.g. the reversed condition)
597 but the compiler won't detect the change and use the wrong profile data. */
599 unsigned
600 coverage_compute_cfg_checksum (struct function *fn)
602 basic_block bb;
603 unsigned chksum = n_basic_blocks_for_fn (fn);
605 FOR_EACH_BB_FN (bb, fn)
607 edge e;
608 edge_iterator ei;
609 chksum = crc32_byte (chksum, bb->index);
610 FOR_EACH_EDGE (e, ei, bb->succs)
612 chksum = crc32_byte (chksum, e->dest->index);
616 return chksum;
619 /* Begin output to the notes file for the current function.
620 Writes the function header. Returns nonzero if data should be output. */
623 coverage_begin_function (unsigned lineno_checksum, unsigned cfg_checksum)
625 expanded_location xloc;
626 unsigned long offset;
628 /* We don't need to output .gcno file unless we're under -ftest-coverage
629 (e.g. -fprofile-arcs/generate/use don't need .gcno to work). */
630 if (no_coverage || !bbg_file_name)
631 return 0;
633 xloc = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
635 /* Announce function */
636 offset = gcov_write_tag (GCOV_TAG_FUNCTION);
637 gcov_write_unsigned (current_function_funcdef_no + 1);
638 gcov_write_unsigned (lineno_checksum);
639 gcov_write_unsigned (cfg_checksum);
640 gcov_write_string (IDENTIFIER_POINTER
641 (DECL_ASSEMBLER_NAME (current_function_decl)));
642 gcov_write_string (xloc.file);
643 gcov_write_unsigned (xloc.line);
644 gcov_write_length (offset);
646 return !gcov_is_error ();
649 /* Finish coverage data for the current function. Verify no output
650 error has occurred. Save function coverage counts. */
652 void
653 coverage_end_function (unsigned lineno_checksum, unsigned cfg_checksum)
655 unsigned i;
657 if (bbg_file_name && gcov_is_error ())
659 warning (0, "error writing %qs", bbg_file_name);
660 unlink (bbg_file_name);
661 bbg_file_name = NULL;
664 if (fn_ctr_mask)
666 struct coverage_data *item = 0;
668 /* If the function is extern (i.e. extern inline), then we won't
669 be outputting it, so don't chain it onto the function
670 list. */
671 if (!DECL_EXTERNAL (current_function_decl))
673 item = ggc_alloc<coverage_data> ();
675 item->ident = current_function_funcdef_no + 1;
676 item->lineno_checksum = lineno_checksum;
677 item->cfg_checksum = cfg_checksum;
679 item->fn_decl = current_function_decl;
680 item->next = 0;
681 *functions_tail = item;
682 functions_tail = &item->next;
685 for (i = 0; i != GCOV_COUNTERS; i++)
687 tree var = fn_v_ctrs[i];
689 if (item)
690 item->ctr_vars[i] = var;
691 if (var)
693 tree array_type = build_index_type (size_int (fn_n_ctrs[i] - 1));
694 array_type = build_array_type (get_gcov_type (), array_type);
695 TREE_TYPE (var) = array_type;
696 DECL_SIZE (var) = TYPE_SIZE (array_type);
697 DECL_SIZE_UNIT (var) = TYPE_SIZE_UNIT (array_type);
698 varpool_finalize_decl (var);
701 fn_b_ctrs[i] = fn_n_ctrs[i] = 0;
702 fn_v_ctrs[i] = NULL_TREE;
704 prg_ctr_mask |= fn_ctr_mask;
705 fn_ctr_mask = 0;
709 /* Build a coverage variable of TYPE for function FN_DECL. If COUNTER
710 >= 0 it is a counter array, otherwise it is the function structure. */
712 static tree
713 build_var (tree fn_decl, tree type, int counter)
715 tree var = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE, type);
716 const char *fn_name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fn_decl));
717 char *buf;
718 size_t fn_name_len, len;
720 fn_name = targetm.strip_name_encoding (fn_name);
721 fn_name_len = strlen (fn_name);
722 buf = XALLOCAVEC (char, fn_name_len + 8 + sizeof (int) * 3);
724 if (counter < 0)
725 strcpy (buf, "__gcov__");
726 else
727 sprintf (buf, "__gcov%u_", counter);
728 len = strlen (buf);
729 #ifndef NO_DOT_IN_LABEL
730 buf[len - 1] = '.';
731 #elif !defined NO_DOLLAR_IN_LABEL
732 buf[len - 1] = '$';
733 #endif
734 memcpy (buf + len, fn_name, fn_name_len + 1);
735 DECL_NAME (var) = get_identifier (buf);
736 TREE_STATIC (var) = 1;
737 TREE_ADDRESSABLE (var) = 1;
738 DECL_NONALIASED (var) = 1;
739 DECL_ALIGN (var) = TYPE_ALIGN (type);
741 return var;
744 /* Creates the gcov_fn_info RECORD_TYPE. */
746 static void
747 build_fn_info_type (tree type, unsigned counters, tree gcov_info_type)
749 tree ctr_info = lang_hooks.types.make_type (RECORD_TYPE);
750 tree field, fields;
751 tree array_type;
753 gcc_assert (counters);
755 /* ctr_info::num */
756 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
757 get_gcov_unsigned_t ());
758 fields = field;
760 /* ctr_info::values */
761 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
762 build_pointer_type (get_gcov_type ()));
763 DECL_CHAIN (field) = fields;
764 fields = field;
766 finish_builtin_struct (ctr_info, "__gcov_ctr_info", fields, NULL_TREE);
768 /* key */
769 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
770 build_pointer_type (build_qualified_type
771 (gcov_info_type, TYPE_QUAL_CONST)));
772 fields = field;
774 /* ident */
775 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
776 get_gcov_unsigned_t ());
777 DECL_CHAIN (field) = fields;
778 fields = field;
780 /* lineno_checksum */
781 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
782 get_gcov_unsigned_t ());
783 DECL_CHAIN (field) = fields;
784 fields = field;
786 /* cfg checksum */
787 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
788 get_gcov_unsigned_t ());
789 DECL_CHAIN (field) = fields;
790 fields = field;
792 array_type = build_index_type (size_int (counters - 1));
793 array_type = build_array_type (ctr_info, array_type);
795 /* counters */
796 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE, array_type);
797 DECL_CHAIN (field) = fields;
798 fields = field;
800 finish_builtin_struct (type, "__gcov_fn_info", fields, NULL_TREE);
803 /* Returns a CONSTRUCTOR for a gcov_fn_info. DATA is
804 the coverage data for the function and TYPE is the gcov_fn_info
805 RECORD_TYPE. KEY is the object file key. */
807 static tree
808 build_fn_info (const struct coverage_data *data, tree type, tree key)
810 tree fields = TYPE_FIELDS (type);
811 tree ctr_type;
812 unsigned ix;
813 vec<constructor_elt, va_gc> *v1 = NULL;
814 vec<constructor_elt, va_gc> *v2 = NULL;
816 /* key */
817 CONSTRUCTOR_APPEND_ELT (v1, fields,
818 build1 (ADDR_EXPR, TREE_TYPE (fields), key));
819 fields = DECL_CHAIN (fields);
821 /* ident */
822 CONSTRUCTOR_APPEND_ELT (v1, fields,
823 build_int_cstu (get_gcov_unsigned_t (),
824 data->ident));
825 fields = DECL_CHAIN (fields);
827 /* lineno_checksum */
828 CONSTRUCTOR_APPEND_ELT (v1, fields,
829 build_int_cstu (get_gcov_unsigned_t (),
830 data->lineno_checksum));
831 fields = DECL_CHAIN (fields);
833 /* cfg_checksum */
834 CONSTRUCTOR_APPEND_ELT (v1, fields,
835 build_int_cstu (get_gcov_unsigned_t (),
836 data->cfg_checksum));
837 fields = DECL_CHAIN (fields);
839 /* counters */
840 ctr_type = TREE_TYPE (TREE_TYPE (fields));
841 for (ix = 0; ix != GCOV_COUNTERS; ix++)
842 if (prg_ctr_mask & (1 << ix))
844 vec<constructor_elt, va_gc> *ctr = NULL;
845 tree var = data->ctr_vars[ix];
846 unsigned count = 0;
848 if (var)
849 count
850 = tree_to_shwi (TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (var))))
851 + 1;
853 CONSTRUCTOR_APPEND_ELT (ctr, TYPE_FIELDS (ctr_type),
854 build_int_cstu (get_gcov_unsigned_t (),
855 count));
857 if (var)
858 CONSTRUCTOR_APPEND_ELT (ctr, DECL_CHAIN (TYPE_FIELDS (ctr_type)),
859 build_fold_addr_expr (var));
861 CONSTRUCTOR_APPEND_ELT (v2, NULL, build_constructor (ctr_type, ctr));
864 CONSTRUCTOR_APPEND_ELT (v1, fields,
865 build_constructor (TREE_TYPE (fields), v2));
867 return build_constructor (type, v1);
870 /* Create gcov_info struct. TYPE is the incomplete RECORD_TYPE to be
871 completed, and FN_INFO_PTR_TYPE is a pointer to the function info type. */
873 static void
874 build_info_type (tree type, tree fn_info_ptr_type)
876 tree field, fields = NULL_TREE;
877 tree merge_fn_type;
879 /* Version ident */
880 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
881 get_gcov_unsigned_t ());
882 DECL_CHAIN (field) = fields;
883 fields = field;
885 /* next pointer */
886 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
887 build_pointer_type (build_qualified_type
888 (type, TYPE_QUAL_CONST)));
889 DECL_CHAIN (field) = fields;
890 fields = field;
892 /* stamp */
893 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
894 get_gcov_unsigned_t ());
895 DECL_CHAIN (field) = fields;
896 fields = field;
898 /* Filename */
899 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
900 build_pointer_type (build_qualified_type
901 (char_type_node, TYPE_QUAL_CONST)));
902 DECL_CHAIN (field) = fields;
903 fields = field;
905 /* merge fn array */
906 merge_fn_type
907 = build_function_type_list (void_type_node,
908 build_pointer_type (get_gcov_type ()),
909 get_gcov_unsigned_t (), NULL_TREE);
910 merge_fn_type
911 = build_array_type (build_pointer_type (merge_fn_type),
912 build_index_type (size_int (GCOV_COUNTERS - 1)));
913 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
914 merge_fn_type);
915 DECL_CHAIN (field) = fields;
916 fields = field;
918 /* n_functions */
919 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
920 get_gcov_unsigned_t ());
921 DECL_CHAIN (field) = fields;
922 fields = field;
924 /* function_info pointer pointer */
925 fn_info_ptr_type = build_pointer_type
926 (build_qualified_type (fn_info_ptr_type, TYPE_QUAL_CONST));
927 field = build_decl (BUILTINS_LOCATION, FIELD_DECL, NULL_TREE,
928 fn_info_ptr_type);
929 DECL_CHAIN (field) = fields;
930 fields = field;
932 finish_builtin_struct (type, "__gcov_info", fields, NULL_TREE);
935 /* Returns a CONSTRUCTOR for the gcov_info object. INFO_TYPE is the
936 gcov_info structure type, FN_ARY is the array of pointers to
937 function info objects. */
939 static tree
940 build_info (tree info_type, tree fn_ary)
942 tree info_fields = TYPE_FIELDS (info_type);
943 tree merge_fn_type, n_funcs;
944 unsigned ix;
945 tree filename_string;
946 int da_file_name_len;
947 vec<constructor_elt, va_gc> *v1 = NULL;
948 vec<constructor_elt, va_gc> *v2 = NULL;
950 /* Version ident */
951 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
952 build_int_cstu (TREE_TYPE (info_fields),
953 GCOV_VERSION));
954 info_fields = DECL_CHAIN (info_fields);
956 /* next -- NULL */
957 CONSTRUCTOR_APPEND_ELT (v1, info_fields, null_pointer_node);
958 info_fields = DECL_CHAIN (info_fields);
960 /* stamp */
961 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
962 build_int_cstu (TREE_TYPE (info_fields),
963 bbg_file_stamp));
964 info_fields = DECL_CHAIN (info_fields);
966 /* Filename */
967 da_file_name_len = strlen (da_file_name);
968 filename_string = build_string (da_file_name_len + 1, da_file_name);
969 TREE_TYPE (filename_string) = build_array_type
970 (char_type_node, build_index_type (size_int (da_file_name_len)));
971 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
972 build1 (ADDR_EXPR, TREE_TYPE (info_fields),
973 filename_string));
974 info_fields = DECL_CHAIN (info_fields);
976 /* merge fn array -- NULL slots indicate unmeasured counters */
977 merge_fn_type = TREE_TYPE (TREE_TYPE (info_fields));
978 for (ix = 0; ix != GCOV_COUNTERS; ix++)
980 tree ptr = null_pointer_node;
982 if ((1u << ix) & prg_ctr_mask)
984 tree merge_fn = build_decl (BUILTINS_LOCATION,
985 FUNCTION_DECL,
986 get_identifier (ctr_merge_functions[ix]),
987 TREE_TYPE (merge_fn_type));
988 DECL_EXTERNAL (merge_fn) = 1;
989 TREE_PUBLIC (merge_fn) = 1;
990 DECL_ARTIFICIAL (merge_fn) = 1;
991 TREE_NOTHROW (merge_fn) = 1;
992 /* Initialize assembler name so we can stream out. */
993 DECL_ASSEMBLER_NAME (merge_fn);
994 ptr = build1 (ADDR_EXPR, merge_fn_type, merge_fn);
996 CONSTRUCTOR_APPEND_ELT (v2, NULL, ptr);
998 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
999 build_constructor (TREE_TYPE (info_fields), v2));
1000 info_fields = DECL_CHAIN (info_fields);
1002 /* n_functions */
1003 n_funcs = TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (fn_ary)));
1004 n_funcs = fold_build2 (PLUS_EXPR, TREE_TYPE (info_fields),
1005 n_funcs, size_one_node);
1006 CONSTRUCTOR_APPEND_ELT (v1, info_fields, n_funcs);
1007 info_fields = DECL_CHAIN (info_fields);
1009 /* functions */
1010 CONSTRUCTOR_APPEND_ELT (v1, info_fields,
1011 build1 (ADDR_EXPR, TREE_TYPE (info_fields), fn_ary));
1012 info_fields = DECL_CHAIN (info_fields);
1014 gcc_assert (!info_fields);
1015 return build_constructor (info_type, v1);
1018 /* Generate the constructor function to call __gcov_init. */
1020 static void
1021 build_init_ctor (tree gcov_info_type)
1023 tree ctor, stmt, init_fn;
1025 /* Build a decl for __gcov_init. */
1026 init_fn = build_pointer_type (gcov_info_type);
1027 init_fn = build_function_type_list (void_type_node, init_fn, NULL);
1028 init_fn = build_decl (BUILTINS_LOCATION, FUNCTION_DECL,
1029 get_identifier ("__gcov_init"), init_fn);
1030 TREE_PUBLIC (init_fn) = 1;
1031 DECL_EXTERNAL (init_fn) = 1;
1032 DECL_ASSEMBLER_NAME (init_fn);
1034 /* Generate a call to __gcov_init(&gcov_info). */
1035 ctor = NULL;
1036 stmt = build_fold_addr_expr (gcov_info_var);
1037 stmt = build_call_expr (init_fn, 1, stmt);
1038 append_to_statement_list (stmt, &ctor);
1040 /* Generate a constructor to run it. */
1041 cgraph_build_static_cdtor ('I', ctor, DEFAULT_INIT_PRIORITY);
1044 /* Create the gcov_info types and object. Generate the constructor
1045 function to call __gcov_init. Does not generate the initializer
1046 for the object. Returns TRUE if coverage data is being emitted. */
1048 static bool
1049 coverage_obj_init (void)
1051 tree gcov_info_type;
1052 unsigned n_counters = 0;
1053 unsigned ix;
1054 struct coverage_data *fn;
1055 struct coverage_data **fn_prev;
1056 char name_buf[32];
1058 no_coverage = 1; /* Disable any further coverage. */
1060 if (!prg_ctr_mask)
1061 return false;
1063 if (cgraph_dump_file)
1064 fprintf (cgraph_dump_file, "Using data file %s\n", da_file_name);
1066 /* Prune functions. */
1067 for (fn_prev = &functions_head; (fn = *fn_prev);)
1068 if (DECL_STRUCT_FUNCTION (fn->fn_decl))
1069 fn_prev = &fn->next;
1070 else
1071 /* The function is not being emitted, remove from list. */
1072 *fn_prev = fn->next;
1074 if (functions_head == NULL)
1075 return false;
1077 for (ix = 0; ix != GCOV_COUNTERS; ix++)
1078 if ((1u << ix) & prg_ctr_mask)
1079 n_counters++;
1081 /* Build the info and fn_info types. These are mutually recursive. */
1082 gcov_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1083 gcov_fn_info_type = lang_hooks.types.make_type (RECORD_TYPE);
1084 gcov_fn_info_ptr_type = build_pointer_type
1085 (build_qualified_type (gcov_fn_info_type, TYPE_QUAL_CONST));
1086 build_fn_info_type (gcov_fn_info_type, n_counters, gcov_info_type);
1087 build_info_type (gcov_info_type, gcov_fn_info_ptr_type);
1089 /* Build the gcov info var, this is referred to in its own
1090 initializer. */
1091 gcov_info_var = build_decl (BUILTINS_LOCATION,
1092 VAR_DECL, NULL_TREE, gcov_info_type);
1093 TREE_STATIC (gcov_info_var) = 1;
1094 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 0);
1095 DECL_NAME (gcov_info_var) = get_identifier (name_buf);
1097 build_init_ctor (gcov_info_type);
1099 return true;
1102 /* Generate the coverage function info for FN and DATA. Append a
1103 pointer to that object to CTOR and return the appended CTOR. */
1105 static vec<constructor_elt, va_gc> *
1106 coverage_obj_fn (vec<constructor_elt, va_gc> *ctor, tree fn,
1107 struct coverage_data const *data)
1109 tree init = build_fn_info (data, gcov_fn_info_type, gcov_info_var);
1110 tree var = build_var (fn, gcov_fn_info_type, -1);
1112 DECL_INITIAL (var) = init;
1113 varpool_finalize_decl (var);
1115 CONSTRUCTOR_APPEND_ELT (ctor, NULL,
1116 build1 (ADDR_EXPR, gcov_fn_info_ptr_type, var));
1117 return ctor;
1120 /* Finalize the coverage data. Generates the array of pointers to
1121 function objects from CTOR. Generate the gcov_info initializer. */
1123 static void
1124 coverage_obj_finish (vec<constructor_elt, va_gc> *ctor)
1126 unsigned n_functions = vec_safe_length (ctor);
1127 tree fn_info_ary_type = build_array_type
1128 (build_qualified_type (gcov_fn_info_ptr_type, TYPE_QUAL_CONST),
1129 build_index_type (size_int (n_functions - 1)));
1130 tree fn_info_ary = build_decl (BUILTINS_LOCATION, VAR_DECL, NULL_TREE,
1131 fn_info_ary_type);
1132 char name_buf[32];
1134 TREE_STATIC (fn_info_ary) = 1;
1135 ASM_GENERATE_INTERNAL_LABEL (name_buf, "LPBX", 1);
1136 DECL_NAME (fn_info_ary) = get_identifier (name_buf);
1137 DECL_INITIAL (fn_info_ary) = build_constructor (fn_info_ary_type, ctor);
1138 varpool_finalize_decl (fn_info_ary);
1140 DECL_INITIAL (gcov_info_var)
1141 = build_info (TREE_TYPE (gcov_info_var), fn_info_ary);
1142 varpool_finalize_decl (gcov_info_var);
1145 /* Perform file-level initialization. Read in data file, generate name
1146 of notes file. */
1148 void
1149 coverage_init (const char *filename)
1151 int len = strlen (filename);
1152 int prefix_len = 0;
1154 /* Since coverage_init is invoked very early, before the pass
1155 manager, we need to set up the dumping explicitly. This is
1156 similar to the handling in finish_optimization_passes. */
1157 int profile_pass_num =
1158 g->get_passes ()->get_pass_profile ()->static_pass_number;
1159 g->get_dumps ()->dump_start (profile_pass_num, NULL);
1161 if (!profile_data_prefix && !IS_ABSOLUTE_PATH (filename))
1162 profile_data_prefix = getpwd ();
1164 if (profile_data_prefix)
1165 prefix_len = strlen (profile_data_prefix);
1167 /* Name of da file. */
1168 da_file_name = XNEWVEC (char, len + strlen (GCOV_DATA_SUFFIX)
1169 + prefix_len + 2);
1171 if (profile_data_prefix)
1173 memcpy (da_file_name, profile_data_prefix, prefix_len);
1174 da_file_name[prefix_len++] = '/';
1176 memcpy (da_file_name + prefix_len, filename, len);
1177 strcpy (da_file_name + prefix_len + len, GCOV_DATA_SUFFIX);
1179 bbg_file_stamp = local_tick;
1181 if (flag_branch_probabilities)
1182 read_counts_file ();
1184 /* Name of bbg file. */
1185 if (flag_test_coverage && !flag_compare_debug)
1187 bbg_file_name = XNEWVEC (char, len + strlen (GCOV_NOTE_SUFFIX) + 1);
1188 memcpy (bbg_file_name, filename, len);
1189 strcpy (bbg_file_name + len, GCOV_NOTE_SUFFIX);
1191 if (!gcov_open (bbg_file_name, -1))
1193 error ("cannot open %s", bbg_file_name);
1194 bbg_file_name = NULL;
1196 else
1198 gcov_write_unsigned (GCOV_NOTE_MAGIC);
1199 gcov_write_unsigned (GCOV_VERSION);
1200 gcov_write_unsigned (bbg_file_stamp);
1204 g->get_dumps ()->dump_finish (profile_pass_num);
1207 /* Performs file-level cleanup. Close notes file, generate coverage
1208 variables and constructor. */
1210 void
1211 coverage_finish (void)
1213 if (bbg_file_name && gcov_close ())
1214 unlink (bbg_file_name);
1216 if (!flag_branch_probabilities && flag_test_coverage
1217 && (!local_tick || local_tick == (unsigned)-1))
1218 /* Only remove the da file, if we're emitting coverage code and
1219 cannot uniquely stamp it. If we can stamp it, libgcov will DTRT. */
1220 unlink (da_file_name);
1222 if (coverage_obj_init ())
1224 vec<constructor_elt, va_gc> *fn_ctor = NULL;
1225 struct coverage_data *fn;
1227 for (fn = functions_head; fn; fn = fn->next)
1228 fn_ctor = coverage_obj_fn (fn_ctor, fn->fn_decl, fn);
1229 coverage_obj_finish (fn_ctor);
1232 XDELETEVEC (da_file_name);
1233 da_file_name = NULL;
1236 #include "gt-coverage.h"