GMP 6.0.0a on AMD A8-6600K

Kevin Buckley kevin.m.buckley at
Thu Apr 9 12:05:12 UTC 2015

On 9 April 2015 at 23:36, Marc Glisse <marc.glisse at> wrote:

> It is usually qemu that advertises the processor wrongly, but I guess Xen
> could be guilty as well, or have trouble with newer instructions... Is this
> with the latest version of Xen?

As noted in the Xen package listings provided, I believe it's the latest
available for the Ubuntu 12.04 distribution.

>> Marc suggested to use a snapshot.  He usually has very good reasons for
>> his suggestions...what did you have in mind, Marc?  AVX problems?
> No, sorry, this time was just random. This was just because the last release
> is getting rather old, a number of things have been changed since then, so
> it seemed worth checking before spending too much time investigating.

Note, though I am sure you will have, that the snapshot's configure, inside
a Xen environment, reports the Host type as

  Host type:         piledrivernoavx-unknown-linux-gnu

whereas in a non-Xen environment, it reports

  Host type:         piledriver-unknown-linux-gnu

so is recognising (?) an AVX-based distinction.

The 6.0.0a code base doesn't make the distinction, reporting on all occasions:

  Host type:         piledriver-unknown-linux-gnu


More information about the gmp-bugs mailing list