From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <0b51d44d9fa58665417e8bda6bbbe66b@terzarima.net>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] x87
From: Charles Forsyth <forsyth@terzarima.net>
Date: Mon,  2 Oct 2006 12:58:08 +0100
In-Reply-To: <1159552445.865081.235120@e3g2000cwe.googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: c38796b2-ead1-11e9-9d60-3106f5b1d025

>  Reading the article "The Various Ports", I get confused which the
>  mention about the 387 float point unit. The libc compiled to x86
>  machines use the fpu or not? If not how to make it work?

the system uses the fpu.
the 387 mentioned is built-in to x86 machines these days, often alongside
two or is it three others (3DNow! SSE SSE2).  the compiler (and thus libc)
uses the 387 model.

the amd64 compiler uses sse2 instead.