Date: Wed, 2 Apr 2003 08:12:32 -0800 From: Steve Kargl <sgk@troutmask.apl.washington.edu> To: Bruce Evans <bde@zeta.org.au> Cc: Alexander Leidinger <Alexander@Leidinger.net> Subject: Re: cvs commit: src/sys/ia64/include float.h Message-ID: <20030402161232.GA85205@troutmask.apl.washington.edu> In-Reply-To: <20030402154250.X25489@gamplex.bde.org> References: <200303272038.h2RKcM7L096560@repoman.freebsd.org> <20030330175646.281097ad.Alexander@Leidinger.net> <20030331082023.GE11307@cirb503493.alcatel.com.au> <20030401172440.701aaafd.Alexander@Leidinger.net> <20030401200457.GA30284@cirb503493.alcatel.com.au> <20030402154250.X25489@gamplex.bde.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Apr 02, 2003 at 04:21:30PM +1000, Bruce Evans wrote: > > verify correct FP behaviour by the CPU and compiler floating around on > > the net - look at NETLIB or Prof W. Kahan's web site. (I don't have > > the URL's immediately to hand). > > 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. -- Steve
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20030402161232.GA85205>