* i387 Floating Point Unit (FPU) testing
@ 2006-11-05 21:16 James Courtier-Dutton
2006-11-05 23:35 ` Jan Engelhardt
2006-11-07 1:11 ` H. Peter Anvin
0 siblings, 2 replies; 4+ messages in thread
From: James Courtier-Dutton @ 2006-11-05 21:16 UTC (permalink / raw)
To: linux-kernel
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: i387 Floating Point Unit (FPU) testing
2006-11-05 21:16 i387 Floating Point Unit (FPU) testing James Courtier-Dutton
@ 2006-11-05 23:35 ` Jan Engelhardt
2006-11-06 0:12 ` James Courtier-Dutton
2006-11-07 1:11 ` H. Peter Anvin
1 sibling, 1 reply; 4+ messages in thread
From: Jan Engelhardt @ 2006-11-05 23:35 UTC (permalink / raw)
To: James Courtier-Dutton; +Cc: linux-kernel
> 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'
--
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: i387 Floating Point Unit (FPU) testing
2006-11-05 23:35 ` Jan Engelhardt
@ 2006-11-06 0:12 ` James Courtier-Dutton
0 siblings, 0 replies; 4+ messages in thread
From: James Courtier-Dutton @ 2006-11-06 0:12 UTC (permalink / raw)
To: Jan Engelhardt; +Cc: linux-kernel
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?
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: i387 Floating Point Unit (FPU) testing
2006-11-05 21:16 i387 Floating Point Unit (FPU) testing James Courtier-Dutton
2006-11-05 23:35 ` Jan Engelhardt
@ 2006-11-07 1:11 ` H. Peter Anvin
1 sibling, 0 replies; 4+ messages in thread
From: H. Peter Anvin @ 2006-11-07 1:11 UTC (permalink / raw)
To: James Courtier-Dutton; +Cc: linux-kernel
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
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2006-11-07 1:11 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2006-11-05 21:16 i387 Floating Point Unit (FPU) testing James Courtier-Dutton
2006-11-05 23:35 ` Jan Engelhardt
2006-11-06 0:12 ` James Courtier-Dutton
2006-11-07 1:11 ` H. Peter Anvin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox