This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix folding of logb (-Inf) (PR tree-optimization/57066)
- From: Marek Polacek <polacek at redhat dot com>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 25 Apr 2013 15:43:08 +0200
- Subject: Re: [PATCH] Fix folding of logb (-Inf) (PR tree-optimization/57066)
- References: <20130425132350 dot GM13346 at redhat dot com> <alpine dot DEB dot 2 dot 02 dot 1304251533210 dot 8280 at laptop-mg dot saclay dot inria dot fr>
On Thu, Apr 25, 2013 at 03:37:35PM +0200, Marc Glisse wrote:
> If a function with one or more NaN arguments returns a NaN result,
> the result should be the same as one of the NaN arguments (after
> possible type conversion), except perhaps for the sign."
>
>
> "F.9.3.11 The logb functions
> â logb(Â0) returns ââ and raises the ââdivide-by-zeroââ
> floating-point exception.
> â logb(Ââ) returns â."
Perfect, I'm glad to hear that. Thanks!
Marek