Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
I added clang 3.5 and clang 3.6 testing to a Breadwell system. We got one new build failure, and a handful new check failures. I suspect the "steamroller" failures are a real hardware compatibility problem. I suspect the build failure is due to plain (Intel NUC) hardware without ECC, or Linux bu

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 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

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
Marc Glisse writes: > bc+ 12, 28, L(9) > vs. > blt+cr7, L(24) > > Note that the former form works with clang 3.5 installs. A 3.6 > regression? Indeed... One may debate what is a valid instruction form. I suppose one needs to read the specs for what IBM calls

Re: GMP and clang bugginess

2015-05-25 Thread Marc Glisse
On Mon, 25 May 2015, Torbjörn Granlund wrote: Marc Glisse 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 th

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
Marc Glisse 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 works with clang 3.5

Re: GMP and clang bugginess

2015-05-25 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) writes: > We could use a short clang whitelist instead of a clang blacklist? Here > is a beginning: "" :-) For s start, I think it would make some sense to blacklist all clang versions until today (but future versions should be assumed working until proven bug

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'

Re: GMP and clang bugginess

2015-05-25 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) writes: > ni...@lysator.liu.se (Niels Möller) writes: > > I think that requiring an --enable-clang to be able to build with any > version of clang on any platform whatsoever is a bit harsh. > > Harsh against whom? The point is not to make a statement, but t

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
Marc Glisse 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 the static branch p

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
Marc Glisse 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 using "7" vs "cr7")

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 https://llvm.org/bugs/show_bug

Re: GMP and clang bugginess

2015-05-25 Thread Torbjörn Granlund
ni...@lysator.liu.se (Niels Möller) writes: I think that requiring an --enable-clang to be able to build with any version of clang on any platform whatsoever is a bit harsh. Harsh against whom? The point is not to make a statement, but to make it more likely that GMP works correctly for our

Re: GMP and clang bugginess

2015-05-25 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) writes: > The clang on FreeBSD 10 miscompiles GMP on for some x86 CPU subtypes. > Apparently Intel Haswell is one of these; this is currently not > exercised by our tests setup. But the bugs are likely to be exposed if a user runs make check on an affected plat

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. Appa

Re: GMP and clang bugginess

2015-05-21 Thread Torbjörn Granlund
bodr...@mail.dm.unipi.it writes: Do we have any working configuration for the x32 ABI? It works. We had testing of it on a Gentoo system until perhaps a year ago. The reason for the ivydeb32v7.gmplib.org-stat-clang-clang++:x32 failure is that clang apparently accepts and ignores -mx32. Autoc

Re: GMP and clang bugginess

2015-05-21 Thread bodrato
Il Gio, 21 Maggio 2015 10:08 pm, Niels Möller ha scritto: > t...@gmplib.org (Torbjörn Granlund) 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. Do we have any worki

Re: GMP and clang bugginess

2015-05-21 Thread Marc Glisse
On Thu, 21 May 2015, Torbjörn Granlund wrote: GMP triggers bugs in clang on every platform where we tried this compiler. Some configs work, though. To see how bad it is, please take a look here: https://gmplib.org/devel/tm-date.html I think we would help our users by making it hard to use c

Re: GMP and clang bugginess

2015-05-21 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) 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. BTW, it would be nice with an alternative test result page with problematic platforms

GMP and clang bugginess

2015-05-21 Thread Torbjörn Granlund
GMP triggers bugs in clang on every platform where we tried this compiler. Some configs work, though. To see how bad it is, please take a look here: https://gmplib.org/devel/tm-date.html I think we would help our users by making it hard to use clang with the next release. What do you think?