equal
deleted
inserted
replaced
376 { |
376 { |
377 Timer t; |
377 Timer t; |
378 TimeStamp full; |
378 TimeStamp full; |
379 int total=0; |
379 int total=0; |
380 for(int tn=1;tn < 1<<24; tn*=2) { |
380 for(int tn=1;tn < 1<<24; tn*=2) { |
381 for(;total<tn;total++) const_cast<F &>(f)(); |
381 for(;total<tn;total++) f(); |
382 full=t; |
382 full=t; |
383 if(full.realTime()>min_time) { |
383 if(full.realTime()>min_time) { |
384 if(num) *num=total; |
384 if(num) *num=total; |
385 if(full_time) *full_time=full; |
385 if(full_time) *full_time=full; |
386 return full/total; |
386 return full/total; |