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
369 if (do_stats) stats.Fw++;
376 if (do_stats) stats.Cf++;
395 if (do_stats) stats.FO++;
399 if (do_stats && uregs.xip != fpverif_uregs.xip) stats.xi++;
400 if (do_stats && uregs.xsp != fpverif_uregs.xsp) stats.xs++;
401 if (do_stats && uregs.xbp != fpverif_uregs.xbp) stats.xb++;
404 if (do_stats) stats.CF++;
408 if (do_stats) stats.FF++;
423 if (do_stats) stats.Ck++;
436 if (do_stats) stats.MS++;
458 if (do_stats) stats.nf += i;
459 if (do_stats && stats.nr % 10000 == 0) {
466 stats.nr, stats.nf,
467 stats.Ca, stats.FF,
468 stats.Cf,
469 stats.Fw, stats.FO,
470 stats.CF, stats.xi, stats.xs, stats.xb,
471 stats.Ck, stats.MS);
