gcov.c 43.9 KB
Newer Older
Doug Evans committed
1 2
/* Gcov.c: prepend line execution counts and branch probabilities to a
   source file.
Jeff Law committed
3
   Copyright (C) 1990, 1991, 1992, 1993, 1994, 1996, 1997, 1998,
Kazu Hirata committed
4
   1999, 2000, 2001, 2002 Free Software Foundation, Inc.
Doug Evans committed
5
   Contributed by James E. Wilson of Cygnus Support.
6
   Mangled by Bob Manson of Cygnus Support.
Doug Evans committed
7 8 9 10 11 12 13 14 15 16 17 18 19

Gcov is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

Gcov is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with Gcov; see the file COPYING.  If not, write to
20 21
the Free Software Foundation, 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA.  */
Doug Evans committed
22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45

/* ??? The code in final.c that produces the struct bb assumes that there is
   no padding between the fields.  This is not necessary true.  The current
   code can only be trusted if longs and pointers are the same size.  */

/* ??? No need to print an execution count on every line, could just print
   it on the first line of each block, and only print it on a subsequent
   line in the same block if the count changes.  */

/* ??? Print a list of the ten blocks with the highest execution counts,
   and list the line numbers corresponding to those blocks.  Also, perhaps
   list the line numbers with the highest execution counts, only printing
   the first if there are several which are all listed in the same block.  */

/* ??? Should have an option to print the number of basic blocks, and the
   percent of them that are covered.  */

/* ??? Does not correctly handle the case where two .bb files refer to the
   same included source file.  For example, if one has a short file containing
   only inline functions, which is then included in two other files, then
   there will be two .bb files which refer to the include file, but there
   is no way to get the total execution counts for the included file, can
   only get execution counts for one or the other of the including files.  */

46
#include "config.h"
47
#include "system.h"
48
#include "intl.h"
49
#include "version.h"
50
#undef abort
Doug Evans committed
51

52 53
#include <getopt.h>

54
typedef HOST_WIDEST_INT gcov_type;
Doug Evans committed
55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105
#include "gcov-io.h"

/* The .bb file format consists of several lists of 4-byte integers
   which are the line numbers of each basic block in the file.  Each
   list is terminated by a zero.  These lists correspond to the basic
   blocks in the reconstructed program flow graph.

   A line number of -1 indicates that a source file name (padded to a
   long boundary) follows.  The padded file name is followed by
   another -1 to make it easy to scan past file names.  A -2 indicates
   that a function name (padded to a long boundary) follows; the name
   is followed by another -2 to make it easy to scan past the function
   name.

   The .bbg file contains enough info to enable gcov to reconstruct the
   program flow graph.  The first word is the number of basic blocks,
   the second word is the number of arcs, followed by the list of arcs
   (source bb, dest bb pairs), then a -1, then the number of instrumented
   arcs followed by the instrumented arcs, followed by another -1.  This
   is repeated for each function.

   The .da file contains the execution count for each instrumented branch.

   The .bb and .bbg files are created by giving GCC the -ftest-coverage option,
   and the .da files are created when an executable compiled with
   -fprofile-arcs is run.  */

/* The functions in this file for creating and solution program flow graphs
   are very similar to functions in the gcc source file profile.c.  */

/* This is the size of the buffer used to read in source file lines.  */

#define STRING_SIZE 200

/* One copy of this structure is created for each source file mentioned in the
   .bb file.  */

struct sourcefile
{
  char *name;
  int maxlineno;
  struct sourcefile *next;
};

/* This points to the head of the sourcefile structure list.  */

struct sourcefile *sources;

/* One of these is dynamically created whenever we identify an arc in the
   function.  */

Nathan Sidwell committed
106 107
struct adj_list
{
Doug Evans committed
108 109
  int source;
  int target;
110
  gcov_type arc_count;
Doug Evans committed
111 112 113 114 115 116 117 118 119 120 121 122 123 124 125
  unsigned int count_valid : 1;
  unsigned int on_tree : 1;
  unsigned int fake : 1;
  unsigned int fall_through : 1;
#if 0
  /* Not needed for gcov, but defined in profile.c.  */
  rtx branch_insn;
#endif
  struct adj_list *pred_next;
  struct adj_list *succ_next;
};

/* Count the number of basic blocks, and create an array of these structures,
   one for each bb in the function.  */

Nathan Sidwell committed
126 127
struct bb_info
{
Doug Evans committed
128 129
  struct adj_list *succ;
  struct adj_list *pred;
130 131 132
  gcov_type succ_count;
  gcov_type pred_count;
  gcov_type exec_count;
Doug Evans committed
133 134 135 136 137 138 139 140 141 142 143 144 145
  unsigned int count_valid : 1;
  unsigned int on_tree : 1;
#if 0
  /* Not needed for gcov, but defined in profile.c.  */
  rtx first_insn;
#endif
};

/* When outputting branch probabilities, one of these structures is created
   for each branch/call.  */

struct arcdata
{
146 147
  gcov_type hits;
  gcov_type total;
Doug Evans committed
148 149 150 151 152 153
  int call_insn;
  struct arcdata *next;
};

/* Used to save the list of bb_graphs, one per function.  */

Nathan Sidwell committed
154 155
struct bb_info_list
{
Doug Evans committed
156 157 158 159 160 161
  /* Indexed by block number, holds the basic block graph for one function.  */
  struct bb_info *bb_graph;
  int num_blocks;
  struct bb_info_list *next;
};

162
/* Used to hold information about each line.  */
Nathan Sidwell committed
163 164 165
struct line_info
{
  gcov_type count;	      /* execution count */
166 167
  struct arcdata *branches;   /* list of branch probabilities for line.  */
  unsigned exists : 1;	      /* has code associated with it.  */
Nathan Sidwell committed
168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184
};
  
struct coverage
{
  int lines;
  int lines_executed;
  
  int branches;
  int branches_executed;
  int branches_taken;
  
  int calls;
  int calls_executed;
  
  char *name;
};

Doug Evans committed
185 186 187 188
/* Holds a list of function basic block graphs.  */

static struct bb_info_list *bb_graph_list = 0;

189
/* Modification time of data files.  */
190 191 192

static time_t bb_file_time;

Doug Evans committed
193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239
/* Name and file pointer of the input file for the basic block graph.  */

static char *bbg_file_name;
static FILE *bbg_file;

/* Name and file pointer of the input file for the arc count data.  */

static char *da_file_name;
static FILE *da_file;

/* Name and file pointer of the input file for the basic block line counts.  */

static char *bb_file_name;
static FILE *bb_file;

/* Holds the entire contents of the bb_file read into memory.  */

static char *bb_data;

/* Size of bb_data array in longs.  */

static long bb_data_size;

/* Name of the file mentioned on the command line.  */

static char *input_file_name = 0;

/* Output branch probabilities if true.  */

static int output_branch_probs = 0;

/* Output a gcov file if this is true.  This is on by default, and can
   be turned off by the -n option.  */

static int output_gcov_file = 1;

/* For included files, make the gcov output file name include the name of
   the input source file.  For example, if x.h is included in a.c, then the
   output file name is a.c.x.h.gcov instead of x.h.gcov.  This works only
   when a single source file is specified.  */

static int output_long_names = 0;

/* Output summary info for each function.  */

static int output_function_summary = 0;

240
/* Object directory file prefix.  This is the directory/file
241
   where .bb and .bbg files are looked for, if nonzero.  */
Doug Evans committed
242 243 244

static char *object_directory = 0;

245 246 247 248
/* Preserve all pathname components. Needed when object files and
   source files are in subdirectories.  */
static int preserve_paths = 0;

249 250
/* Output the number of times a branch was taken as opposed to the percentage
   of times it was taken.  Turned on by the -c option */
251

252 253
static int output_branch_counts = 0;

Doug Evans committed
254
/* Forward declarations.  */
255 256 257 258
static void process_args PARAMS ((int, char **));
static void open_files PARAMS ((void));
static void read_files PARAMS ((void));
static void scan_for_source_files PARAMS ((void));
Nathan Sidwell committed
259
static void output_data PARAMS ((struct sourcefile *));
260 261
static void print_usage PARAMS ((int)) ATTRIBUTE_NORETURN;
static void print_version PARAMS ((void)) ATTRIBUTE_NORETURN;
262 263
static void init_arc PARAMS ((struct adj_list *, int, int, struct bb_info *));
static struct adj_list *reverse_arcs PARAMS ((struct adj_list *));
264
static gcov_type *read_profile PARAMS ((char *, long, int));
265 266
static void create_program_flow_graph PARAMS ((struct bb_info_list *));
static void solve_program_flow_graph PARAMS ((struct bb_info_list *));
Nathan Sidwell committed
267 268 269 270 271 272 273 274 275 276 277 278 279
static void accumulate_branch_counts PARAMS ((struct coverage *,
					      struct arcdata *));
static void calculate_branch_probs PARAMS ((struct bb_info *,
					    struct line_info *,
					    struct coverage *));
static void function_summary PARAMS ((struct coverage *, const char *));
static void init_line_info PARAMS ((struct line_info *,
				    struct coverage *, long));
static void output_line_info PARAMS ((FILE *, const struct line_info *,
				      const struct coverage *, long));
static char *make_gcov_file_name PARAMS ((char *));
static const char *format_hwint PARAMS ((HOST_WIDEST_INT, HOST_WIDEST_INT,
					 int));
280 281

extern int main PARAMS ((int, char **));
Doug Evans committed
282 283 284 285 286 287

int
main (argc, argv)
     int argc;
     char **argv;
{
Nathan Sidwell committed
288 289
  struct sourcefile *s_ptr;
  
290
  gcc_init_libintl ();
291

Doug Evans committed
292 293 294 295 296 297 298 299
  process_args (argc, argv);

  open_files ();

  read_files ();

  scan_for_source_files ();

Nathan Sidwell committed
300 301
  for (s_ptr = sources; s_ptr; s_ptr = s_ptr->next)
    output_data (s_ptr);
Doug Evans committed
302 303 304 305

  return 0;
}

306
static void fnotice PARAMS ((FILE *, const char *, ...)) ATTRIBUTE_PRINTF_2;
307
static void
308
fnotice VPARAMS ((FILE *file, const char *msgid, ...))
309
{
310 311 312
  VA_OPEN (ap, msgid);
  VA_FIXEDARG (ap, FILE *, file);
  VA_FIXEDARG (ap, const char *, msgid);
313

314
  vfprintf (file, _(msgid), ap);
315
  VA_CLOSE (ap);
316 317
}

Doug Evans committed
318 319
/* More 'friendly' abort that prints the line and file.
   config.h can #define abort fancy_abort if you like that sort of thing.  */
320
extern void fancy_abort PARAMS ((void)) ATTRIBUTE_NORETURN;
Doug Evans committed
321 322 323 324

void
fancy_abort ()
{
Richard Kenner committed
325
  fnotice (stderr, "Internal gcov abort.\n");
Doug Evans committed
326 327 328
  exit (FATAL_EXIT_CODE);
}

329 330
/* Print a usage message and exit.  If ERROR_P is nonzero, this is an error,
   otherwise the output of --help.  */
Doug Evans committed
331 332

static void
333 334
print_usage (error_p)
     int error_p;
Doug Evans committed
335
{
336 337 338 339 340 341 342 343 344 345 346 347 348
  FILE *file = error_p ? stderr : stdout;
  int status = error_p ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE;
  fnotice (file, "Usage: gcov [OPTION]... SOURCEFILE\n\n");
  fnotice (file, "Print code coverage information.\n\n");
  fnotice (file, "  -h, --help                      Print this help, then exit\n");
  fnotice (file, "  -v, --version                   Print version number, then exit\n");
  fnotice (file, "  -b, --branch-probabilities      Include branch probabilities in output\n");
  fnotice (file, "  -c, --branch-counts             Given counts of branches taken\n\
                                    rather than percentages\n");
  fnotice (file, "  -n, --no-output                 Do not create an output file\n");
  fnotice (file, "  -l, --long-file-names           Use long output file names for included\n\
                                    source files\n");
  fnotice (file, "  -f, --function-summaries        Output summaries for each function\n");
349 350
  fnotice (file, "  -o, --object-directory DIR|FILE Search for object files in DIR or called FILE\n");
  fnotice (file, "  -p, --preserve-paths            Preserve all pathname components\n");
351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366
  fnotice (file, "\nFor bug reporting instructions, please see:\n%s.\n",
	   GCCBUGURL);
  exit (status);
}

/* Print version information and exit.  */

static void
print_version ()
{
  fnotice (stdout, "gcov (GCC) %s\n", version_string);
  fnotice (stdout, "Copyright (C) 2001 Free Software Foundation, Inc.\n");
  fnotice (stdout,
	   "This is free software; see the source for copying conditions.  There is NO\n\
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n");
  exit (SUCCESS_EXIT_CODE);
Doug Evans committed
367 368
}

369 370 371 372 373 374 375 376 377
static const struct option options[] =
{
  { "help",                 no_argument,       NULL, 'h' },
  { "version",              no_argument,       NULL, 'v' },
  { "branch-probabilities", no_argument,       NULL, 'b' },
  { "branch-counts",        no_argument,       NULL, 'c' },
  { "no-output",            no_argument,       NULL, 'n' },
  { "long-file-names",      no_argument,       NULL, 'l' },
  { "function-summaries",   no_argument,       NULL, 'f' },
378 379 380
  { "preserve-paths",       no_argument,       NULL, 'p' },
  { "object-directory",     required_argument, NULL, 'o' },
  { "object-file",          required_argument, NULL, 'o' },
381 382
};

Doug Evans committed
383 384 385 386 387 388 389
/* Parse the command line.  */

static void
process_args (argc, argv)
     int argc;
     char **argv;
{
390
  int opt;
Doug Evans committed
391

392
  while ((opt = getopt_long (argc, argv, "hvbclnfo:p", options, NULL)) != -1)
Doug Evans committed
393
    {
394
      switch (opt)
Doug Evans committed
395
	{
396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419
	case 'h':
	  print_usage (false);
	  /* print_usage will exit.  */
	case 'v':
	  print_version ();
	  /* print_version will exit.  */
	case 'b':
	  output_branch_probs = 1;
	  break;
	case 'c':
	  output_branch_counts = 1;
	  break;
	case 'n':
	  output_gcov_file = 0;
	  break;
	case 'l':
	  output_long_names = 1;
	  break;
	case 'f':
	  output_function_summary = 1;
	  break;
	case 'o':
	  object_directory = optarg;
	  break;
420 421 422
	case 'p':
	  preserve_paths = 1;
	  break;
423 424 425
	default:
	  print_usage (true);
	  /* print_usage will exit.  */
Doug Evans committed
426 427 428
	}
    }

429 430 431 432
  if (optind != argc - 1)
    print_usage (true);

  input_file_name = argv[optind];
Doug Evans committed
433 434 435
}


436 437 438 439 440 441 442
/* Find and open the .bb, .da, and .bbg files. If OBJECT_DIRECTORY is
   not specified, these are looked for in the current directory, and
   named from the basename of the input_file_name sans extension. If
   OBJECT_DIRECTORY is specified and is a directory, the files are in
   that directory, but named from the basename of the input_file_name,
   sans extension. Otherwise OBJECT_DIRECTORY is taken to be the name
   of the object *file*, and the data files are named from that.  */
Doug Evans committed
443 444 445 446 447

static void
open_files ()
{
  char *cptr;
448 449 450 451 452
  char *name;
  int length = strlen (input_file_name);
  int base;
  
  if (object_directory && object_directory[0])
Doug Evans committed
453
    {
454 455 456 457 458 459 460 461 462 463
      struct stat status;

      length += strlen (object_directory) + 2;
      name = xmalloc (length);
      name[0] = 0;
      
      base = !stat (object_directory, &status) && S_ISDIR (status.st_mode);
      strcat (name, object_directory);
      if (base && name[strlen (name) - 1] != '/')
	strcat (name, "/");
Doug Evans committed
464 465 466
    }
  else
    {
467 468 469
      name = xmalloc (length + 1);
      name[0] = 0;
      base = 1;
Doug Evans committed
470
    }
471 472 473 474 475 476
  
  if (base)
    {
      /* Append source file name */
      cptr = strrchr (input_file_name, '/');
      cptr = cptr ? cptr + 1 : input_file_name;
Doug Evans committed
477

478 479
      strcat (name, cptr);
    }
480
  /* Remove the extension.  */
481
  cptr = strrchr (name, '.');
Doug Evans committed
482
  if (cptr)
483 484 485 486 487 488 489 490 491 492 493 494 495
    *cptr = 0;
  
  length = strlen (name);
  da_file_name = xmalloc (length + 4);
  bb_file_name = xmalloc (length + 4);
  bbg_file_name = xmalloc (length + 5);

  strcpy (da_file_name, name);
  strcpy (bb_file_name, name);
  strcpy (bbg_file_name, name);
  strcpy (da_file_name + length, ".da");
  strcpy (bb_file_name + length, ".bb");
  strcpy (bbg_file_name + length, ".bbg");
Doug Evans committed
496

Richard Kenner committed
497
  bb_file = fopen (bb_file_name, "rb");
Doug Evans committed
498 499
  if (bb_file == NULL)
    {
500
      fnotice (stderr, "Could not open basic block file %s.\n", bb_file_name);
501
      exit (FATAL_EXIT_CODE);
Doug Evans committed
502 503
    }

504 505 506 507 508 509 510 511 512 513 514 515 516 517 518
  bbg_file = fopen (bbg_file_name, "rb");
  if (bbg_file == NULL)
    {
      fnotice (stderr, "Could not open program flow graph file %s.\n",
	       bbg_file_name);
      exit (FATAL_EXIT_CODE);
    }
  
  {
    struct stat status;

    if (!fstat (fileno (bb_file), &status))
      bb_file_time = status.st_mtime;
  }
  
Doug Evans committed
519 520
  /* If none of the functions in the file were executed, then there won't
     be a .da file.  Just assume that all counts are zero in this case.  */
Richard Kenner committed
521
  da_file = fopen (da_file_name, "rb");
Doug Evans committed
522 523
  if (da_file == NULL)
    {
524 525
      fnotice (stderr, "Could not open data file %s.\n", da_file_name);
      fnotice (stderr, "Assuming that all execution counts are zero.\n");
Doug Evans committed
526
    }
527

Doug Evans committed
528 529 530 531 532 533
  /* Check for empty .bbg file.  This indicates that there is no executable
     code in this source file.  */
  /* Set the EOF condition if at the end of file.  */
  ungetc (getc (bbg_file), bbg_file);
  if (feof (bbg_file))
    {
534
      fnotice (stderr, "No executable code associated with file %s.\n",
Doug Evans committed
535
	       input_file_name);
536
      exit (FATAL_EXIT_CODE);
Doug Evans committed
537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565
    }
}

/* Initialize a new arc.  */

static void
init_arc (arcptr, source, target, bb_graph)
     struct adj_list *arcptr;
     int source, target;
     struct bb_info *bb_graph;
{
  arcptr->target = target;
  arcptr->source = source;

  arcptr->arc_count = 0;
  arcptr->count_valid = 0;
  arcptr->on_tree = 0;
  arcptr->fake = 0;
  arcptr->fall_through = 0;

  arcptr->succ_next = bb_graph[source].succ;
  bb_graph[source].succ = arcptr;
  bb_graph[source].succ_count++;

  arcptr->pred_next = bb_graph[target].pred;
  bb_graph[target].pred = arcptr;
  bb_graph[target].pred_count++;
}

566
/* Reverse the arcs on an arc list.  */
Doug Evans committed
567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584

static struct adj_list *
reverse_arcs (arcptr)
     struct adj_list *arcptr;
{
  struct adj_list *prev = 0;
  struct adj_list *next;

  for ( ; arcptr; arcptr = next)
    {
      next = arcptr->succ_next;
      arcptr->succ_next = prev;
      prev = arcptr;
    }

  return prev;
}

585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608
/* Reads profiles from the .da file and compute a hybrid profile.  */

static gcov_type *
read_profile (function_name, cfg_checksum, instr_arcs)
     char *function_name;
     long cfg_checksum;
     int instr_arcs;
{
  int i;
  int okay = 1;
  gcov_type *profile;
  char *function_name_buffer;
  int function_name_buffer_len;

  profile = xmalloc (sizeof (gcov_type) * instr_arcs);
  function_name_buffer_len = strlen (function_name) + 1;
  function_name_buffer = xmalloc (function_name_buffer_len + 1);

  for (i = 0; i < instr_arcs; i++)
    profile[i] = 0;

  if (!da_file)
    return profile;

609
  rewind (da_file);
610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708
  while (1)
    {
      long magic, extra_bytes;
      long func_count;
      int i;

      if (__read_long (&magic, da_file, 4) != 0)
	break;

      if (magic != -123)
	{
	  okay = 0;
	  break;
	}

      if (__read_long (&func_count, da_file, 4) != 0)
	{
	  okay = 0;
	  break;
	}

      if (__read_long (&extra_bytes, da_file, 4) != 0)
	{
	  okay = 0;
	  break;
	}

      /* skip extra data emited by __bb_exit_func.  */
      fseek (da_file, extra_bytes, SEEK_CUR);

      for (i = 0; i < func_count; i++)
	{
	  long arc_count;
	  long chksum;
	  int j;

	  if (__read_gcov_string
	      (function_name_buffer, function_name_buffer_len, da_file,
	       -1) != 0)
	    {
	      okay = 0;
	      break;
	    }

	  if (__read_long (&chksum, da_file, 4) != 0)
	    {
	      okay = 0;
	      break;
	    }

	  if (__read_long (&arc_count, da_file, 4) != 0)
	    {
	      okay = 0;
	      break;
	    }

	  if (strcmp (function_name_buffer, function_name) != 0
	      || arc_count != instr_arcs || chksum != cfg_checksum)
	    {
	      /* skip */
	      if (fseek (da_file, arc_count * 8, SEEK_CUR) < 0)
		{
		  okay = 0;
		  break;
		}
	    }
	  else
	    {
	      gcov_type tmp;

	      for (j = 0; j < arc_count; j++)
		if (__read_gcov_type (&tmp, da_file, 8) != 0)
		  {
		    okay = 0;
		    break;
		  }
		else
		  {
		    profile[j] += tmp;
		  }
	    }
	}

      if (!okay)
	break;

    }

  free (function_name_buffer);

  if (!okay)
    {
      fprintf (stderr, ".da file corrupted!\n");
      free (profile);
      abort ();
    }

  return profile;
}
Doug Evans committed
709 710 711 712 713 714 715 716 717 718 719 720

/* Construct the program flow graph from the .bbg file, and read in the data
   in the .da file.  */

static void
create_program_flow_graph (bptr)
     struct bb_info_list *bptr;
{
  long num_blocks, number_arcs, src, dest, flag_bits, num_arcs_per_block;
  int i;
  struct adj_list *arcptr;
  struct bb_info *bb_graph;
721 722 723 724 725 726 727 728 729 730 731 732
  long cfg_checksum;
  long instr_arcs = 0;
  gcov_type *profile;
  int profile_pos = 0;
  char *function_name;
  long function_name_len, tmp;

  /* Read function name.  */
  __read_long (&tmp, bbg_file, 4);   /* ignore -1.  */
  __read_long (&function_name_len, bbg_file, 4);
  function_name = xmalloc (function_name_len + 1);
  fread (function_name, 1, function_name_len + 1, bbg_file);
733

734 735 736 737 738 739 740
  /* Skip padding.  */
  tmp = (function_name_len + 1) % 4;

  if (tmp)
    fseek (bbg_file, 4 - tmp, SEEK_CUR);

  __read_long (&tmp, bbg_file, 4);   /* ignore -1.  */
741

742 743
  /* Read the cfg checksum.  */
  __read_long (&cfg_checksum, bbg_file, 4);
Doug Evans committed
744 745 746 747

  /* Read the number of blocks.  */
  __read_long (&num_blocks, bbg_file, 4);

748 749
  /* Create an array of size bb number of bb_info structs.  */
  bb_graph = (struct bb_info *) xcalloc (num_blocks, sizeof (struct bb_info));
Doug Evans committed
750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772

  bptr->bb_graph = bb_graph;
  bptr->num_blocks = num_blocks;

  /* Read and create each arc from the .bbg file.  */
  __read_long (&number_arcs, bbg_file, 4);
  for (i = 0; i < num_blocks; i++)
    {
      int j;

      __read_long (&num_arcs_per_block, bbg_file, 4);
      for (j = 0; j < num_arcs_per_block; j++)
	{
	  if (number_arcs-- < 0)
	    abort ();

	  src = i;
	  __read_long (&dest, bbg_file, 4);

	  arcptr = (struct adj_list *) xmalloc (sizeof (struct adj_list));
	  init_arc (arcptr, src, dest, bb_graph);

	  __read_long (&flag_bits, bbg_file, 4);
773 774
	  if (flag_bits & 0x1)
	    arcptr->on_tree++;
775
	  else
776
	    instr_arcs++;
Doug Evans committed
777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797
	  arcptr->fake = !! (flag_bits & 0x2);
	  arcptr->fall_through = !! (flag_bits & 0x4);
	}
    }

  if (number_arcs)
    abort ();

  /* Read and ignore the -1 separating the arc list from the arc list of the
     next function.  */
  __read_long (&src, bbg_file, 4);
  if (src != -1)
    abort ();

  /* Must reverse the order of all succ arcs, to ensure that they match
     the order of the data in the .da file.  */

  for (i = 0; i < num_blocks; i++)
    if (bb_graph[i].succ)
      bb_graph[i].succ = reverse_arcs (bb_graph[i].succ);

798 799 800 801
  /* Read profile from the .da file.  */

  profile = read_profile (function_name, cfg_checksum, instr_arcs);

Doug Evans committed
802 803 804 805 806 807 808 809 810 811 812 813
  /* For each arc not on the spanning tree, set its execution count from
     the .da file.  */

  /* The first count in the .da file is the number of times that the function
     was entered.  This is the exec_count for block zero.  */

  /* This duplicates code in branch_prob in profile.c.  */

  for (i = 0; i < num_blocks; i++)
    for (arcptr = bb_graph[i].succ; arcptr; arcptr = arcptr->succ_next)
      if (! arcptr->on_tree)
	{
814
	  arcptr->arc_count = profile[profile_pos++];
Doug Evans committed
815 816 817 818
	  arcptr->count_valid = 1;
	  bb_graph[i].succ_count--;
	  bb_graph[arcptr->target].pred_count--;
	}
819 820
  free (profile);
  free (function_name);
Doug Evans committed
821
}
822

Doug Evans committed
823 824 825 826
static void
solve_program_flow_graph (bptr)
     struct bb_info_list *bptr;
{
827 828
  int passes, changes;
  gcov_type total;
Doug Evans committed
829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938
  int i;
  struct adj_list *arcptr;
  struct bb_info *bb_graph;
  int num_blocks;

  num_blocks = bptr->num_blocks;
  bb_graph = bptr->bb_graph;

  /* For every block in the file,
     - if every exit/entrance arc has a known count, then set the block count
     - if the block count is known, and every exit/entrance arc but one has
       a known execution count, then set the count of the remaining arc

     As arc counts are set, decrement the succ/pred count, but don't delete
     the arc, that way we can easily tell when all arcs are known, or only
     one arc is unknown.  */

  /* The order that the basic blocks are iterated through is important.
     Since the code that finds spanning trees starts with block 0, low numbered
     arcs are put on the spanning tree in preference to high numbered arcs.
     Hence, most instrumented arcs are at the end.  Graph solving works much
     faster if we propagate numbers from the end to the start.

     This takes an average of slightly more than 3 passes.  */

  changes = 1;
  passes = 0;
  while (changes)
    {
      passes++;
      changes = 0;

      for (i = num_blocks - 1; i >= 0; i--)
	{
	  if (! bb_graph[i].count_valid)
	    {
	      if (bb_graph[i].succ_count == 0)
		{
		  total = 0;
		  for (arcptr = bb_graph[i].succ; arcptr;
		       arcptr = arcptr->succ_next)
		    total += arcptr->arc_count;
		  bb_graph[i].exec_count = total;
		  bb_graph[i].count_valid = 1;
		  changes = 1;
		}
	      else if (bb_graph[i].pred_count == 0)
		{
		  total = 0;
		  for (arcptr = bb_graph[i].pred; arcptr;
		       arcptr = arcptr->pred_next)
		    total += arcptr->arc_count;
		  bb_graph[i].exec_count = total;
		  bb_graph[i].count_valid = 1;
		  changes = 1;
		}
	    }
	  if (bb_graph[i].count_valid)
	    {
	      if (bb_graph[i].succ_count == 1)
		{
		  total = 0;
		  /* One of the counts will be invalid, but it is zero,
		     so adding it in also doesn't hurt.  */
		  for (arcptr = bb_graph[i].succ; arcptr;
		       arcptr = arcptr->succ_next)
		    total += arcptr->arc_count;
		  /* Calculate count for remaining arc by conservation.  */
		  total = bb_graph[i].exec_count - total;
		  /* Search for the invalid arc, and set its count.  */
		  for (arcptr = bb_graph[i].succ; arcptr;
		       arcptr = arcptr->succ_next)
		    if (! arcptr->count_valid)
		      break;
		  if (! arcptr)
		    abort ();
		  arcptr->count_valid = 1;
		  arcptr->arc_count = total;
		  bb_graph[i].succ_count--;

		  bb_graph[arcptr->target].pred_count--;
		  changes = 1;
		}
	      if (bb_graph[i].pred_count == 1)
		{
		  total = 0;
		  /* One of the counts will be invalid, but it is zero,
		     so adding it in also doesn't hurt.  */
		  for (arcptr = bb_graph[i].pred; arcptr;
		       arcptr = arcptr->pred_next)
		    total += arcptr->arc_count;
		  /* Calculate count for remaining arc by conservation.  */
		  total = bb_graph[i].exec_count - total;
		  /* Search for the invalid arc, and set its count.  */
		  for (arcptr = bb_graph[i].pred; arcptr;
		       arcptr = arcptr->pred_next)
		    if (! arcptr->count_valid)
		      break;
		  if (! arcptr)
		    abort ();
		  arcptr->count_valid = 1;
		  arcptr->arc_count = total;
		  bb_graph[i].pred_count--;

		  bb_graph[arcptr->source].succ_count--;
		  changes = 1;
		}
	    }
	}
    }
939

Doug Evans committed
940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967
  /* If the graph has been correctly solved, every block will have a
     succ and pred count of zero.  */
  for (i = 0; i < num_blocks; i++)
    if (bb_graph[i].succ_count || bb_graph[i].pred_count)
      abort ();
}


static void
read_files ()
{
  struct stat buf;
  struct bb_info_list *list_end = 0;
  struct bb_info_list *b_ptr;

  while (! feof (bbg_file))
    {
      b_ptr = (struct bb_info_list *) xmalloc (sizeof (struct bb_info_list));

      b_ptr->next = 0;
      if (list_end)
	list_end->next = b_ptr;
      else
	bb_graph_list = b_ptr;
      list_end = b_ptr;

      /* Read in the data in the .bbg file and reconstruct the program flow
	 graph for one function.  */
968
      create_program_flow_graph (b_ptr);
Doug Evans committed
969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984

      /* Set the EOF condition if at the end of file.  */
      ungetc (getc (bbg_file), bbg_file);
    }

  /* Calculate all of the basic block execution counts and branch
     taken probabilities.  */

  for (b_ptr = bb_graph_list; b_ptr; b_ptr = b_ptr->next)
    solve_program_flow_graph (b_ptr);

  /* Read in all of the data from the .bb file.   This info will be accessed
     sequentially twice.  */
  stat (bb_file_name, &buf);
  bb_data_size = buf.st_size / 4;

985
  bb_data = (char *) xmalloc ((unsigned) buf.st_size);
Doug Evans committed
986
  fread (bb_data, sizeof (char), buf.st_size, bb_file);
987

Doug Evans committed
988 989 990 991 992 993 994 995 996 997 998 999 1000
  fclose (bb_file);
  if (da_file)
    fclose (da_file);
  fclose (bbg_file);
}


/* Scan the data in the .bb file to find all source files referenced,
   and the largest line number mentioned in each one.  */

static void
scan_for_source_files ()
{
1001
  struct sourcefile *s_ptr = NULL;
Doug Evans committed
1002
  char *ptr;
1003
  long count;
Doug Evans committed
1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028
  long line_num;

  /* Search the bb_data to find:
     1) The number of sources files contained herein, and
     2) The largest line number for each source file.  */

  ptr = bb_data;
  sources = 0;
  for (count = 0; count < bb_data_size; count++)
    {
      __fetch_long (&line_num, ptr, 4);
      ptr += 4;
      if (line_num == -1)
	{
	  /* A source file name follows.  Check to see if we already have
	   a sourcefile structure for this file.  */
	  s_ptr = sources;
	  while (s_ptr && strcmp (s_ptr->name, ptr))
	    s_ptr = s_ptr->next;

	  if (s_ptr == 0)
	    {
	      /* No sourcefile structure for this file name exists, create
		 a new one, and append it to the front of the sources list.  */
	      s_ptr = (struct sourcefile *) xmalloc (sizeof(struct sourcefile));
1029
	      s_ptr->name = xstrdup (ptr);
Doug Evans committed
1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057
	      s_ptr->maxlineno = 0;
	      s_ptr->next = sources;
	      sources = s_ptr;
	    }

	  /* Scan past the file name.  */
	  {
	    long delim;
	    do {
	      count++;
	      __fetch_long (&delim, ptr, 4);
	      ptr += 4;
	    } while (delim != line_num);
	  }
	}
      else if (line_num == -2)
	{
	  long delim;

	  /* A function name follows.  Ignore it.  */
	  do {
	    count++;
	    __fetch_long (&delim, ptr, 4);
	    ptr += 4;
	  } while (delim != line_num);
	}
      /* There will be a zero before the first file name, in which case s_ptr
	 will still be uninitialized.  So, only try to set the maxlineno
1058
	 field if line_num is nonzero.  */
Doug Evans committed
1059 1060 1061 1062 1063 1064 1065
      else if (line_num > 0)
	{
	  if (s_ptr->maxlineno <= line_num)
	    s_ptr->maxlineno = line_num + 1;
	}
      else if (line_num < 0)
	{
1066
	  /* Don't know what this is, but it's garbage.  */
Kazu Hirata committed
1067
	  abort ();
Doug Evans committed
1068 1069 1070 1071 1072
	}
    }
}


Nathan Sidwell committed
1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094
/* Increment totals in FUNCTION according to arc A_PTR.  */

static void
accumulate_branch_counts (function, a_ptr)
     struct coverage *function;
     struct arcdata *a_ptr;
{
  if (a_ptr->call_insn)
    {
      function->calls++;
      if (a_ptr->total)
	function->calls_executed++;
    }
  else
    {
      function->branches++;
      if (a_ptr->total)
	function->branches_executed++;
      if (a_ptr->hits)
	function->branches_taken++;
    }
}
Doug Evans committed
1095 1096 1097 1098 1099

/* Calculate the branch taken probabilities for all arcs branches at the
   end of this block.  */

static void
Nathan Sidwell committed
1100 1101 1102 1103
calculate_branch_probs (block_ptr, line_info, function)
     struct bb_info *block_ptr;
     struct line_info *line_info;
     struct coverage *function;
Doug Evans committed
1104
{
1105
  gcov_type total;
Doug Evans committed
1106 1107
  struct adj_list *arcptr;

Nathan Sidwell committed
1108 1109
  total = block_ptr->exec_count;
  for (arcptr = block_ptr->succ; arcptr; arcptr = arcptr->succ_next)
Doug Evans committed
1110
    {
Nathan Sidwell committed
1111 1112
      struct arcdata *a_ptr;
      
Doug Evans committed
1113 1114 1115
      /* Ignore fall through arcs as they aren't really branches.  */
      if (arcptr->fall_through)
	continue;
1116

Doug Evans committed
1117
      a_ptr = (struct arcdata *) xmalloc (sizeof (struct arcdata));
1118
      a_ptr->total = total;
Nathan Sidwell committed
1119
      a_ptr->hits = total ? arcptr->arc_count : 0;
Doug Evans committed
1120 1121
      a_ptr->call_insn = arcptr->fake;

Nathan Sidwell committed
1122 1123 1124 1125 1126
      if (function)
	accumulate_branch_counts (function, a_ptr);
      /* Prepend the new branch to the list.  */
      a_ptr->next = line_info->branches;
      line_info->branches = a_ptr;
Doug Evans committed
1127 1128 1129
    }
}

1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152
/* Format a HOST_WIDE_INT as either a percent ratio, or absolute
   count.  If dp >= 0, format TOP/BOTTOM * 100 to DP decimal places.
   If DP is zero, no decimal point is printed. Only print 100% when
   TOP==BOTTOM and only print 0% when TOP=0.  If dp < 0, then simply
   format TOP.  Return pointer to a static string.  */

static char const *
format_hwint (top, bottom, dp)
     HOST_WIDEST_INT top, bottom;
     int dp;
{
  static char buffer[20];
  
  if (dp >= 0)
    {
      float ratio = bottom ? (float)top / bottom : 0;
      int ix;
      unsigned limit = 100;
      unsigned percent;
  
      for (ix = dp; ix--; )
	limit *= 10;
      
1153 1154
      percent = (unsigned) (ratio * limit + (float)0.5);
      if (percent <= 0 && top)
1155
	percent = 1;
1156
      else if (percent >= limit && top != bottom)
1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177
	percent = limit - 1;
      ix = sprintf (buffer, "%.*u%%", dp + 1, percent);
      if (dp)
	{
	  dp++;
	  do
	    {
	      buffer[ix+1] = buffer[ix];
	      ix--;
	    }
	  while (dp--);
	  buffer[ix + 1] = '.';
	}
    }
  else
    sprintf (buffer, HOST_WIDEST_INT_PRINT_DEC, top);
  
  return buffer;
}


Doug Evans committed
1178 1179 1180
/* Output summary info for a function.  */

static void
Nathan Sidwell committed
1181 1182 1183
function_summary (function, title)
     struct coverage *function;
     const char *title;
Doug Evans committed
1184
{
Nathan Sidwell committed
1185 1186 1187 1188 1189
  if (function->lines)
    fnotice (stdout, "%s of %d lines executed in %s %s\n",
	     format_hwint (function->lines_executed,
			   function->lines, 2),
	     function->lines, title, function->name);
Doug Evans committed
1190
  else
Nathan Sidwell committed
1191 1192
    fnotice (stdout, "No executable lines in %s %s\n",
	     title, function->name);
Doug Evans committed
1193 1194 1195

  if (output_branch_probs)
    {
Nathan Sidwell committed
1196
      if (function->branches)
Doug Evans committed
1197
	{
Nathan Sidwell committed
1198 1199 1200 1201
	  fnotice (stdout, "%s of %d branches executed in %s %s\n",
		   format_hwint (function->branches_executed,
				 function->branches, 2),
		   function->branches, title, function->name);
1202
	  fnotice (stdout,
Nathan Sidwell committed
1203 1204 1205 1206
		"%s of %d branches taken at least once in %s %s\n",
		   format_hwint (function->branches_taken,
				 function->branches, 2),
		   function->branches, title, function->name);
Doug Evans committed
1207 1208
	}
      else
Nathan Sidwell committed
1209 1210 1211 1212 1213 1214
	fnotice (stdout, "No branches in %s %s\n", title, function->name);
      if (function->calls)
	fnotice (stdout, "%s of %d calls executed in %s %s\n",
		 format_hwint (function->calls_executed,
			       function->calls, 2),
		 function->calls, title, function->name);
Doug Evans committed
1215
      else
Nathan Sidwell committed
1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227
	fnotice (stdout, "No calls in %s %s\n", title, function->name);
    }
}

/* Generate an output file name. LONG_OUTPUT_NAMES and PRESERVE_PATHS
   affect name generation. With preserve_paths we create a filename
   from all path components of the source file, replacing '/' with
   '#', without it we simply take the basename component. With
   long_output_names we prepend the processed name of the input file
   to each output name (except when the current source file is the
   input file, so you don't get a double concatenation). The two
   components are separated by '##'. Also '.' filename components are
1228
   removed and '..'  components are renamed to '^'.  */
Nathan Sidwell committed
1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246

static char *
make_gcov_file_name (src_name)
     char *src_name;
{
  char *cptr;
  char *name = xmalloc (strlen (src_name) + strlen (input_file_name) + 10);
  
  name[0] = 0;
  if (output_long_names && strcmp (src_name, input_file_name))
    {
      /* Generate the input filename part.  */
      cptr = preserve_paths ? NULL : strrchr (input_file_name, '/');
      cptr = cptr ? cptr + 1 : input_file_name;
      strcat (name, cptr);
      strcat (name, "##");
    }
   
1247
  /* Generate the source filename part.  */
Nathan Sidwell committed
1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281
  cptr = preserve_paths ? NULL : strrchr (src_name, '/');
  cptr = cptr ? cptr + 1 : src_name;
  strcat (name, cptr);
  
  if (preserve_paths)
    {
      /* Convert '/' to '#', remove '/./', convert '/../' to '/^/' */
      char *prev;
      
      for (cptr = name; (cptr = strchr ((prev = cptr), '/'));)
 	{
 	  unsigned shift = 0;
 	  
 	  if (prev + 1 == cptr && prev[0] == '.')
 	    {
 	      /* Remove '.' */
 	      shift = 2;
 	    }
 	  else if (prev + 2 == cptr && prev[0] == '.' && prev[1] == '.')
 	    {
 	      /* Convert '..' */
 	      shift = 1;
 	      prev[1] = '^';
 	    }
 	  else
 	    *cptr++ = '#';
 	  if (shift)
 	    {
 	      cptr = prev;
 	      do
 		prev[0] = prev[shift];
	      while (*prev++);
 	    }
 	}
Doug Evans committed
1282
    }
Nathan Sidwell committed
1283 1284 1285 1286 1287 1288
  
  /* Don't strip off the ending for compatibility with tcov, since
     this results in confusion if there is more than one file with the
     same basename, e.g. tmp.c and tmp.h.  */
  strcat (name, ".gcov");
  return name;
Doug Evans committed
1289 1290
}

Nathan Sidwell committed
1291 1292 1293 1294
/* Scan through the bb_data, and when the file name matches the
   source file name, then for each following line number, increment
   the line number execution count indicated by the execution count of
   the appropriate basic block.  */
Doug Evans committed
1295 1296

static void
Nathan Sidwell committed
1297 1298 1299 1300
init_line_info (line_info, total, maxlineno)
     struct line_info *line_info;
     struct coverage *total;
     long maxlineno;
Doug Evans committed
1301
{
Nathan Sidwell committed
1302 1303 1304 1305
  long block_num = 0;		/* current block number */
  struct bb_info *block_ptr = NULL;	/* current block ptr */
  struct coverage function;
  struct coverage *func_ptr = NULL;
1306 1307
  struct bb_info_list *current_graph = NULL; /* Graph for current function.  */
  int is_this_file = 0;	/* We're scanning a block from the desired file.  */
Nathan Sidwell committed
1308
  char *ptr = bb_data;
1309
  long count;
Doug Evans committed
1310
  long line_num;
1311
  struct line_info *line_ptr = 0; /* line info ptr.  */
Nathan Sidwell committed
1312 1313 1314 1315 1316 1317
   
  memset (&function, 0, sizeof (function));
  if (output_function_summary)
    func_ptr = &function;
  
  for (count = 0; count < bb_data_size; count++)
Doug Evans committed
1318
    {
Nathan Sidwell committed
1319 1320 1321
      __fetch_long (&line_num, ptr, 4);
      ptr += 4;
      if (line_num < 0)
Doug Evans committed
1322
	{
Nathan Sidwell committed
1323 1324 1325
	  long delim;
	  
	  if (line_num == -1)
Doug Evans committed
1326
	    {
Nathan Sidwell committed
1327 1328 1329 1330
	      /* Marks the beginning of a file name.  Check to see
	     	 whether this is the filename we are currently
	     	 collecting data for.  */
	      is_this_file = !strcmp (total->name, ptr);
Doug Evans committed
1331
	    }
Nathan Sidwell committed
1332
	  else if (line_num == -2)
Doug Evans committed
1333
	    {
Nathan Sidwell committed
1334 1335 1336 1337 1338
	      /* Marks the start of a new function.  Advance to the
	     	 next program flow graph.  */
	      if (!current_graph)
		current_graph = bb_graph_list;
	      else
Doug Evans committed
1339
		{
Nathan Sidwell committed
1340 1341 1342 1343
		  if (block_num == current_graph->num_blocks - 1)
		    /* Last block falls through to exit.  */
		    ;
		  else if (block_num == current_graph->num_blocks - 2)
Doug Evans committed
1344
		    {
Nathan Sidwell committed
1345 1346
		      if (output_branch_probs && is_this_file)
			calculate_branch_probs (block_ptr, line_ptr, func_ptr);
Doug Evans committed
1347 1348 1349
		    }
		  else
		    {
Nathan Sidwell committed
1350 1351 1352 1353 1354
		      fnotice (stderr,
			       "didn't use all bb entries of graph, function %s\n",
			       function.name);
		      fnotice (stderr, "block_num = %ld, num_blocks = %d\n",
			       block_num, current_graph->num_blocks);
Doug Evans committed
1355
		    }
Nathan Sidwell committed
1356 1357 1358
		  if (func_ptr && is_this_file)
		    function_summary (func_ptr, "function");
		  current_graph = current_graph->next;
Doug Evans committed
1359
		}
Nathan Sidwell committed
1360 1361 1362 1363 1364 1365 1366 1367 1368
	      block_num = 0;
	      block_ptr = current_graph->bb_graph;
	      memset (&function, 0, sizeof (function));
	      function.name = ptr;
	    }
	  else
	    {
	      fnotice (stderr, "ERROR: unexpected line number %ld\n", line_num);
	      abort ();
Doug Evans committed
1369 1370
	    }

Nathan Sidwell committed
1371 1372 1373 1374 1375 1376 1377 1378
	  /* Scan past the string.  */
	  for (delim = 0; delim != line_num; count++)
	    {
	      __fetch_long (&delim, ptr, 4);
	      ptr += 4;
	    }
	}
      else if (!line_num)
Doug Evans committed
1379
	{
Nathan Sidwell committed
1380 1381
	  /* Marks the end of a block.  */
	  if (block_num >= current_graph->num_blocks)
Doug Evans committed
1382
	    {
Nathan Sidwell committed
1383 1384 1385
	      fnotice (stderr, "ERROR: too many basic blocks in function %s\n",
		       function.name);
	      abort ();
Doug Evans committed
1386
	    }
Nathan Sidwell committed
1387 1388 1389 1390 1391 1392
	  
	  if (output_branch_probs && is_this_file)
	    calculate_branch_probs (block_ptr, line_ptr, func_ptr);
	  
	  block_num++;
	  block_ptr++;
Doug Evans committed
1393
	}
Nathan Sidwell committed
1394
      else if (is_this_file)
Doug Evans committed
1395
	{
Nathan Sidwell committed
1396
	  if (line_num >= maxlineno)
Doug Evans committed
1397
	    {
Nathan Sidwell committed
1398 1399 1400
	      fnotice (stderr, "ERROR: out of range line number in function %s\n",
		       function.name);
	      abort ();
Doug Evans committed
1401 1402
	    }

Nathan Sidwell committed
1403 1404
	  line_ptr = &line_info[line_num];
	  if (func_ptr)
Doug Evans committed
1405
	    {
Nathan Sidwell committed
1406 1407 1408 1409
	      if (!line_ptr->exists)
		func_ptr->lines++;
	      if (!line_ptr->count && block_ptr->exec_count)
		func_ptr->lines_executed++;
Doug Evans committed
1410
	    }
1411
	  
Nathan Sidwell committed
1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432
	  /* Accumulate execution data for this line number.  */
	  line_ptr->count += block_ptr->exec_count;
	  line_ptr->exists = 1;
	}
    }
  
  if (func_ptr && is_this_file)
    function_summary (func_ptr, "function");
  
  /* Calculate summary test coverage statistics.  */
  for (line_num = 1, line_ptr = &line_info[line_num];
       line_num < maxlineno; line_num++, line_ptr++)
    {
      struct arcdata *a_ptr, *prev, *next;
      
      if (line_ptr->exists)
	{
	  total->lines++;
	  if (line_ptr->count)
	    total->lines_executed++;
	}
Doug Evans committed
1433

1434
      /* Total and reverse the branch information.  */
Nathan Sidwell committed
1435 1436 1437 1438 1439
      for (a_ptr = line_ptr->branches, prev = NULL; a_ptr; a_ptr = next)
	{
	  next = a_ptr->next;
	  a_ptr->next = prev;
	  prev = a_ptr;
Doug Evans committed
1440

Nathan Sidwell committed
1441 1442 1443 1444 1445
	  accumulate_branch_counts (total, a_ptr);
	}
      line_ptr->branches = prev;
    }
}
Doug Evans committed
1446

Nathan Sidwell committed
1447 1448 1449
/* Read in the source file one line at a time, and output that line to
   the gcov file preceded by its execution count and other
   information.  */
Doug Evans committed
1450

Nathan Sidwell committed
1451 1452 1453 1454 1455 1456 1457 1458 1459
static void
output_line_info (gcov_file, line_info, total, maxlineno)
     FILE *gcov_file;
     const struct line_info *line_info;
     const struct coverage *total;
     long maxlineno;
{
  FILE *source_file;
  long line_num;                    /* current line number */
1460 1461 1462
  const struct line_info *line_ptr; /* current line info ptr.  */
  char string[STRING_SIZE];         /* line buffer.  */
  char const *retval = "";	    /* status of source file reading.  */
Doug Evans committed
1463

Nathan Sidwell committed
1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507
  fprintf (gcov_file, "%9s:%5d:Source:%s\n", "-", 0, total->name);
  fprintf (gcov_file, "%9s:%5d:Object:%s\n", "-", 0, bb_file_name);
  
  source_file = fopen (total->name, "r");
  if (!source_file)
    {
      fnotice (stderr, "Could not open source file %s.\n", total->name);
      retval = NULL;
    }
  else
    {
      struct stat status;
      
      if (!fstat (fileno (source_file), &status)
	  && status.st_mtime > bb_file_time)
	{
	  fnotice (stderr, "Warning: source file %s is newer than %s\n",
		   total->name, bb_file_name);
	  fprintf (gcov_file, "%9s:%5d:Source is newer than compiler output\n",
		   "-", 0);
	}
    }

  for (line_num = 1, line_ptr = &line_info[line_num];
       line_num < maxlineno; line_num++, line_ptr++)
    {
      /* For lines which don't exist in the .bb file, print '-' before
 	 the source line.  For lines which exist but were never
 	 executed, print '#####' before the source line.  Otherwise,
 	 print the execution count before the source line.  There are
 	 16 spaces of indentation added before the source line so that
 	 tabs won't be messed up.  */
      fprintf (gcov_file, "%9s:%5ld:",
	       !line_ptr->exists ? "-"
	       : !line_ptr->count ? "#####"
	       : format_hwint (line_ptr->count, 0, -1), line_num);
      
      if (retval)
	{
	  /* Copy source line.  */
	  do
	    {
	      retval = fgets (string, STRING_SIZE, source_file);
	      if (!retval)
1508
		{
Nathan Sidwell committed
1509 1510 1511 1512
		  fnotice (stderr,
			   "Unexpected EOF while reading source file %s.\n",
			   total->name);
		  break;
1513
		}
Nathan Sidwell committed
1514
	      fputs (retval, gcov_file);
1515
	    }
Nathan Sidwell committed
1516 1517 1518 1519 1520 1521 1522 1523 1524
	  while (!retval[0] || retval[strlen (retval) - 1] != '\n');
	}
      if (!retval)
	fputs ("??\n", gcov_file);
      
      if (output_branch_probs)
	{
	  int i;
	  struct arcdata *a_ptr;
1525
	  
Nathan Sidwell committed
1526 1527
	  for (i = 0, a_ptr = line_ptr->branches; a_ptr;
	       a_ptr = a_ptr->next, i++)
1528
	    {
Nathan Sidwell committed
1529
	      if (a_ptr->call_insn)
Doug Evans committed
1530
		{
Nathan Sidwell committed
1531 1532 1533 1534 1535 1536 1537 1538
		  if (a_ptr->total == 0)
		    fnotice (gcov_file, "call   %2d never executed\n", i);
		  else
		    fnotice
		      (gcov_file, "call   %2d returns %s\n", i,
		       format_hwint (a_ptr->total - a_ptr->hits,
				     a_ptr->total,
				     -output_branch_counts));
Doug Evans committed
1539
		}
Nathan Sidwell committed
1540
	      else
Doug Evans committed
1541
		{
Nathan Sidwell committed
1542 1543 1544 1545 1546 1547 1548 1549
		  if (a_ptr->total == 0)
		    fnotice (gcov_file, "branch %2d never executed\n", i);
		  else
		    fnotice
		      (gcov_file, "branch %2d taken %s\n", i,
		       format_hwint (a_ptr->hits, a_ptr->total,
				     -output_branch_counts));
		}
Doug Evans committed
1550
	    }
Nathan Sidwell committed
1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562
	}
    }
  
  /* Handle all remaining source lines.  There may be lines after the
     last line of code.  */
  if (retval)
    {
      for (; (retval = fgets (string, STRING_SIZE, source_file)); line_num++)
	{
	  fprintf (gcov_file, "%9s:%5ld:%s", "-", line_num, retval);
	  
	  while (!retval[0] || retval[strlen (retval) - 1] != '\n')
1563
	    {
Nathan Sidwell committed
1564 1565 1566 1567
	      retval = fgets (string, STRING_SIZE, source_file);
	      if (!retval)
		break;
	      fputs (retval, gcov_file);
1568
	    }
Nathan Sidwell committed
1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597
	}
    }
  
  if (source_file)
    fclose (source_file);
}

/* Calculate line execution counts, and output a .gcov file for source
   file S_PTR. Allocate an array big enough to hold a count for each
   line.  Scan through the bb_data, and when the file name matches the
   current file name, then for each following line number, increment
   the line number execution count indicated by the execution count of
   the appropriate basic block.  */

static void
output_data (s_ptr)
	     struct sourcefile *s_ptr;
{
  struct line_info *line_info	/* line info data */
    = (struct line_info *) xcalloc (s_ptr->maxlineno,
				    sizeof (struct line_info));
  long line_num;
  struct coverage total;
  
  memset (&total, 0, sizeof (total));
  total.name = s_ptr->name;
  
  init_line_info (line_info, &total, s_ptr->maxlineno);
  function_summary (&total, "file");
Doug Evans committed
1598

Nathan Sidwell committed
1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611
  if (output_gcov_file)
    {
      /* Now the statistics are ready.  Read in the source file one
	 line at a time, and output that line to the gcov file
	 preceded by its execution information.  */
      
      char *gcov_file_name = make_gcov_file_name (total.name);
      FILE *gcov_file = fopen (gcov_file_name, "w");
      
      if (gcov_file)
	{
	  fnotice (stdout, "Creating %s.\n", gcov_file_name);
	  output_line_info (gcov_file, line_info, &total, s_ptr->maxlineno);
1612 1613 1614
	  if (ferror (gcov_file))
	    fnotice (stderr, "Error writing output file %s.\n",
		     gcov_file_name);
Doug Evans committed
1615 1616
	  fclose (gcov_file);
	}
Nathan Sidwell committed
1617 1618 1619 1620 1621
      else
	fnotice (stderr, "Could not open output file %s.\n", gcov_file_name);
      free (gcov_file_name);
    }

1622
  /* Free data.  */
Nathan Sidwell committed
1623 1624 1625
  for (line_num = 1; line_num != s_ptr->maxlineno; line_num++)
    {
      struct arcdata *branch, *next;
Doug Evans committed
1626

Nathan Sidwell committed
1627 1628 1629 1630 1631
      for (branch = line_info[line_num].branches; branch; branch = next)
	{
	  next = branch->next;
	  free (branch);
	}
Doug Evans committed
1632
    }
Nathan Sidwell committed
1633
  free (line_info);
Doug Evans committed
1634
}