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
> 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.
If the kernel already emulates it, you don't really need emulation in
userspace, no?
-`J'
--
Jan Engelhardt wrote:
>> 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.
>
> If the kernel already emulates it, you don't really need emulation in
> userspace, no?
>
> -`J'
Hum...Did you actually read my email?
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