Testing and outstanding issues

2016-11-21 Thread Torbjörn Granlund
Various things has slowed down testing on the main machine ("martin") lately making it 100% loaded 20 hours each day. Now I implemented splitting of the testing burden over three days. Furthermore, shell will no longer run any tests. This static testing is reaching its limits. I have a beginnin

Re: Reorganized mini-gmp/tests/t-signed.

2016-11-21 Thread Marco Bodrato
Ciao, Il Dom, 20 Novembre 2016 10:22 pm, Niels Möller ha scritto: > I've checked in a fix for this. > https://gmplib.org/repo/gmp/rev/6a2a9d2f639c > > Marco, would mind having a look at the reorganized test? I deleted Agreed, much cleaner than mine. > It would be cool if -fsanitizer=undefined co

Re: Help stabilising mini-gmp

2016-11-21 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) writes: > If hugely varying operand sizes are motivated (which is the case for > "big"-GMP with its many operand size dependent algorithm choices) one > could make operand size selection more complex to allow good coverage > and less time fluctuations. For mini

mini-gmp testing (was: Re: Help stabilising mini-gmp)

2016-11-21 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) writes: > We should at least make sure the algorithms' corner cases are exercised, > e.g., that large quotient are generated for Euclid's algorithm and that > remainders of +-epsilon are used for division. The mini-gmp testsuite is a bit hairy because it uses b

Re: Help stabilising mini-gmp

2016-11-21 Thread Torbjörn Granlund
"Marco Bodrato" writes: I tried the test on a 18-years old 32-bits CPU I'm currently using. A single 8000-bit Miller-Rabin round took 20 seconds with mini-gmp. That's why I reduced the size. With 2000-bit operands I assume the worst execution time will be reduced by a factor 18. The

Re: Help stabilising mini-gmp

2016-11-21 Thread Marco Bodrato
Ciao, Il Lun, 21 Novembre 2016 6:47 pm, Niels Möller ha scritto: > t...@gmplib.org (Torbjörn Granlund) writes: > >> Of the remaining https://gmplib.org/devel/mini-gmp-status.html issues I >> worry most about #2. Marco adjusted the parameters to make it faster, >> but I remain unconvinced that g5.

Re: Help stabilising mini-gmp

2016-11-21 Thread Torbjörn Granlund
ni...@lysator.liu.se (Niels Möller) writes: ni...@lysator.liu.se (Niels Möller) writes: > I'll try to log in to alpha-gentoo and reproduce. Plain make check (i.e., main gmp testsuite) fails in the mpn subdir with FAIL: t-get_d = Warning, IEEE denorm test

Re: Help stabilising mini-gmp

2016-11-21 Thread Niels Möller
ni...@lysator.liu.se (Niels Möller) writes: > I'll try to log in to alpha-gentoo and reproduce. Plain make check (i.e., main gmp testsuite) fails in the mpn subdir with FAIL: t-get_d = Warning, IEEE denorm tests skipped due to SIGFPE (exp=-1075) FAIL t-get_d (exit status:

Re: Help stabilising mini-gmp

2016-11-21 Thread Torbjörn Granlund
ni...@lysator.liu.se (Niels Möller) writes: If it happens again, the seed should be printed out. https://gmplib.org/repo/gmp/rev/5abbd164e2a3 Yep. Unless the smaller operands affects the behaviour. > #15 is strange, I haven't tried to understand why these libgcc link > errors happens

Re: Help stabilising mini-gmp

2016-11-21 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) writes: > Of the remaining https://gmplib.org/devel/mini-gmp-status.html issues I > worry most about #2. Marco adjusted the parameters to make it faster, > but I remain unconvinced that g5.gmplib.org-dyn:32 really needed 400 > seconds for the test with old para

Re: Help stabilising mini-gmp

2016-11-21 Thread Torbjörn Granlund
ni...@lysator.liu.se (Niels Möller) writes: t...@gmplib.org (Torbjörn Granlund) writes: > 2. The latest Gentoo doesn't support -fno-sanitize-recover. I suppose >it works without it? As I understand it, the point of -fno-sanitize-recover is to make programs crash on the spot wh

Re: Help stabilising mini-gmp

2016-11-21 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) writes: > 2. The latest Gentoo doesn't support -fno-sanitize-recover. I suppose >it works without it? As I understand it, the point of -fno-sanitize-recover is to make programs crash on the spot when there's some undefined operation. Not sure what the beha