# dmath_pow # 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 e4a43209f0c19324 # case input0 input1 frozen0 frozen1 reference0 reference1 max_ulp positive_fractional 400a800000000000 4001800000000000 402b788511b19c85 0000000000000000 402b788511b19c85 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x1.1800000000000p+1 negative_odd_integer c00a800000000000 401c000000000000 c0b11823d7dfd000 0000000000000000 c0b11823d7dfd000 0000000000000000 2 # x=-0x1.a800000000000p+1 y=0x1.c000000000000p+2 negative_even_integer c00a800000000000 4018000000000000 4094a4653ea40000 0000000000000000 4094a4653ea40000 0000000000000000 2 # x=-0x1.a800000000000p+1 y=0x1.8000000000000p+2 negative_reciprocal c00a800000000000 c01c000000000000 bf2df396239c3a45 0000000000000000 bf2df396239c3a45 0000000000000000 2 # x=-0x1.a800000000000p+1 y=-0x1.c000000000000p+2 negative_fractional_domain c00a800000000000 4001800000000000 nan 0000000000000000 nan 0000000000000000 2 # x=-0x1.a800000000000p+1 y=0x1.1800000000000p+1 square_shortcut 404abcdef1234567 4000000000000000 40a65745097be819 0000000000000000 40a65745097be819 0000000000000000 2 # x=0x1.abcdef1234567p+5 y=0x1.0000000000000p+1 cube_shortcut 404abcdef1234567 4008000000000000 4102aac47315362b 0000000000000000 4102aac47315362b 0000000000000000 2 # x=0x1.abcdef1234567p+5 y=0x1.8000000000000p+1 fourth_power_shortcut 404abcdef1234567 4010000000000000 415f31d9da05c393 0000000000000000 415f31d9da05c394 0000000000000000 2 # x=0x1.abcdef1234567p+5 y=0x1.0000000000000p+2 sqrt_shortcut 4037900000000000 3fe0000000000000 40136a9ef26f762f 0000000000000000 40136a9ef26f762f 0000000000000000 2 # x=0x1.7900000000000p+4 y=0x1.0000000000000p-1 reciprocal_shortcut 4037900000000000 bff0000000000000 3fa5babcc647fa91 0000000000000000 3fa5babcc647fa91 0000000000000000 2 # x=0x1.7900000000000p+4 y=-0x1.0000000000000p+0 near_one_large_positive 3ff0000000000003 4300000000000000 3ff747a513dbef6a 0000000000000000 3ff747a513dbef6a 0000000000000000 2 # x=0x1.0000000000003p+0 y=0x1.0000000000000p+49 near_one_large_negative 3feffffffffffffb c300000000000000 3ff5de9176045ff6 0000000000000000 3ff5de9176045ff6 0000000000000000 2 # x=0x1.ffffffffffffbp-1 y=-0x1.0000000000000p+49 finite_overflow 401e800000000000 40b0000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.e800000000000p+2 y=0x1.0000000000000p+12 finite_underflow 401e800000000000 c0b0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.e800000000000p+2 y=-0x1.0000000000000p+12 negative_odd_overflow c01e800000000000 40b0010000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x1.e800000000000p+2 y=0x1.0010000000000p+12 negative_odd_underflow c01e800000000000 c0b0010000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x1.e800000000000p+2 y=-0x1.0010000000000p+12 largest_odd_exponent bff0000000000000 433fffffffffffff bff0000000000000 0000000000000000 bff0000000000000 0000000000000000 2 # x=-0x1.0000000000000p+0 y=0x1.fffffffffffffp+52 first_even_only_binade bff0000000000000 4340000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x1.0000000000000p+0 y=0x1.0000000000000p+53 positive_zero_odd_power 0000000000000000 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.0p+0 y=0x1.c000000000000p+2 positive_zero_negative_odd_power 0000000000000000 c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x0.0p+0 y=-0x1.c000000000000p+2 positive_zero_zero_power 0000000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x0.0p+0 y=0x0.0p+0 positive_zero_exponent 400a800000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x0.0p+0 negative_zero_odd_power 8000000000000000 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.0p+0 y=0x1.c000000000000p+2 negative_zero_negative_odd_power 8000000000000000 c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x0.0p+0 y=-0x1.c000000000000p+2 negative_zero_zero_power 8000000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x0.0p+0 y=0x0.0p+0 negative_zero_exponent 400a800000000000 8000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x0.0p+0 least_subnormal_odd_power 0000000000000001 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.0000000000001p-1022 y=0x1.c000000000000p+2 least_subnormal_negative_odd_power 0000000000000001 c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x0.0000000000001p-1022 y=-0x1.c000000000000p+2 least_subnormal_zero_power 0000000000000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x0.0000000000001p-1022 y=0x0.0p+0 least_subnormal_exponent 400a800000000000 0000000000000001 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x0.0000000000001p-1022 negative_least_subnormal_odd_power 8000000000000001 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.0000000000001p-1022 y=0x1.c000000000000p+2 negative_least_subnormal_negative_odd_power 8000000000000001 c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x0.0000000000001p-1022 y=-0x1.c000000000000p+2 negative_least_subnormal_zero_power 8000000000000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x0.0000000000001p-1022 y=0x0.0p+0 negative_least_subnormal_exponent 400a800000000000 8000000000000001 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x0.0000000000001p-1022 third_subnormal_odd_power 0000000000000003 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.0000000000003p-1022 y=0x1.c000000000000p+2 third_subnormal_negative_odd_power 0000000000000003 c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x0.0000000000003p-1022 y=-0x1.c000000000000p+2 third_subnormal_zero_power 0000000000000003 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x0.0000000000003p-1022 y=0x0.0p+0 third_subnormal_exponent 400a800000000000 0000000000000003 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x0.0000000000003p-1022 negative_third_subnormal_odd_power 8000000000000003 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.0000000000003p-1022 y=0x1.c000000000000p+2 negative_third_subnormal_negative_odd_power 8000000000000003 c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x0.0000000000003p-1022 y=-0x1.c000000000000p+2 negative_third_subnormal_zero_power 8000000000000003 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x0.0000000000003p-1022 y=0x0.0p+0 negative_third_subnormal_exponent 400a800000000000 8000000000000003 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x0.0000000000003p-1022 largest_subnormal_odd_power 000fffffffffffff 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.fffffffffffffp-1022 y=0x1.c000000000000p+2 largest_subnormal_negative_odd_power 000fffffffffffff c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x0.fffffffffffffp-1022 y=-0x1.c000000000000p+2 largest_subnormal_zero_power 000fffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0 largest_subnormal_exponent 400a800000000000 000fffffffffffff 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x0.fffffffffffffp-1022 negative_largest_subnormal_odd_power 800fffffffffffff 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.fffffffffffffp-1022 y=0x1.c000000000000p+2 negative_largest_subnormal_negative_odd_power 800fffffffffffff c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x0.fffffffffffffp-1022 y=-0x1.c000000000000p+2 negative_largest_subnormal_zero_power 800fffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0 negative_largest_subnormal_exponent 400a800000000000 800fffffffffffff 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x0.fffffffffffffp-1022 least_normal_odd_power 0010000000000000 401c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.0000000000000p-1022 y=0x1.c000000000000p+2 least_normal_negative_odd_power 0010000000000000 c01c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.0000000000000p-1022 y=-0x1.c000000000000p+2 least_normal_zero_power 0010000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.0000000000000p-1022 y=0x0.0p+0 least_normal_exponent 400a800000000000 0010000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x1.0000000000000p-1022 negative_least_normal_odd_power 8010000000000000 401c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x1.0000000000000p-1022 y=0x1.c000000000000p+2 negative_least_normal_negative_odd_power 8010000000000000 c01c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x1.0000000000000p-1022 y=-0x1.c000000000000p+2 negative_least_normal_zero_power 8010000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x1.0000000000000p-1022 y=0x0.0p+0 negative_least_normal_exponent 400a800000000000 8010000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x1.0000000000000p-1022 largest_finite_odd_power 7fefffffffffffff 401c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.fffffffffffffp+1023 y=0x1.c000000000000p+2 largest_finite_negative_odd_power 7fefffffffffffff c01c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.fffffffffffffp+1023 y=-0x1.c000000000000p+2 largest_finite_zero_power 7fefffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0 largest_finite_exponent 400a800000000000 7fefffffffffffff +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.a800000000000p+1 y=0x1.fffffffffffffp+1023 negative_largest_finite_odd_power ffefffffffffffff 401c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-0x1.fffffffffffffp+1023 y=0x1.c000000000000p+2 negative_largest_finite_negative_odd_power ffefffffffffffff c01c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x1.fffffffffffffp+1023 y=-0x1.c000000000000p+2 negative_largest_finite_zero_power ffefffffffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0 negative_largest_finite_exponent 400a800000000000 ffefffffffffffff 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-0x1.fffffffffffffp+1023 positive_infinity_odd_power 7ff0000000000000 401c000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=inf y=0x1.c000000000000p+2 positive_infinity_negative_odd_power 7ff0000000000000 c01c000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=inf y=-0x1.c000000000000p+2 positive_infinity_zero_power 7ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=inf y=0x0.0p+0 positive_infinity_exponent 400a800000000000 7ff0000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=0x1.a800000000000p+1 y=inf negative_infinity_odd_power fff0000000000000 401c000000000000 -inf 0000000000000000 -inf 0000000000000000 2 # x=-inf y=0x1.c000000000000p+2 negative_infinity_negative_odd_power fff0000000000000 c01c000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-inf y=-0x1.c000000000000p+2 negative_infinity_zero_power fff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-inf y=0x0.0p+0 negative_infinity_exponent 400a800000000000 fff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.a800000000000p+1 y=-inf quiet_nan_payload_odd_power 7ff8abcdef135790 401c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=0x1.c000000000000p+2 quiet_nan_payload_negative_odd_power 7ff8abcdef135790 c01c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.c000000000000p+2 quiet_nan_payload_zero_power 7ff8abcdef135790 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=nan y=0x0.0p+0 quiet_nan_payload_exponent 400a800000000000 7ff8abcdef135790 nan 0000000000000000 nan 0000000000000000 2 # x=0x1.a800000000000p+1 y=nan negative_quiet_nan_payload_odd_power fff8abcdef135790 401c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=0x1.c000000000000p+2 negative_quiet_nan_payload_negative_odd_power fff8abcdef135790 c01c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.c000000000000p+2 negative_quiet_nan_payload_zero_power fff8abcdef135790 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=nan y=0x0.0p+0 negative_quiet_nan_payload_exponent 400a800000000000 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 2 # x=0x1.a800000000000p+1 y=nan signaling_nan_payload_odd_power 7ff0000000010248 401c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=0x1.c000000000000p+2 signaling_nan_payload_negative_odd_power 7ff0000000010248 c01c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.c000000000000p+2 signaling_nan_payload_zero_power 7ff0000000010248 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=nan y=0x0.0p+0 signaling_nan_payload_exponent 400a800000000000 7ff0000000010248 nan 0000000000000000 nan 0000000000000000 2 # x=0x1.a800000000000p+1 y=nan negative_signaling_nan_payload_odd_power fff0000000010248 401c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=0x1.c000000000000p+2 negative_signaling_nan_payload_negative_odd_power fff0000000010248 c01c000000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.c000000000000p+2 negative_signaling_nan_payload_zero_power fff0000000010248 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=nan y=0x0.0p+0 negative_signaling_nan_payload_exponent 400a800000000000 fff0000000010248 nan 0000000000000000 nan 0000000000000000 2 # x=0x1.a800000000000p+1 y=nan one_to_nan 3ff0000000000000 fff0000000010248 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=0x1.0000000000000p+0 y=nan negative_one_to_infinity bff0000000000000 7ff0000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 2 # x=-0x1.0000000000000p+0 y=inf negative_zero_fractional_pole 8000000000000000 bfd0000000000000 +inf 0000000000000000 +inf 0000000000000000 2 # x=-0x0.0p+0 y=-0x1.0000000000000p-2