dist/tune/time.c

78    int speed_precision
81        it takes at least "speed_unittime * speed_precision" (this expression
84        A program can provide an option so the user to set speed_precision.
85        If speed_precision is zero when speed_time_init or speed_starttime
222 int     speed_precision = 0;
1011       DEFAULT (speed_precision, 10000);
1066 	  if (speed_precision * supplement_unittime > cycles_limit)
1083       DEFAULT (speed_precision, 10000);
1088       DEFAULT (speed_precision, 10000);
1096       DEFAULT (speed_precision, 10000);
1108       DEFAULT (speed_precision, 10000);
1136       DEFAULT (speed_precision, (cgt_unittime <= 0.1e-6 ? 10000 : 1000));
1143       DEFAULT (speed_precision, 10000);
1150       DEFAULT (speed_precision, 1000);
1157       DEFAULT (speed_precision, 1000);
1168       DEFAULT (speed_precision, 200);
1180       DEFAULT (speed_precision, 200);
1189       DEFAULT (speed_precision, 200);
1203       printf ("    speed_precision     %d\n", speed_precision);
1518 	  if (t_grus >= speed_precision*grus_unittime)
1533 	  if (t_times >= speed_precision*times_unittime)