| 1234567891011121314151617181920212223242526 |
- # dmath_isnan
- # Independent oracle: Decimal at 430 and 570 digits / exact Fraction arithmetic.
- # Frozen bits and sweep require review; generation never recalibrates them.
- # Nonfinite outputs: nan checks classification; +/-inf checks classification and sign.
- # sweep 9622f57ee0966c45
- # case input0 input1 frozen0 frozen1 reference0 reference1 max_ulp
- positive_zero 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0p+0 y=0x0.0p+0
- negative_zero 8000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=-0x0.0p+0 y=0x0.0p+0
- least_subnormal 0000000000000001 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0000000000001p-1022 y=0x0.0p+0
- negative_least_subnormal 8000000000000001 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
- third_subnormal 0000000000000003 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0000000000003p-1022 y=0x0.0p+0
- negative_third_subnormal 8000000000000003 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
- largest_subnormal 000fffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
- negative_largest_subnormal 800fffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
- least_normal 0010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x1.0000000000000p-1022 y=0x0.0p+0
- negative_least_normal 8010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
- largest_finite 7fefffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
- negative_largest_finite ffefffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
- positive_infinity 7ff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=inf y=0x0.0p+0
- negative_infinity fff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=-inf y=0x0.0p+0
- quiet_nan_payload 7ff8abcdef135790 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=nan y=0x0.0p+0
- negative_quiet_nan_payload fff8abcdef135790 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=nan y=0x0.0p+0
- signaling_nan_payload 7ff0000000010248 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=nan y=0x0.0p+0
- negative_signaling_nan_payload fff0000000010248 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=nan y=0x0.0p+0
- all_fraction_bits_set 7fffffffffffffff 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=nan y=0x0.0p+0
- negative_all_bits_set ffffffffffffffff 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=nan y=0x0.0p+0
|
