Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20190227201608.GH21289@port70.net>
Date: Wed, 27 Feb 2019 21:16:09 +0100
From: Szabolcs Nagy <nsz@...t70.net>
To: musl@...ts.openwall.com
Subject: Re: FE Exception triggered by comparison

* Alexander Monakov <amonakov@...ras.ru> [2019-02-27 22:48:02 +0300]:
> On Wed, 27 Feb 2019, Rich Felker wrote:
> > Ideally the compiler would be able to recognize portable (within IEEE)
> > patterns for floating point representation examination and optimize
> > them if there's a more efficient way to be able to do it for a
> > particular machine.
> 
> There's a difference for sNaN operands: the bit-test version obviously
> is not going to raise "invalid", while comparing the fpu register with
> itself will.  So I'm afraid the compiler wouldn't do that for x86 (but
> could for targets where an suitable instruction is available).

using -fsignaling-nan is extremely rare, by default the transformation
is valid (but maybe tricky anyway).

Powered by blists - more mailing lists

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.