From owner-freebsd-current Mon Oct 14 19:39:36 2002 Delivered-To: freebsd-current@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id AC99937B401 for ; Mon, 14 Oct 2002 19:39:34 -0700 (PDT) Received: from smtp02.iprimus.net.au (smtp02.iprimus.net.au [210.50.76.70]) by mx1.FreeBSD.org (Postfix) with ESMTP id 880A743E4A for ; Mon, 14 Oct 2002 19:39:33 -0700 (PDT) (envelope-from tim@robbins.dropbear.id.au) Received: from dilbert.robbins.dropbear.id.au ([210.50.44.58]) by smtp02.iprimus.net.au with Microsoft SMTPSVC(5.0.2195.4617); Tue, 15 Oct 2002 12:39:31 +1000 Received: from dilbert.robbins.dropbear.id.au (xin4p8rb5rgpr3b4@localhost [127.0.0.1]) by dilbert.robbins.dropbear.id.au (8.12.6/8.12.6) with ESMTP id g9F2dRbo077413; Tue, 15 Oct 2002 12:39:28 +1000 (EST) (envelope-from tim@dilbert.robbins.dropbear.id.au) Received: (from tim@localhost) by dilbert.robbins.dropbear.id.au (8.12.6/8.12.6/Submit) id g9F2dQ4n077412; Tue, 15 Oct 2002 12:39:26 +1000 (EST) (envelope-from tim) Date: Tue, 15 Oct 2002 12:39:26 +1000 From: Tim Robbins To: Kris Kennaway Cc: Andrew Gallatin , Nate Lawson , current@FreeBSD.ORG Subject: Re: X problems & 5.0... -RELEASE? Message-ID: <20021015123926.A76421@dilbert.robbins.dropbear.id.au> References: <15786.50928.826403.959175@grasshopper.cs.duke.edu> <15787.1474.824422.286474@grasshopper.cs.duke.edu> <20021014200045.GA51207@xor.obsecurity.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5.1i In-Reply-To: <20021014200045.GA51207@xor.obsecurity.org>; from kris@obsecurity.org on Mon, Oct 14, 2002 at 01:00:46PM -0700 X-OriginalArrivalTime: 15 Oct 2002 02:39:31.0881 (UTC) FILETIME=[173BE190:01C273F4] Sender: owner-freebsd-current@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG On Mon, Oct 14, 2002 at 01:00:46PM -0700, Kris Kennaway wrote: [...] > Did anyone test -current with the various FP test suites people posted > about last week? Yes. I ran paranoia from http://cm.bell-labs.com/netlib/paranoia/ and found that FP arithmethic is satisfactory when -O is not used, and no -march or -mcpu options are used. However, compiling with -O causes a lot of failures. Here are the messages: Seeking Underflow thresholds UfThold and E0. DEFECT: Difference underflows at a higher threshold than products. ... Can `Z = -Y' overflow? Trying it on Y = -inf . finds a FLAW: -(-Y) differs from Y. ... FAILURE: Comparisons involving +--inf, +-inf and +-4.94066e-324 are confused by Overflow. ... DEFECT: Badly unbalanced range; UfThold * V = -inf is too far from 1. SERIOUS DEFECT: X / X differs from 1 when X = -inf instead, X / X - 1/2 - 1/2 = nan . The summary message: The number of FAILUREs encountered = 1. The number of SERIOUS DEFECTs discovered = 1. The number of DEFECTs discovered = 2. The number of FLAWs discovered = 1. The arithmetic diagnosed has unacceptable Serious Defects. Potentially fatal FAILURE may have spoiled this program's subsequent diagnoses. It's worth noting that 4.7-RELEASE (w/ gcc 2.95.4) fails *more* test cases than -CURRENT when -O is used to compile paranoia. f77 -O seems to also generate bad code for dpara.f, the FORTRAN version of paranoia. Tim To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-current" in the body of the message