Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
ni...@lysator.liu.se (Niels Möller) writes: GMP triggers bugs in clang on every platform where we tried this compiler. It looks like it almost works on x86, except for failures with the (obscure?) x32 ABI. The clang on FreeBSD 10 miscompiles GMP on for some x86 CPU subtypes.

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
Marc Glisse marc.gli...@inria.fr writes: Now I've found it (and reported https://llvm.org/bugs/show_bug.cgi?id=23646 ). Note that the same (?) instruction is spelled differently in the same file: bc+ 12, 28, L(9) vs. blt+cr7, L(24) (there is also a mix of

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
Marc Glisse marc.gli...@inria.fr writes: On powerpc-linux-gnu, clang complains about the bc+ instruction, and indeed I can't find that in IBM's documentation. https://www-01.ibm.com/support/knowledgecenter/ssw_aix_71/com.ibm.aix.alangref/idalangref_bcbr_inst.htm (The + sign manipulates

Re: GMP and clang bugginess

2015-05-25 Thread Marc Glisse
On Thu, 21 May 2015, Marc Glisse wrote: On powerpc-linux-gnu, clang complains about the bc+ instruction, and indeed I can't find that in IBM's documentation. After removing divrem_2.asm, it compiles fine and passes the testsuite. Now I've found it (and reported

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
ni...@lysator.liu.se (Niels Möller) writes: Harsh against whom? The point is not to make a statement, but to make it more likely that GMP works correctly for our users. It's going to look very much like you're making a statement, whether or not that's your intention. Please don't

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
Marc Glisse marc.gli...@inria.fr writes: Now I've found it (and reported https://llvm.org/bugs/show_bug.cgi?id=23646 ). Note that the same (?) instruction is spelled differently in the same file: bc+ 12, 28, L(9) vs. blt+cr7, L(24) Note that the former form

Re: GMP and clang bugginess

2015-05-25 Thread Marc Glisse
On Mon, 25 May 2015, Torbjörn Granlund wrote: Marc Glisse marc.gli...@inria.fr writes: Now I've found it (and reported https://llvm.org/bugs/show_bug.cgi?id=23646 ). Note that the same (?) instruction is spelled differently in the same file: bc+ 12, 28, L(9) vs. blt+

Re: GMP and clang bugginess

2015-05-25 Thread Marc Glisse
On Mon, 25 May 2015, Marc Glisse wrote: On Mon, 25 May 2015, Torbjörn Granlund wrote: Marc Glisse marc.gli...@inria.fr writes: Now I've found it (and reported https://llvm.org/bugs/show_bug.cgi?id=23646 ). Note that the same (?) instruction is spelled differently in the same file: