From: Adam Sampson <ats@offog.org>
To: Alejandro Colomar <alx@kernel.org>
Cc: Helge Kreutzmann <debian@helgefjell.de>,
mario.blaettermann@gmail.com, linux-man@vger.kernel.org
Subject: Re: Issue in man page fma.3
Date: Mon, 01 Sep 2025 16:06:34 +0100 [thread overview]
Message-ID: <y2ajz2ii551.fsf@offog.org> (raw)
In-Reply-To: <cydmigk4amlt62bjeircdfzgjzajlsoaw6pje6z5te7fu4a7bd@upahclev5v3s> (Alejandro Colomar's message of "Mon, 1 Sep 2025 09:47:29 +0200")
Alejandro Colomar <alx@kernel.org> writes:
>> Issue: According to above, a domain error also occurs when I<z> is a NaN?
> According to what exactly? I don't understand this report.
fma.3's RETURN VALUE section currently says:
| If one of x or y is an infinity, the other is 0, and z is not a NaN, a
| domain error occurs, and a NaN is returned.
|
| If one of x or y is an infinity, and the other is 0, and z is a NaN, a
| domain error occurs, and a NaN is returned.
But the ERRORS section only says a domain error occurs in the first
case. If I'm understanding the glibc code for _FP_FMA in
soft-fp/op-common.h correctly, it looks like it raises the error
regardless of the value of z, so in both sections the "and z is ..."
part could be removed, making the two sentences above identical?
--
Adam Sampson <ats@offog.org> <http://offog.org/>
next prev parent reply other threads:[~2025-09-01 15:06 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-08-24 14:48 Issue in man page fma.3 Helge Kreutzmann
2025-09-01 7:47 ` Alejandro Colomar
2025-09-01 15:06 ` Adam Sampson [this message]
2025-09-01 15:28 ` Alejandro Colomar
-- strict thread matches above, loose matches on Subject: below --
2025-12-24 14:38 Helge Kreutzmann
2025-12-25 13:29 ` Alejandro Colomar
2025-12-26 4:49 ` Helge Kreutzmann
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=y2ajz2ii551.fsf@offog.org \
--to=ats@offog.org \
--cc=alx@kernel.org \
--cc=debian@helgefjell.de \
--cc=linux-man@vger.kernel.org \
--cc=mario.blaettermann@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.