Lines Matching refs:nan
92 * binary32 signalling NaN into a floating-point register
93 * raises FE_INVALID and converts it into a quiet NaN; memcpy
114 * binary64 signalling NaN into a floating-point register
115 * raises FE_INVALID and converts it into a quiet NaN; memcpy
231 * In x87, merely loading a binary32 or binary64 signalling NaN from
241 * PR lib/60015: x87 makes testing signalling NaN difficult
519 #ifdef NAN
521 volatile float nan = NAN;
524 ATF_CHECK_MSG(isnan(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
528 (void)issignalling(nan); /* could be quiet or signalling */
532 ATF_CHECK_MSG(!isinf(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
535 ATF_CHECK_MSG(!isnormal(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
538 ATF_CHECK_MSG(!issubnormal(nan), "nan=%a [0x%s]", nan,
539 formatbitsf(&nan));
542 ATF_CHECK_MSG(!iszero(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
545 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
547 nan, formatbitsf(&nan), fpclassify(nan), FP_NAN);
551 /* test a quiet NaN */
552 makequietsignallingf(&nan, NAN, FLT_QNANBIT);
554 ATF_CHECK_MSG(isnan(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
558 ATF_CHECK_MSG(!issignalling(nan), "nan=%a [0x%s]", nan,
559 formatbitsf(&nan));
563 ATF_CHECK_MSG(!isinf(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
566 ATF_CHECK_MSG(!isnormal(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
569 ATF_CHECK_MSG(!issubnormal(nan), "nan=%a [0x%s]", nan,
570 formatbitsf(&nan));
573 ATF_CHECK_MSG(!iszero(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
576 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
578 nan, formatbitsf(&nan), fpclassify(nan), FP_NAN);
581 /* verify quiet NaN doesn't provoke exception */
583 volatile float y = nan + nan;
587 /* test a signalling NaN */
588 makequietsignallingf(&nan, NAN, FLT_SNANBIT);
590 ATF_CHECK_MSG(isnan(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
594 ATF_CHECK_MSG(issignalling(nan), "nan=%a [0x%s]", nan,
595 formatbitsf(&nan));
599 ATF_CHECK_MSG(!isinf(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
602 ATF_CHECK_MSG(!isnormal(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
605 ATF_CHECK_MSG(!issubnormal(nan), "nan=%a [0x%s]", nan,
606 formatbitsf(&nan));
609 ATF_CHECK_MSG(!iszero(nan), "nan=%a [0x%s]", nan, formatbitsf(&nan));
612 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
614 nan, formatbitsf(&nan), fpclassify(nan), FP_NAN);
617 /* verify signalling NaN does provoke exception */
628 volatile float z = nan + nan;
631 "signalling NaN %a [0x%s] failed to raise invalid operation",
632 nan, formatbitsf(&nan));
843 #ifdef NAN
845 volatile double nan = NAN;
848 ATF_CHECK_MSG(isnan(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
852 (void)issignalling(nan); /* could be quiet or signalling */
856 ATF_CHECK_MSG(!isinf(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
859 ATF_CHECK_MSG(!isnormal(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
862 ATF_CHECK_MSG(!issubnormal(nan), "nan=%a [0x%s]", nan,
863 formatbits(&nan));
866 ATF_CHECK_MSG(!iszero(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
869 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
871 nan, formatbits(&nan), fpclassify(nan), FP_NAN);
875 /* test a quiet NaN */
876 makequietsignalling(&nan, NAN, DBL_QNANBIT);
878 ATF_CHECK_MSG(isnan(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
882 ATF_CHECK_MSG(!issignalling(nan), "nan=%a [0x%s]", nan,
883 formatbits(&nan));
887 ATF_CHECK_MSG(!isinf(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
890 ATF_CHECK_MSG(!isnormal(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
893 ATF_CHECK_MSG(!issubnormal(nan), "nan=%a [0x%s]", nan,
894 formatbits(&nan));
897 ATF_CHECK_MSG(!iszero(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
900 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
902 nan, formatbits(&nan), fpclassify(nan), FP_NAN);
905 /* verify quiet NaN doesn't provoke exception */
907 volatile double y = nan + nan;
911 /* test a signalling NaN */
912 makequietsignalling(&nan, NAN, DBL_SNANBIT);
914 ATF_CHECK_MSG(isnan(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
920 " x87 makes testing signalling NaN difficult");
922 ATF_CHECK_MSG(issignalling(nan), "nan=%a [0x%s]", nan,
923 formatbits(&nan));
930 ATF_CHECK_MSG(!isinf(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
933 ATF_CHECK_MSG(!isnormal(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
936 ATF_CHECK_MSG(!issubnormal(nan), "nan=%a [0x%s]", nan,
937 formatbits(&nan));
940 ATF_CHECK_MSG(!iszero(nan), "nan=%a [0x%s]", nan, formatbits(&nan));
943 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
945 nan, formatbits(&nan), fpclassify(nan), FP_NAN);
948 /* verify signalling NaN does provoke exception */
959 volatile double z = nan + nan;
962 "signalling NaN %a [0x%s] failed to raise invalid operation",
963 nan, formatbits(&nan));
1175 #ifdef NAN
1177 volatile long double nan = NAN;
1180 ATF_CHECK_MSG(isnan(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
1184 (void)issignalling(nan); /* could be quiet or signalling */
1188 ATF_CHECK_MSG(!isinf(nannan=%La [0x%s]", nan, formatbitsl(&nan));
1191 ATF_CHECK_MSG(!isnormal(nan), "nan=%La [0x%s]", nan,
1192 formatbitsl(&nan));
1195 ATF_CHECK_MSG(!issubnormal(nan), "nan=%La [0x%s]", nan,
1196 formatbitsl(&nan));
1199 ATF_CHECK_MSG(!iszero(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
1202 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
1204 nan, formatbitsl(&nan), fpclassify(nan), FP_NAN);
1209 /* test a quiet NaN */
1210 makequietsignallingl(&nan, NAN, LDBL_QNANBITH);
1213 ATF_CHECK_MSG(isnan(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
1217 ATF_CHECK_MSG(!issignalling(nan), "nan=%La [0x%s]", nan,
1218 formatbitsl(&nan));
1222 ATF_CHECK_MSG(!isinf(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
1225 ATF_CHECK_MSG(!isnormal(nan), "nan=%La [0x%s]", nan,
1226 formatbitsl(&nan));
1229 ATF_CHECK_MSG(!issubnormal(nan), "nan=%La [0x%s]", nan,
1230 formatbitsl(&nan));
1233 ATF_CHECK_MSG(!iszero(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
1236 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
1238 nan, formatbitsl(&nan), fpclassify(nan), FP_NAN);
1241 /* verify quiet NaN doesn't provoke exception */
1243 volatile long double y = nan + nan;
1247 /* test a signalling NaN */
1248 makequietsignallingl(&nan, NAN, LDBL_SNANBITH);
1250 ATF_CHECK_MSG(isnan(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
1254 ATF_CHECK_MSG(issignalling(nan), "nan=%La [0x%s]", nan,
1255 formatbitsl(&nan));
1259 ATF_CHECK_MSG(!isinf(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
1262 ATF_CHECK_MSG(!isnormal(nan), "nan=%La [0x%s]", nan,
1263 formatbitsl(&nan));
1266 ATF_CHECK_MSG(!issubnormal(nan), "nan=%La [0x%s]", nan,
1267 formatbitsl(&nan));
1270 ATF_CHECK_MSG(!iszero(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
1273 ATF_CHECK_EQ_MSG(fpclassify(nan), FP_NAN,
1275 nan, formatbitsl(&nan), fpclassify(nan), FP_NAN);
1278 /* verify signalling NaN does provoke exception */
1289 volatile long double z = nan + nan;
1292 "signalling NaN %La [0x%s] failed to raise invalid operation",
1293 nan, formatbitsl(&nan));
Indexes created Mon Mar 02 05:31:46 UTC 2026