| 123456789101112131415161718192021222324252627 |
- # dmath_fmax
- # 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 ab3537069a406f80
- # case input0 input1 frozen0 frozen1 reference0 reference1 max_ulp
- ordered_pair_0 0000000000000000 8000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0p+0 y=-0x0.0p+0
- ordered_pair_1 8000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=-0x0.0p+0 y=0x0.0p+0
- ordered_pair_2 8000000000000000 8000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x0.0p+0 y=-0x0.0p+0
- ordered_pair_3 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0p+0 y=0x0.0p+0
- ordered_pair_4 c01e800000000000 4009800000000000 4009800000000000 0000000000000000 4009800000000000 0000000000000000 0 # x=-0x1.e800000000000p+2 y=0x1.9800000000000p+1
- ordered_pair_5 0000000000000001 0000000000000003 0000000000000003 0000000000000000 0000000000000003 0000000000000000 0 # x=0x0.0000000000001p-1022 y=0x0.0000000000003p-1022
- ordered_pair_6 7ff0000000000000 4026400000000000 +inf 0000000000000000 +inf 0000000000000000 0 # x=inf y=0x1.6400000000000p+3
- ordered_pair_7 fff0000000000000 c026400000000000 c026400000000000 0000000000000000 c026400000000000 0000000000000000 0 # x=-inf y=-0x1.6400000000000p+3
- quiet_nan_payload_left 7ff8abcdef135790 402a800000000000 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=nan y=0x1.a800000000000p+3
- quiet_nan_payload_right 402a800000000000 7ff8abcdef135790 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=0x1.a800000000000p+3 y=nan
- quiet_nan_payload_both 7ff8abcdef135790 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=nan
- negative_quiet_nan_payload_left fff8abcdef135790 402a800000000000 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=nan y=0x1.a800000000000p+3
- negative_quiet_nan_payload_right 402a800000000000 fff8abcdef135790 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=0x1.a800000000000p+3 y=nan
- negative_quiet_nan_payload_both fff8abcdef135790 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=nan
- signaling_nan_payload_left 7ff0000000010248 402a800000000000 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=nan y=0x1.a800000000000p+3
- signaling_nan_payload_right 402a800000000000 7ff0000000010248 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=0x1.a800000000000p+3 y=nan
- signaling_nan_payload_both 7ff0000000010248 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=nan
- negative_signaling_nan_payload_left fff0000000010248 402a800000000000 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=nan y=0x1.a800000000000p+3
- negative_signaling_nan_payload_right 402a800000000000 fff0000000010248 402a800000000000 0000000000000000 402a800000000000 0000000000000000 0 # x=0x1.a800000000000p+3 y=nan
- negative_signaling_nan_payload_both fff0000000010248 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=nan
- equal_positive_numbers 4033e00000000000 4033e00000000000 4033e00000000000 0000000000000000 4033e00000000000 0000000000000000 0 # x=0x1.3e00000000000p+4 y=0x1.3e00000000000p+4
|
