This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Add constant folding support for next{after,toward}{,f,l} (PR libstdc++/85466)
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Richard Biener <rguenther at suse dot de>
- Cc: Jeff Law <law at redhat dot com>, gcc-patches at gcc dot gnu dot org
- Date: Thu, 3 May 2018 18:53:55 +0200
- Subject: Re: [PATCH] Add constant folding support for next{after,toward}{,f,l} (PR libstdc++/85466)
- References: <20180421173625.GN8577@tucnak> <alpine.LSU.2.20.1805031137490.24704@zhemvz.fhfr.qr> <20180503163550.GG8577@tucnak>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Thu, May 03, 2018 at 06:35:50PM +0200, Jakub Jelinek wrote:
> That requires a machine_mode or tree, but I don't have either of those,
> nor the caller (fold_const_call_sss) has those.
>
> I could change it to:
> if (flag_signalling_nans
> && !flag_finite_math_only
> && format->has_nans
> so that it would better duplicate what HONOR_SNANS actually tests.
> Though, I think it is ok to punt if one of the operands is a signalling nan
> even if flag_signalling_nans.
Though in theory the arg0's mode for which we have format pointer could
not have nans, but arg1's mode (for which we only have the REAL_VALUE_TYPE)
could have nans (or vice versa).
Jakub