Lines Matching defs:stats
165 const Bool do_stats = False; // compute and output some stats regularly.
178 } stats;
183 // = stats.nr >= 123456;
284 if (do_stats) stats.nr++;
317 if (do_stats) stats.Ca++;
328 //??? stats
371 if (do_stats) stats.Fw++;
378 if (do_stats) stats.Cf++;
398 if (do_stats) stats.FO++;
408 if (do_stats && uregs.xip != fpverif_uregs.xip) stats.xi++;
409 if (do_stats && uregs.xsp != fpverif_uregs.xsp) stats.xs++;
410 if (do_stats && uregs.xbp != fpverif_uregs.xbp) stats.xb++;
413 if (do_stats) stats.CF++;
417 if (do_stats) stats.FF++;
438 if (do_stats) stats.Ck++;
451 if (do_stats) stats.MS++;
473 if (do_stats) stats.nf += i;
474 if (do_stats && stats.nr % 10000 == 0) {
481 stats.nr, stats.nf,
482 stats.Ca, stats.FF,
483 stats.Cf,
484 stats.Fw, stats.FO,
485 stats.CF, stats.xi, stats.xs, stats.xb,
486 stats.Ck, stats.MS);
