Re: i387 Floating Point Unit (FPU) testing

From: H. Peter Anvin
Date: Mon Nov 06 2006 - 20:12:14 EST


James Courtier-Dutton wrote:
Hi,

The kernel contains some i387 FPU emulation code.
Is there any user land software to test the FPU emulation code?
I would like to be able to prove the correctness of the FPU emulation code in the Linux kernel, and also port the test program to other platforms that utilize FPU emulation. For example, DOS emulators like DOSBOX.


The i387 FPU emulation code is originally from DJGPP, I believe.

-hpa
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/