From owner-freebsd-current Tue Jul 13 2:30:50 1999 Delivered-To: freebsd-current@freebsd.org Received: from alcanet.com.au (border.alcanet.com.au [203.62.196.10]) by hub.freebsd.org (Postfix) with ESMTP id AE4D215308 for ; Tue, 13 Jul 1999 02:30:40 -0700 (PDT) (envelope-from jeremyp@gsmx07.alcatel.com.au) Received: by border.alcanet.com.au id <40336>; Tue, 13 Jul 1999 19:11:20 +1000 Date: Tue, 13 Jul 1999 19:29:10 +1000 From: Peter Jeremy Subject: Re: Using float emulator on a system with FPU? In-reply-to: To: cracauer@cons.org, dfr@nlsystems.com Cc: freebsd-current@FreeBSD.ORG Message-Id: <99Jul13.191120est.40336@border.alcanet.com.au> Sender: owner-freebsd-current@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG Doug Rabson wrote: >You might consider looking at the fp emulator which I wrote for the alpha. >It should be accurate (I tested against the fpu on an x86) and contains >test harness code which can be used to play with it on both x86 and alpha. Anyone interested in working on FP emulation (or checking the shortcuts DEC made when then designed the Alpha) might like to check out : UCBTEST is a suite of programs for testing certain difficult cases of IEEE 754 floating-point arithmetic. Some of the difficult test cases are obtained from number-theoretic algorithms developed by Turing Award winner Prof. W. Kahan, Department of Electrical Engineering and Computer Science, University of California, Berkeley, as part of ongoing research into test methods for computer arithmetic. Peter To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-current" in the body of the message