On Mon, Aug 29, 2022 at 4:27 PM Jakub Jelinek <ja...@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. ?? Aldy
