]>
Commit | Line | Data |
---|---|---|
eaf5ad0b | 1 | /* Test iscanonical and canonicalizel for ldbl-96. |
04277e02 | 2 | Copyright (C) 2016-2019 Free Software Foundation, Inc. |
29cb9293 JM |
3 | This file is part of the GNU C Library. |
4 | ||
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. | |
9 | ||
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. | |
14 | ||
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 | <http://www.gnu.org/licenses/>. */ | |
18 | ||
19 | #include <float.h> | |
20 | #include <math.h> | |
963394a2 | 21 | #include <math_ldbl.h> |
29cb9293 JM |
22 | #include <stdbool.h> |
23 | #include <stdint.h> | |
24 | #include <stdio.h> | |
25 | ||
26 | struct test | |
27 | { | |
28 | bool sign; | |
29 | uint16_t exponent; | |
30 | bool high; | |
31 | uint64_t mantissa; | |
32 | bool canonical; | |
33 | }; | |
34 | ||
35 | #define M68K_VARIANT (LDBL_MIN_EXP == -16382) | |
36 | ||
37 | static const struct test tests[] = | |
38 | { | |
39 | { false, 0, true, 0, M68K_VARIANT }, | |
40 | { true, 0, true, 0, M68K_VARIANT }, | |
41 | { false, 0, true, 1, M68K_VARIANT }, | |
42 | { true, 0, true, 1, M68K_VARIANT }, | |
43 | { false, 0, true, 0x100000000ULL, M68K_VARIANT }, | |
44 | { true, 0, true, 0x100000000ULL, M68K_VARIANT }, | |
45 | { false, 0, false, 0, true }, | |
46 | { true, 0, false, 0, true }, | |
47 | { false, 0, false, 1, true }, | |
48 | { true, 0, false, 1, true }, | |
49 | { false, 0, false, 0x100000000ULL, true }, | |
50 | { true, 0, false, 0x100000000ULL, true }, | |
51 | { false, 1, true, 0, true }, | |
52 | { true, 1, true, 0, true }, | |
53 | { false, 1, true, 1, true }, | |
54 | { true, 1, true, 1, true }, | |
55 | { false, 1, true, 0x100000000ULL, true }, | |
56 | { true, 1, true, 0x100000000ULL, true }, | |
57 | { false, 1, false, 0, false }, | |
58 | { true, 1, false, 0, false }, | |
59 | { false, 1, false, 1, false }, | |
60 | { true, 1, false, 1, false }, | |
61 | { false, 1, false, 0x100000000ULL, false }, | |
62 | { true, 1, false, 0x100000000ULL, false }, | |
63 | { false, 0x7ffe, true, 0, true }, | |
64 | { true, 0x7ffe, true, 0, true }, | |
65 | { false, 0x7ffe, true, 1, true }, | |
66 | { true, 0x7ffe, true, 1, true }, | |
67 | { false, 0x7ffe, true, 0x100000000ULL, true }, | |
68 | { true, 0x7ffe, true, 0x100000000ULL, true }, | |
69 | { false, 0x7ffe, false, 0, false }, | |
70 | { true, 0x7ffe, false, 0, false }, | |
71 | { false, 0x7ffe, false, 1, false }, | |
72 | { true, 0x7ffe, false, 1, false }, | |
73 | { false, 0x7ffe, false, 0x100000000ULL, false }, | |
74 | { true, 0x7ffe, false, 0x100000000ULL, false }, | |
75 | { false, 0x7fff, true, 0, true }, | |
76 | { true, 0x7fff, true, 0, true }, | |
77 | { false, 0x7fff, true, 1, true }, | |
78 | { true, 0x7fff, true, 1, true }, | |
79 | { false, 0x7fff, true, 0x100000000ULL, true }, | |
80 | { true, 0x7fff, true, 0x100000000ULL, true }, | |
81 | { false, 0x7fff, false, 0, M68K_VARIANT }, | |
82 | { true, 0x7fff, false, 0, M68K_VARIANT }, | |
83 | { false, 0x7fff, false, 1, M68K_VARIANT }, | |
84 | { true, 0x7fff, false, 1, M68K_VARIANT }, | |
85 | { false, 0x7fff, false, 0x100000000ULL, M68K_VARIANT }, | |
86 | { true, 0x7fff, false, 0x100000000ULL, M68K_VARIANT }, | |
87 | }; | |
88 | ||
89 | static int | |
90 | do_test (void) | |
91 | { | |
92 | int result = 0; | |
93 | ||
94 | for (size_t i = 0; i < sizeof (tests) / sizeof (tests[0]); i++) | |
95 | { | |
96 | long double ld; | |
97 | SET_LDOUBLE_WORDS (ld, tests[i].exponent | (tests[i].sign << 15), | |
98 | (tests[i].mantissa >> 32) | (tests[i].high << 31), | |
99 | tests[i].mantissa & 0xffffffffULL); | |
100 | bool canonical = iscanonical (ld); | |
101 | if (canonical == tests[i].canonical) | |
eaf5ad0b JM |
102 | { |
103 | printf ("PASS: iscanonical test %zu\n", i); | |
104 | long double ldc = 12345.0L; | |
105 | bool canonicalize_ret = canonicalizel (&ldc, &ld); | |
106 | if (canonicalize_ret == !canonical) | |
107 | { | |
108 | printf ("PASS: canonicalizel test %zu\n", i); | |
109 | bool canon_ok; | |
110 | if (!canonical) | |
111 | canon_ok = ldc == 12345.0L; | |
112 | else if (isnan (ld)) | |
113 | canon_ok = isnan (ldc) && !issignaling (ldc); | |
114 | else | |
115 | canon_ok = ldc == ld; | |
116 | if (canon_ok) | |
117 | printf ("PASS: canonicalized value test %zu\n", i); | |
118 | else | |
119 | { | |
120 | printf ("FAIL: canonicalized value test %zu\n", i); | |
121 | result = 1; | |
122 | } | |
123 | } | |
124 | else | |
125 | { | |
126 | printf ("FAIL: canonicalizel test %zu\n", i); | |
127 | result = 1; | |
128 | } | |
129 | } | |
29cb9293 JM |
130 | else |
131 | { | |
eaf5ad0b | 132 | printf ("FAIL: iscanonical test %zu\n", i); |
29cb9293 JM |
133 | result = 1; |
134 | } | |
135 | } | |
136 | ||
137 | return result; | |
138 | } | |
139 | ||
140 | #define TEST_FUNCTION do_test () | |
141 | #include "../test-skeleton.c" |