NetBSD Problem Report #18769

Received: (qmail 25033 invoked by uid 605); 22 Oct 2002 19:17:39 -0000
Message-Id: <20021022191738.147AD7B14@yeah-baby.shagadelic.org>
Date: Tue, 22 Oct 2002 12:17:38 -0700 (PDT)
From: thorpej@shagadelic.org
Sender: gnats-bugs-owner@netbsd.org
Reply-To: thorpej@shagadelic.org
To: gnats-bugs@gnats.netbsd.org
Subject: IEEE FP rounding bug NetBSD/alpha
X-Send-Pr-Version: 3.95

>Number:         18769
>Category:       port-alpha
>Synopsis:       IEEE FP rounding bug NetBSD/alpha
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    port-alpha-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Oct 22 19:18:00 +0000 2002
>Closed-Date:    
>Last-Modified:  Sat Jan 19 18:05:01 +0000 2008
>Originator:     Jason R Thorpe
>Release:        NetBSD 1.6I
>Organization:
Wasabi Systems, Inc.
>Environment:


System: NetBSD frau-farbissina.shagadelic.org 1.6I NetBSD 1.6I (FRAU-FARBISSINA) #149: Sat Oct 12 12:39:17 PDT 2002     thorpej@frau-farbissina.shagadelic.org:/u2/netbsd/src/sys/arch/alpha/compile/FRAU-FARBISSINA alpha
Architecture: alpha
Machine: alpha
>Description:
	NetBSD/alpha appears to have an IEEE FP rounding bug in the
	kernel FP completion code.  This bug causes failures in the
	GCC 3.3 testsuite.

>How-To-Repeat:
	Compile the following program with "cc -mieee".  The optimization
	level is irrelevant.

double
d (unsigned long long k)
{
  double x;

  x = (double) k;
  return x;
}

int
main (int argc, char *argv[])
{
  unsigned long long k;
  double x;

  k = 0x8693ba6d7d220401ULL;
  x = d (k);
  k = (unsigned long long) x;
  if (k != 0x8693ba6d7d220800ULL)
    abort ();
}

	This code is taken from the relevant GCC testcase.  The
	testcase passes when compiled *without* "cc -mieee".

>Fix:
	Not known at this time.  (More analysis of the problem needs
	to be done.)
>Release-Note:
>Audit-Trail:
From: Adam Hoka <adam.hoka@gmail.com>
To: gnats-bugs@NetBSD.org
Cc: 
Subject: Re: port-alpha/18769
Date: Sat, 19 Jan 2008 19:02:15 +0100

 The test code still fails on NetBSD 4.0 RC1.

>Unformatted:

NetBSD Home
NetBSD PR Database Search

(Contact us) $NetBSD: query-full-pr,v 1.39 2013/11/01 18:47:49 spz Exp $
$NetBSD: gnats_config.sh,v 1.8 2006/05/07 09:23:38 tsutsui Exp $
Copyright © 1994-2007 The NetBSD Foundation, Inc. ALL RIGHTS RESERVED.