i387 Floating Point Unit (FPU) testing

From: James Courtier-Dutton
Date: Sun Nov 05 2006 - 16:17:21 EST


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.

James

-
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/