make check fails (Geert Jan BEX)

Geert Jan BEX geertjan.bex at uhasselt.be
Mon Jan 26 11:05:44 UTC 2015


Dear all,

Again, thanks for the suggestion.  Indeed, when specifying the fp-model as
precise, all tests pass for the Intel compilers.

Best regards, -gjb-

On Wed, Jan 21, 2015 at 4:55 PM, Geert Jan BEX <geertjan.bex at uhasselt.be>
wrote:

> Dear all,
>
> Thanks, I'll try the patch (hope to have time tomorrow) and let you know
> the result.
>
> Best regards, -gjb-
>
> On Mon, Jan 19, 2015 at 8:49 PM, Torbjörn Granlund <tg at gmplib.org> wrote:
>
>> Could somebody with icc installed please try this patch on x86 and ia64?
>>
>>   configure CC=icc && make && make check
>>
>> (There will be some line skew when applying the patch.)
>>
>> diff -r 2483c36be4be configure.ac
>> --- a/configure.ac      Mon Jan 19 20:23:58 2015 +0100
>> +++ b/configure.ac      Mon Jan 19 20:46:51 2015 +0100
>> @@ -837,6 +837,7 @@
>>         # But icc miscompiles GMP at any optimization level, at higher
>> levels
>>         # it miscompiles more files...
>>         icc_cflags_opt="-O2 -O1"
>> +       icc_cflags_opt_maybe="-fp-model~precise"
>>         ;;
>>
>>        *-*-hpux*)
>> @@ -1574,6 +1575,7 @@
>>      icc_cflags="-no-gcc"
>>      icc_cflags_optlist="opt"
>>      icc_cflags_opt="-O3 -O2 -O1"
>> +    icc_cflags_opt_maybe="-fp-model~precise"
>>      any_32_testlist="sizeof-long-4"
>>      gcc_cflags_optlist="cpu arch noavx"
>>      CALLING_CONVENTIONS_OBJS='x86call.lo x86check$U.lo'
>>
>>
>> --
>> Torbjörn
>> Please encrypt, key id 0xC8601622
>>
>
>
>
> --
> - dr. Geert Jan BEX
> - HPC analyst/consultant Hasselt University & University of Leuven
> - email:                geertjan.bex at uhasselt.be
> - homepage:         http://alpha.uhasselt.be/~gjb/
> - PGP public key: http://alpha.uhasselt.be/~gjb/pgp.txt
> ---------------------------------------------------------
>



-- 
- dr. Geert Jan BEX
- HPC analyst/consultant Hasselt University & University of Leuven
- email:                geertjan.bex at uhasselt.be
- homepage:         http://alpha.uhasselt.be/~gjb/
- PGP public key: http://alpha.uhasselt.be/~gjb/pgp.txt
---------------------------------------------------------


More information about the gmp-bugs mailing list