Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 3 Apr 2003 02:36:56 +1000 (EST)
From:      Bruce Evans <bde@zeta.org.au>
To:        Steve Kargl <sgk@troutmask.apl.washington.edu>
Cc:        Alexander Leidinger <Alexander@Leidinger.net>
Subject:   Re: cvs commit: src/sys/ia64/include float.h
Message-ID:  <20030403022202.M27329@gamplex.bde.org>
In-Reply-To: <20030402161232.GA85205@troutmask.apl.washington.edu>
References:  <200303272038.h2RKcM7L096560@repoman.freebsd.org> <20030330175646.281097ad.Alexander@Leidinger.net> <20030331082023.GE11307@cirb503493.alcatel.com.au> <20030401172440.701aaafd.Alexander@Leidinger.net> <20030402154250.X25489@gamplex.bde.org> <20030402161232.GA85205@troutmask.apl.washington.edu>

next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, 2 Apr 2003, Steve Kargl wrote:

> On Wed, Apr 02, 2003 at 04:21:30PM +1000, Bruce Evans wrote:
> > ucbtest is good but is too old to cover much of C99.  I haven't found
> > anything anywhere near as good and up to date.
>
> Have you looked at John Hauser's SoftFloat package?
>
> http://www.jhauser.us/arithmetic/SoftFloat.html.
>
> The blurb at the top of the web page states: "SoftFloat fully implements
> the four most common floating-point formats: single precision (32 bits),
> double precision (64 bits), extended double precision (80 bits), and
> quadruple precision (128 bits). All required rounding modes, exception
> flags, and special values are supported.
>
> There is a test program available to compare the machines
> FP against SoftFloat.

Only a little.  It seemed to do little more than what the blurb says:
implement soft-float and test itself.  This is not very interesting
for us on at least i386's, since we already have hard-float with known
properties, and Intel and a few hundred million of Intel's customers
tested it.  The missing test coverage is mainly of the less commonly
used math functions (Gamma, Bessel and lots of new C99 functions).

Bruce



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20030403022202.M27329>