fast_float/script/table_generation.py
2020-11-05 22:58:19 -05:00

31 lines
677 B
Python

def format(number):
# move the most significant bit in position
while(number < (1<<127)):
number *= 2
# then *truncate*
while(number >= (1<<128)):
number //= 2
upper = number // (1<<64)
lower = number % (1<<64)
print(""+hex(upper)+","+hex(lower)+",")
for q in range(-342,0):
power5 = 5 ** -q
z = 0
while( (1<<z) < power5) :
z += 1
if( q >= -17 ):
b = z + 127
c = 2 ** b // power5 + 1
assert c < (1<<128)
format(c)
else:
b = 2 * z + 2 * 64
c = 2 ** b // power5 + 1
format(c)
for q in range(0,308+1):
power5 = 5 ** q
format(power5)