mirror of
git://sourceware.org/git/glibc.git
synced 2025-04-06 14:10:30 +08:00
Move tests of fma from libm-test.inc to auto-libm-test-in.
This patch moves tests of fma to auto-libm-test-in, adding the required support to gen-auto-libm-tests. Because fma can have exact zero results depending on the rounding mode, results of fma cannot always be determined from a single value computed in higher precision with a sticky bit. Thus, this patch adds support for recomputing results with the original MPFR/MPC function in the case where an exact zero is involved. (This also affects some results for cpow; when we start testing cpow in all rounding modes, I think it will be most appropriate to make those tests use IGNORE_ZERO_INF_SIGN, since ISO C does not attempt to determine signs of zero results, or special caes in general, for cpow, and I think signs of zero for cpow are beyond the scope of glibc's accuracy goals.) Simply treating the existing test inputs for fma like those for other functions (i.e., as representing the given value rounded up or down to any of the supported floating-point formats) increases the size of auto-libm-test-out by about 16MB (i.e., about half the file is fma test data). While rounded versions of tests are perfectly reasonable test inputs for fma, in this case having them seems excessive, so this patch allows functions to specify in gen-auto-libm-tests that the given test inputs are only to be interpreted exactly, not as corresponding to values rounded up and down. This reduces the size of the generated test data for fma to a more reasonable 2MB. A consequence of this patch is that fma is now tested for correct presence or absence of "inexact" exceptions, where previously this wasn't tested because I didn't want to try to add that test coverage manually to all the existing tests. As far as I know, the existing fma implementations are already correct in this regard. This patch provides the first cases where the gen-auto-libm-tests support for distinguishing before-rounding/after-rounding underflow actually produces separate entries in auto-libm-test-out (for functions without exactly determined results, the affected cases are all considered underflow-optional, so this only affects functions like fma with exactly determined results). I didn't see any signs of problems with this logic in the output. Tested x86_64 and x86. * math/auto-libm-test-in: Add tests of fma. * math/auto-libm-test-out: Regenerated. * math/libm-test.inc (fma_test_data): Use AUTO_TESTS_fff_f. (fma_towardzero_test_data): Likewise. (fma_downward_test_data): Likewise. (fma_upward_test_data): Likewise. * math/gen-auto-libm-tests.c (rounding_mode_desc): Add field mpc_mode. (rounding_modes): Add values for new field. (func_calc_method): Add value mpfr_fff_f. (func_calc_desc): Add mpfr_fff_f union field. (test_function): Add field exact_args. (FUNC): Add macro argument EXACT_ARGS. (FUNC_mpfr_f_f): Update call to FUNC. (FUNC_mpfr_f_f): Likewise. (FUNC_mpfr_ff_f): Likewise. (FUNC_mpfr_if_f): Likewise. (FUNC_mpc_c_f): Likewise. (FUNC_mpc_c_c): Likewise. (test_functions): Add fma. Update calls to FUNC. (handle_input_arg): Add argument exact_args. (add_test): Update call to handle_input_arg. (calc_generic_results): Add argument mode. Handle mpfr_fff_f. (output_for_one_input_case): Update call to calc_generic_results. Recalculate exact zero results in each rounding mode.
This commit is contained in:
Joseph Myers
parent
a4fb786185
commit
c6af2d896c
26
ChangeLog
26
ChangeLog
@ -1,5 +1,31 @@
|
||||
2014-02-18 Joseph Myers <joseph@codesourcery.com>
|
||||
|
||||
* math/auto-libm-test-in: Add tests of fma.
|
||||
* math/auto-libm-test-out: Regenerated.
|
||||
* math/libm-test.inc (fma_test_data): Use AUTO_TESTS_fff_f.
|
||||
(fma_towardzero_test_data): Likewise.
|
||||
(fma_downward_test_data): Likewise.
|
||||
(fma_upward_test_data): Likewise.
|
||||
* math/gen-auto-libm-tests.c (rounding_mode_desc): Add field
|
||||
mpc_mode.
|
||||
(rounding_modes): Add values for new field.
|
||||
(func_calc_method): Add value mpfr_fff_f.
|
||||
(func_calc_desc): Add mpfr_fff_f union field.
|
||||
(test_function): Add field exact_args.
|
||||
(FUNC): Add macro argument EXACT_ARGS.
|
||||
(FUNC_mpfr_f_f): Update call to FUNC.
|
||||
(FUNC_mpfr_f_f): Likewise.
|
||||
(FUNC_mpfr_ff_f): Likewise.
|
||||
(FUNC_mpfr_if_f): Likewise.
|
||||
(FUNC_mpc_c_f): Likewise.
|
||||
(FUNC_mpc_c_c): Likewise.
|
||||
(test_functions): Add fma. Update calls to FUNC.
|
||||
(handle_input_arg): Add argument exact_args.
|
||||
(add_test): Update call to handle_input_arg.
|
||||
(calc_generic_results): Add argument mode. Handle mpfr_fff_f.
|
||||
(output_for_one_input_case): Update call to calc_generic_results.
|
||||
Recalculate exact zero results in each rounding mode.
|
||||
|
||||
* math/gen-auto-libm-tests.c (adjust_real): Ensure integers are
|
||||
non-negative before setting low bit.
|
||||
* math/auto-libm-test-in: Mark one asin test possibly having
|
||||
|
||||
@ -826,6 +826,260 @@ expm1 -0x1p-64
|
||||
expm1 0x1p-100
|
||||
expm1 -0x1p-100
|
||||
|
||||
fma 1.0 2.0 3.0
|
||||
fma 1.25 0.75 0.0625
|
||||
|
||||
fma 0 0 0
|
||||
fma 0 0 -0
|
||||
fma 0 -0 0
|
||||
fma 0 -0 -0
|
||||
fma -0 0 0
|
||||
fma -0 0 -0
|
||||
fma -0 -0 0
|
||||
fma -0 -0 -0
|
||||
fma 1.0 0 0
|
||||
fma 1.0 0 -0
|
||||
fma 1.0 -0 0
|
||||
fma 1.0 -0 -0
|
||||
fma -1.0 0 0
|
||||
fma -1.0 0 -0
|
||||
fma -1.0 -0 0
|
||||
fma -1.0 -0 -0
|
||||
fma 0 1.0 0
|
||||
fma 0 1.0 -0
|
||||
fma 0 -1.0 0
|
||||
fma 0 -1.0 -0
|
||||
fma -0 1.0 0
|
||||
fma -0 1.0 -0
|
||||
fma -0 -1.0 0
|
||||
fma -0 -1.0 -0
|
||||
|
||||
fma 1.0 1.0 -1.0
|
||||
fma 1.0 -1.0 1.0
|
||||
fma -1.0 1.0 1.0
|
||||
fma -1.0 -1.0 -1.0
|
||||
|
||||
# Bug 6801: errno setting may be missing.
|
||||
fma min min 0 missing-errno
|
||||
fma min min -0 missing-errno
|
||||
fma min -min 0 missing-errno
|
||||
fma min -min -0 missing-errno
|
||||
fma -min min 0 missing-errno
|
||||
fma -min min -0 missing-errno
|
||||
fma -min -min 0 missing-errno
|
||||
fma -min -min -0 missing-errno
|
||||
|
||||
# Bug 6801: errno setting may be missing.
|
||||
# Bug 13304: results on directed rounding may be incorrect.
|
||||
fma max max min missing-errno xfail-rounding:ldbl-128ibm
|
||||
fma max max -min missing-errno xfail-rounding:ldbl-128ibm
|
||||
fma max -max min missing-errno xfail-rounding:ldbl-128ibm
|
||||
fma max -max -min missing-errno xfail-rounding:ldbl-128ibm
|
||||
fma -max max min missing-errno xfail-rounding:ldbl-128ibm
|
||||
fma -max max -min missing-errno xfail-rounding:ldbl-128ibm
|
||||
fma -max -max min missing-errno xfail-rounding:ldbl-128ibm
|
||||
fma -max -max -min missing-errno xfail-rounding:ldbl-128ibm
|
||||
|
||||
fma 0x1.7ff8p+13 0x1.000002p+0 0x1.ffffp-24
|
||||
fma 0x1.fffp+0 0x1.00001p+0 -0x1.fffp+0
|
||||
fma 0x1.9abcdep+127 0x0.9abcdep-126 -0x1.f08948p+0
|
||||
fma 0x1.9abcdep+100 0x0.9abcdep-126 -0x1.f08948p-27
|
||||
fma 0x1.fffffep+127 0x1.001p+0 -0x1.fffffep+127
|
||||
fma -0x1.fffffep+127 0x1.fffffep+0 0x1.fffffep+127
|
||||
fma 0x1.fffffep+127 2.0 -0x1.fffffep+127
|
||||
fma 0x1.4p-126 0x1.000004p-1 0x1p-128
|
||||
fma -0x1.4p-126 0x1.000004p-1 -0x1p-128
|
||||
fma 0x1.fffff8p-126 0x1.000002p-1 0x1p-149
|
||||
fma -0x1.fffff8p-126 0x1.000002p-1 -0x1p-149
|
||||
fma 0x1p-149 0x1p-1 0x0.fffffep-126
|
||||
fma -0x1p-149 0x1p-1 -0x0.fffffep-126
|
||||
fma 0x1p-149 0x1.1p-1 0x0.fffffep-126
|
||||
fma -0x1p-149 0x1.1p-1 -0x0.fffffep-126
|
||||
fma 0x1p-149 0x1p-149 0x1p127
|
||||
fma 0x1p-149 -0x1p-149 0x1p127
|
||||
fma 0x1p-149 0x1p-149 -0x1p127
|
||||
fma 0x1p-149 -0x1p-149 -0x1p127
|
||||
fma 0x1p-149 0x1p-149 0x1p-126
|
||||
fma 0x1p-149 -0x1p-149 0x1p-126
|
||||
fma 0x1p-149 0x1p-149 -0x1p-126
|
||||
fma 0x1p-149 -0x1p-149 -0x1p-126
|
||||
fma 0x1p-149 0x1p-149 0x0.fffffep-126
|
||||
fma 0x1p-149 -0x1p-149 0x0.fffffep-126
|
||||
fma 0x1p-149 0x1p-149 -0x0.fffffep-126
|
||||
fma 0x1p-149 -0x1p-149 -0x0.fffffep-126
|
||||
fma 0x1p-149 0x1p-149 0x1p-149
|
||||
# Bug 6801: errno setting may be missing.
|
||||
fma 0x1p-149 -0x1p-149 0x1p-149 missing-errno
|
||||
fma 0x1p-149 0x1p-149 -0x1p-149 missing-errno
|
||||
fma 0x1p-149 -0x1p-149 -0x1p-149
|
||||
fma 0x0.fffp0 0x0.fffp0 -0x0.ffep0
|
||||
fma 0x0.fffp0 -0x0.fffp0 0x0.ffep0
|
||||
fma -0x0.fffp0 0x0.fffp0 0x0.ffep0
|
||||
fma -0x0.fffp0 -0x0.fffp0 -0x0.ffep0
|
||||
fma 0x1.000002p-126 0x1.000002p-26 0x1p127
|
||||
fma 0x1.000002p-126 -0x1.000002p-26 0x1p127
|
||||
fma 0x1.000002p-126 0x1.000002p-26 -0x1p127
|
||||
fma 0x1.000002p-126 -0x1.000002p-26 -0x1p127
|
||||
fma 0x1.000002p-126 0x1.000002p-26 0x1p103
|
||||
fma 0x1.000002p-126 -0x1.000002p-26 0x1p103
|
||||
fma 0x1.000002p-126 0x1.000002p-26 -0x1p103
|
||||
fma 0x1.000002p-126 -0x1.000002p-26 -0x1p103
|
||||
|
||||
fma 0x1.7fp+13 0x1.0000000000001p+0 0x1.ffep-48
|
||||
fma 0x1.fffp+0 0x1.0000000000001p+0 -0x1.fffp+0
|
||||
fma 0x1.0000002p+0 0x1.ffffffcp-1 0x1p-300
|
||||
fma 0x1.0000002p+0 0x1.ffffffcp-1 -0x1p-300
|
||||
fma 0x1.deadbeef2feedp+1023 0x0.deadbeef2feedp-1022 -0x1.a05f8c01a4bfbp+1
|
||||
fma 0x1.deadbeef2feedp+900 0x0.deadbeef2feedp-1022 -0x1.a05f8c01a4bfbp-122
|
||||
fma 0x1.fffffffffffffp+1023 0x1.001p+0 -0x1.fffffffffffffp+1023
|
||||
fma -0x1.fffffffffffffp+1023 0x1.fffffffffffffp+0 0x1.fffffffffffffp+1023
|
||||
fma 0x1.fffffffffffffp+1023 2.0 -0x1.fffffffffffffp+1023
|
||||
# Bug 6801: errno setting may be missing.
|
||||
fma 0x1.6a09e667f3bccp-538 0x1.6a09e667f3bccp-538 0.0 missing-errno
|
||||
fma 0x1.deadbeef2feedp-495 0x1.deadbeef2feedp-495 -0x1.bf86a5786a574p-989
|
||||
fma 0x1.deadbeef2feedp-503 0x1.deadbeef2feedp-503 -0x1.bf86a5786a574p-1005
|
||||
fma 0x1p-537 0x1p-538 0x1p-1074
|
||||
fma 0x1.7fffff8p-968 0x1p-106 0x0.000001p-1022
|
||||
fma 0x1.4000004p-967 0x1p-106 0x0.000001p-1022
|
||||
fma 0x1.4p-967 -0x1p-106 -0x0.000001p-1022
|
||||
fma -0x1.19cab66d73e17p-959 0x1.c7108a8c5ff51p-107 -0x0.80b0ad65d9b64p-1022
|
||||
fma -0x1.d2eaed6e8e9d3p-979 -0x1.4e066c62ac9ddp-63 -0x0.9245e6b003454p-1022
|
||||
fma 0x1.153d650bb9f06p-907 0x1.2d01230d48407p-125 -0x0.b278d5acfc3cp-1022
|
||||
fma -0x1.fffffffffffffp-711 0x1.fffffffffffffp-275 0x1.fffffe00007ffp-983
|
||||
fma 0x1.4p-1022 0x1.0000000000002p-1 0x1p-1024
|
||||
fma -0x1.4p-1022 0x1.0000000000002p-1 -0x1p-1024
|
||||
fma 0x1.ffffffffffffcp-1022 0x1.0000000000001p-1 0x1p-1074
|
||||
fma -0x1.ffffffffffffcp-1022 0x1.0000000000001p-1 -0x1p-1074
|
||||
fma 0x1p-1074 0x1p-1 0x0.fffffffffffffp-1022
|
||||
fma -0x1p-1074 0x1p-1 -0x0.fffffffffffffp-1022
|
||||
fma 0x1p-1074 0x1.1p-1 0x0.fffffffffffffp-1022
|
||||
fma -0x1p-1074 0x1.1p-1 -0x0.fffffffffffffp-1022
|
||||
fma 0x1p-1074 0x1p-1074 0x1p1023
|
||||
fma 0x1p-1074 -0x1p-1074 0x1p1023
|
||||
fma 0x1p-1074 0x1p-1074 -0x1p1023
|
||||
fma 0x1p-1074 -0x1p-1074 -0x1p1023
|
||||
fma 0x1p-1074 0x1p-1074 0x1p-1022
|
||||
fma 0x1p-1074 -0x1p-1074 0x1p-1022
|
||||
fma 0x1p-1074 0x1p-1074 -0x1p-1022
|
||||
fma 0x1p-1074 -0x1p-1074 -0x1p-1022
|
||||
fma 0x1p-1074 0x1p-1074 0x0.fffffffffffffp-1022
|
||||
fma 0x1p-1074 -0x1p-1074 0x0.fffffffffffffp-1022
|
||||
fma 0x1p-1074 0x1p-1074 -0x0.fffffffffffffp-1022
|
||||
fma 0x1p-1074 -0x1p-1074 -0x0.fffffffffffffp-1022
|
||||
fma 0x1p-1074 0x1p-1074 0x1p-1074
|
||||
# Bug 6801: errno setting may be missing.
|
||||
fma 0x1p-1074 -0x1p-1074 0x1p-1074 missing-errno
|
||||
fma 0x1p-1074 0x1p-1074 -0x1p-1074 missing-errno
|
||||
fma 0x1p-1074 -0x1p-1074 -0x1p-1074
|
||||
fma 0x0.fffffffffffff8p0 0x0.fffffffffffff8p0 -0x0.fffffffffffffp0
|
||||
fma 0x0.fffffffffffff8p0 -0x0.fffffffffffff8p0 0x0.fffffffffffffp0
|
||||
fma -0x0.fffffffffffff8p0 0x0.fffffffffffff8p0 0x0.fffffffffffffp0
|
||||
fma -0x0.fffffffffffff8p0 -0x0.fffffffffffff8p0 -0x0.fffffffffffffp0
|
||||
fma 0x1.0000000000001p-1022 0x1.0000000000001p-55 0x1p1023
|
||||
fma 0x1.0000000000001p-1022 -0x1.0000000000001p-55 0x1p1023
|
||||
fma 0x1.0000000000001p-1022 0x1.0000000000001p-55 -0x1p1023
|
||||
fma 0x1.0000000000001p-1022 -0x1.0000000000001p-55 -0x1p1023
|
||||
fma 0x1.0000000000001p-1022 0x1.0000000000001p-55 0x1p970
|
||||
fma 0x1.0000000000001p-1022 -0x1.0000000000001p-55 0x1p970
|
||||
fma 0x1.0000000000001p-1022 0x1.0000000000001p-55 -0x1p970
|
||||
fma 0x1.0000000000001p-1022 -0x1.0000000000001p-55 -0x1p970
|
||||
|
||||
fma -0x8.03fcp+3696 0xf.fffffffffffffffp-6140 0x8.3ffffffffffffffp-2450
|
||||
fma 0x9.fcp+2033 -0x8.000e1f000ff800fp-3613 -0xf.fffffffffffc0ffp-1579
|
||||
fma 0xc.7fc000003ffffffp-1194 0x8.1e0003fffffffffp+15327 -0x8.fffep+14072
|
||||
fma -0x8.0001fc000000003p+1798 0xcp-2230 0x8.f7e000000000007p-468
|
||||
fma 0xc.0000000000007ffp+10130 -0x8.000000000000001p+4430 0xc.07000000001ffffp+14513
|
||||
fma 0xb.ffffp-4777 0x8.000000fffffffffp-11612 -0x0.3800fff8p-16385
|
||||
fma 0x1.4p-16382 0x1.0000000000000004p-1 0x1p-16384
|
||||
fma -0x1.4p-16382 0x1.0000000000000004p-1 -0x1p-16384
|
||||
fma 0x1.fffffffffffffff8p-16382 0x1.0000000000000002p-1 0x1p-16445
|
||||
fma -0x1.fffffffffffffff8p-16382 0x1.0000000000000002p-1 -0x1p-16445
|
||||
fma 0x1p-16445 0x1p-1 0x0.fffffffffffffffep-16382
|
||||
fma -0x1p-16445 0x1p-1 -0x0.fffffffffffffffep-16382
|
||||
fma 0x1p-16445 0x1.1p-1 0x0.fffffffffffffffep-16382
|
||||
fma -0x1p-16445 0x1.1p-1 -0x0.fffffffffffffffep-16382
|
||||
fma 0x1p-16445 0x1p-16445 0x1p16383
|
||||
fma 0x1p-16445 -0x1p-16445 0x1p16383
|
||||
fma 0x1p-16445 0x1p-16445 -0x1p16383
|
||||
fma 0x1p-16445 -0x1p-16445 -0x1p16383
|
||||
fma 0x1p-16445 0x1p-16445 0x1p-16382
|
||||
fma 0x1p-16445 -0x1p-16445 0x1p-16382
|
||||
fma 0x1p-16445 0x1p-16445 -0x1p-16382
|
||||
fma 0x1p-16445 -0x1p-16445 -0x1p-16382
|
||||
fma 0x1p-16445 0x1p-16445 0x0.fffffffffffffffep-16382
|
||||
fma 0x1p-16445 -0x1p-16445 0x0.fffffffffffffffep-16382
|
||||
fma 0x1p-16445 0x1p-16445 -0x0.fffffffffffffffep-16382
|
||||
fma 0x1p-16445 -0x1p-16445 -0x0.fffffffffffffffep-16382
|
||||
fma 0x1p-16445 0x1p-16445 0x1p-16445
|
||||
# Bug 6801: errno setting may be missing.
|
||||
fma 0x1p-16445 -0x1p-16445 0x1p-16445 missing-errno
|
||||
fma 0x1p-16445 0x1p-16445 -0x1p-16445 missing-errno
|
||||
fma 0x1p-16445 -0x1p-16445 -0x1p-16445
|
||||
fma 0x0.ffffffffffffffffp0 0x0.ffffffffffffffffp0 -0x0.fffffffffffffffep0
|
||||
fma 0x0.ffffffffffffffffp0 -0x0.ffffffffffffffffp0 0x0.fffffffffffffffep0
|
||||
fma -0x0.ffffffffffffffffp0 0x0.ffffffffffffffffp0 0x0.fffffffffffffffep0
|
||||
fma -0x0.ffffffffffffffffp0 -0x0.ffffffffffffffffp0 -0x0.fffffffffffffffep0
|
||||
fma 0x1.0000000000000002p-16382 0x1.0000000000000002p-66 0x1p16383
|
||||
fma 0x1.0000000000000002p-16382 -0x1.0000000000000002p-66 0x1p16383
|
||||
fma 0x1.0000000000000002p-16382 0x1.0000000000000002p-66 -0x1p16383
|
||||
fma 0x1.0000000000000002p-16382 -0x1.0000000000000002p-66 -0x1p16383
|
||||
fma 0x1.0000000000000002p-16382 0x1.0000000000000002p-66 0x1p16319
|
||||
fma 0x1.0000000000000002p-16382 -0x1.0000000000000002p-66 0x1p16319
|
||||
fma 0x1.0000000000000002p-16382 0x1.0000000000000002p-66 -0x1p16319
|
||||
fma 0x1.0000000000000002p-16382 -0x1.0000000000000002p-66 -0x1p16319
|
||||
|
||||
fma 0x1.bb2de33e02ccbbfa6e245a7c1f71p-2584 -0x1.6b500daf0580d987f1bc0cadfcddp-13777 0x1.613cd91d9fed34b33820e5ab9d8dp-16378
|
||||
fma -0x1.f949b880cacb0f0c61540105321dp-5954 -0x1.3876cec84b4140f3bd6198731b7ep-10525 -0x0.a5dc1c6cfbc498c54fb0b504bf19p-16382
|
||||
fma -0x1.0000fffffffffp-16221 0x1.0000001fffff8007fep-239 0x0.ff87ffffffffffffe000003fffffp-16382
|
||||
fma -0x1.ac79c9376ef447f3827c9e9de008p-2228 -0x1.5ba830022b6139e21fbe7270cad8p-6314 0x1.e8282b6a26bb6a9daf5c8e73e9f9p-8616
|
||||
fma -0x1.c69749ec574caaa2ab8e97ddb9f3p+2652 0x1.f34235ff9d095449c29b4831b62dp+3311 0x1.fbe4302df23354dbd0c4d3cfe606p+5879
|
||||
fma -0x1.ca8835fc6ecfb5398625fc891be5p-1686 0x1.621e1972bbe2180e5be9dd7d8df5p-7671 -0x1.7d2d21b73b52cf20dec2a83902a4p-9395
|
||||
fma -0x1.55cff679ec49c2541fab41fc843ep-11819 0x1.e60e9f464f9e8df0509647c7c971p+12325 0x1.eaa2a7649d765c2f564f7a5beca7p+454
|
||||
fma 0x1.f0e7b1454908576f2537d863cf9bp+11432 0x1.cdce52f09d4ca76e68706f34b5d5p-1417 -0x1.2e986187c70f146235ea2066e486p+9979
|
||||
fma 0x1.f102f7da4a57a3a4aab620e29452p-3098 -0x1.cc06a4ff40248f9e2dcc4b6afd84p-11727 0x1.d512a11126b5ac8ed8973b8580c8p-14849
|
||||
fma -0x1.fc47ac7434b993cd8dcb2b431f25p-3816 0x1.fbc9750da8468852d84558e1db6dp-5773 -0x1.00a98abf783f75c40fe5b7a37d86p-9607
|
||||
fma 0x1.00000000000007ffffffffffffffp-9045 -0x1.ffffffffffff80000001ffffffffp+4773 -0x1.f8p-4316
|
||||
fma 0x1.4e922764c90701d4a2f21d01893dp-8683 -0x1.955a12e2d7c9447c27fa022fc865p+212 -0x1.e9634462eaef96528b90b6944578p-8521
|
||||
fma 0x1.801181509c03bdbef10d6165588cp-15131 0x1.ad86f8e57d3d40bfa8007780af63p-368 -0x1.6e9df0dab1c9f1d7a6043c390741p-15507
|
||||
fma 0x1.ffffffffffffffp0 0x1.000000000000008p0 -0x1p-1000
|
||||
fma 0x1.4p-16382 0x1.0000000000000000000000000002p-1 0x1p-16384
|
||||
fma -0x1.4p-16382 0x1.0000000000000000000000000002p-1 -0x1p-16384
|
||||
fma 0x1.fffffffffffffffffffffffffffcp-16382 0x1.0000000000000000000000000001p-1 0x1p-16494
|
||||
fma -0x1.fffffffffffffffffffffffffffcp-16382 0x1.0000000000000000000000000001p-1 -0x1p-16494
|
||||
fma 0x1p-16494 0x1p-1 0x0.ffffffffffffffffffffffffffffp-16382
|
||||
fma -0x1p-16494 0x1p-1 -0x0.ffffffffffffffffffffffffffffp-16382
|
||||
fma 0x1p-16494 0x1.1p-1 0x0.ffffffffffffffffffffffffffffp-16382
|
||||
fma -0x1p-16494 0x1.1p-1 -0x0.ffffffffffffffffffffffffffffp-16382
|
||||
fma 0x1p-16494 0x1p-16494 0x1p16383
|
||||
fma 0x1p-16494 -0x1p-16494 0x1p16383
|
||||
fma 0x1p-16494 0x1p-16494 -0x1p16383
|
||||
fma 0x1p-16494 -0x1p-16494 -0x1p16383
|
||||
fma 0x1p-16494 0x1p-16494 0x1p-16382
|
||||
fma 0x1p-16494 -0x1p-16494 0x1p-16382
|
||||
fma 0x1p-16494 0x1p-16494 -0x1p-16382
|
||||
fma 0x1p-16494 -0x1p-16494 -0x1p-16382
|
||||
fma 0x1p-16494 0x1p-16494 0x0.ffffffffffffffffffffffffffffp-16382
|
||||
fma 0x1p-16494 -0x1p-16494 0x0.ffffffffffffffffffffffffffffp-16382
|
||||
fma 0x1p-16494 0x1p-16494 -0x0.ffffffffffffffffffffffffffffp-16382
|
||||
fma 0x1p-16494 -0x1p-16494 -0x0.ffffffffffffffffffffffffffffp-16382
|
||||
fma 0x1p-16494 0x1p-16494 0x1p-16494
|
||||
# Bug 6801: errno setting may be missing.
|
||||
fma 0x1p-16494 -0x1p-16494 0x1p-16494 missing-errno
|
||||
fma 0x1p-16494 0x1p-16494 -0x1p-16494 missing-errno
|
||||
fma 0x1p-16494 -0x1p-16494 -0x1p-16494
|
||||
fma 0x0.ffffffffffffffffffffffffffff8p0 0x0.ffffffffffffffffffffffffffff8p0 -0x0.ffffffffffffffffffffffffffffp0
|
||||
fma 0x0.ffffffffffffffffffffffffffff8p0 -0x0.ffffffffffffffffffffffffffff8p0 0x0.ffffffffffffffffffffffffffffp0
|
||||
fma -0x0.ffffffffffffffffffffffffffff8p0 0x0.ffffffffffffffffffffffffffff8p0 0x0.ffffffffffffffffffffffffffffp0
|
||||
fma -0x0.ffffffffffffffffffffffffffff8p0 -0x0.ffffffffffffffffffffffffffff8p0 -0x0.ffffffffffffffffffffffffffffp0
|
||||
fma 0x1.0000000000000000000000000001p-16382 0x1.0000000000000000000000000001p-66 0x1p16383
|
||||
fma 0x1.0000000000000000000000000001p-16382 -0x1.0000000000000000000000000001p-66 0x1p16383
|
||||
fma 0x1.0000000000000000000000000001p-16382 0x1.0000000000000000000000000001p-66 -0x1p16383
|
||||
fma 0x1.0000000000000000000000000001p-16382 -0x1.0000000000000000000000000001p-66 -0x1p16383
|
||||
fma 0x1.0000000000000000000000000001p-16382 0x1.0000000000000000000000000001p-66 0x1p16319
|
||||
fma 0x1.0000000000000000000000000001p-16382 -0x1.0000000000000000000000000001p-66 0x1p16319
|
||||
fma 0x1.0000000000000000000000000001p-16382 0x1.0000000000000000000000000001p-66 -0x1p16319
|
||||
fma 0x1.0000000000000000000000000001p-16382 -0x1.0000000000000000000000000001p-66 -0x1p16319
|
||||
|
||||
hypot 0 0
|
||||
hypot 0 -0
|
||||
hypot -0 0
|
||||
|
||||
15081
math/auto-libm-test-out
15081
math/auto-libm-test-out
File diff suppressed because it is too large
Load Diff
@ -210,16 +210,18 @@ typedef struct
|
||||
const char *name;
|
||||
/* The MPFR rounding mode. */
|
||||
mpfr_rnd_t mpfr_mode;
|
||||
/* The MPC rounding mode. */
|
||||
mpc_rnd_t mpc_mode;
|
||||
} rounding_mode_desc;
|
||||
|
||||
/* List of rounding modes, in the same order as the rounding_mode
|
||||
enumeration. */
|
||||
static const rounding_mode_desc rounding_modes[rm_num_modes] =
|
||||
{
|
||||
{ "downward", MPFR_RNDD },
|
||||
{ "tonearest", MPFR_RNDN },
|
||||
{ "towardzero", MPFR_RNDZ },
|
||||
{ "upward", MPFR_RNDU },
|
||||
{ "downward", MPFR_RNDD, MPC_RNDDD },
|
||||
{ "tonearest", MPFR_RNDN, MPC_RNDNN },
|
||||
{ "towardzero", MPFR_RNDZ, MPC_RNDZZ },
|
||||
{ "upward", MPFR_RNDU, MPC_RNDUU },
|
||||
};
|
||||
|
||||
/* The supported exceptions. */
|
||||
@ -394,6 +396,8 @@ typedef enum
|
||||
mpfr_f_f,
|
||||
/* MPFR function with two arguments and one result. */
|
||||
mpfr_ff_f,
|
||||
/* MPFR function with three arguments and one result. */
|
||||
mpfr_fff_f,
|
||||
/* MPFR function with a single argument and floating-point and
|
||||
integer results. */
|
||||
mpfr_f_f1,
|
||||
@ -424,6 +428,8 @@ typedef struct
|
||||
{
|
||||
int (*mpfr_f_f) (mpfr_t, const mpfr_t, mpfr_rnd_t);
|
||||
int (*mpfr_ff_f) (mpfr_t, const mpfr_t, const mpfr_t, mpfr_rnd_t);
|
||||
int (*mpfr_fff_f) (mpfr_t, const mpfr_t, const mpfr_t, const mpfr_t,
|
||||
mpfr_rnd_t);
|
||||
int (*mpfr_f_f1) (mpfr_t, int *, const mpfr_t, mpfr_rnd_t);
|
||||
int (*mpfr_if_f) (mpfr_t, long, const mpfr_t, mpfr_rnd_t);
|
||||
int (*mpfr_f_11) (mpfr_t, mpfr_t, const mpfr_t, mpfr_rnd_t);
|
||||
@ -452,6 +458,10 @@ typedef struct
|
||||
/* Whether the function is a complex function, so errno setting is
|
||||
optional. */
|
||||
bool complex_fn;
|
||||
/* Whether to treat arguments given as floating-point constants as
|
||||
exact only, rather than rounding them up and down to all
|
||||
formats. */
|
||||
bool exact_args;
|
||||
/* How to calculate this function. */
|
||||
func_calc_desc calc;
|
||||
/* The number of tests allocated for this function. */
|
||||
@ -469,26 +479,26 @@ typedef struct
|
||||
#define RET1(T1) 1, { T1 }
|
||||
#define RET2(T1, T2) 2, { T1, T2 }
|
||||
#define CALC(TYPE, FN) { TYPE, { .TYPE = FN } }
|
||||
#define FUNC(NAME, ARGS, RET, EXACT, COMPLEX_FN, CALC) \
|
||||
{ \
|
||||
NAME, ARGS, RET, EXACT, COMPLEX_FN, CALC, 0, 0, NULL \
|
||||
#define FUNC(NAME, ARGS, RET, EXACT, COMPLEX_FN, EXACT_ARGS, CALC) \
|
||||
{ \
|
||||
NAME, ARGS, RET, EXACT, COMPLEX_FN, EXACT_ARGS, CALC, 0, 0, NULL \
|
||||
}
|
||||
|
||||
#define FUNC_mpfr_f_f(NAME, MPFR_FUNC, EXACT) \
|
||||
FUNC (NAME, ARGS1 (type_fp), RET1 (type_fp), EXACT, false, \
|
||||
#define FUNC_mpfr_f_f(NAME, MPFR_FUNC, EXACT) \
|
||||
FUNC (NAME, ARGS1 (type_fp), RET1 (type_fp), EXACT, false, false, \
|
||||
CALC (mpfr_f_f, MPFR_FUNC))
|
||||
#define FUNC_mpfr_ff_f(NAME, MPFR_FUNC, EXACT) \
|
||||
FUNC (NAME, ARGS2 (type_fp, type_fp), RET1 (type_fp), EXACT, false, \
|
||||
CALC (mpfr_ff_f, MPFR_FUNC))
|
||||
false, CALC (mpfr_ff_f, MPFR_FUNC))
|
||||
#define FUNC_mpfr_if_f(NAME, MPFR_FUNC, EXACT) \
|
||||
FUNC (NAME, ARGS2 (type_int, type_fp), RET1 (type_fp), EXACT, false, \
|
||||
CALC (mpfr_if_f, MPFR_FUNC))
|
||||
false, CALC (mpfr_if_f, MPFR_FUNC))
|
||||
#define FUNC_mpc_c_f(NAME, MPFR_FUNC, EXACT) \
|
||||
FUNC (NAME, ARGS2 (type_fp, type_fp), RET1 (type_fp), EXACT, true, \
|
||||
CALC (mpc_c_f, MPFR_FUNC))
|
||||
false, CALC (mpc_c_f, MPFR_FUNC))
|
||||
#define FUNC_mpc_c_c(NAME, MPFR_FUNC, EXACT) \
|
||||
FUNC (NAME, ARGS2 (type_fp, type_fp), RET2 (type_fp, type_fp), EXACT, \
|
||||
true, CALC (mpc_c_c, MPFR_FUNC))
|
||||
true, false, CALC (mpc_c_c, MPFR_FUNC))
|
||||
|
||||
/* List of functions handled by this program. */
|
||||
static test_function test_functions[] =
|
||||
@ -517,7 +527,8 @@ static test_function test_functions[] =
|
||||
FUNC_mpfr_f_f ("cos", mpfr_cos, false),
|
||||
FUNC_mpfr_f_f ("cosh", mpfr_cosh, false),
|
||||
FUNC ("cpow", ARGS4 (type_fp, type_fp, type_fp, type_fp),
|
||||
RET2 (type_fp, type_fp), false, true, CALC (mpc_cc_c, mpc_pow)),
|
||||
RET2 (type_fp, type_fp), false, true, false,
|
||||
CALC (mpc_cc_c, mpc_pow)),
|
||||
FUNC_mpc_c_c ("csin", mpc_sin, false),
|
||||
FUNC_mpc_c_c ("csinh", mpc_sinh, false),
|
||||
FUNC_mpc_c_c ("csqrt", mpc_sqrt, false),
|
||||
@ -529,12 +540,14 @@ static test_function test_functions[] =
|
||||
FUNC_mpfr_f_f ("exp10", mpfr_exp10, false),
|
||||
FUNC_mpfr_f_f ("exp2", mpfr_exp2, false),
|
||||
FUNC_mpfr_f_f ("expm1", mpfr_expm1, false),
|
||||
FUNC ("fma", ARGS3 (type_fp, type_fp, type_fp), RET1 (type_fp),
|
||||
true, false, true, CALC (mpfr_fff_f, mpfr_fma)),
|
||||
FUNC_mpfr_ff_f ("hypot", mpfr_hypot, false),
|
||||
FUNC_mpfr_f_f ("j0", mpfr_j0, false),
|
||||
FUNC_mpfr_f_f ("j1", mpfr_j1, false),
|
||||
FUNC_mpfr_if_f ("jn", mpfr_jn, false),
|
||||
FUNC ("lgamma", ARGS1 (type_fp), RET2 (type_fp, type_int), false, false,
|
||||
CALC (mpfr_f_f1, mpfr_lgamma)),
|
||||
false, CALC (mpfr_f_f1, mpfr_lgamma)),
|
||||
FUNC_mpfr_f_f ("log", mpfr_log, false),
|
||||
FUNC_mpfr_f_f ("log10", mpfr_log10, false),
|
||||
FUNC_mpfr_f_f ("log1p", mpfr_log1p, false),
|
||||
@ -542,7 +555,7 @@ static test_function test_functions[] =
|
||||
FUNC_mpfr_ff_f ("pow", mpfr_pow, false),
|
||||
FUNC_mpfr_f_f ("sin", mpfr_sin, false),
|
||||
FUNC ("sincos", ARGS1 (type_fp), RET2 (type_fp, type_fp), false, false,
|
||||
CALC (mpfr_f_11, mpfr_sin_cos)),
|
||||
false, CALC (mpfr_f_11, mpfr_sin_cos)),
|
||||
FUNC_mpfr_f_f ("sinh", mpfr_sinh, false),
|
||||
FUNC_mpfr_f_f ("sqrt", mpfr_sqrt, true),
|
||||
FUNC_mpfr_f_f ("tan", mpfr_tan, false),
|
||||
@ -1092,16 +1105,19 @@ round_real (mpfr_t res[rm_num_modes],
|
||||
|
||||
/* Handle the input argument at ARG (NUL-terminated), updating the
|
||||
lists of test inputs in IT accordingly. NUM_PREV_ARGS arguments
|
||||
are already in those lists. The argument, of type GTYPE, comes
|
||||
from file FILENAME, line LINENO. */
|
||||
are already in those lists. If EXACT_ARGS, interpret a value given
|
||||
as a floating-point constant exactly (it must be exact for some
|
||||
supported format) rather than rounding up and down. The argument,
|
||||
of type GTYPE, comes from file FILENAME, line LINENO. */
|
||||
|
||||
static void
|
||||
handle_input_arg (const char *arg, input_test *it, size_t num_prev_args,
|
||||
generic_value_type gtype,
|
||||
generic_value_type gtype, bool exact_args,
|
||||
const char *filename, unsigned int lineno)
|
||||
{
|
||||
size_t num_values = 0;
|
||||
generic_value values[2 * fp_num_formats];
|
||||
bool check_empty_list = false;
|
||||
switch (gtype)
|
||||
{
|
||||
case gtype_fp:
|
||||
@ -1125,6 +1141,8 @@ handle_input_arg (const char *arg, input_test *it, size_t num_prev_args,
|
||||
{
|
||||
mpfr_t tmp;
|
||||
char *ep;
|
||||
if (exact_args)
|
||||
check_empty_list = true;
|
||||
mpfr_init (tmp);
|
||||
bool inexact = mpfr_strtofr (tmp, arg, &ep, 0, MPFR_RNDZ);
|
||||
if (*ep != 0 || !mpfr_number_p (tmp))
|
||||
@ -1136,7 +1154,9 @@ handle_input_arg (const char *arg, input_test *it, size_t num_prev_args,
|
||||
unsigned int exc_after[rm_num_modes];
|
||||
round_real (rounded, exc_before, exc_after, tmp, f);
|
||||
mpfr_clear (tmp);
|
||||
if (mpfr_number_p (rounded[rm_upward]))
|
||||
if (mpfr_number_p (rounded[rm_upward])
|
||||
&& (!exact_args || mpfr_equal_p (rounded[rm_upward],
|
||||
rounded[rm_downward])))
|
||||
{
|
||||
mpfr_init2 (extra_values[num_extra_values],
|
||||
fp_formats[f].mant_dig);
|
||||
@ -1144,7 +1164,7 @@ handle_input_arg (const char *arg, input_test *it, size_t num_prev_args,
|
||||
rounded[rm_upward], MPFR_RNDN));
|
||||
num_extra_values++;
|
||||
}
|
||||
if (mpfr_number_p (rounded[rm_downward]))
|
||||
if (mpfr_number_p (rounded[rm_downward]) && !exact_args)
|
||||
{
|
||||
mpfr_init2 (extra_values[num_extra_values],
|
||||
fp_formats[f].mant_dig);
|
||||
@ -1195,6 +1215,10 @@ handle_input_arg (const char *arg, input_test *it, size_t num_prev_args,
|
||||
default:
|
||||
abort ();
|
||||
}
|
||||
if (check_empty_list && num_values == 0)
|
||||
error_at_line (EXIT_FAILURE, 0, filename, lineno,
|
||||
"floating-point argument not exact for any format: '%s'",
|
||||
arg);
|
||||
assert (num_values > 0 && num_values <= ARRAY_SIZE (values));
|
||||
if (it->num_input_cases >= SIZE_MAX / num_values)
|
||||
error_at_line (EXIT_FAILURE, 0, filename, lineno, "too many input cases");
|
||||
@ -1319,7 +1343,7 @@ add_test (char *line, const char *filename, unsigned int lineno)
|
||||
*ep = 0;
|
||||
handle_input_arg (p, it, j,
|
||||
generic_arg_ret_type (tf->arg_types[j]),
|
||||
filename, lineno);
|
||||
tf->exact_args, filename, lineno);
|
||||
*ep = c;
|
||||
p = ep + 1;
|
||||
}
|
||||
@ -1383,15 +1407,19 @@ read_input (const char *filename)
|
||||
}
|
||||
|
||||
/* Calculate the generic results (round-to-zero with sticky bit) for
|
||||
the function described by CALC, with inputs INPUTS. */
|
||||
the function described by CALC, with inputs INPUTS, if MODE is
|
||||
rm_towardzero; for other modes, calculate results in that mode,
|
||||
which must be exact zero results. */
|
||||
|
||||
static void
|
||||
calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
const func_calc_desc *calc)
|
||||
const func_calc_desc *calc, rounding_mode mode)
|
||||
{
|
||||
bool inexact;
|
||||
int mpc_ternary;
|
||||
mpc_t ci1, ci2, co;
|
||||
mpfr_rnd_t mode_mpfr = rounding_modes[mode].mpfr_mode;
|
||||
mpc_rnd_t mode_mpc = rounding_modes[mode].mpc_mode;
|
||||
|
||||
switch (calc->method)
|
||||
{
|
||||
@ -1400,7 +1428,9 @@ calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
outputs[0].type = gtype_fp;
|
||||
mpfr_init (outputs[0].value.f);
|
||||
inexact = calc->func.mpfr_f_f (outputs[0].value.f, inputs[0].value.f,
|
||||
MPFR_RNDZ);
|
||||
mode_mpfr);
|
||||
if (mode != rm_towardzero)
|
||||
assert (!inexact && mpfr_zero_p (outputs[0].value.f));
|
||||
adjust_real (outputs[0].value.f, inexact);
|
||||
break;
|
||||
|
||||
@ -1410,7 +1440,23 @@ calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
outputs[0].type = gtype_fp;
|
||||
mpfr_init (outputs[0].value.f);
|
||||
inexact = calc->func.mpfr_ff_f (outputs[0].value.f, inputs[0].value.f,
|
||||
inputs[1].value.f, MPFR_RNDZ);
|
||||
inputs[1].value.f, mode_mpfr);
|
||||
if (mode != rm_towardzero)
|
||||
assert (!inexact && mpfr_zero_p (outputs[0].value.f));
|
||||
adjust_real (outputs[0].value.f, inexact);
|
||||
break;
|
||||
|
||||
case mpfr_fff_f:
|
||||
assert (inputs[0].type == gtype_fp);
|
||||
assert (inputs[1].type == gtype_fp);
|
||||
assert (inputs[2].type == gtype_fp);
|
||||
outputs[0].type = gtype_fp;
|
||||
mpfr_init (outputs[0].value.f);
|
||||
inexact = calc->func.mpfr_fff_f (outputs[0].value.f, inputs[0].value.f,
|
||||
inputs[1].value.f, inputs[2].value.f,
|
||||
mode_mpfr);
|
||||
if (mode != rm_towardzero)
|
||||
assert (!inexact && mpfr_zero_p (outputs[0].value.f));
|
||||
adjust_real (outputs[0].value.f, inexact);
|
||||
break;
|
||||
|
||||
@ -1421,7 +1467,9 @@ calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
mpfr_init (outputs[0].value.f);
|
||||
int i = 0;
|
||||
inexact = calc->func.mpfr_f_f1 (outputs[0].value.f, &i,
|
||||
inputs[0].value.f, MPFR_RNDZ);
|
||||
inputs[0].value.f, mode_mpfr);
|
||||
if (mode != rm_towardzero)
|
||||
assert (!inexact && mpfr_zero_p (outputs[0].value.f));
|
||||
adjust_real (outputs[0].value.f, inexact);
|
||||
mpz_init_set_si (outputs[1].value.i, i);
|
||||
break;
|
||||
@ -1434,7 +1482,9 @@ calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
assert (mpz_fits_slong_p (inputs[0].value.i));
|
||||
long l = mpz_get_si (inputs[0].value.i);
|
||||
inexact = calc->func.mpfr_if_f (outputs[0].value.f, l,
|
||||
inputs[1].value.f, MPFR_RNDZ);
|
||||
inputs[1].value.f, mode_mpfr);
|
||||
if (mode != rm_towardzero)
|
||||
assert (!inexact && mpfr_zero_p (outputs[0].value.f));
|
||||
adjust_real (outputs[0].value.f, inexact);
|
||||
break;
|
||||
|
||||
@ -1447,7 +1497,12 @@ calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
int comb_ternary = calc->func.mpfr_f_11 (outputs[0].value.f,
|
||||
outputs[1].value.f,
|
||||
inputs[0].value.f,
|
||||
MPFR_RNDZ);
|
||||
mode_mpfr);
|
||||
if (mode != rm_towardzero)
|
||||
assert (((comb_ternary & 0x3) == 0
|
||||
&& mpfr_zero_p (outputs[0].value.f))
|
||||
|| ((comb_ternary & 0xc) == 0
|
||||
&& mpfr_zero_p (outputs[1].value.f)));
|
||||
adjust_real (outputs[0].value.f, (comb_ternary & 0x3) != 0);
|
||||
adjust_real (outputs[1].value.f, (comb_ternary & 0xc) != 0);
|
||||
break;
|
||||
@ -1460,7 +1515,9 @@ calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
mpc_init2 (ci1, internal_precision);
|
||||
assert_exact (mpc_set_fr_fr (ci1, inputs[0].value.f, inputs[1].value.f,
|
||||
MPC_RNDNN));
|
||||
inexact = calc->func.mpc_c_f (outputs[0].value.f, ci1, MPFR_RNDZ);
|
||||
inexact = calc->func.mpc_c_f (outputs[0].value.f, ci1, mode_mpfr);
|
||||
if (mode != rm_towardzero)
|
||||
assert (!inexact && mpfr_zero_p (outputs[0].value.f));
|
||||
adjust_real (outputs[0].value.f, inexact);
|
||||
mpc_clear (ci1);
|
||||
break;
|
||||
@ -1476,7 +1533,12 @@ calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
mpc_init2 (co, internal_precision);
|
||||
assert_exact (mpc_set_fr_fr (ci1, inputs[0].value.f, inputs[1].value.f,
|
||||
MPC_RNDNN));
|
||||
mpc_ternary = calc->func.mpc_c_c (co, ci1, MPC_RNDZZ);
|
||||
mpc_ternary = calc->func.mpc_c_c (co, ci1, mode_mpc);
|
||||
if (mode != rm_towardzero)
|
||||
assert ((!MPC_INEX_RE (mpc_ternary)
|
||||
&& mpfr_zero_p (mpc_realref (co)))
|
||||
|| (!MPC_INEX_IM (mpc_ternary)
|
||||
&& mpfr_zero_p (mpc_imagref (co))));
|
||||
assert_exact (mpfr_set (outputs[0].value.f, mpc_realref (co),
|
||||
MPFR_RNDN));
|
||||
assert_exact (mpfr_set (outputs[1].value.f, mpc_imagref (co),
|
||||
@ -1503,7 +1565,12 @@ calc_generic_results (generic_value *outputs, generic_value *inputs,
|
||||
MPC_RNDNN));
|
||||
assert_exact (mpc_set_fr_fr (ci2, inputs[2].value.f, inputs[3].value.f,
|
||||
MPC_RNDNN));
|
||||
mpc_ternary = calc->func.mpc_cc_c (co, ci1, ci2, MPC_RNDZZ);
|
||||
mpc_ternary = calc->func.mpc_cc_c (co, ci1, ci2, mode_mpc);
|
||||
if (mode != rm_towardzero)
|
||||
assert ((!MPC_INEX_RE (mpc_ternary)
|
||||
&& mpfr_zero_p (mpc_realref (co)))
|
||||
|| (!MPC_INEX_IM (mpc_ternary)
|
||||
&& mpfr_zero_p (mpc_imagref (co))));
|
||||
assert_exact (mpfr_set (outputs[0].value.f, mpc_realref (co),
|
||||
MPFR_RNDN));
|
||||
assert_exact (mpfr_set (outputs[1].value.f, mpc_imagref (co),
|
||||
@ -1674,7 +1741,7 @@ output_for_one_input_case (FILE *fp, const char *filename, test_function *tf,
|
||||
}
|
||||
}
|
||||
generic_value generic_outputs[MAX_NRET];
|
||||
calc_generic_results (generic_outputs, inputs, &tf->calc);
|
||||
calc_generic_results (generic_outputs, inputs, &tf->calc, rm_towardzero);
|
||||
bool ignore_output_long32[MAX_NRET] = { false };
|
||||
bool ignore_output_long64[MAX_NRET] = { false };
|
||||
for (size_t i = 0; i < tf->num_ret; i++)
|
||||
@ -1777,6 +1844,21 @@ output_for_one_input_case (FILE *fp, const char *filename, test_function *tf,
|
||||
&& mpfr_cmpabs (generic_outputs[i].value.f,
|
||||
fp_formats[f].min) <= 0);
|
||||
}
|
||||
/* If the result is an exact zero, the sign may
|
||||
depend on the rounding mode, so recompute it
|
||||
directly in that mode. */
|
||||
if (mpfr_zero_p (all_res[i][m])
|
||||
&& (all_exc_before[i][m] & (1U << exc_inexact)) == 0)
|
||||
{
|
||||
generic_value outputs_rm[MAX_NRET];
|
||||
calc_generic_results (outputs_rm, inputs,
|
||||
&tf->calc, m);
|
||||
assert_exact (mpfr_set (all_res[i][m],
|
||||
outputs_rm[i].value.f,
|
||||
MPFR_RNDN));
|
||||
for (size_t j = 0; j < tf->num_ret; j++)
|
||||
generic_value_free (&outputs_rm[j]);
|
||||
}
|
||||
}
|
||||
break;
|
||||
|
||||
|
||||
@ -7612,7 +7612,6 @@ floor_test (void)
|
||||
|
||||
static const struct test_fff_f_data fma_test_data[] =
|
||||
{
|
||||
TEST_fff_f (fma, 1.0, 2.0, 3.0, 5.0),
|
||||
TEST_fff_f (fma, qnan_value, 2.0, 3.0, qnan_value),
|
||||
TEST_fff_f (fma, 1.0, qnan_value, 3.0, qnan_value),
|
||||
TEST_fff_f (fma, 1.0, 2.0, qnan_value, qnan_value, INVALID_EXCEPTION_OK),
|
||||
@ -7634,8 +7633,6 @@ static const struct test_fff_f_data fma_test_data[] =
|
||||
TEST_fff_f (fma, -13.5L, plus_infty, plus_infty, qnan_value, INVALID_EXCEPTION),
|
||||
TEST_fff_f (fma, minus_infty, 7.5L, plus_infty, qnan_value, INVALID_EXCEPTION),
|
||||
|
||||
TEST_fff_f (fma, 1.25L, 0.75L, 0.0625L, 1.0L),
|
||||
|
||||
TEST_fff_f (fma, -max_value, -max_value, minus_infty, minus_infty),
|
||||
TEST_fff_f (fma, max_value / 2, max_value / 2, minus_infty, minus_infty),
|
||||
TEST_fff_f (fma, -max_value, max_value, plus_infty, plus_infty),
|
||||
@ -7645,253 +7642,7 @@ static const struct test_fff_f_data fma_test_data[] =
|
||||
TEST_fff_f (fma, minus_infty, minus_infty, plus_infty, plus_infty),
|
||||
TEST_fff_f (fma, plus_infty, minus_infty, minus_infty, minus_infty),
|
||||
|
||||
TEST_fff_f (fma, plus_zero, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, plus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, minus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, plus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, minus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, 1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, 1.0, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, -1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, -1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, 1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, 1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, -1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, -1.0, minus_zero, plus_zero),
|
||||
|
||||
TEST_fff_f (fma, 1.0, 1.0, -1.0, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, -1.0, 1.0, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, 1.0, 1.0, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, -1.0, -1.0, plus_zero),
|
||||
|
||||
TEST_fff_f (fma, min_value, min_value, plus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, min_value, minus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, -min_value, plus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, -min_value, minus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, min_value, plus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, min_value, minus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, -min_value, plus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, -min_value, minus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
|
||||
TEST_fff_f (fma, max_value, max_value, min_value, plus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, max_value, -min_value, plus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, -max_value, min_value, minus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, -max_value, -min_value, minus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, max_value, min_value, minus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, max_value, -min_value, minus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, -max_value, min_value, plus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, -max_value, -min_value, plus_infty, OVERFLOW_EXCEPTION),
|
||||
|
||||
#if defined (TEST_FLOAT) && FLT_MANT_DIG == 24
|
||||
TEST_fff_f (fma, 0x1.7ff8p+13, 0x1.000002p+0, 0x1.ffffp-24, 0x1.7ff802p+13),
|
||||
TEST_fff_f (fma, 0x1.fffp+0, 0x1.00001p+0, -0x1.fffp+0, 0x1.fffp-20),
|
||||
TEST_fff_f (fma, 0x1.9abcdep+127, 0x0.9abcdep-126, -0x1.f08948p+0, 0x1.bb421p-25),
|
||||
TEST_fff_f (fma, 0x1.9abcdep+100, 0x0.9abcdep-126, -0x1.f08948p-27, 0x1.bb421p-52),
|
||||
TEST_fff_f (fma, 0x1.fffffep+127, 0x1.001p+0, -0x1.fffffep+127, 0x1.fffffep+115),
|
||||
TEST_fff_f (fma, -0x1.fffffep+127, 0x1.fffffep+0, 0x1.fffffep+127, -0x1.fffffap+127),
|
||||
TEST_fff_f (fma, 0x1.fffffep+127, 2.0, -0x1.fffffep+127, 0x1.fffffep+127),
|
||||
TEST_fff_f (fma, 0x1.4p-126, 0x1.000004p-1, 0x1p-128, 0x1.c00004p-127, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-126, 0x1.000004p-1, -0x1p-128, -0x1.c00004p-127, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffff8p-126, 0x1.000002p-1, 0x1p-149, 0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1.fffff8p-126, 0x1.000002p-1, -0x1p-149, -0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-1, 0x0.fffffep-126, 0x1p-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-149, 0x1p-1, -0x0.fffffep-126, -0x1p-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1.1p-1, 0x0.fffffep-126, 0x1p-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-149, 0x1.1p-1, -0x0.fffffep-126, -0x1p-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p-126, 0x1p-126),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p-126, 0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p-126, -0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p-126, -0x1p-126),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p-149, 0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p-149, 0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p-149, -0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p-149, -0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.fffp0, 0x0.fffp0, -0x0.ffep0, 0x1p-24),
|
||||
TEST_fff_f (fma, 0x0.fffp0, -0x0.fffp0, 0x0.ffep0, -0x1p-24),
|
||||
TEST_fff_f (fma, -0x0.fffp0, 0x0.fffp0, 0x0.ffep0, -0x1p-24),
|
||||
TEST_fff_f (fma, -0x0.fffp0, -0x0.fffp0, -0x0.ffep0, 0x1p-24),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, 0x1p103, 0x1p103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, 0x1p103, 0x1p103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, -0x1p103, -0x1p103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, -0x1p103, -0x1p103),
|
||||
#endif
|
||||
#if defined (TEST_DOUBLE) && DBL_MANT_DIG == 53
|
||||
TEST_fff_f (fma, 0x1.7fp+13, 0x1.0000000000001p+0, 0x1.ffep-48, 0x1.7f00000000001p+13),
|
||||
TEST_fff_f (fma, 0x1.fffp+0, 0x1.0000000000001p+0, -0x1.fffp+0, 0x1.fffp-52),
|
||||
TEST_fff_f (fma, 0x1.0000002p+0, 0x1.ffffffcp-1, 0x1p-300, 1.0),
|
||||
TEST_fff_f (fma, 0x1.0000002p+0, 0x1.ffffffcp-1, -0x1p-300, 0x1.fffffffffffffp-1),
|
||||
TEST_fff_f (fma, 0x1.deadbeef2feedp+1023, 0x0.deadbeef2feedp-1022, -0x1.a05f8c01a4bfbp+1, 0x1.0989687bc9da4p-53),
|
||||
TEST_fff_f (fma, 0x1.deadbeef2feedp+900, 0x0.deadbeef2feedp-1022, -0x1.a05f8c01a4bfbp-122, 0x1.0989687bc9da4p-176),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffp+1023, 0x1.001p+0, -0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1011),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+0, 0x1.fffffffffffffp+1023, -0x1.ffffffffffffdp+1023),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffp+1023, 2.0, -0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023),
|
||||
TEST_fff_f (fma, 0x1.6a09e667f3bccp-538, 0x1.6a09e667f3bccp-538, 0.0, 0.0, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.deadbeef2feedp-495, 0x1.deadbeef2feedp-495, -0x1.bf86a5786a574p-989, 0x0.0000042625a1fp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.deadbeef2feedp-503, 0x1.deadbeef2feedp-503, -0x1.bf86a5786a574p-1005, 0x0.0000000004262p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-537, 0x1p-538, 0x1p-1074, 0x0.0000000000002p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.7fffff8p-968, 0x1p-106, 0x0.000001p-1022, 0x0.0000010000001p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.4000004p-967, 0x1p-106, 0x0.000001p-1022, 0x0.0000010000003p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.4p-967, -0x1p-106, -0x0.000001p-1022, -0x0.0000010000002p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.19cab66d73e17p-959, 0x1.c7108a8c5ff51p-107, -0x0.80b0ad65d9b64p-1022, -0x0.80b0ad65d9d59p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.d2eaed6e8e9d3p-979, -0x1.4e066c62ac9ddp-63, -0x0.9245e6b003454p-1022, -0x0.9245c09c5fb5dp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.153d650bb9f06p-907, 0x1.2d01230d48407p-125, -0x0.b278d5acfc3cp-1022, -0x0.b22757123bbe9p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffp-711, 0x1.fffffffffffffp-275, 0x1.fffffe00007ffp-983, 0x1.7ffffe00007ffp-983),
|
||||
TEST_fff_f (fma, 0x1.4p-1022, 0x1.0000000000002p-1, 0x1p-1024, 0x1.c000000000002p-1023, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-1022, 0x1.0000000000002p-1, -0x1p-1024, -0x1.c000000000002p-1023, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.ffffffffffffcp-1022, 0x1.0000000000001p-1, 0x1p-1074, 0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1.ffffffffffffcp-1022, 0x1.0000000000001p-1, -0x1p-1074, -0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1, 0x0.fffffffffffffp-1022, 0x1p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-1074, 0x1p-1, -0x0.fffffffffffffp-1022, -0x1p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1.1p-1, 0x0.fffffffffffffp-1022, 0x1p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-1074, 0x1.1p-1, -0x0.fffffffffffffp-1022, -0x1p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p-1022, 0x1p-1022),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p-1022, 0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p-1022, -0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p-1022, -0x1p-1022),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p-1074, 0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p-1074, 0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p-1074, -0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p-1074, -0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.fffffffffffff8p0, 0x0.fffffffffffff8p0, -0x0.fffffffffffffp0, 0x1p-106),
|
||||
TEST_fff_f (fma, 0x0.fffffffffffff8p0, -0x0.fffffffffffff8p0, 0x0.fffffffffffffp0, -0x1p-106),
|
||||
TEST_fff_f (fma, -0x0.fffffffffffff8p0, 0x0.fffffffffffff8p0, 0x0.fffffffffffffp0, -0x1p-106),
|
||||
TEST_fff_f (fma, -0x0.fffffffffffff8p0, -0x0.fffffffffffff8p0, -0x0.fffffffffffffp0, 0x1p-106),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, 0x1p970, 0x1p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, 0x1p970, 0x1p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, -0x1p970, -0x1p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, -0x1p970, -0x1p970),
|
||||
#endif
|
||||
#if defined (TEST_LDOUBLE) && LDBL_MANT_DIG == 64
|
||||
TEST_fff_f (fma, -0x8.03fcp+3696L, 0xf.fffffffffffffffp-6140L, 0x8.3ffffffffffffffp-2450L, -0x8.01ecp-2440L),
|
||||
TEST_fff_f (fma, 0x9.fcp+2033L, -0x8.000e1f000ff800fp-3613L, -0xf.fffffffffffc0ffp-1579L, -0xd.fc119fb093ed092p-1577L),
|
||||
TEST_fff_f (fma, 0xc.7fc000003ffffffp-1194L, 0x8.1e0003fffffffffp+15327L, -0x8.fffep+14072L, 0xc.ae9f164020effffp+14136L),
|
||||
TEST_fff_f (fma, -0x8.0001fc000000003p+1798L, 0xcp-2230L, 0x8.f7e000000000007p-468L, -0xc.0002f9ffee10404p-429L),
|
||||
TEST_fff_f (fma, 0xc.0000000000007ffp+10130L, -0x8.000000000000001p+4430L, 0xc.07000000001ffffp+14513L, -0xb.fffffffffffd7e4p+14563L),
|
||||
TEST_fff_f (fma, 0xb.ffffp-4777L, 0x8.000000fffffffffp-11612L, -0x0.3800fff8p-16385L, 0x5.c7fe80c7ffeffffp-16385L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.4p-16382L, 0x1.0000000000000004p-1L, 0x1p-16384L, 0x1.c000000000000004p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-16382L, 0x1.0000000000000004p-1L, -0x1p-16384L, -0x1.c000000000000004p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffff8p-16382L, 0x1.0000000000000002p-1L, 0x1p-16445L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffff8p-16382L, 0x1.0000000000000002p-1L, -0x1p-16445L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-1L, 0x0.fffffffffffffffep-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16445L, 0x1p-1L, -0x0.fffffffffffffffep-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1.1p-1L, 0x0.fffffffffffffffep-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16445L, 0x1.1p-1L, -0x0.fffffffffffffffep-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p-16382L, 0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p-16382L, -0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p-16445L, 0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p-16445L, 0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p-16445L, -0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p-16445L, -0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffp0L, 0x0.ffffffffffffffffp0L, -0x0.fffffffffffffffep0L, 0x1p-128L),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffp0L, -0x0.ffffffffffffffffp0L, 0x0.fffffffffffffffep0L, -0x1p-128L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffp0L, 0x0.ffffffffffffffffp0L, 0x0.fffffffffffffffep0L, -0x1p-128L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffp0L, -0x0.ffffffffffffffffp0L, -0x0.fffffffffffffffep0L, 0x1p-128L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, -0x1p16319L, -0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, -0x1p16319L, -0x1p16319L),
|
||||
#endif
|
||||
#if defined (TEST_LDOUBLE) && LDBL_MANT_DIG == 113
|
||||
TEST_fff_f (fma, 0x1.bb2de33e02ccbbfa6e245a7c1f71p-2584L, -0x1.6b500daf0580d987f1bc0cadfcddp-13777L, 0x1.613cd91d9fed34b33820e5ab9d8dp-16378L, -0x1.3a79fb50eb9ce887cffa0f09bd9fp-16360L),
|
||||
TEST_fff_f (fma, -0x1.f949b880cacb0f0c61540105321dp-5954L, -0x1.3876cec84b4140f3bd6198731b7ep-10525L, -0x0.a5dc1c6cfbc498c54fb0b504bf19p-16382L, -0x0.a5dc1c6cfbc498c54fb0b5038abbp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.0000fffffffffp-16221L, 0x1.0000001fffff8007fep-239L, 0x0.ff87ffffffffffffe000003fffffp-16382L, 0x0.ff87ffffffffffffdffc003bff7fp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.ac79c9376ef447f3827c9e9de008p-2228L, -0x1.5ba830022b6139e21fbe7270cad8p-6314L, 0x1.e8282b6a26bb6a9daf5c8e73e9f9p-8616L, 0x1.22f14a0253878a730cd1aee373adp-8541L),
|
||||
TEST_fff_f (fma, -0x1.c69749ec574caaa2ab8e97ddb9f3p+2652L, 0x1.f34235ff9d095449c29b4831b62dp+3311L, 0x1.fbe4302df23354dbd0c4d3cfe606p+5879L, -0x1.bb473bfdfb7a6e18886ce6e57eafp+5964L),
|
||||
TEST_fff_f (fma, -0x1.ca8835fc6ecfb5398625fc891be5p-1686L, 0x1.621e1972bbe2180e5be9dd7d8df5p-7671L, -0x1.7d2d21b73b52cf20dec2a83902a4p-9395L, -0x1.3d2322191c9c88bc68a62ab8042cp-9356L),
|
||||
TEST_fff_f (fma, -0x1.55cff679ec49c2541fab41fc843ep-11819L, 0x1.e60e9f464f9e8df0509647c7c971p+12325L, 0x1.eaa2a7649d765c2f564f7a5beca7p+454L, -0x1.447e29fa7e406a285f4e350fcf86p+507L),
|
||||
TEST_fff_f (fma, 0x1.f0e7b1454908576f2537d863cf9bp+11432L, 0x1.cdce52f09d4ca76e68706f34b5d5p-1417L, -0x1.2e986187c70f146235ea2066e486p+9979L, 0x1.c030dad3cc5643f3dd0f5619f661p+10016L),
|
||||
TEST_fff_f (fma, 0x1.f102f7da4a57a3a4aab620e29452p-3098L, -0x1.cc06a4ff40248f9e2dcc4b6afd84p-11727L, 0x1.d512a11126b5ac8ed8973b8580c8p-14849L, -0x1.be8f1cf737ab4d1c31c54f5ec23bp-14824L),
|
||||
TEST_fff_f (fma, -0x1.fc47ac7434b993cd8dcb2b431f25p-3816L, 0x1.fbc9750da8468852d84558e1db6dp-5773L, -0x1.00a98abf783f75c40fe5b7a37d86p-9607L, -0x1.f81917b166f45e763cfcc057e2adp-9588L),
|
||||
TEST_fff_f (fma, 0x1.00000000000007ffffffffffffffp-9045L, -0x1.ffffffffffff80000001ffffffffp+4773L, -0x1.f8p-4316L, -0x1.00000000000f88000000fffffdffp-4271L),
|
||||
TEST_fff_f (fma, 0x1.4e922764c90701d4a2f21d01893dp-8683L, -0x1.955a12e2d7c9447c27fa022fc865p+212L, -0x1.e9634462eaef96528b90b6944578p-8521L, -0x1.08e1783184a371943d3598e10865p-8470L),
|
||||
TEST_fff_f (fma, 0x1.801181509c03bdbef10d6165588cp-15131L, 0x1.ad86f8e57d3d40bfa8007780af63p-368L, -0x1.6e9df0dab1c9f1d7a6043c390741p-15507L, 0x1.417c9b2b15e2ad57dc9e0e920844p-15498L),
|
||||
TEST_fff_f (fma, 0x1.ffffffffffffffp0L, 0x1.000000000000008p0L, -0x1p-1000L, 0x1.ffffffffffffffffffffffffffffp0L),
|
||||
TEST_fff_f (fma, 0x1.4p-16382L, 0x1.0000000000000000000000000002p-1L, 0x1p-16384L, 0x1.c000000000000000000000000002p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-16382L, 0x1.0000000000000000000000000002p-1L, -0x1p-16384L, -0x1.c000000000000000000000000002p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffffffffffffffffcp-16382L, 0x1.0000000000000000000000000001p-1L, 0x1p-16494L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffffffffffffffffcp-16382L, 0x1.0000000000000000000000000001p-1L, -0x1p-16494L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-1L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16494L, 0x1p-1L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1.1p-1L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16494L, 0x1.1p-1L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p-16382L, 0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p-16382L, -0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p-16494L, 0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p-16494L, 0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p-16494L, -0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p-16494L, -0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffffp0L, 0x1p-226L),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffffp0L, -0x1p-226L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffffp0L, -0x1p-226L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffffp0L, 0x1p-226L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, -0x1p16319L, -0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, -0x1p16319L, -0x1p16319L),
|
||||
#endif
|
||||
AUTO_TESTS_fff_f (fma, tonearest),
|
||||
};
|
||||
|
||||
static void
|
||||
@ -7905,208 +7656,7 @@ fma_test (void)
|
||||
|
||||
static const struct test_fff_f_data fma_towardzero_test_data[] =
|
||||
{
|
||||
TEST_fff_f (fma, plus_zero, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, plus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, minus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, plus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, minus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, 1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, 1.0, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, -1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, -1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, 1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, 1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, -1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, -1.0, minus_zero, plus_zero),
|
||||
|
||||
TEST_fff_f (fma, 1.0, 1.0, -1.0, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, -1.0, 1.0, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, 1.0, 1.0, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, -1.0, -1.0, plus_zero),
|
||||
|
||||
TEST_fff_f (fma, min_value, min_value, plus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, min_value, minus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, -min_value, plus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, -min_value, minus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, min_value, plus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, min_value, minus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, -min_value, plus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, -min_value, minus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
|
||||
#if !(defined TEST_LDOUBLE && LDBL_MANT_DIG == 106) /* Bug 13304. */
|
||||
TEST_fff_f (fma, max_value, max_value, min_value, max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, max_value, -min_value, max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, -max_value, min_value, -max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, -max_value, -min_value, -max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, max_value, min_value, -max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, max_value, -min_value, -max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, -max_value, min_value, max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, -max_value, -min_value, max_value, OVERFLOW_EXCEPTION),
|
||||
#endif
|
||||
|
||||
#if defined (TEST_FLOAT) && FLT_MANT_DIG == 24
|
||||
TEST_fff_f (fma, 0x1.4p-126, 0x1.000004p-1, 0x1p-128, 0x1.c00004p-127, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-126, 0x1.000004p-1, -0x1p-128, -0x1.c00004p-127, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffff8p-126, 0x1.000002p-1, 0x1p-149, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.fffff8p-126, 0x1.000002p-1, -0x1p-149, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-1, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-149, 0x1p-1, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1.1p-1, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-149, 0x1.1p-1, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p127, 0x0.ffffffp127),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p127, -0x0.ffffffp127),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p-126, 0x1p-126),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p-126, -0x1p-126),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x0.fffffep-126, 0x0.fffffcp-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x0.fffffep-126, -0x0.fffffcp-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p-149, 0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p-149, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p-149, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p-149, -0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.fffp0, 0x0.fffp0, -0x0.ffep0, 0x1p-24),
|
||||
TEST_fff_f (fma, 0x0.fffp0, -0x0.fffp0, 0x0.ffep0, -0x1p-24),
|
||||
TEST_fff_f (fma, -0x0.fffp0, 0x0.fffp0, 0x0.ffep0, -0x1p-24),
|
||||
TEST_fff_f (fma, -0x0.fffp0, -0x0.fffp0, -0x0.ffep0, 0x1p-24),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, 0x1p127, 0x0.ffffffp127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, -0x1p127, -0x0.ffffffp127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, 0x1p103, 0x1p103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, 0x1p103, 0x0.ffffffp103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, -0x1p103, -0x0.ffffffp103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, -0x1p103, -0x1p103),
|
||||
#endif
|
||||
#if defined (TEST_DOUBLE) && DBL_MANT_DIG == 53
|
||||
TEST_fff_f (fma, 0x1.4p-1022, 0x1.0000000000002p-1, 0x1p-1024, 0x1.c000000000002p-1023, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-1022, 0x1.0000000000002p-1, -0x1p-1024, -0x1.c000000000002p-1023, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.ffffffffffffcp-1022, 0x1.0000000000001p-1, 0x1p-1074, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.ffffffffffffcp-1022, 0x1.0000000000001p-1, -0x1p-1074, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-1074, 0x1p-1, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1.1p-1, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-1074, 0x1.1p-1, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p1023, 0x0.fffffffffffff8p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p1023, -0x0.fffffffffffff8p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p-1022, 0x1p-1022),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p-1022, -0x1p-1022),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x0.fffffffffffffp-1022, 0x0.ffffffffffffep-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x0.fffffffffffffp-1022, -0x0.ffffffffffffep-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p-1074, 0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p-1074, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p-1074, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p-1074, -0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.fffffffffffff8p0, 0x0.fffffffffffff8p0, -0x0.fffffffffffffp0, 0x1p-106),
|
||||
TEST_fff_f (fma, 0x0.fffffffffffff8p0, -0x0.fffffffffffff8p0, 0x0.fffffffffffffp0, -0x1p-106),
|
||||
TEST_fff_f (fma, -0x0.fffffffffffff8p0, 0x0.fffffffffffff8p0, 0x0.fffffffffffffp0, -0x1p-106),
|
||||
TEST_fff_f (fma, -0x0.fffffffffffff8p0, -0x0.fffffffffffff8p0, -0x0.fffffffffffffp0, 0x1p-106),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, 0x1p1023, 0x0.fffffffffffff8p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, -0x1p1023, -0x0.fffffffffffff8p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, 0x1p970, 0x1p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, 0x1p970, 0x0.fffffffffffff8p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, -0x1p970, -0x0.fffffffffffff8p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, -0x1p970, -0x1p970),
|
||||
#endif
|
||||
#if defined (TEST_LDOUBLE) && LDBL_MANT_DIG == 64
|
||||
TEST_fff_f (fma, 0x1.4p-16382L, 0x1.0000000000000004p-1L, 0x1p-16384L, 0x1.c000000000000004p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-16382L, 0x1.0000000000000004p-1L, -0x1p-16384L, -0x1.c000000000000004p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffff8p-16382L, 0x1.0000000000000002p-1L, 0x1p-16445L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffff8p-16382L, 0x1.0000000000000002p-1L, -0x1p-16445L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-1L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16445L, 0x1p-1L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1.1p-1L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16445L, 0x1.1p-1L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p16383L, 0x0.ffffffffffffffffp16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p16383L, -0x0.ffffffffffffffffp16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p-16382L, 0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p-16382L, -0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffcp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffcp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p-16445L, 0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p-16445L, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p-16445L, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p-16445L, -0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffp0L, 0x0.ffffffffffffffffp0L, -0x0.fffffffffffffffep0L, 0x1p-128L),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffp0L, -0x0.ffffffffffffffffp0L, 0x0.fffffffffffffffep0L, -0x1p-128L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffp0L, 0x0.ffffffffffffffffp0L, 0x0.fffffffffffffffep0L, -0x1p-128L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffp0L, -0x0.ffffffffffffffffp0L, -0x0.fffffffffffffffep0L, 0x1p-128L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, 0x1p16383L, 0x0.ffffffffffffffffp16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, -0x1p16383L, -0x0.ffffffffffffffffp16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, 0x1p16319L, 0x0.ffffffffffffffffp16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, -0x1p16319L, -0x0.ffffffffffffffffp16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, -0x1p16319L, -0x1p16319L),
|
||||
#endif
|
||||
#if defined (TEST_LDOUBLE) && LDBL_MANT_DIG == 113
|
||||
TEST_fff_f (fma, 0x1.4p-16382L, 0x1.0000000000000000000000000002p-1L, 0x1p-16384L, 0x1.c000000000000000000000000002p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-16382L, 0x1.0000000000000000000000000002p-1L, -0x1p-16384L, -0x1.c000000000000000000000000002p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffffffffffffffffcp-16382L, 0x1.0000000000000000000000000001p-1L, 0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffffffffffffffffcp-16382L, 0x1.0000000000000000000000000001p-1L, -0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-1L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16494L, 0x1p-1L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1.1p-1L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16494L, 0x1.1p-1L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p16383L, 0x0.ffffffffffffffffffffffffffff8p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p16383L, -0x0.ffffffffffffffffffffffffffff8p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p-16382L, 0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p-16382L, -0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.fffffffffffffffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.fffffffffffffffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p-16494L, 0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p-16494L, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p-16494L, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p-16494L, -0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffffp0L, 0x1p-226L),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffffp0L, -0x1p-226L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffffp0L, -0x1p-226L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffffp0L, 0x1p-226L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, 0x1p16383L, 0x0.ffffffffffffffffffffffffffff8p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, -0x1p16383L, -0x0.ffffffffffffffffffffffffffff8p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, 0x1p16319L, 0x0.ffffffffffffffffffffffffffff8p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, -0x1p16319L, -0x0.ffffffffffffffffffffffffffff8p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, -0x1p16319L, -0x1p16319L),
|
||||
#endif
|
||||
AUTO_TESTS_fff_f (fma, towardzero),
|
||||
};
|
||||
|
||||
static void
|
||||
@ -8120,208 +7670,7 @@ fma_test_towardzero (void)
|
||||
|
||||
static const struct test_fff_f_data fma_downward_test_data[] =
|
||||
{
|
||||
TEST_fff_f (fma, plus_zero, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, plus_zero, minus_zero, plus_zero, minus_zero),
|
||||
TEST_fff_f (fma, plus_zero, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, plus_zero, plus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, 1.0, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, 1.0, minus_zero, plus_zero, minus_zero),
|
||||
TEST_fff_f (fma, 1.0, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, plus_zero, plus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, plus_zero, 1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, 1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, plus_zero, -1.0, plus_zero, minus_zero),
|
||||
TEST_fff_f (fma, plus_zero, -1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, 1.0, plus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, 1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, -1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, -1.0, minus_zero, minus_zero),
|
||||
|
||||
TEST_fff_f (fma, 1.0, 1.0, -1.0, minus_zero),
|
||||
TEST_fff_f (fma, 1.0, -1.0, 1.0, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, 1.0, 1.0, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, -1.0, -1.0, minus_zero),
|
||||
|
||||
TEST_fff_f (fma, min_value, min_value, plus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, min_value, minus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, -min_value, plus_zero, -min_subnorm_value, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, -min_value, minus_zero, -min_subnorm_value, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, min_value, plus_zero, -min_subnorm_value, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, min_value, minus_zero, -min_subnorm_value, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, -min_value, plus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, -min_value, minus_zero, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
|
||||
#if !(defined TEST_LDOUBLE && LDBL_MANT_DIG == 106) /* Bug 13304. */
|
||||
TEST_fff_f (fma, max_value, max_value, min_value, max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, max_value, -min_value, max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, -max_value, min_value, minus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, -max_value, -min_value, minus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, max_value, min_value, minus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, max_value, -min_value, minus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, -max_value, min_value, max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, -max_value, -min_value, max_value, OVERFLOW_EXCEPTION),
|
||||
#endif
|
||||
|
||||
#if defined (TEST_FLOAT) && FLT_MANT_DIG == 24
|
||||
TEST_fff_f (fma, 0x1.4p-126, 0x1.000004p-1, 0x1p-128, 0x1.c00004p-127, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-126, 0x1.000004p-1, -0x1p-128, -0x1.c00008p-127, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffff8p-126, 0x1.000002p-1, 0x1p-149, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.fffff8p-126, 0x1.000002p-1, -0x1p-149, -0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-1, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-149, 0x1p-1, -0x0.fffffep-126, -0x1p-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1.1p-1, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-149, 0x1.1p-1, -0x0.fffffep-126, -0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p127, 0x0.ffffffp127),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p127, -0x1.000002p127),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p-126, 0x1p-126),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p-126, -0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p-126, -0x1.000002p-126),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x0.fffffep-126, 0x0.fffffcp-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x0.fffffep-126, -0x1p-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p-149, 0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p-149, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p-149, -0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p-149, -0x1p-148, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.fffp0, 0x0.fffp0, -0x0.ffep0, 0x1p-24),
|
||||
TEST_fff_f (fma, 0x0.fffp0, -0x0.fffp0, 0x0.ffep0, -0x1p-24),
|
||||
TEST_fff_f (fma, -0x0.fffp0, 0x0.fffp0, 0x0.ffep0, -0x1p-24),
|
||||
TEST_fff_f (fma, -0x0.fffp0, -0x0.fffp0, -0x0.ffep0, 0x1p-24),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, 0x1p127, 0x0.ffffffp127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, -0x1p127, -0x1.000002p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, 0x1p103, 0x1p103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, 0x1p103, 0x0.ffffffp103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, -0x1p103, -0x1p103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, -0x1p103, -0x1.000002p103),
|
||||
#endif
|
||||
#if defined (TEST_DOUBLE) && DBL_MANT_DIG == 53
|
||||
TEST_fff_f (fma, 0x1.4p-1022, 0x1.0000000000002p-1, 0x1p-1024, 0x1.c000000000002p-1023, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-1022, 0x1.0000000000002p-1, -0x1p-1024, -0x1.c000000000004p-1023, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.ffffffffffffcp-1022, 0x1.0000000000001p-1, 0x1p-1074, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.ffffffffffffcp-1022, 0x1.0000000000001p-1, -0x1p-1074, -0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-1074, 0x1p-1, -0x0.fffffffffffffp-1022, -0x1p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1.1p-1, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-1074, 0x1.1p-1, -0x0.fffffffffffffp-1022, -0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p1023, 0x0.fffffffffffff8p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p1023, -0x1.0000000000001p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p-1022, 0x1p-1022),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p-1022, -0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p-1022, -0x1.0000000000001p-1022),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x0.fffffffffffffp-1022, 0x0.ffffffffffffep-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x0.fffffffffffffp-1022, -0x1p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p-1074, 0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p-1074, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p-1074, -0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p-1074, -0x1p-1073, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.fffffffffffff8p0, 0x0.fffffffffffff8p0, -0x0.fffffffffffffp0, 0x1p-106),
|
||||
TEST_fff_f (fma, 0x0.fffffffffffff8p0, -0x0.fffffffffffff8p0, 0x0.fffffffffffffp0, -0x1p-106),
|
||||
TEST_fff_f (fma, -0x0.fffffffffffff8p0, 0x0.fffffffffffff8p0, 0x0.fffffffffffffp0, -0x1p-106),
|
||||
TEST_fff_f (fma, -0x0.fffffffffffff8p0, -0x0.fffffffffffff8p0, -0x0.fffffffffffffp0, 0x1p-106),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, 0x1p1023, 0x0.fffffffffffff8p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, -0x1p1023, -0x1.0000000000001p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, 0x1p970, 0x1p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, 0x1p970, 0x0.fffffffffffff8p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, -0x1p970, -0x1p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, -0x1p970, -0x1.0000000000001p970),
|
||||
#endif
|
||||
#if defined (TEST_LDOUBLE) && LDBL_MANT_DIG == 64
|
||||
TEST_fff_f (fma, 0x1.4p-16382L, 0x1.0000000000000004p-1L, 0x1p-16384L, 0x1.c000000000000004p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-16382L, 0x1.0000000000000004p-1L, -0x1p-16384L, -0x1.c000000000000008p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffff8p-16382L, 0x1.0000000000000002p-1L, 0x1p-16445L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffff8p-16382L, 0x1.0000000000000002p-1L, -0x1p-16445L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-1L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16445L, 0x1p-1L, -0x0.fffffffffffffffep-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1.1p-1L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16445L, 0x1.1p-1L, -0x0.fffffffffffffffep-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p16383L, 0x0.ffffffffffffffffp16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p16383L, -0x1.0000000000000002p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p-16382L, 0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p-16382L, -0x1.0000000000000002p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffcp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x0.fffffffffffffffep-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p-16445L, 0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p-16445L, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p-16445L, -0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p-16445L, -0x1p-16444L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffp0L, 0x0.ffffffffffffffffp0L, -0x0.fffffffffffffffep0L, 0x1p-128L),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffp0L, -0x0.ffffffffffffffffp0L, 0x0.fffffffffffffffep0L, -0x1p-128L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffp0L, 0x0.ffffffffffffffffp0L, 0x0.fffffffffffffffep0L, -0x1p-128L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffp0L, -0x0.ffffffffffffffffp0L, -0x0.fffffffffffffffep0L, 0x1p-128L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, 0x1p16383L, 0x0.ffffffffffffffffp16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, -0x1p16383L, -0x1.0000000000000002p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, 0x1p16319L, 0x0.ffffffffffffffffp16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, -0x1p16319L, -0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, -0x1p16319L, -0x1.0000000000000002p16319L),
|
||||
#endif
|
||||
#if defined (TEST_LDOUBLE) && LDBL_MANT_DIG == 113
|
||||
TEST_fff_f (fma, 0x1.4p-16382L, 0x1.0000000000000000000000000002p-1L, 0x1p-16384L, 0x1.c000000000000000000000000002p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-16382L, 0x1.0000000000000000000000000002p-1L, -0x1p-16384L, -0x1.c000000000000000000000000004p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffffffffffffffffcp-16382L, 0x1.0000000000000000000000000001p-1L, 0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffffffffffffffffcp-16382L, 0x1.0000000000000000000000000001p-1L, -0x1p-16494L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-1L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16494L, 0x1p-1L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1.1p-1L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16494L, 0x1.1p-1L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p16383L, 0x0.ffffffffffffffffffffffffffff8p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p16383L, -0x1.0000000000000000000000000001p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p-16382L, 0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p-16382L, -0x1.0000000000000000000000000001p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.fffffffffffffffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p-16494L, 0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p-16494L, plus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p-16494L, -0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p-16494L, -0x1p-16493L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffffp0L, 0x1p-226L),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffffp0L, -0x1p-226L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffffp0L, -0x1p-226L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffffp0L, 0x1p-226L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, 0x1p16383L, 0x0.ffffffffffffffffffffffffffff8p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, -0x1p16383L, -0x1.0000000000000000000000000001p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, 0x1p16319L, 0x0.ffffffffffffffffffffffffffff8p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, -0x1p16319L, -0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, -0x1p16319L, -0x1.0000000000000000000000000001p16319L),
|
||||
#endif
|
||||
AUTO_TESTS_fff_f (fma, downward),
|
||||
};
|
||||
|
||||
static void
|
||||
@ -8335,208 +7684,7 @@ fma_test_downward (void)
|
||||
|
||||
static const struct test_fff_f_data fma_upward_test_data[] =
|
||||
{
|
||||
TEST_fff_f (fma, plus_zero, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, plus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, minus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, plus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, minus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, plus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, plus_zero, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, -1.0, minus_zero, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, minus_zero, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, 1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, 1.0, minus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, -1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, plus_zero, -1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, 1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, 1.0, minus_zero, minus_zero),
|
||||
TEST_fff_f (fma, minus_zero, -1.0, plus_zero, plus_zero),
|
||||
TEST_fff_f (fma, minus_zero, -1.0, minus_zero, plus_zero),
|
||||
|
||||
TEST_fff_f (fma, 1.0, 1.0, -1.0, plus_zero),
|
||||
TEST_fff_f (fma, 1.0, -1.0, 1.0, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, 1.0, 1.0, plus_zero),
|
||||
TEST_fff_f (fma, -1.0, -1.0, -1.0, plus_zero),
|
||||
|
||||
TEST_fff_f (fma, min_value, min_value, plus_zero, min_subnorm_value, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, min_value, minus_zero, min_subnorm_value, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, -min_value, plus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, min_value, -min_value, minus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, min_value, plus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, min_value, minus_zero, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, -min_value, plus_zero, min_subnorm_value, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -min_value, -min_value, minus_zero, min_subnorm_value, UNDERFLOW_EXCEPTION),
|
||||
|
||||
#if !(defined TEST_LDOUBLE && LDBL_MANT_DIG == 106) /* Bug 13304. */
|
||||
TEST_fff_f (fma, max_value, max_value, min_value, plus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, max_value, -min_value, plus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, -max_value, min_value, -max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, max_value, -max_value, -min_value, -max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, max_value, min_value, -max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, max_value, -min_value, -max_value, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, -max_value, min_value, plus_infty, OVERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -max_value, -max_value, -min_value, plus_infty, OVERFLOW_EXCEPTION),
|
||||
#endif
|
||||
|
||||
#if defined (TEST_FLOAT) && FLT_MANT_DIG == 24
|
||||
TEST_fff_f (fma, 0x1.4p-126, 0x1.000004p-1, 0x1p-128, 0x1.c00008p-127, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-126, 0x1.000004p-1, -0x1p-128, -0x1.c00004p-127, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffff8p-126, 0x1.000002p-1, 0x1p-149, 0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1.fffff8p-126, 0x1.000002p-1, -0x1p-149, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-1, 0x0.fffffep-126, 0x1p-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-149, 0x1p-1, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1.1p-1, 0x0.fffffep-126, 0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1p-149, 0x1.1p-1, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p127, 0x1.000002p127),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p127, -0x0.ffffffp127),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p-126, 0x1.000002p-126),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p-126, 0x1p-126, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p-126, -0x1p-126),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x0.fffffep-126, 0x1p-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x0.fffffep-126, 0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x0.fffffep-126, -0x0.fffffcp-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x0.fffffep-126, -0x0.fffffep-126, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, 0x1p-149, 0x1p-148, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, 0x1p-149, 0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, 0x1p-149, -0x1p-149, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-149, -0x1p-149, -0x1p-149, -0x1p-149, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.fffp0, 0x0.fffp0, -0x0.ffep0, 0x1p-24),
|
||||
TEST_fff_f (fma, 0x0.fffp0, -0x0.fffp0, 0x0.ffep0, -0x1p-24),
|
||||
TEST_fff_f (fma, -0x0.fffp0, 0x0.fffp0, 0x0.ffep0, -0x1p-24),
|
||||
TEST_fff_f (fma, -0x0.fffp0, -0x0.fffp0, -0x0.ffep0, 0x1p-24),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, 0x1p127, 0x1.000002p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, 0x1p127, 0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, -0x1p127, -0x0.ffffffp127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, -0x1p127, -0x1p127),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, 0x1p103, 0x1.000002p103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, 0x1p103, 0x1p103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, 0x1.000002p-26, -0x1p103, -0x0.ffffffp103),
|
||||
TEST_fff_f (fma, 0x1.000002p-126, -0x1.000002p-26, -0x1p103, -0x1p103),
|
||||
#endif
|
||||
#if defined (TEST_DOUBLE) && DBL_MANT_DIG == 53
|
||||
TEST_fff_f (fma, 0x1.4p-1022, 0x1.0000000000002p-1, 0x1p-1024, 0x1.c000000000004p-1023, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-1022, 0x1.0000000000002p-1, -0x1p-1024, -0x1.c000000000002p-1023, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.ffffffffffffcp-1022, 0x1.0000000000001p-1, 0x1p-1074, 0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1.ffffffffffffcp-1022, 0x1.0000000000001p-1, -0x1p-1074, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1, 0x0.fffffffffffffp-1022, 0x1p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-1074, 0x1p-1, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1.1p-1, 0x0.fffffffffffffp-1022, 0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1p-1074, 0x1.1p-1, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p1023, 0x1.0000000000001p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p1023, -0x0.fffffffffffff8p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p-1022, 0x1.0000000000001p-1022),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p-1022, 0x1p-1022, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p-1022, -0x1p-1022),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x0.fffffffffffffp-1022, 0x1p-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x0.fffffffffffffp-1022, -0x0.ffffffffffffep-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x0.fffffffffffffp-1022, -0x0.fffffffffffffp-1022, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, 0x1p-1074, 0x1p-1073, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, 0x1p-1074, 0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, 0x1p-1074, -0x1p-1074, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-1074, -0x1p-1074, -0x1p-1074, -0x1p-1074, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.fffffffffffff8p0, 0x0.fffffffffffff8p0, -0x0.fffffffffffffp0, 0x1p-106),
|
||||
TEST_fff_f (fma, 0x0.fffffffffffff8p0, -0x0.fffffffffffff8p0, 0x0.fffffffffffffp0, -0x1p-106),
|
||||
TEST_fff_f (fma, -0x0.fffffffffffff8p0, 0x0.fffffffffffff8p0, 0x0.fffffffffffffp0, -0x1p-106),
|
||||
TEST_fff_f (fma, -0x0.fffffffffffff8p0, -0x0.fffffffffffff8p0, -0x0.fffffffffffffp0, 0x1p-106),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, 0x1p1023, 0x1.0000000000001p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, 0x1p1023, 0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, -0x1p1023, -0x0.fffffffffffff8p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, -0x1p1023, -0x1p1023),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, 0x1p970, 0x1.0000000000001p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, 0x1p970, 0x1p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, 0x1.0000000000001p-55, -0x1p970, -0x0.fffffffffffff8p970),
|
||||
TEST_fff_f (fma, 0x1.0000000000001p-1022, -0x1.0000000000001p-55, -0x1p970, -0x1p970),
|
||||
#endif
|
||||
#if defined (TEST_LDOUBLE) && LDBL_MANT_DIG == 64
|
||||
TEST_fff_f (fma, 0x1.4p-16382L, 0x1.0000000000000004p-1L, 0x1p-16384L, 0x1.c000000000000008p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-16382L, 0x1.0000000000000004p-1L, -0x1p-16384L, -0x1.c000000000000004p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffff8p-16382L, 0x1.0000000000000002p-1L, 0x1p-16445L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffff8p-16382L, 0x1.0000000000000002p-1L, -0x1p-16445L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-1L, 0x0.fffffffffffffffep-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16445L, 0x1p-1L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1.1p-1L, 0x0.fffffffffffffffep-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1p-16445L, 0x1.1p-1L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p16383L, 0x1.0000000000000002p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p16383L, -0x0.ffffffffffffffffp16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p-16382L, 0x1.0000000000000002p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p-16382L, -0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x0.fffffffffffffffep-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x0.fffffffffffffffep-16382L, 0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffcp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x0.fffffffffffffffep-16382L, -0x0.fffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, 0x1p-16445L, 0x1p-16444L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, 0x1p-16445L, 0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, 0x1p-16445L, -0x1p-16445L, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16445L, -0x1p-16445L, -0x1p-16445L, -0x1p-16445L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffp0L, 0x0.ffffffffffffffffp0L, -0x0.fffffffffffffffep0L, 0x1p-128L),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffp0L, -0x0.ffffffffffffffffp0L, 0x0.fffffffffffffffep0L, -0x1p-128L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffp0L, 0x0.ffffffffffffffffp0L, 0x0.fffffffffffffffep0L, -0x1p-128L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffp0L, -0x0.ffffffffffffffffp0L, -0x0.fffffffffffffffep0L, 0x1p-128L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, 0x1p16383L, 0x1.0000000000000002p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, -0x1p16383L, -0x0.ffffffffffffffffp16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, 0x1p16319L, 0x1.0000000000000002p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, 0x1.0000000000000002p-66L, -0x1p16319L, -0x0.ffffffffffffffffp16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000002p-16382L, -0x1.0000000000000002p-66L, -0x1p16319L, -0x1p16319L),
|
||||
#endif
|
||||
#if defined (TEST_LDOUBLE) && LDBL_MANT_DIG == 113
|
||||
TEST_fff_f (fma, 0x1.4p-16382L, 0x1.0000000000000000000000000002p-1L, 0x1p-16384L, 0x1.c000000000000000000000000004p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1.4p-16382L, 0x1.0000000000000000000000000002p-1L, -0x1p-16384L, -0x1.c000000000000000000000000002p-16383L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1.fffffffffffffffffffffffffffcp-16382L, 0x1.0000000000000000000000000001p-1L, 0x1p-16494L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1.fffffffffffffffffffffffffffcp-16382L, 0x1.0000000000000000000000000001p-1L, -0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-1L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, -0x1p-16494L, 0x1p-1L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1.1p-1L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, -0x1p-16494L, 0x1.1p-1L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p16383L, 0x1.0000000000000000000000000001p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p16383L, -0x0.ffffffffffffffffffffffffffff8p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p-16382L, 0x1.0000000000000000000000000001p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION_BEFORE_ROUNDING),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p-16382L, -0x1p-16382L),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x1p-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x0.ffffffffffffffffffffffffffffp-16382L, 0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.fffffffffffffffffffffffffffep-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x0.ffffffffffffffffffffffffffffp-16382L, -0x0.ffffffffffffffffffffffffffffp-16382L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, 0x1p-16494L, 0x1p-16493L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, 0x1p-16494L, 0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, 0x1p-16494L, -0x1p-16494L, minus_zero, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x1p-16494L, -0x1p-16494L, -0x1p-16494L, -0x1p-16494L, UNDERFLOW_EXCEPTION),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffffp0L, 0x1p-226L),
|
||||
TEST_fff_f (fma, 0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffffp0L, -0x1p-226L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffff8p0L, 0x0.ffffffffffffffffffffffffffffp0L, -0x1p-226L),
|
||||
TEST_fff_f (fma, -0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffff8p0L, -0x0.ffffffffffffffffffffffffffffp0L, 0x1p-226L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, 0x1p16383L, 0x1.0000000000000000000000000001p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, 0x1p16383L, 0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, -0x1p16383L, -0x0.ffffffffffffffffffffffffffff8p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, -0x1p16383L, -0x1p16383L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, 0x1p16319L, 0x1.0000000000000000000000000001p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, 0x1p16319L, 0x1p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, 0x1.0000000000000000000000000001p-66L, -0x1p16319L, -0x0.ffffffffffffffffffffffffffff8p16319L),
|
||||
TEST_fff_f (fma, 0x1.0000000000000000000000000001p-16382L, -0x1.0000000000000000000000000001p-66L, -0x1p16319L, -0x1p16319L),
|
||||
#endif
|
||||
AUTO_TESTS_fff_f (fma, upward),
|
||||
};
|
||||
|
||||
static void
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user