Date: Sun, 20 Jan 2008 14:54:09 +0000 From: Bruce M Simpson <bms@incunabulum.net> To: Bruce Evans <brde@optusnet.com.au> Cc: freebsd-embedded@FreeBSD.org Subject: FPU emulation Message-ID: <47936091.2030701@incunabulum.net> In-Reply-To: <20080120152510.P14810@delplex.bde.org> References: <47929883.1070003@incunabulum.net> <20080120152510.P14810@delplex.bde.org>
next in thread | previous in thread | raw e-mail | index | archive | help
[Cc: to -embedded] [Re: RDC R8610 x86 SOC, equally applicable to MIPS cores] Bruce Evans wrote: > > libc/softfloat is probably the best practical way to support these. It > has higher quality than the FreeBSD FPU emulator and is hopefully easy > to configure. It was used by arm. Not sure if it still is, or what > happened to gcc support for soft-float after I stopped using it when > I got a 486. Even in 1988, soft-float was painful to configure because > almost everyone assumed hardware or emulator support for x86s. Thanks for the advice. It looks current but I'd have to fire up -msoft-float to check. My understanding is that gcc did not always support -msoft-float for i386, and several Linux distributions have patches floating around to support it on i386. Moreover, it appears that the i387 version of libm is a hardcoded dependency in buildworld for ARCH=i386. I'm not 100% sure what the best way is to deal with this is. It seems reasonable that floating point can't be used in the kernel for these targets, however, someone is bound to trip over this -- I wonder if soft-float can be used in kernel or with threaded apps -- it looks that way, as I see no 'statics' in any of the library code. Thanks again BMS
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?47936091.2030701>