Re: [PATCH] Add support for floating point endpoints to frange.

[Jeff Law <jeffreyalaw@gmail.com>]

On 8/29/2022 8:30 AM, Aldy Hernandez via Gcc-patches wrote:
> On Mon, Aug 29, 2022 at 4:27 PM Jakub Jelinek <jakub@redhat.com> wrote:
>> On Mon, Aug 29, 2022 at 04:20:16PM +0200, Aldy Hernandez wrote:
>>> Sure, I can add the HONOR_NANS, but can we even "see" a NAN in the IL
>>> for -ffinite-math-only?
>> Sure, you can, e.g. __builtin_nan{,s}{,f,l} etc. would do it.
>> It would be UB to use it at runtime in -ffinite-math-only code though.
>> Another question is, when making a range VARYING, do you set the NAN
>> property or not when !HONOR_NANS && MODE_HAS_NANS?
> A range of VARYING sets the NAN property to unknown
> (fp_prop::VARYING).  If you prefer we can set the property to
> fp_prop::NO for !HONOR_NANS && MODE_HAS_NANS.

If the format doesn't have NaNs or the user explicitly disables them, 
then the state should be NO, otherwise YES.

Jeff