equal
deleted
inserted
replaced
513 TimeStamp *full_time=NULL) |
513 TimeStamp *full_time=NULL) |
514 { |
514 { |
515 Timer t; |
515 Timer t; |
516 TimeStamp full; |
516 TimeStamp full; |
517 int total=0; |
517 int total=0; |
518 for(int tn=1;tn < 1<<24; tn*=2) { |
518 for(int tn=1;tn < 1<<30; tn*=2) { |
519 for(;total<tn;total++) f(); |
519 for(;total<tn;total++) f(); |
520 full=t; |
520 full=t; |
521 if(full.realTime()>min_time) { |
521 if(full.realTime()>min_time) { |
522 if(num) *num=total; |
522 if(num) *num=total; |
523 if(full_time) *full_time=full; |
523 if(full_time) *full_time=full; |