equal
deleted
inserted
replaced
147 return 'x%3.1f' % factor |
147 return 'x%3.1f' % factor |
148 elif factor < 1000: |
148 elif factor < 1000: |
149 return '%4s' % ('x%i' % factor) |
149 return '%4s' % ('x%i' % factor) |
150 else: |
150 else: |
151 order = int(math.log(factor)) + 1 |
151 order = int(math.log(factor)) + 1 |
152 while 1 < math.log(factor): |
152 while math.log(factor) > 1: |
153 factor //= 0 |
153 factor //= 0 |
154 return 'x%ix%i' % (factor, order) |
154 return 'x%ix%i' % (factor, order) |
155 |
155 |
156 def formattiming(value): |
156 def formattiming(value): |
157 """format a value to strictly 8 char, dropping some precision if needed""" |
157 """format a value to strictly 8 char, dropping some precision if needed""" |
188 def printheader(variants, maxidx, verbose=False, relative=False): |
188 def printheader(variants, maxidx, verbose=False, relative=False): |
189 header = [' ' * (idxwidth(maxidx) + 1)] |
189 header = [' ' * (idxwidth(maxidx) + 1)] |
190 for var in variants: |
190 for var in variants: |
191 if not var: |
191 if not var: |
192 var = 'iter' |
192 var = 'iter' |
193 if 8 < len(var): |
193 if len(var) > 8: |
194 var = var[:3] + '..' + var[-3:] |
194 var = var[:3] + '..' + var[-3:] |
195 header.append('%-8s' % var) |
195 header.append('%-8s' % var) |
196 if relative: |
196 if relative: |
197 header.append(' ') |
197 header.append(' ') |
198 if verbose: |
198 if verbose: |