NetBSD Problem Report #59283

From www@netbsd.org  Sat Apr 12 17:39:31 2025
Return-Path: <www@netbsd.org>
Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits)
	 client-signature RSA-PSS (2048 bits))
	(Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified))
	by mollari.NetBSD.org (Postfix) with ESMTPS id B27421A923E
	for <gnats-bugs@gnats.NetBSD.org>; Sat, 12 Apr 2025 17:39:31 +0000 (UTC)
Message-Id: <20250412173930.1BCA31A923F@mollari.NetBSD.org>
Date: Sat, 12 Apr 2025 17:39:30 +0000 (UTC)
From: campbell+netbsd@mumble.net
Reply-To: campbell+netbsd@mumble.net
To: gnats-bugs@NetBSD.org
Subject: pmax testbed doesn't have fp exception traps
X-Send-Pr-Version: www-1.0

>Number:         59283
>Category:       port-mips
>Synopsis:       pmax testbed doesn't have fp exception traps
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    port-mips-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sat Apr 12 17:40:01 +0000 2025
>Last-Modified:  Sat Apr 12 18:25:01 +0000 2025
>Originator:     Taylor R Campbell
>Release:        current
>Organization:
The PmaxBSD FPExceptionalism
>Environment:
>Description:
Test case: kernel/t_trapsignal/fpe_handle

Duration: 2.074219 seconds
Termination reason

FAILED: atf-check failed; see the output of the test for details
Standard output stream

Executing command [ /usr/tests/kernel/h_segv fpe handle ]

Standard error stream

Fail: stderr does not match expected value
--- /tmp/inline.M9pIaL	2025-04-12 07:22:28.507812500 +0000
+++ /tmp/check.QvDSU1/stderr	2025-04-12 07:22:28.460937500 +0000
@@ -1 +0,0 @@
-got 8

Test case: kernel/t_trapsignal/fpe_handle_recurse

Duration: 0.601562 seconds
Termination reason

FAILED: atf-check failed; see the output of the test for details
Standard output stream

Executing command [ /usr/tests/kernel/h_segv fpe handle recurse ]

Standard error stream

Fail: program did not receive a signal
...

https://releng.netbsd.org/b5reports/pmax/2025/2025.04.11.04.54.02/test.html#kernel_t_trapsignal_fpe_handle

The MIPS architecture supports floating-point exception traps but it looks like they aren't happening on the pmax testbed.
>How-To-Repeat:
cd /usr/tests/lib/libc/gen
atf-run t_fpclassify | atf-report
>Fix:
Yes, please!

Not sure if this is a qemu bug or a hardware bug or a NetBSD kernel bug in configuring the FPU.  Guessing it's probably a qemu bug and might be helped by adding if (isQEMU()) { atf_tc_expect_fail("PR ...") }.

>Audit-Trail:
From: Izumi Tsutsui <tsutsui@ceres.dti.ne.jp>
To: gnats-bugs@netbsd.org
Cc: tsutsui@ceres.dti.ne.jp
Subject: Re: port-mips/59283: pmax testbed doesn't have fp exception traps
Date: Sun, 13 Apr 2025 03:21:17 +0900

 > Not sure if this is a qemu bug or a hardware bug or a NetBSD kernel bug in configuring the FPU.

 Doesn't anita use GXemul for pmax tests?

 ---
 Izumi Tsutsui

NetBSD Home
NetBSD PR Database Search

(Contact us) $NetBSD: query-full-pr,v 1.47 2022/09/11 19:34:41 kim Exp $
$NetBSD: gnats_config.sh,v 1.9 2014/08/02 14:16:04 spz Exp $
Copyright © 1994-2025 The NetBSD Foundation, Inc. ALL RIGHTS RESERVED.