]>
git.ipfire.org Git - thirdparty/glibc.git/blob - math/libm-test-driver.c
1 /* Support code for testing libm functions (driver).
2 Copyright (C) 1997-2020 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <https://www.gnu.org/licenses/>. */
19 #include "libm-test-support.h"
21 #include <math-tests-arch.h>
23 /* Flags set by the including file. */
24 const int flag_test_errno
= TEST_ERRNO
;
25 const int flag_test_exceptions
= TEST_EXCEPTIONS
;
26 const int flag_test_inline
= TEST_INLINE
;
27 const int flag_test_mathvec
= TEST_MATHVEC
;
30 const int snan_tests_arg
= SNAN_TESTS (ARG_FLOAT
);
32 const int snan_tests_arg
= SNAN_TESTS (FLOAT
);
36 #define STR(x) STRX (x)
37 #define STR_FLOAT STR (FLOAT)
38 #define STR_ARG_FLOAT STR (ARG_FLOAT)
39 #define STR_VEC_LEN STR (VEC_LEN)
41 /* Informal description of the functions being tested. */
43 # define TEST_MSG "testing " STR_FLOAT " (vector length " STR_VEC_LEN ")\n"
45 # define TEST_MSG "testing " STR_FLOAT " (inline functions)\n"
47 # define TEST_MSG "testing " STR_FLOAT " (argument " STR_ARG_FLOAT ")\n"
49 # define TEST_MSG "testing " STR_FLOAT " (without inline functions)\n"
51 const char test_msg
[] = TEST_MSG
;
53 /* Allow platforms without all rounding modes to test properly,
54 assuming they provide an __FE_UNDEFINED in <bits/fenv.h> which
55 causes fesetround() to return failure. */
57 # define FE_TONEAREST __FE_UNDEFINED
60 # define FE_TOWARDZERO __FE_UNDEFINED
63 # define FE_UPWARD __FE_UNDEFINED
66 # define FE_DOWNWARD __FE_UNDEFINED
69 #define TEST_NAN_PAYLOAD_CANONICALIZE (SNAN_TESTS_PRESERVE_PAYLOAD \
74 const char qtype_str
[] = "i" TYPE_STR
;
76 const char qtype_str
[] = TYPE_STR
;
79 /* Various constants derived from pi. We must supply them precalculated for
80 accuracy. They are written as a series of postfix operations to keep
81 them concise yet somewhat readable. */
84 #define lit_pi_3_m_4_d LIT (2.356194490192344928846982537459627163)
85 /* pi * 3 / (4 * ln(10)) */
86 #define lit_pi_3_m_4_ln10_m_d LIT (1.023282265381381010614337719073516828)
87 /* pi / (2 * ln(10)) */
88 #define lit_pi_2_ln10_m_d LIT (0.682188176920920673742891812715677885)
89 /* pi / (4 * ln(10)) */
90 #define lit_pi_4_ln10_m_d LIT (0.341094088460460336871445906357838943)
92 #define lit_pi_ln10_d LIT (1.364376353841841347485783625431355770)
94 #define lit_pi_2_d LITM (M_PI_2)
96 #define lit_pi_4_d LITM (M_PI_4)
98 #define lit_pi LITM (M_PI)
100 /* Other useful constants. */
103 #define lit_e LITM (M_E)
105 #define plus_zero LIT (0.0)
106 #define minus_zero LIT (-0.0)
107 #define plus_infty FUNC (__builtin_inf) ()
108 #define minus_infty -(FUNC (__builtin_inf) ())
109 #define qnan_value_pl(S) FUNC (__builtin_nan) (S)
110 #define qnan_value qnan_value_pl ("")
111 #define snan_value_pl(S) FUNC (__builtin_nans) (S)
112 #define snan_value snan_value_pl ("")
113 #define max_value TYPE_MAX
114 #define min_value TYPE_MIN
115 #define min_subnorm_value TYPE_TRUE_MIN
117 #define arg_plus_zero ARG_LIT (0.0)
118 #define arg_minus_zero ARG_LIT (-0.0)
119 #define arg_plus_infty ARG_FUNC (__builtin_inf) ()
120 #define arg_minus_infty -(ARG_FUNC (__builtin_inf) ())
121 #define arg_qnan_value_pl(S) ARG_FUNC (__builtin_nan) (S)
122 #define arg_qnan_value arg_qnan_value_pl ("")
123 #define arg_snan_value_pl(S) ARG_FUNC (__builtin_nans) (S)
124 #define arg_snan_value arg_snan_value_pl ("")
125 #define arg_max_value ARG_TYPE_MAX
126 #define arg_min_value ARG_TYPE_MIN
127 #define arg_min_subnorm_value ARG_TYPE_TRUE_MIN
129 /* For nexttoward tests. */
130 #define snan_value_ld __builtin_nansl ("")
132 /* Structures for each kind of test. */
133 /* Used for both RUN_TEST_LOOP_f_f and RUN_TEST_LOOP_fp_f. */
144 struct test_ff_f_data
154 /* Strictly speaking, a j type argument is one gen-libm-test.py will not
155 attempt to muck with. For now, it is only used to prevent it from
156 mucking up an explicitly long double argument. */
157 struct test_fj_f_data
169 struct test_aa_f_data
172 ARG_FLOAT arg1
, arg2
;
180 struct test_fi_f_data
191 struct test_fl_f_data
202 struct test_if_f_data
213 struct test_fff_f_data
216 FLOAT arg1
, arg2
, arg3
;
223 struct test_fiu_M_data
235 struct test_fiu_U_data
257 /* Used for both RUN_TEST_LOOP_f_f1 and RUN_TEST_LOOP_fI_f1. */
258 struct test_f_f1_data
270 struct test_fF_f1_data
279 FLOAT extra_expected
;
282 struct test_ffI_f1_data
304 struct test_cc_c_data
307 FLOAT arg1r
, arg1c
, arg2r
, arg2c
;
314 /* Used for all of RUN_TEST_LOOP_f_i, RUN_TEST_LOOP_f_i_tg,
315 RUN_TEST_LOOP_f_b and RUN_TEST_LOOP_f_b_tg. */
326 /* Used for RUN_TEST_LOOP_ff_b, RUN_TEST_LOOP_fpfp_b and
327 RUN_TEST_LOOP_ff_i_tg. */
328 struct test_ff_i_data
354 long long int expected
;
358 struct test_fFF_11_data
366 FLOAT extra1_expected
;
368 FLOAT extra2_expected
;
371 /* Used for both RUN_TEST_LOOP_Ff_b1 and RUN_TEST_LOOP_Ffp_b1. */
372 struct test_Ff_b1_data
381 FLOAT extra_expected
;
385 /* Set the rounding mode, or restore the saved value. */
386 #define IF_ROUND_INIT_ /* Empty. */
387 #define IF_ROUND_INIT_FE_DOWNWARD \
388 int save_round_mode = fegetround (); \
389 if (ROUNDING_TESTS (FLOAT, FE_DOWNWARD) \
391 && fesetround (FE_DOWNWARD) == 0)
392 #define IF_ROUND_INIT_FE_TONEAREST \
393 int save_round_mode = fegetround (); \
394 if (ROUNDING_TESTS (FLOAT, FE_TONEAREST) \
395 && fesetround (FE_TONEAREST) == 0)
396 #define IF_ROUND_INIT_FE_TOWARDZERO \
397 int save_round_mode = fegetround (); \
398 if (ROUNDING_TESTS (FLOAT, FE_TOWARDZERO) \
400 && fesetround (FE_TOWARDZERO) == 0)
401 #define IF_ROUND_INIT_FE_UPWARD \
402 int save_round_mode = fegetround (); \
403 if (ROUNDING_TESTS (FLOAT, FE_UPWARD) \
405 && fesetround (FE_UPWARD) == 0)
406 #define ROUND_RESTORE_ /* Empty. */
407 #define ROUND_RESTORE_FE_DOWNWARD \
408 fesetround (save_round_mode)
409 #define ROUND_RESTORE_FE_TONEAREST \
410 fesetround (save_round_mode)
411 #define ROUND_RESTORE_FE_TOWARDZERO \
412 fesetround (save_round_mode)
413 #define ROUND_RESTORE_FE_UPWARD \
414 fesetround (save_round_mode)
416 /* Field name to use for a given rounding mode. */
418 #define RM_FE_DOWNWARD rd
419 #define RM_FE_TONEAREST rn
420 #define RM_FE_TOWARDZERO rz
421 #define RM_FE_UPWARD ru
423 /* Common setup for an individual test. */
424 #define COMMON_TEST_SETUP(ARG_STR) \
426 if (asprintf (&test_name, "%s (%s)", this_func, (ARG_STR)) == -1) \
429 /* Setup for a test with an extra output. */
430 #define EXTRA_OUTPUT_TEST_SETUP(ARG_STR, N) \
431 char *extra##N##_name; \
432 if (asprintf (&extra##N##_name, "%s (%s) extra output " #N, \
433 this_func, (ARG_STR)) == -1) \
436 /* Common cleanup after an individual test. */
437 #define COMMON_TEST_CLEANUP \
440 /* Cleanup for a test with an extra output. */
441 #define EXTRA_OUTPUT_TEST_CLEANUP(N) \
442 free (extra##N##_name)
444 /* Run an individual test, including any required setup and checking
445 of results, or loop over all tests in an array. */
446 #define RUN_TEST_f_f(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
449 if (enable_test (EXCEPTIONS)) \
451 COMMON_TEST_SETUP (ARG_STR); \
452 check_float (test_name, FUNC_TEST (FUNC_NAME) (ARG), \
453 EXPECTED, EXCEPTIONS); \
454 COMMON_TEST_CLEANUP; \
457 #define RUN_TEST_LOOP_f_f(FUNC_NAME, ARRAY, ROUNDING_MODE) \
458 IF_ROUND_INIT_ ## ROUNDING_MODE \
459 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
460 RUN_TEST_f_f ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
461 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
462 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
463 ROUND_RESTORE_ ## ROUNDING_MODE
464 #define RUN_TEST_fp_f(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
467 if (enable_test (EXCEPTIONS)) \
469 COMMON_TEST_SETUP (ARG_STR); \
470 check_float (test_name, FUNC_TEST (FUNC_NAME) (&(ARG)), \
471 EXPECTED, EXCEPTIONS); \
472 COMMON_TEST_CLEANUP; \
475 #define RUN_TEST_LOOP_fp_f(FUNC_NAME, ARRAY, ROUNDING_MODE) \
476 IF_ROUND_INIT_ ## ROUNDING_MODE \
477 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
478 RUN_TEST_fp_f ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
479 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
480 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
481 ROUND_RESTORE_ ## ROUNDING_MODE
482 #define RUN_TEST_2_f(ARG_STR, FUNC_NAME, ARG1, ARG2, EXPECTED, \
485 if (enable_test (EXCEPTIONS)) \
487 COMMON_TEST_SETUP (ARG_STR); \
488 check_float (test_name, FUNC_TEST (FUNC_NAME) (ARG1, ARG2), \
489 EXPECTED, EXCEPTIONS); \
490 COMMON_TEST_CLEANUP; \
493 #define RUN_TEST_LOOP_2_f(FUNC_NAME, ARRAY, ROUNDING_MODE) \
494 IF_ROUND_INIT_ ## ROUNDING_MODE \
495 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
496 RUN_TEST_2_f ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg1, \
498 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
499 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
500 ROUND_RESTORE_ ## ROUNDING_MODE
501 #define RUN_TEST_ff_f RUN_TEST_2_f
502 #define RUN_TEST_LOOP_ff_f RUN_TEST_LOOP_2_f
503 #define RUN_TEST_LOOP_fj_f RUN_TEST_LOOP_2_f
504 #define RUN_TEST_LOOP_aa_f RUN_TEST_LOOP_2_f
505 #define RUN_TEST_fi_f RUN_TEST_2_f
506 #define RUN_TEST_LOOP_fi_f RUN_TEST_LOOP_2_f
507 #define RUN_TEST_fl_f RUN_TEST_2_f
508 #define RUN_TEST_LOOP_fl_f RUN_TEST_LOOP_2_f
509 #define RUN_TEST_if_f RUN_TEST_2_f
510 #define RUN_TEST_LOOP_if_f RUN_TEST_LOOP_2_f
511 #define RUN_TEST_fff_f(ARG_STR, FUNC_NAME, ARG1, ARG2, ARG3, \
512 EXPECTED, EXCEPTIONS) \
514 if (enable_test (EXCEPTIONS)) \
516 COMMON_TEST_SETUP (ARG_STR); \
517 check_float (test_name, FUNC_TEST (FUNC_NAME) (ARG1, ARG2, ARG3), \
518 EXPECTED, EXCEPTIONS); \
519 COMMON_TEST_CLEANUP; \
522 #define RUN_TEST_LOOP_fff_f(FUNC_NAME, ARRAY, ROUNDING_MODE) \
523 IF_ROUND_INIT_ ## ROUNDING_MODE \
524 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
525 RUN_TEST_fff_f ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg1, \
526 (ARRAY)[i].arg2, (ARRAY)[i].arg3, \
527 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
528 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
529 ROUND_RESTORE_ ## ROUNDING_MODE
530 #define RUN_TEST_fiu_M(ARG_STR, FUNC_NAME, ARG1, ARG2, ARG3, \
531 EXPECTED, EXCEPTIONS) \
533 if (enable_test (EXCEPTIONS)) \
535 COMMON_TEST_SETUP (ARG_STR); \
536 check_intmax_t (test_name, \
537 FUNC_TEST (FUNC_NAME) (ARG1, ARG2, ARG3), \
538 EXPECTED, EXCEPTIONS); \
539 COMMON_TEST_CLEANUP; \
542 #define RUN_TEST_LOOP_fiu_M(FUNC_NAME, ARRAY, ROUNDING_MODE) \
543 IF_ROUND_INIT_ ## ROUNDING_MODE \
544 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
545 RUN_TEST_fiu_M ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg1, \
546 (ARRAY)[i].arg2, (ARRAY)[i].arg3, \
547 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
548 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
549 ROUND_RESTORE_ ## ROUNDING_MODE
550 #define RUN_TEST_fiu_U(ARG_STR, FUNC_NAME, ARG1, ARG2, ARG3, \
551 EXPECTED, EXCEPTIONS) \
553 if (enable_test (EXCEPTIONS)) \
555 COMMON_TEST_SETUP (ARG_STR); \
556 check_uintmax_t (test_name, \
557 FUNC_TEST (FUNC_NAME) (ARG1, ARG2, ARG3), \
558 EXPECTED, EXCEPTIONS); \
559 COMMON_TEST_CLEANUP; \
562 #define RUN_TEST_LOOP_fiu_U(FUNC_NAME, ARRAY, ROUNDING_MODE) \
563 IF_ROUND_INIT_ ## ROUNDING_MODE \
564 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
565 RUN_TEST_fiu_U ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg1, \
566 (ARRAY)[i].arg2, (ARRAY)[i].arg3, \
567 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
568 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
569 ROUND_RESTORE_ ## ROUNDING_MODE
570 #define RUN_TEST_c_f(ARG_STR, FUNC_NAME, ARG1, ARG2, EXPECTED, \
573 if (enable_test (EXCEPTIONS)) \
575 COMMON_TEST_SETUP (ARG_STR); \
576 check_float (test_name, \
577 FUNC_TEST (FUNC_NAME) (BUILD_COMPLEX (ARG1, ARG2)),\
578 EXPECTED, EXCEPTIONS); \
579 COMMON_TEST_CLEANUP; \
582 #define RUN_TEST_LOOP_c_f(FUNC_NAME, ARRAY, ROUNDING_MODE) \
583 IF_ROUND_INIT_ ## ROUNDING_MODE \
584 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
585 RUN_TEST_c_f ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].argr, \
587 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
588 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
589 ROUND_RESTORE_ ## ROUNDING_MODE
590 #define RUN_TEST_f_f1(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
591 EXCEPTIONS, EXTRA_VAR, EXTRA_TEST, \
594 if (enable_test (EXCEPTIONS)) \
596 COMMON_TEST_SETUP (ARG_STR); \
597 (EXTRA_VAR) = (EXTRA_EXPECTED) == 0 ? 1 : 0; \
598 check_float (test_name, FUNC_TEST (FUNC_NAME) (ARG), EXPECTED, \
600 EXTRA_OUTPUT_TEST_SETUP (ARG_STR, 1); \
602 check_int (extra1_name, EXTRA_VAR, EXTRA_EXPECTED, 0); \
603 EXTRA_OUTPUT_TEST_CLEANUP (1); \
604 COMMON_TEST_CLEANUP; \
607 #define RUN_TEST_LOOP_f_f1(FUNC_NAME, ARRAY, ROUNDING_MODE, EXTRA_VAR) \
608 IF_ROUND_INIT_ ## ROUNDING_MODE \
609 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
610 RUN_TEST_f_f1 ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
611 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
612 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions, \
614 (ARRAY)[i].RM_##ROUNDING_MODE.extra_test, \
615 (ARRAY)[i].RM_##ROUNDING_MODE.extra_expected); \
616 ROUND_RESTORE_ ## ROUNDING_MODE
617 #define RUN_TEST_fF_f1(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
618 EXCEPTIONS, EXTRA_VAR, EXTRA_TEST, \
621 if (enable_test (EXCEPTIONS)) \
623 COMMON_TEST_SETUP (ARG_STR); \
624 (EXTRA_VAR) = (EXTRA_EXPECTED) == 0 ? 1 : 0; \
625 check_float (test_name, FUNC_TEST (FUNC_NAME) (ARG, &(EXTRA_VAR)), \
626 EXPECTED, EXCEPTIONS); \
627 EXTRA_OUTPUT_TEST_SETUP (ARG_STR, 1); \
629 check_float (extra1_name, EXTRA_VAR, EXTRA_EXPECTED, 0); \
630 EXTRA_OUTPUT_TEST_CLEANUP (1); \
631 COMMON_TEST_CLEANUP; \
634 #define RUN_TEST_LOOP_fF_f1(FUNC_NAME, ARRAY, ROUNDING_MODE, EXTRA_VAR) \
635 IF_ROUND_INIT_ ## ROUNDING_MODE \
636 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
637 RUN_TEST_fF_f1 ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
638 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
639 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions, \
641 (ARRAY)[i].RM_##ROUNDING_MODE.extra_test, \
642 (ARRAY)[i].RM_##ROUNDING_MODE.extra_expected); \
643 ROUND_RESTORE_ ## ROUNDING_MODE
644 #define RUN_TEST_fI_f1(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
645 EXCEPTIONS, EXTRA_VAR, EXTRA_TEST, \
648 if (enable_test (EXCEPTIONS)) \
650 COMMON_TEST_SETUP (ARG_STR); \
651 (EXTRA_VAR) = (EXTRA_EXPECTED) == 0 ? 1 : 0; \
652 check_float (test_name, FUNC_TEST (FUNC_NAME) (ARG, &(EXTRA_VAR)), \
653 EXPECTED, EXCEPTIONS); \
654 EXTRA_OUTPUT_TEST_SETUP (ARG_STR, 1); \
656 check_int (extra1_name, EXTRA_VAR, EXTRA_EXPECTED, 0); \
657 EXTRA_OUTPUT_TEST_CLEANUP (1); \
658 COMMON_TEST_CLEANUP; \
661 #define RUN_TEST_LOOP_fI_f1(FUNC_NAME, ARRAY, ROUNDING_MODE, EXTRA_VAR) \
662 IF_ROUND_INIT_ ## ROUNDING_MODE \
663 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
664 RUN_TEST_fI_f1 ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
665 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
666 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions, \
668 (ARRAY)[i].RM_##ROUNDING_MODE.extra_test, \
669 (ARRAY)[i].RM_##ROUNDING_MODE.extra_expected); \
670 ROUND_RESTORE_ ## ROUNDING_MODE
671 #define RUN_TEST_ffI_f1_mod8(ARG_STR, FUNC_NAME, ARG1, ARG2, EXPECTED, \
672 EXCEPTIONS, EXTRA_VAR, EXTRA_TEST, \
675 if (enable_test (EXCEPTIONS)) \
677 COMMON_TEST_SETUP (ARG_STR); \
678 (EXTRA_VAR) = (EXTRA_EXPECTED) == 0 ? 1 : 0; \
679 check_float (test_name, \
680 FUNC_TEST (FUNC_NAME) (ARG1, ARG2, &(EXTRA_VAR)), \
681 EXPECTED, EXCEPTIONS); \
682 EXTRA_OUTPUT_TEST_SETUP (ARG_STR, 1); \
684 check_int (extra1_name, (EXTRA_VAR) % 8, EXTRA_EXPECTED, 0); \
685 EXTRA_OUTPUT_TEST_CLEANUP (1); \
686 COMMON_TEST_CLEANUP; \
689 #define RUN_TEST_LOOP_ffI_f1_mod8(FUNC_NAME, ARRAY, ROUNDING_MODE, \
691 IF_ROUND_INIT_ ## ROUNDING_MODE \
692 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
693 RUN_TEST_ffI_f1_mod8 ((ARRAY)[i].arg_str, FUNC_NAME, \
694 (ARRAY)[i].arg1, (ARRAY)[i].arg2, \
695 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
696 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions, \
698 (ARRAY)[i].RM_##ROUNDING_MODE.extra_test, \
699 (ARRAY)[i].RM_##ROUNDING_MODE.extra_expected); \
700 ROUND_RESTORE_ ## ROUNDING_MODE
701 #define RUN_TEST_Ff_b1(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
702 EXCEPTIONS, EXTRA_VAR, EXTRA_TEST, \
705 if (enable_test (EXCEPTIONS)) \
707 COMMON_TEST_SETUP (ARG_STR); \
708 (EXTRA_VAR) = (EXTRA_EXPECTED) == 0 ? 1 : 0; \
709 /* Clear any exceptions from comparison involving sNaN \
711 feclearexcept (FE_ALL_EXCEPT); \
712 check_bool (test_name, FUNC_TEST (FUNC_NAME) (&(EXTRA_VAR), \
714 EXPECTED, EXCEPTIONS); \
715 EXTRA_OUTPUT_TEST_SETUP (ARG_STR, 1); \
717 check_float (extra1_name, EXTRA_VAR, EXTRA_EXPECTED, \
718 (EXCEPTIONS) & TEST_NAN_PAYLOAD); \
719 EXTRA_OUTPUT_TEST_CLEANUP (1); \
720 COMMON_TEST_CLEANUP; \
723 #define RUN_TEST_LOOP_Ff_b1(FUNC_NAME, ARRAY, ROUNDING_MODE, \
725 IF_ROUND_INIT_ ## ROUNDING_MODE \
726 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
727 RUN_TEST_Ff_b1 ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
728 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
729 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions, \
731 (ARRAY)[i].RM_##ROUNDING_MODE.extra_test, \
732 (ARRAY)[i].RM_##ROUNDING_MODE.extra_expected); \
733 ROUND_RESTORE_ ## ROUNDING_MODE
734 #define RUN_TEST_Ffp_b1(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
735 EXCEPTIONS, EXTRA_VAR, EXTRA_TEST, \
738 if (enable_test (EXCEPTIONS)) \
740 COMMON_TEST_SETUP (ARG_STR); \
741 (EXTRA_VAR) = (EXTRA_EXPECTED) == 0 ? 1 : 0; \
742 check_bool (test_name, FUNC_TEST (FUNC_NAME) (&(EXTRA_VAR), \
744 EXPECTED, EXCEPTIONS); \
745 EXTRA_OUTPUT_TEST_SETUP (ARG_STR, 1); \
747 check_float (extra1_name, EXTRA_VAR, EXTRA_EXPECTED, \
748 (EXCEPTIONS) & TEST_NAN_PAYLOAD); \
749 EXTRA_OUTPUT_TEST_CLEANUP (1); \
750 COMMON_TEST_CLEANUP; \
753 #define RUN_TEST_LOOP_Ffp_b1(FUNC_NAME, ARRAY, ROUNDING_MODE, \
755 IF_ROUND_INIT_ ## ROUNDING_MODE \
756 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
757 RUN_TEST_Ffp_b1 ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
758 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
759 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions, \
761 (ARRAY)[i].RM_##ROUNDING_MODE.extra_test, \
762 (ARRAY)[i].RM_##ROUNDING_MODE.extra_expected); \
763 ROUND_RESTORE_ ## ROUNDING_MODE
764 #define RUN_TEST_c_c(ARG_STR, FUNC_NAME, ARGR, ARGC, EXPR, EXPC, \
767 if (enable_test (EXCEPTIONS)) \
769 COMMON_TEST_SETUP (ARG_STR); \
770 check_complex (test_name, \
771 FUNC_TEST (FUNC_NAME) (BUILD_COMPLEX (ARGR, ARGC)), \
772 BUILD_COMPLEX (EXPR, EXPC), EXCEPTIONS); \
773 COMMON_TEST_CLEANUP; \
776 #define RUN_TEST_LOOP_c_c(FUNC_NAME, ARRAY, ROUNDING_MODE) \
777 IF_ROUND_INIT_ ## ROUNDING_MODE \
778 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
779 RUN_TEST_c_c ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].argr, \
781 (ARRAY)[i].RM_##ROUNDING_MODE.expr, \
782 (ARRAY)[i].RM_##ROUNDING_MODE.expc, \
783 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
784 ROUND_RESTORE_ ## ROUNDING_MODE
785 #define RUN_TEST_cc_c(ARG_STR, FUNC_NAME, ARG1R, ARG1C, ARG2R, ARG2C, \
786 EXPR, EXPC, EXCEPTIONS) \
788 if (enable_test (EXCEPTIONS)) \
790 COMMON_TEST_SETUP (ARG_STR); \
791 check_complex (test_name, \
792 FUNC_TEST (FUNC_NAME) (BUILD_COMPLEX (ARG1R, ARG1C), \
793 BUILD_COMPLEX (ARG2R, ARG2C)), \
794 BUILD_COMPLEX (EXPR, EXPC), EXCEPTIONS); \
795 COMMON_TEST_CLEANUP; \
798 #define RUN_TEST_LOOP_cc_c(FUNC_NAME, ARRAY, ROUNDING_MODE) \
799 IF_ROUND_INIT_ ## ROUNDING_MODE \
800 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
801 RUN_TEST_cc_c ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg1r, \
802 (ARRAY)[i].arg1c, (ARRAY)[i].arg2r, \
804 (ARRAY)[i].RM_##ROUNDING_MODE.expr, \
805 (ARRAY)[i].RM_##ROUNDING_MODE.expc, \
806 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
807 ROUND_RESTORE_ ## ROUNDING_MODE
808 #define RUN_TEST_f_i(ARG_STR, FUNC_NAME, ARG, EXPECTED, EXCEPTIONS) \
810 if (enable_test (EXCEPTIONS)) \
812 COMMON_TEST_SETUP (ARG_STR); \
813 check_int (test_name, FUNC_TEST (FUNC_NAME) (ARG), EXPECTED, \
815 COMMON_TEST_CLEANUP; \
818 #define RUN_TEST_LOOP_f_i(FUNC_NAME, ARRAY, ROUNDING_MODE) \
819 IF_ROUND_INIT_ ## ROUNDING_MODE \
820 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
821 RUN_TEST_f_i ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
822 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
823 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
824 ROUND_RESTORE_ ## ROUNDING_MODE
825 #define RUN_TEST_f_i_tg(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
828 if (enable_test (EXCEPTIONS)) \
830 COMMON_TEST_SETUP (ARG_STR); \
831 check_int (test_name, FUNC_NAME (ARG), EXPECTED, EXCEPTIONS); \
832 COMMON_TEST_CLEANUP; \
835 #define RUN_TEST_LOOP_f_i_tg(FUNC_NAME, ARRAY, ROUNDING_MODE) \
836 IF_ROUND_INIT_ ## ROUNDING_MODE \
837 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
838 RUN_TEST_f_i_tg ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
839 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
840 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
841 ROUND_RESTORE_ ## ROUNDING_MODE
842 #define RUN_TEST_ff_b(ARG_STR, FUNC_NAME, ARG1, ARG2, EXPECTED, \
845 if (enable_test (EXCEPTIONS)) \
847 COMMON_TEST_SETUP (ARG_STR); \
848 check_bool (test_name, FUNC_TEST (FUNC_NAME) (ARG1, ARG2), \
849 EXPECTED, EXCEPTIONS); \
850 COMMON_TEST_CLEANUP; \
853 #define RUN_TEST_LOOP_ff_b(FUNC_NAME, ARRAY, ROUNDING_MODE) \
854 IF_ROUND_INIT_ ## ROUNDING_MODE \
855 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
856 RUN_TEST_ff_b ((ARRAY)[i].arg_str, FUNC_NAME, \
857 (ARRAY)[i].arg1, (ARRAY)[i].arg2, \
858 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
859 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
860 ROUND_RESTORE_ ## ROUNDING_MODE
861 #define RUN_TEST_fpfp_b(ARG_STR, FUNC_NAME, ARG1, ARG2, EXPECTED, \
864 if (enable_test (EXCEPTIONS)) \
866 COMMON_TEST_SETUP (ARG_STR); \
867 check_bool (test_name, \
868 FUNC_TEST (FUNC_NAME) (&(ARG1), &(ARG2)), \
869 EXPECTED, EXCEPTIONS); \
870 COMMON_TEST_CLEANUP; \
873 #define RUN_TEST_LOOP_fpfp_b(FUNC_NAME, ARRAY, ROUNDING_MODE) \
874 IF_ROUND_INIT_ ## ROUNDING_MODE \
875 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
876 RUN_TEST_fpfp_b ((ARRAY)[i].arg_str, FUNC_NAME, \
877 (ARRAY)[i].arg1, (ARRAY)[i].arg2, \
878 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
879 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
880 ROUND_RESTORE_ ## ROUNDING_MODE
881 #define RUN_TEST_ff_i_tg(ARG_STR, FUNC_NAME, ARG1, ARG2, EXPECTED, \
884 if (enable_test (EXCEPTIONS)) \
886 COMMON_TEST_SETUP (ARG_STR); \
887 check_int (test_name, FUNC_NAME (ARG1, ARG2), EXPECTED, \
889 COMMON_TEST_CLEANUP; \
892 #define RUN_TEST_LOOP_ff_i_tg(FUNC_NAME, ARRAY, ROUNDING_MODE) \
893 IF_ROUND_INIT_ ## ROUNDING_MODE \
894 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
895 RUN_TEST_ff_i_tg ((ARRAY)[i].arg_str, FUNC_NAME, \
896 (ARRAY)[i].arg1, (ARRAY)[i].arg2, \
897 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
898 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
899 ROUND_RESTORE_ ## ROUNDING_MODE
900 #define RUN_TEST_f_b(ARG_STR, FUNC_NAME, ARG, EXPECTED, EXCEPTIONS) \
902 if (enable_test (EXCEPTIONS)) \
904 COMMON_TEST_SETUP (ARG_STR); \
905 check_bool (test_name, FUNC_TEST (FUNC_NAME) (ARG), EXPECTED, \
907 COMMON_TEST_CLEANUP; \
910 #define RUN_TEST_LOOP_f_b(FUNC_NAME, ARRAY, ROUNDING_MODE) \
911 IF_ROUND_INIT_ ## ROUNDING_MODE \
912 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
913 RUN_TEST_f_b ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
914 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
915 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
916 ROUND_RESTORE_ ## ROUNDING_MODE
917 #define RUN_TEST_f_b_tg(ARG_STR, FUNC_NAME, ARG, EXPECTED, \
920 if (enable_test (EXCEPTIONS)) \
922 COMMON_TEST_SETUP (ARG_STR); \
923 check_bool (test_name, FUNC_NAME (ARG), EXPECTED, EXCEPTIONS); \
924 COMMON_TEST_CLEANUP; \
927 #define RUN_TEST_LOOP_f_b_tg(FUNC_NAME, ARRAY, ROUNDING_MODE) \
928 IF_ROUND_INIT_ ## ROUNDING_MODE \
929 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
930 RUN_TEST_f_b_tg ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
931 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
932 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
933 ROUND_RESTORE_ ## ROUNDING_MODE
934 #define RUN_TEST_f_l(ARG_STR, FUNC_NAME, ARG, EXPECTED, EXCEPTIONS) \
936 if (enable_test (EXCEPTIONS)) \
938 COMMON_TEST_SETUP (ARG_STR); \
939 check_long (test_name, FUNC_TEST (FUNC_NAME) (ARG), EXPECTED, \
941 COMMON_TEST_CLEANUP; \
944 #define RUN_TEST_LOOP_f_l(FUNC_NAME, ARRAY, ROUNDING_MODE) \
945 IF_ROUND_INIT_ ## ROUNDING_MODE \
946 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
947 RUN_TEST_f_l ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
948 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
949 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
950 ROUND_RESTORE_ ## ROUNDING_MODE
951 #define RUN_TEST_f_L(ARG_STR, FUNC_NAME, ARG, EXPECTED, EXCEPTIONS) \
953 if (enable_test (EXCEPTIONS)) \
955 COMMON_TEST_SETUP (ARG_STR); \
956 check_longlong (test_name, FUNC_TEST (FUNC_NAME) (ARG), \
957 EXPECTED, EXCEPTIONS); \
958 COMMON_TEST_CLEANUP; \
961 #define RUN_TEST_LOOP_f_L(FUNC_NAME, ARRAY, ROUNDING_MODE) \
962 IF_ROUND_INIT_ ## ROUNDING_MODE \
963 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
964 RUN_TEST_f_L ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
965 (ARRAY)[i].RM_##ROUNDING_MODE.expected, \
966 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions); \
967 ROUND_RESTORE_ ## ROUNDING_MODE
968 #define RUN_TEST_fFF_11(ARG_STR, FUNC_NAME, ARG, EXCEPTIONS, \
969 EXTRA1_VAR, EXTRA1_TEST, \
970 EXTRA1_EXPECTED, EXTRA2_VAR, \
971 EXTRA2_TEST, EXTRA2_EXPECTED) \
973 if (enable_test (EXCEPTIONS)) \
975 COMMON_TEST_SETUP (ARG_STR); \
976 FUNC_TEST (FUNC_NAME) (ARG, &(EXTRA1_VAR), &(EXTRA2_VAR)); \
977 EXTRA_OUTPUT_TEST_SETUP (ARG_STR, 1); \
979 check_float (extra1_name, EXTRA1_VAR, EXTRA1_EXPECTED, \
981 EXTRA_OUTPUT_TEST_CLEANUP (1); \
982 EXTRA_OUTPUT_TEST_SETUP (ARG_STR, 2); \
984 check_float (extra2_name, EXTRA2_VAR, EXTRA2_EXPECTED, 0); \
985 EXTRA_OUTPUT_TEST_CLEANUP (2); \
986 COMMON_TEST_CLEANUP; \
989 #define RUN_TEST_LOOP_fFF_11(FUNC_NAME, ARRAY, ROUNDING_MODE, \
990 EXTRA1_VAR, EXTRA2_VAR) \
991 IF_ROUND_INIT_ ## ROUNDING_MODE \
992 for (size_t i = 0; i < sizeof (ARRAY) / sizeof (ARRAY)[0]; i++) \
993 RUN_TEST_fFF_11 ((ARRAY)[i].arg_str, FUNC_NAME, (ARRAY)[i].arg, \
994 (ARRAY)[i].RM_##ROUNDING_MODE.exceptions, \
996 (ARRAY)[i].RM_##ROUNDING_MODE.extra1_test, \
997 (ARRAY)[i].RM_##ROUNDING_MODE.extra1_expected, \
999 (ARRAY)[i].RM_##ROUNDING_MODE.extra2_test, \
1000 (ARRAY)[i].RM_##ROUNDING_MODE.extra2_expected); \
1001 ROUND_RESTORE_ ## ROUNDING_MODE
1004 # define TEST_SUFF VEC_SUFF
1005 # define TEST_SUFF_STR
1008 # define TEST_SUFF_STR "_" ARG_TYPE_STR
1011 # define TEST_SUFF_STR
1014 #define STR_CONCAT(a, b, c) __STRING (a##b##c)
1015 #define STR_CON3(a, b, c) STR_CONCAT (a, b, c)
1018 # define TEST_COND_any_ibm128 (TEST_COND_ibm128 || TEST_COND_arg_ibm128)
1020 # define TEST_COND_any_ibm128 TEST_COND_ibm128
1023 /* Start and end the tests for a given function. */
1024 #define START(FUN, SUFF, EXACT) \
1026 const char *this_func \
1027 = STR_CON3 (FUN, SUFF, TEST_SUFF) TEST_SUFF_STR; \
1028 init_max_error (this_func, EXACT, TEST_COND_any_ibm128)
1030 print_max_error (this_func)
1031 #define END_COMPLEX \
1032 print_complex_max_error (this_func)
1034 /* Run tests for a given function in all rounding modes. */
1035 #define ALL_RM_TEST(FUNC, EXACT, ARRAY, LOOP_MACRO, END_MACRO, ...) \
1040 START (FUNC,, EXACT); \
1041 LOOP_MACRO (FUNC, ARRAY, , ## __VA_ARGS__); \
1047 START (FUNC, _downward, EXACT); \
1048 LOOP_MACRO (FUNC, ARRAY, FE_DOWNWARD, ## __VA_ARGS__); \
1054 START (FUNC, _towardzero, EXACT); \
1055 LOOP_MACRO (FUNC, ARRAY, FE_TOWARDZERO, ## __VA_ARGS__); \
1061 START (FUNC, _upward, EXACT); \
1062 LOOP_MACRO (FUNC, ARRAY, FE_UPWARD, ## __VA_ARGS__); \
1069 /* Short description of program. */
1070 const char doc
[] = "Math test suite: " TEST_MSG
;
1072 static void do_test (void);
1075 main (int argc
, char **argv
)
1077 libm_test_init (argc
, argv
);
1080 return libm_test_finish ();