GMP 6.0.0a on AMD A8-6600K

[Kevin Buckley]

On 13 April 2015 at 17:09, Marc Glisse <marc.glisse at inria.fr> wrote:
>
>> do you lot need any more information from me, or not ?
>
> It would be good if you could test the fix, once I have committed it (so in
> a few days, you can check if it is done at https://gmplib.org/repo/gmp/), by
> downloading a new snapshot and telling us if it works.

Grabbed gmp-6.0.0-20150415

Can report that all test pass

# grep " tests " ../make-k_check.out
All 8 tests passed
All 45 tests passed
All 63 tests passed
All 14 tests passed
All 27 tests passed
All 7 tests passed
All 3 tests passed
All 20 tests passed

for all four of the systems detailed previously

Ubuntu 12.04, no Xen
Ubuntu 12.04 + Xen 4.1.6.1 host
CentOS 6.6 Xen VM
LFS chroot inside CentOS 6.6 Xen VM

For the four systems the interesting bits (configure output and
compilation unit showing flags in use) are

Ubuntu 12.04, no Xen
================

  Version:           GNU MP 6.0.0
  Host type:         piledriver-unknown-linux-gnu
  ABI:               64
  Install prefix:    /usr/local
  Compiler:          gcc -std=gnu99
  Static libraries:  yes
  Shared libraries:  yes

gmp-mparam.h -> mpn/x86_64/bd2/gmp-mparam.h

# ./config.guess
piledriver-unknown-linux-gnu

gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../../tests \
  -O2 -pedantic -fomit-frame-pointer \
  -m64 -mtune=bdver1 -march=bdver1 \
  -c t-get_d.c


Ubuntu 12.04 + Xen 4.1.6.1 host
========================


  Version:           GNU MP 6.0.0
  Host type:         piledrivernoavx-unknown-linux-gnu
  ABI:               64
  Install prefix:    /usr/local
  Compiler:          gcc -std=gnu99
  Static libraries:  yes

gmp-mparam.h -> mpn/x86_64/bd2/gmp-mparam.h

# ./config.guess
piledrivernoavx-unknown-linux-gnu


gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../../tests \
  -O2 -pedantic -fomit-frame-pointer \
  -m64 -mtune=bdver1 -march=bdver1 -mno-avx \
  -c t-get_d.c


CentOS 6.6 Xen VM
===============

  Version:           GNU MP 6.0.0
  Host type:         piledrivernoavx-unknown-linux-gnu
  ABI:               64
  Install prefix:    /usr/local
  Compiler:          gcc -std=gnu99
  Static libraries:  yes
  Shared libraries:  yes

gmp-mparam.h -> mpn/x86_64/bd2/gmp-mparam.h

# ./config.guess
piledrivernoavx-unknown-linux-gnu

gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../../tests \
  -O2 -pedantic -fomit-frame-pointer \
  -m64 -mtune=bdver2 -march=bdver2 -mno-avx \
  -c t-get_d.c


LFS chroot inside CentOS 6.6 Xen VM
=============================


  Version:           GNU MP 6.0.0
  Host type:         piledrivernoavx-unknown-linux-gnu
  ABI:               64
  Install prefix:    /usr
  Compiler:          gcc -std=gnu99
  Static libraries:  yes
  Shared libraries:  yes

gmp-mparam.h -> mpn/x86_64/bd2/gmp-mparam.h

# ./config.guess
piledrivernoavx-unknown-linux-gnu


gcc -std=gnu99 -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../../tests \
  -O2 -pedantic -fomit-frame-pointer \
  -m64 -mtune=bdver2 -march=bdver2 -mno-avx \
  -c t-get_d.c



==================


Personally, I am still intrigued that the -mtune and -march values
differ between
the Xen and non-Xen hosts, and those inside of a VM, but you've stated that
that's not considered a issue.


Anyroad, thanks for letting me get to the bug, despite it not being the best bug
report you have seen submitted !

And obviously, thanks for GMP,
Kevin