libvtv/scripts/sum-vtv-counts.c

   1 /*
   2 This script sums up the counters for seeing how many virtual calls are
   3 actually being verified.  The flag for generating the count data is
   4 "-fvtv-counts".  This flag will generate two files in /tmp,
   5 "vtv_count_data.log" and "vtv_class_set_sizes.log".  The first file is
   6 the one that contains the info I mentioned; the second one is one I
   7 generated because I was curious about how big the average set size was
   8 for the vtable verification work.
   9
  10 After compiling the attached program, run it on the vtv_count_data.log
  11 file:
  12
  13 $ sum-counters /tmp/vtv_count_data.log
  14
  15 One can optionally pass a "--verbose" flag.  This file generates an
  16 output file whose name is the same as the input file, with ".summary"
  17 appended to it, e.g. /tmp/vtv_count_data.log.summary .  Without the
  18 verbose flag, it will just contain something like this:
  19
  20 Total # virtual calls: 349123
  21 Total # verified calls: 348236
  22 Percent verified: 99 %
  23
  24 Total calls to __VLTRegisterSet: 42236
  25 Total calls to __VLTRegisterPair: 84371
  26 Total # unused vtable map vars: 1536333
  27
  28 With the --verbose flag it will also output one line for each
  29 compilation unit for which it verified less than 90% of the virtual
  30 calls (and there were more than 20 virtual calls in the file),
  31 something like this:
  32
  33 Verified 1 out of 25   (4.00%) :  foo.cc
  34 Verified 27 out of 43   (62.00%) : bar.cc
  35 */
  36
  37 #include <stdio.h>
  38 #include <stdlib.h>
  39 #include <string.h>
  40
  41 void
  42 usage (const char *error_text)
  43 {
  44   fprintf (stderr, "%s", error_text);
  45   fprintf (stderr, "Usage: \n");
  46   fprintf (stderr, "sum-counters <input-file> [--verbose]\n");
  47 }
  48
  49 int
  50 main (int argc, char **argv)
  51 {
  52   FILE *fp_in = NULL;
  53   FILE *fp_out = NULL;
  54   int sum_vcalls = 0;
  55   int sum_verified = 0;
  56   int sum_regset = 0;
  57   int sum_regpair = 0;
  58   int sum_unused = 0;
  59   char fname_in[1024];
  60   char fname_out[1024];
  61   int total;
  62   int verified;
  63   int regset;
  64   int regpair;
  65   int unused;
  66   float pct;
  67   char buffer[1024];
  68   int verbose = 0;
  69
  70   if (argc < 2)
  71     {
  72       usage ("Error: Need an input file.\n");
  73       return 1;
  74     }
  75
  76   fp_in = fopen (argv[1], "r");
  77   if (!fp_in)
  78     {
  79       snprintf (buffer, 1024, "Error: Unable to open input file '%s'.\n",
  80                 argv[1]);
  81       usage (buffer);
  82       return 1;
  83     }
  84
  85   if (argc == 3)
  86     {
  87       if (strcmp (argv[2], "--verbose") == 0)
  88         verbose = 1;
  89       else
  90         {
  91           snprintf (buffer, 1024, "Error: Unrecognized option '%s'.\n",
  92                     argv[2]);
  93           usage (buffer);
  94           return 1;
  95         }
  96     }
  97
  98   snprintf (fname_out, 1024, "%s.summary", argv[1]);
  99
 100   fp_out = fopen (fname_out, "w");
 101   if (!fp_out)
 102     {
 103       fprintf (stderr, "Error: Unable to open output file '%s'\n",
 104                fname_out);
 105       return 1;
 106     }
 107
 108   while (fscanf (fp_in, "%s %d %d %d %d %d\n", fname_in,  &total,
 109                  &verified, &regset, &regpair, &unused) != EOF)
 110     {
 111       sum_vcalls += total;
 112       sum_verified += verified;
 113       sum_regset += regset;
 114       sum_regpair += regpair;
 115       sum_unused += unused;
 116
 117       float tmp_pct = 0.0;
 118
 119       if (total > 0)
 120         tmp_pct = (verified * 100) / total;
 121
 122       if (verbose && tmp_pct < 90 && total >= 20)
 123         {
 124           fprintf (fp_out, "Verified %d out of %d   (%.2f%%) : %s\n",
 125                    verified, total, tmp_pct, fname_in);
 126         }
 127
 128     }
 129
 130   fclose (fp_in);
 131
 132   fprintf (fp_out, "\n\n");
 133   fprintf (fp_out, "Total # virtual calls: %d\n", sum_vcalls);
 134   fprintf (fp_out, "Total # verified calls: %d\n", sum_verified);
 135   if (sum_vcalls > 0)
 136     fprintf (fp_out, "Percent verified: %d %%\n",
 137              sum_verified * 100 / sum_vcalls);
 138   else
 139     fprintf (fp_out, "Percent verified: NA %%\n");
 140
 141   fprintf (fp_out, "\nTotal calls to __VLTRegisterSet: %d\n",
 142            sum_regset);
 143   fprintf (fp_out, "Total calls to __VLTRegisterPair: %d\n",
 144            sum_regpair);
 145   fprintf (fp_out, "Total # unused vtable map vars: %d\n", sum_unused);
 146
 147   fclose (fp_out);
 148
 149   return 0;
 150 }