On 8/29/2022 8:30 AM, Aldy Hernandez via Gcc-patches wrote:
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.
If the format doesn't have NaNs or the user explicitly disables them,
then the state should be NO, otherwise YES.
Jeff
