For what it is worth, there are now 32-bit and 64-bit fbsd5 and fbsd56
systems in the test array: https://gmplib.org/devel/testsystems.html
Both seem to allow XMM access. The problem might be limited to fbsd4.
At some point, it would be nice to clean up the broken logics for this
in GMP's
Il Sab, 25 Gennaio 2014 7:15 pm, Torbjorn Granlund ha scritto:
operating system support. Now, we suppress use of (some) gcc
sse-related options which trigger bad behaviour (via the acinclude.m4
GMP_GCC_PENTIUM4_SSE2) and in that context check of the OS handles XMM
(via
Ciao,
Il Sab, 25 Gennaio 2014 7:15 pm, Torbjorn Granlund ha scritto:
operating system support. Now, we suppress use of (some) gcc
sse-related options which trigger bad behaviour (via the acinclude.m4
GMP_GCC_PENTIUM4_SSE2) and in that context check of the OS handles XMM
(via GMP_OS_X86_XMM).
Our configure logic for excluding XMM register use is flawed. We
should to keep SSE2 availability from XMM availability apart, since a
CPU which supports SSE2 will always handle SSE2+MMX, while XMM requires
operating system support. Now, we suppress use of (some) gcc
sse-related options which
