From: Szabolcs Nagy <nsz@port70.net>
To: musl@lists.openwall.com
Subject: Re: correctly rounded sqrt
Date: Thu, 15 Mar 2012 19:22:41 +0100 [thread overview]
Message-ID: <20120315182240.GM5728@port70.net> (raw)
In-Reply-To: <9048289A-E316-4F75-96C3-60502B2E563D@gmail.com>
* Pascal Cuoq <pascal.cuoq@gmail.com> [2012-03-15 19:14:09 +0100]:
> >> if (signexp >= 0x7fff) is probably a better check
> >
> > Haha, this is the second time I stupidly forget sqrt(x) is
> > nonnegative... :-) Fixing it..
>
> I apologize if this is not relevant ???I admit I followed the discussion with only half my attention??? but note that sqrt(-0.) is -0., so the sign bit may be set in both argument and result of sqrt().
yes, that's handled correctly
we were talking only about the 'hard to round case'
(long double square root significand ends in ..xxx10000000000)
dalias:
meanwhile i realized that a double nan cannot end in 0x400
when converted to long double
so i was wrong about the nan check, it's not needed sorry
(maybe it makes sense to add a small comment to that sqrt.s
because it's not trivial for newcommers)
prev parent reply other threads:[~2012-03-15 18:22 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-03-14 16:56 Szabolcs Nagy
2012-03-14 16:57 ` Szabolcs Nagy
2012-03-14 19:01 ` Szabolcs Nagy
2012-03-15 1:46 ` Szabolcs Nagy
2012-03-15 3:23 ` Szabolcs Nagy
2012-03-15 5:07 ` Rich Felker
2012-03-15 5:30 ` Szabolcs Nagy
2012-03-15 8:02 ` Szabolcs Nagy
2012-03-15 16:12 ` Rich Felker
2012-03-15 18:14 ` Pascal Cuoq
2012-03-15 18:22 ` Szabolcs Nagy [this message]
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=20120315182240.GM5728@port70.net \
--to=nsz@port70.net \
--cc=musl@lists.openwall.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.
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/musl/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).