NetBSD Problem Report #46108

From Manuel.Bouyer@lip6.fr  Mon Feb 27 23:03:34 2012
Return-Path: <Manuel.Bouyer@lip6.fr>
Received: from mail.netbsd.org (mail.netbsd.org [149.20.53.66])
	by www.NetBSD.org (Postfix) with ESMTP id 6C5E163B952
	for <gnats-bugs@gnats.NetBSD.org>; Mon, 27 Feb 2012 23:03:34 +0000 (UTC)
Message-Id: <20120227230323.8A51F6B95F@pop.soc.lip6.fr>
Date: Tue, 28 Feb 2012 00:03:03 +0100 (MET)
From: bouyer@antioche.eu.org
Reply-To: bouyer@antioche.eu.org
To: gnats-bugs@gnats.NetBSD.org
Subject: some math tests works on qemu but fail on real hardware
X-Send-Pr-Version: 3.95

>Number:         46108
>Category:       port-i386
>Synopsis:       some math tests works on qemu but fail on real hardware
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    port-i386-maintainer
>State:          closed
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Feb 27 23:05:00 +0000 2012
>Closed-Date:    Tue Jun 25 12:21:07 +0000 2013
>Last-Modified:  Tue Jun 25 12:21:07 +0000 2013
>Originator:     bouyer@antioche.eu.org
>Release:        NetBSD 6.0_BETA
>Organization:
>Environment:
System: NetBSD pop.soc.lip6.fr 6.0_BETA NetBSD 6.0_BETA (XEN3PAE_DOMU) #1: Mon Feb 27 23:05:19 MET 2012 bouyer@pop.soc.lip6.fr:/dsk/l1/misc/bouyer/tmp/i386/obj/dsk/l1/misc/bouyer/netbsd-6/src/sys/arch/i386/compile/XEN3PAE_DOMU i386
Architecture: i386
Machine: i386
>Description:
	While running tests on Xen, I noticed some failed math tests 
	which don't seem to fail on a anita/qemu run, nor amd64 (xen or qemu).
	Theses are:
	lib/libm/t_atan:atan_inf_neg
	lib/libm/t_atan:atan_inf_pos
	lib/libm/t_atan:atan_tan

	Just to make sure, I tried on a plain NetBSD/i386 host too (no
	Xen involved), they fails in the same way. The i386 binary also
	fails on amd64, when with the amd64 binary the test passes.

	It could be a compiler bug: when the test is recompiled by
	hang without -O2 (e.g. gcc -o t_atan t_atan.c -lm -latf-c),
	it passes. Adding -O2 to the compilation line makes it fails again.

>How-To-Repeat:
	cd /usr/tests/lib/libm; atf-run |atf-report
>Fix:

>Release-Note:

>Audit-Trail:
From: "Jukka Ruohonen" <jruoho@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/46108 CVS commit: src/tests/lib/libm
Date: Sat, 10 Mar 2012 20:11:01 +0000

 Module Name:	src
 Committed By:	jruoho
 Date:		Sat Mar 10 20:11:01 UTC 2012

 Modified Files:
 	src/tests/lib/libm: t_atan.c

 Log Message:
 Point to PR port-i386/46108 when failing on i386.


 To generate a diff of this commit:
 cvs rdiff -u -r1.3 -r1.4 src/tests/lib/libm/t_atan.c

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

From: "Tetsuya Isaki" <isaki@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/46108 CVS commit: src/tests/lib/libm
Date: Thu, 21 Mar 2013 02:10:52 +0000

 Module Name:	src
 Committed By:	isaki
 Date:		Thu Mar 21 02:10:52 UTC 2013

 Modified Files:
 	src/tests/lib/libm: t_atan.c

 Log Message:
 Fix and revive test of atan_inf_neg, atan_inf_pos and atan_tan on i386.
 PR port-i386/46108.
 The machine epsilon 1.0e-40 is too severe and nonsense for double
 because DBL_EPSILON is about 2.2e-16 .  I think that 1.0e-15 is
 enough good, in this case.
 XXX However, test of atan_tan should be replaced for other reasons.


 To generate a diff of this commit:
 cvs rdiff -u -r1.6 -r1.7 src/tests/lib/libm/t_atan.c

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

State-Changed-From-To: open->feedback
State-Changed-By: isaki@NetBSD.org
State-Changed-When: Thu, 21 Mar 2013 02:21:37 +0000
State-Changed-Why:
Please test t_atan.c,v 1.7 on your environment.


From: Manuel Bouyer <bouyer@antioche.eu.org>
To: gnats-bugs@NetBSD.org
Cc: port-i386-maintainer@NetBSD.org, netbsd-bugs@NetBSD.org,
        gnats-admin@NetBSD.org, isaki@NetBSD.org
Subject: Re: port-i386/46108 (some math tests works on qemu but fail on real
 hardware)
Date: Sat, 25 May 2013 12:49:57 +0200

 On Thu, Mar 21, 2013 at 02:21:38AM +0000, isaki@NetBSD.org wrote:
 > Synopsis: some math tests works on qemu but fail on real hardware
 > 
 > State-Changed-From-To: open->feedback
 > State-Changed-By: isaki@NetBSD.org
 > State-Changed-When: Thu, 21 Mar 2013 02:21:37 +0000
 > State-Changed-Why:
 > Please test t_atan.c,v 1.7 on your environment.

 This works fine on -HEAD, but is still broken in netbsd-6.
 Any chance to get this pulled up to netbsd-6 ?

 -- 
 Manuel Bouyer <bouyer@antioche.eu.org>
      NetBSD: 26 ans d'experience feront toujours la difference
 --

From: Tetsuya Isaki <isaki@pastel-flower.jp>
To: Manuel Bouyer <bouyer@antioche.eu.org>
Cc: gnats-bugs@NetBSD.org, port-i386-maintainer@NetBSD.org,
	netbsd-bugs@NetBSD.org,	gnats-admin@NetBSD.org
Subject: Re: port-i386/46108 (some math tests works on qemu but fail on real hardware)
Date: Fri, 14 Jun 2013 15:40:01 +0900

 At Sat, 25 May 2013 12:49:57 +0200,
 Manuel Bouyer wrote:
 > > Synopsis: some math tests works on qemu but fail on real hardware
 > > 
 > > State-Changed-From-To: open->feedback
 > > State-Changed-By: isaki@NetBSD.org
 > > State-Changed-When: Thu, 21 Mar 2013 02:21:37 +0000
 > > State-Changed-Why:
 > > Please test t_atan.c,v 1.7 on your environment.
 > 
 > This works fine on -HEAD, but is still broken in netbsd-6.
 > Any chance to get this pulled up to netbsd-6 ?

 I just sent a pull up request to netbsd-6 (#903).

 Thanks,
 ---
 Tetsuya Isaki <isaki@pastel-flower.jp / isaki@NetBSD.org>

From: "Manuel Bouyer" <bouyer@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/46108 CVS commit: [netbsd-6] src/tests/lib/libm
Date: Sun, 23 Jun 2013 11:16:50 +0000

 Module Name:	src
 Committed By:	bouyer
 Date:		Sun Jun 23 11:16:50 UTC 2013

 Modified Files:
 	src/tests/lib/libm [netbsd-6]: t_atan.c

 Log Message:
 Pull up following revision(s) (requested by isaki in ticket #903):
 	tests/lib/libm/t_atan.c: revisions 1.4 - 1.7, 1.9 via patch
 Fix and revive test of atan_inf_neg, atan_inf_pos and atan_tan on i386.
 PR port-i386/46108.
 The machine epsilon 1.0e-40 is too severe and nonsense for double
 because DBL_EPSILON is about 2.2e-16 .  I think that 1.0e-15 is
 enough good, in this case.
 XXX However, test of atan_tan should be replaced for other reasons.
 Remove header files which became unnecessary in 1.7.


 To generate a diff of this commit:
 cvs rdiff -u -r1.1 -r1.1.4.1 src/tests/lib/libm/t_atan.c

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

From: "Manuel Bouyer" <bouyer@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/46108 CVS commit: [netbsd-6-1] src/tests/lib/libm
Date: Sun, 23 Jun 2013 11:17:00 +0000

 Module Name:	src
 Committed By:	bouyer
 Date:		Sun Jun 23 11:17:00 UTC 2013

 Modified Files:
 	src/tests/lib/libm [netbsd-6-1]: t_atan.c

 Log Message:
 Pull up following revision(s) (requested by isaki in ticket #903):
 	tests/lib/libm/t_atan.c: revisions 1.4 - 1.7, 1.9 via patch
 Fix and revive test of atan_inf_neg, atan_inf_pos and atan_tan on i386.
 PR port-i386/46108.
 The machine epsilon 1.0e-40 is too severe and nonsense for double
 because DBL_EPSILON is about 2.2e-16 .  I think that 1.0e-15 is
 enough good, in this case.
 XXX However, test of atan_tan should be replaced for other reasons.
 Remove header files which became unnecessary in 1.7.


 To generate a diff of this commit:
 cvs rdiff -u -r1.1 -r1.1.10.1 src/tests/lib/libm/t_atan.c

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

From: "Manuel Bouyer" <bouyer@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/46108 CVS commit: [netbsd-6-0] src/tests/lib/libm
Date: Sun, 23 Jun 2013 11:17:04 +0000

 Module Name:	src
 Committed By:	bouyer
 Date:		Sun Jun 23 11:17:04 UTC 2013

 Modified Files:
 	src/tests/lib/libm [netbsd-6-0]: t_atan.c

 Log Message:
 Pull up following revision(s) (requested by isaki in ticket #903):
 	tests/lib/libm/t_atan.c: revisions 1.4 - 1.7, 1.9 via patch
 Fix and revive test of atan_inf_neg, atan_inf_pos and atan_tan on i386.
 PR port-i386/46108.
 The machine epsilon 1.0e-40 is too severe and nonsense for double
 because DBL_EPSILON is about 2.2e-16 .  I think that 1.0e-15 is
 enough good, in this case.
 XXX However, test of atan_tan should be replaced for other reasons.
 Remove header files which became unnecessary in 1.7.


 To generate a diff of this commit:
 cvs rdiff -u -r1.1 -r1.1.8.1 src/tests/lib/libm/t_atan.c

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

State-Changed-From-To: feedback->closed
State-Changed-By: msaitoh@NetBSD.org
State-Changed-When: Tue, 25 Jun 2013 12:21:07 +0000
State-Changed-Why:
Fixed and pulled up to netbsd-6* branches.


>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.