This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Document __builtin_isinf_sign more precisely
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Marc Glisse <marc dot glisse at inria dot fr>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 27 Aug 2013 09:47:46 +0200
- Subject: Re: Document __builtin_isinf_sign more precisely
- Authentication-results: sourceware.org; auth=none
- References: <alpine dot DEB dot 2 dot 02 dot 1306092102390 dot 24602 at stedding dot saclay dot inria dot fr> <alpine dot DEB dot 2 dot 10 dot 1306261614520 dot 4104 at laptop-mg dot saclay dot inria dot fr>
On Wed, Jun 26, 2013 at 4:16 PM, Marc Glisse <marc.glisse@inria.fr> wrote:
> Ping http://gcc.gnu.org/ml/gcc-patches/2013-06/msg00475.html
Ok.
Thanks,
Richard.
>
> On Sun, 9 Jun 2013, Marc Glisse wrote:
>
>> Hello,
>>
>> this patch documents that __builtin_isinf_sign returns +-1 for +-Inf. This
>> builtin was created so it could be used by a libc that has a stronger
>> guarantee than the standard, and for glibc that means returning +-1, which
>> is what the code already does.
>>
>> 2013-06-10 Marc Glisse <marc.glisse@inria.fr>
>>
>> PR middle-end/57219
>> * doc/extend.texi (__builtin_isinf_sign): Restrict the return
>> values to -1, 0 and 1.
>
>
> --
> Marc Glisse