Date: Wed, 7 Nov 2007 17:43:55 +0100 From: Olivier Houchard <mlfbsd@ci0.org> To: Rafal Jaworowski <raj@semihalf.com> Cc: freebsd-arm@freebsd.org Subject: Re: SoftFloat future Message-ID: <20071107164355.GA22695@ci0.org> In-Reply-To: <4731D042.5060700@semihalf.com> References: <4730AECC.5010701@semihalf.com> <20071106234308.GA13563@ci0.org> <4731D042.5060700@semihalf.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Nov 07, 2007 at 03:48:34PM +0100, Rafal Jaworowski wrote: > Olivier Houchard wrote: > >> So what's ARM people view on using SoftFloat vs. gcc soft-float? What are FreeBSD/ARM plans in this regard. > >> > > > > The libsoftfloat got imported for arm because at the time it happened, gcc > > (3.4.6 or something like this) didn't provide softfloat for arm. > > Also, last time I tried it, the libgcc softfloat bits behaved strangely, > > and gave dd segfaults or funny pings. > > So I gess FreeBSD/arm plans are to get right of the libsoftfloat when the > > libgcc bits will work as expected :-) > > > > Hi Olivier, > > Did you use any float testing suites to verify it? Even though I didn't > observe such problems with libgcc soft-floats on PowerPC I'd like to stress it > in some more systematic way, but the testing packages I looked at were not > readily available for this arch, low level pieces were missing there etc. For > the SoftFloat lib there's accompanying TestFloat but it's closely tied to its > parent library, so no easy way to use it with libgcc soft-float. Any hints on > what would be best to pick up? > Hi Rafal, Now I haven't really a testing suite, the problem were just obvious. >From what I read about TestFloat, it works by comparing your floating point implementation with softfloat, so maybe it can help anyway ? Regards, Olivier
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20071107164355.GA22695>