| 317 | // print report |
| 318 | |
| 319 | static void fprintDoubleWithPrefix (FILE *f, double a, const char *fmt) |
| 320 | { |
| 321 | if (a >= 0.999999) { |
| 322 | fprintf (f,fmt,a); |
| 323 | return; |
| 324 | } |
| 325 | a *= 1000.0; |
| 326 | if (a >= 0.999999) { |
| 327 | fprintf (f,fmt,a); |
| 328 | fprintf (f,"m"); |
| 329 | return; |
| 330 | } |
| 331 | a *= 1000.0; |
| 332 | if (a >= 0.999999) { |
| 333 | fprintf (f,fmt,a); |
| 334 | fprintf (f,"u"); |
| 335 | return; |
| 336 | } |
| 337 | a *= 1000.0; |
| 338 | fprintf (f,fmt,a); |
| 339 | fprintf (f,"n"); |
| 340 | } |
| 341 | |
| 342 | #if 0//def _DEBUG |
| 343 | void dTimerReport (FILE *fout, int average) |