micropython/tests/basics/int_big_div.py

for lhs in (1000000000000000000000000, 10000000000100000000000000, 10012003400000000000000007, 12349083434598210349871029923874109871234789):
    for rhs in range(1, 555):
        print(lhs // rhs)

# these check an edge case on 64-bit machines where two mpz limbs
# are used and the most significant one has the MSB set
x = 0x8000000000000000
print((x + 1) // x)
x = 0x86c60128feff5330
print((x + 1) // x)
py: Make mpz able to use 16 bits per digit; and 32 on 64-bit arch. Previously, mpz was restricted to using at most 15 bits in each digit, where a digit was a uint16_t. With this patch, mpz can use all 16 bits in the uint16_t (improvement to mpn_div was required). This gives small inprovements in speed and RAM usage. It also yields savings in ROM code size because all of the digit masking operations become no-ops. Also, mpz can now use a uint32_t as the digit type, and hence use 32 bits per digit. This will give decent improvements in mpz speed on 64-bit machines. Test for big integer division added. 2014-09-06 17:15:34 +01:00			`for lhs in (1000000000000000000000000, 10000000000100000000000000, 10012003400000000000000007, 12349083434598210349871029923874109871234789):`
			`for rhs in range(1, 555):`
			`print(lhs // rhs)`
py/mpz: Fix bug with overflowing C-shift in division routine. When DIG_SIZE=32, a uint32_t is used to store limbs, and no normalisation is needed because the MSB is already set, then there will be left and right shifts (in C) by 32 of a 32-bit variable, leading to undefined behaviour. This patch fixes this bug. 2016-05-08 21:38:43 +01:00
			`# these check an edge case on 64-bit machines where two mpz limbs`
			`# are used and the most significant one has the MSB set`
			`x = 0x8000000000000000`
			`print((x + 1) // x)`
			`x = 0x86c60128feff5330`
			`print((x + 1) // x)`