NetBSD Problem Report #46953

From msaitoh@execsw.org  Fri Sep 14 07:04:33 2012
Return-Path: <msaitoh@execsw.org>
Received: from mail.netbsd.org (mail.netbsd.org [149.20.53.66])
	by www.NetBSD.org (Postfix) with ESMTP id 89CB563B86D
	for <gnats-bugs@gnats.NetBSD.org>; Fri, 14 Sep 2012 07:04:33 +0000 (UTC)
Message-Id: <20120914070430.AA77A439854@vslock.execsw.org>
Date: Fri, 14 Sep 2012 16:04:30 +0900 (JST)
From: msaitoh@execsw.org
Reply-To: msaitoh@execsw.org
To: gnats-bugs@gnats.NetBSD.org
Subject: lib/libm/t_ceil fails on ARM
X-Send-Pr-Version: 3.95

>Number:         46953
>Category:       port-arm
>Synopsis:       lib/libm/t_ceil fails on ARM
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    port-arm-maintainer
>State:          closed
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Sep 14 07:05:01 +0000 2012
>Closed-Date:    Mon Nov 26 06:12:13 +0000 2012
>Last-Modified:  Mon Nov 26 06:12:13 +0000 2012
>Originator:     SAITOH Masanobu
>Release:        netbsd-6, -current
>Organization:
-----------------------------------------------
		SAITOH Masanobu (msaitoh@netbsd.org)
>Environment:
		netbsd-6, -current
Architecture: arm
Machine: evbarm
>Description:
	Some libm tests fail on arm.

	Small test program is:

============ neginf.c ==================
#include <stdio.h>

double neginf0 = -1.0L / 0.0;
double neginf1 = -1.0L / 0.0;

int
main(int argc, char *argv[])
{
        printf("%lf\n", neginf0 + neginf1);

        return 0;
}
====================================

	On i386:
		% ./neginf
		-inf

	On arm:
		% ./neginf
		0.000000

>How-To-Repeat:
	cd /usr/test/lib/libm
	atf-run | atf-report
>Fix:
	I don't know.

>Release-Note:

>Audit-Trail:
From: "SAITOH Masanobu" <msaitoh@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/46953 CVS commit: src/lib/libc/softfloat
Date: Wed, 14 Nov 2012 03:47:31 +0000

 Module Name:	src
 Committed By:	msaitoh
 Date:		Wed Nov 14 03:47:31 UTC 2012

 Modified Files:
 	src/lib/libc/softfloat: Makefile.inc

 Log Message:
 For arm, add -fno-tree-vrp to COPTS when compiling softfloat.c.
 Without -fno-tree-vrp, -INF + -INF returns 0 by adddf3.
 Fixes PR#46953.


 To generate a diff of this commit:
 cvs rdiff -u -r1.10 -r1.11 src/lib/libc/softfloat/Makefile.inc

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

From: "Julian Coleman" <jdc@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/46953 CVS commit: [netbsd-6] src
Date: Sat, 24 Nov 2012 19:02:11 +0000

 Module Name:	src
 Committed By:	jdc
 Date:		Sat Nov 24 19:02:10 UTC 2012

 Modified Files:
 	src/doc [netbsd-6]: HACKS
 	src/lib/libc/softfloat [netbsd-6]: Makefile.inc

 Log Message:
 Pull up revisions:
   src/lib/libc/softfloat/Makefile.inc         1.11-1.12 via patch
   src/doc/HACKS                               1.124 via patch
 (requested by msaitoh in ticket #703).

 For arm, add -fno-tree-vrp to COPTS when compiling softfloat.c.
 Without -fno-tree-vrp, -INF + -INF returns 0 by adddf3.
 Fixes PR#46953.


 To generate a diff of this commit:
 cvs rdiff -u -r1.122.2.1 -r1.122.2.2 src/doc/HACKS
 cvs rdiff -u -r1.10 -r1.10.4.1 src/lib/libc/softfloat/Makefile.inc

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

From: "Julian Coleman" <jdc@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/46953 CVS commit: [netbsd-6-0] src
Date: Sat, 24 Nov 2012 19:02:15 +0000

 Module Name:	src
 Committed By:	jdc
 Date:		Sat Nov 24 19:02:14 UTC 2012

 Modified Files:
 	src/doc [netbsd-6-0]: HACKS
 	src/lib/libc/softfloat [netbsd-6-0]: Makefile.inc

 Log Message:
 Pull up revisions:
   src/lib/libc/softfloat/Makefile.inc         1.11-1.12 via patch
   src/doc/HACKS                               1.124 via patch
 (requested by msaitoh in ticket #703).

 For arm, add -fno-tree-vrp to COPTS when compiling softfloat.c.
 Without -fno-tree-vrp, -INF + -INF returns 0 by adddf3.
 Fixes PR#46953.


 To generate a diff of this commit:
 cvs rdiff -u -r1.122.2.1 -r1.122.2.1.4.1 src/doc/HACKS
 cvs rdiff -u -r1.10 -r1.10.10.1 src/lib/libc/softfloat/Makefile.inc

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

State-Changed-From-To: open->closed
State-Changed-By: msaitoh@NetBSD.org
State-Changed-When: Mon, 26 Nov 2012 06:12:13 +0000
State-Changed-Why:
Fixed and pulled-up to netbsd-6 branch.


>Unformatted:

Home	PR Database Search