1826
|
1 |
/*
|
5506
|
2 |
* Copyright (c) 2003, 2004, Oracle and/or its affiliates. All rights reserved.
|
1826
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
|
4 |
*
|
|
5 |
* This code is free software; you can redistribute it and/or modify it
|
|
6 |
* under the terms of the GNU General Public License version 2 only, as
|
|
7 |
* published by the Free Software Foundation.
|
|
8 |
*
|
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT
|
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that
|
|
13 |
* accompanied this code).
|
|
14 |
*
|
|
15 |
* You should have received a copy of the GNU General Public License version
|
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation,
|
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
18 |
*
|
5506
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
|
20 |
* or visit www.oracle.com if you need additional information or have any
|
|
21 |
* questions.
|
1826
|
22 |
*/
|
|
23 |
|
|
24 |
/*
|
|
25 |
* @test
|
|
26 |
* @bug 4851625
|
|
27 |
* @summary Tests for StrictMath.{sinh, cosh, tanh}
|
|
28 |
* @author Joseph D. Darcy
|
|
29 |
*/
|
|
30 |
|
|
31 |
/**
|
|
32 |
* The tests in ../Math/HyperbolicTests.java test properties that
|
|
33 |
* should hold for any implementation of the hyperbolic functions
|
|
34 |
* sinh, cos, and tanh, including the FDLIBM-based ones required by
|
|
35 |
* the StrictMath class. Therefore, the test cases in
|
|
36 |
* ../Math/HyperbolicTests.java are run against both the Math and
|
|
37 |
* StrictMath versions of the hyperbolic methods. The role of this
|
|
38 |
* test is to verify that the FDLIBM algorithms are being used by
|
|
39 |
* running golden file tests on values that may vary from one
|
|
40 |
* conforming implementation of the hyperbolics to another.
|
|
41 |
*/
|
|
42 |
|
|
43 |
public class HyperbolicTests {
|
|
44 |
private HyperbolicTests(){}
|
|
45 |
|
|
46 |
static int testSinhCase(double input, double expected) {
|
|
47 |
return Tests.test("StrictMath.sinh(double)", input,
|
|
48 |
StrictMath.sinh(input), expected);
|
|
49 |
}
|
|
50 |
|
|
51 |
static int testCoshCase(double input, double expected) {
|
|
52 |
return Tests.test("StrictMath.cosh(double)", input,
|
|
53 |
StrictMath.cosh(input), expected);
|
|
54 |
}
|
|
55 |
|
|
56 |
static int testTanhCase(double input, double expected) {
|
|
57 |
return Tests.test("StrictMath.tanh(double)", input,
|
|
58 |
StrictMath.tanh(input), expected);
|
|
59 |
}
|
|
60 |
|
|
61 |
static int testSinh() {
|
|
62 |
int failures = 0;
|
|
63 |
double [][] testCases = {
|
|
64 |
{0x1.5798ee2308c3ap-27, 0x1.5798ee2308c3bp-27},
|
|
65 |
{0x1.ffffffffffff8p-26, 0x1.ffffffffffffap-26},
|
|
66 |
{0x1.ffffffffffffep-26, 0x1.0p-25},
|
|
67 |
{0x1.ffffffffffff8p-25, 0x1.ffffffffffffep-25},
|
|
68 |
{0x1.ffffffffffffap-25, 0x1.0p-24},
|
|
69 |
{0x1.ad7f29abcaf47p-24, 0x1.ad7f29abcaf53p-24},
|
|
70 |
{0x1.ad7f29abcaf48p-24, 0x1.ad7f29abcaf54p-24},
|
|
71 |
{0x1.fffffffffffeap-24, 0x1.0p-23},
|
|
72 |
{0x1.ffffffffffff8p-24, 0x1.0000000000007p-23},
|
|
73 |
{0x1.fffffffffffaap-23, 0x1.0p-22},
|
|
74 |
{0x1.ffffffffffff8p-23, 0x1.0000000000027p-22},
|
|
75 |
{0x1.ffffffffffeaap-22, 0x1.0p-21},
|
|
76 |
{0x1.ffffffffffff8p-22, 0x1.00000000000a7p-21},
|
|
77 |
{0x1.ffffffffffaaap-21, 0x1.0p-20},
|
|
78 |
{0x1.ffffffffffff8p-21, 0x1.00000000002a7p-20},
|
|
79 |
{0x1.0c6f7a0b5ed8cp-20, 0x1.0c6f7a0b5f09fp-20},
|
|
80 |
{0x1.0c6f7a0b5ed8dp-20, 0x1.0c6f7a0b5f0ap-20},
|
|
81 |
{0x1.fffffffffeaaap-20, 0x1.0p-19},
|
|
82 |
{0x1.ffffffffffff8p-20, 0x1.0000000000aa7p-19},
|
|
83 |
{0x1.ffffffffffff8p-19, 0x1.0000000002aa7p-18},
|
|
84 |
{0x1.ffffffffffff7p-18, 0x1.000000000aaa6p-17},
|
|
85 |
{0x1.4f8b588e368d9p-17, 0x1.4f8b588e4e928p-17},
|
|
86 |
{0x1.ffffffffffffep-17, 0x1.000000002aaa9p-16},
|
|
87 |
{0x1.0p-16, 0x1.000000002aaaap-16},
|
|
88 |
{0x1.fffffffffffffp-16, 0x1.00000000aaaabp-15},
|
|
89 |
{0x1.fffffffffeaaap-15, 0x1.00000002aap-14},
|
|
90 |
{0x1.ffffffffffffep-15, 0x1.00000002aaaa9p-14},
|
|
91 |
{0x1.0p-14, 0x1.00000002aaaaap-14},
|
|
92 |
{0x1.a36e2eb1c3dd4p-14, 0x1.a36e2ebd7e43ap-14},
|
|
93 |
{0x1.a36e2eb1c3f8cp-14, 0x1.a36e2ebd7e5f1p-14},
|
|
94 |
{0x1.a36e2eb1c432cp-14, 0x1.a36e2ebd7e991p-14},
|
|
95 |
{0x1.fffffffffffffp-14, 0x1.0000000aaaaabp-13},
|
|
96 |
{0x1.ffffffffffffep-13, 0x1.0000002aaaaa9p-12},
|
|
97 |
{0x1.0p-12, 0x1.0000002aaaaaap-12},
|
|
98 |
{0x1.ffffffffff7f9p-12, 0x1.000000aaaa6a9p-11},
|
|
99 |
{0x1.fffffffffffffp-12, 0x1.000000aaaaaadp-11},
|
|
100 |
{0x1.ffffffffffffep-11, 0x1.000002aaaaacbp-10},
|
|
101 |
{0x1.0p-10, 0x1.000002aaaaaccp-10},
|
|
102 |
{0x1.0624dd2f1a79p-10, 0x1.0624e00c1c776p-10},
|
|
103 |
{0x1.0624dd2f1a8c9p-10, 0x1.0624e00c1c8bp-10},
|
|
104 |
{0x1.0624dd2f1a9fcp-10, 0x1.0624e00c1c9e3p-10},
|
|
105 |
{0x1.ffffffffffffep-10, 0x1.00000aaaaaccbp-9},
|
|
106 |
{0x1.0p-9, 0x1.00000aaaaacccp-9},
|
|
107 |
{0x1.ffffffffffe4ap-9, 0x1.00002aaaacbf2p-8},
|
|
108 |
{0x1.fffffffffffffp-9, 0x1.00002aaaacccdp-8},
|
|
109 |
{0x1.fffffffffff9dp-8, 0x1.0000aaaaccc9bp-7},
|
|
110 |
{0x1.ffffffffffffep-8, 0x1.0000aaaacccccp-7},
|
|
111 |
{0x1.0p-7, 0x1.0000aaaaccccdp-7},
|
|
112 |
{0x1.47ae147ae146fp-7, 0x1.47af7a654e9e2p-7},
|
|
113 |
{0x1.47ae147ae147ap-7, 0x1.47af7a654e9eep-7},
|
|
114 |
{0x1.47ae147ae147bp-7, 0x1.47af7a654e9efp-7},
|
|
115 |
{0x1.fffffffffffb6p-7, 0x1.0002aaaccccb4p-6},
|
|
116 |
{0x1.fffffffffffcap-7, 0x1.0002aaaccccbep-6},
|
|
117 |
{0x1.ffffffffffff7p-7, 0x1.0002aaaccccd5p-6},
|
|
118 |
{0x1.fffffffffffe9p-6, 0x1.000aaacccd001p-5},
|
|
119 |
{0x1.ffffffffffff7p-6, 0x1.000aaacccd008p-5},
|
|
120 |
{0x1.fffffffffffffp-6, 0x1.000aaacccd00dp-5},
|
|
121 |
{0x1.ffffffffffff6p-5, 0x1.002aacccd9cd7p-4},
|
|
122 |
{0x1.ffffffffffff8p-5, 0x1.002aacccd9cd9p-4},
|
|
123 |
{0x1.0p-4, 0x1.002aacccd9cddp-4},
|
|
124 |
{0x1.9999999999995p-4, 0x1.9a487337b59afp-4},
|
|
125 |
{0x1.9999999999996p-4, 0x1.9a487337b59afp-4},
|
|
126 |
{0x1.9999999999998p-4, 0x1.9a487337b59b1p-4},
|
|
127 |
{0x1.ffffffffffffap-4, 0x1.00aaccd00d2edp-3},
|
|
128 |
{0x1.ffffffffffffcp-4, 0x1.00aaccd00d2efp-3},
|
|
129 |
{0x1.ffffffffffff3p-3, 0x1.02accd9d080fbp-2},
|
|
130 |
{0x1.ffffffffffffdp-3, 0x1.02accd9d08101p-2},
|
|
131 |
{0x1.fffffffffffffp-3, 0x1.02accd9d08101p-2},
|
|
132 |
{0x1.fffffffffffecp-2, 0x1.0acd00fe63b8cp-1},
|
|
133 |
{0x1.ffffffffffffcp-2, 0x1.0acd00fe63b94p-1},
|
|
134 |
{0x1.0p-1, 0x1.0acd00fe63b97p-1},
|
|
135 |
{0x1.ffffffffffff6p-1, 0x1.2cd9fc44eb97ap0},
|
|
136 |
{0x1.ffffffffffffep-1, 0x1.2cd9fc44eb981p0},
|
|
137 |
{0x1.fffffffffffffp0, 0x1.d03cf63b6e19ep1},
|
|
138 |
{0x1.0p1, 0x1.d03cf63b6e1ap1},
|
|
139 |
{0x1.fffffffffffffp1, 0x1.b4a380370362dp4},
|
|
140 |
{0x1.0p2, 0x1.b4a380370363p4},
|
|
141 |
{0x1.ffffffffffffcp2, 0x1.749ea514eca4ep10},
|
|
142 |
{0x1.0p3, 0x1.749ea514eca66p10},
|
|
143 |
{0x1.fffffffffffffp3, 0x1.0f2ebd0a7ffdcp22},
|
|
144 |
{0x1.0p4, 0x1.0f2ebd0a7ffe4p22},
|
|
145 |
{0x1.fffffffffff68p4, 0x1.1f43fcc4b5b83p45},
|
|
146 |
{0x1.fffffffffffd4p4, 0x1.1f43fcc4b6316p45},
|
|
147 |
{0x1.0p5, 0x1.1f43fcc4b662cp45},
|
|
148 |
};
|
|
149 |
|
|
150 |
for (double[] testCase: testCases)
|
|
151 |
failures+=testSinhCase(testCase[0], testCase[1]);
|
|
152 |
|
|
153 |
return failures;
|
|
154 |
}
|
|
155 |
|
|
156 |
static int testCosh() {
|
|
157 |
int failures = 0;
|
|
158 |
double [][] testCases = {
|
|
159 |
{0x1.fffffffffb49fp-8, 0x1.00020000aaaabp0},
|
|
160 |
{0x1.47ae147ae0e45p-7, 0x1.000346de27853p0},
|
|
161 |
{0x1.fffffffffd9f3p-7, 0x1.0008000aaab05p0},
|
|
162 |
{0x1.ffffffffff9f1p-7, 0x1.0008000aaab05p0},
|
|
163 |
{0x1.fffffffffe27dp-6, 0x1.002000aaac169p0},
|
|
164 |
{0x1.ffffffffff27bp-6, 0x1.002000aaac16bp0},
|
|
165 |
{0x1.ffffffffffb9cp-5, 0x1.00800aab05b1ep0},
|
|
166 |
{0x1.ffffffffffd9dp-5, 0x1.00800aab05b1fp0},
|
|
167 |
{0x1.9999999999368p-4, 0x1.0147f40224b2ep0},
|
|
168 |
{0x1.9999999999727p-4, 0x1.0147f40224b35p0},
|
|
169 |
{0x1.ffffffffffed1p-4, 0x1.0200aac16db6cp0},
|
|
170 |
{0x1.fffffffffffd1p-4, 0x1.0200aac16db6ep0},
|
|
171 |
{0x1.ffffffffffeb4p-3, 0x1.080ab05ca613bp0},
|
|
172 |
{0x1.ffffffffffff2p-3, 0x1.080ab05ca6146p0},
|
|
173 |
{0x1.ffffffffffff3p-2, 0x1.20ac1862ae8cep0},
|
|
174 |
{0x1.ffffffffffff9p-2, 0x1.20ac1862ae8dp0},
|
|
175 |
{0x1.0p0, 0x1.8b07551d9f551p0},
|
|
176 |
{0x1.ffffffffffffbp0, 0x1.e18fa0df2d9b3p1},
|
|
177 |
{0x1.ffffffffffffep0, 0x1.e18fa0df2d9b8p1},
|
|
178 |
{0x1.fffffffffffffp0, 0x1.e18fa0df2d9bap1},
|
|
179 |
{0x1.ffffffffffff9p1, 0x1.b4ee858de3e68p4},
|
|
180 |
{0x1.ffffffffffffep1, 0x1.b4ee858de3e7ap4},
|
|
181 |
{0x1.fffffffffffffp1, 0x1.b4ee858de3e7dp4},
|
|
182 |
{0x1.ffffffffffffcp2, 0x1.749eaa93f4e5ep10},
|
|
183 |
{0x1.ffffffffffffdp2, 0x1.749eaa93f4e64p10},
|
|
184 |
{0x1.0p3, 0x1.749eaa93f4e76p10},
|
|
185 |
{0x1.fffffffffff6fp3, 0x1.0f2ebd0a7fb9p22},
|
|
186 |
{0x1.0p4, 0x1.0f2ebd0a8005cp22},
|
|
187 |
{0x1.fffffffffffd4p4, 0x1.1f43fcc4b6316p45},
|
|
188 |
{0x1.0p5, 0x1.1f43fcc4b662cp45},
|
|
189 |
};
|
|
190 |
|
|
191 |
for (double[] testCase: testCases)
|
|
192 |
failures+=testCoshCase(testCase[0], testCase[1]);
|
|
193 |
|
|
194 |
return failures;
|
|
195 |
}
|
|
196 |
|
|
197 |
static int testTanh() {
|
|
198 |
int failures = 0;
|
|
199 |
double [][] testCases = {
|
|
200 |
{0x1.5798ee2308c36p-27, 0x1.5798ee2308c36p-27},
|
|
201 |
{0x1.ffffffffffffep-26, 0x1.ffffffffffffbp-26},
|
|
202 |
{0x1.ffffffffffffep-25, 0x1.ffffffffffff3p-25},
|
|
203 |
{0x1.ad7f29abcaf47p-24, 0x1.ad7f29abcaf2dp-24},
|
|
204 |
{0x1.ad7f29abcaf48p-24, 0x1.ad7f29abcaf2ep-24},
|
|
205 |
{0x1.ffffffffffffep-24, 0x1.fffffffffffd3p-24},
|
|
206 |
{0x1.ffffffffffffep-23, 0x1.fffffffffff53p-23},
|
|
207 |
{0x1.ffffffffffffep-22, 0x1.ffffffffffd53p-22},
|
|
208 |
{0x1.ffffffffffffep-21, 0x1.ffffffffff553p-21},
|
|
209 |
{0x1.0c6f7a0b5ed8dp-20, 0x1.0c6f7a0b5e767p-20},
|
|
210 |
{0x1.ffffffffffffep-20, 0x1.fffffffffd553p-20},
|
|
211 |
{0x1.ffffffffffffep-19, 0x1.fffffffff5553p-19},
|
|
212 |
{0x1.fffffffffffffp-18, 0x1.ffffffffd5555p-18},
|
|
213 |
{0x1.0p-17, 0x1.ffffffffd5556p-18},
|
|
214 |
{0x1.4f8b588e368edp-17, 0x1.4f8b588e0685p-17},
|
|
215 |
{0x1.fffffffffffffp-17, 0x1.ffffffff55554p-17},
|
|
216 |
{0x1.fffffffffffffp-16, 0x1.fffffffd55555p-16},
|
|
217 |
{0x1.0p-15, 0x1.fffffffd55556p-16},
|
|
218 |
{0x1.fffffffffe5ddp-15, 0x1.fffffff553b33p-15},
|
|
219 |
{0x1.fffffffffffffp-15, 0x1.fffffff555554p-15},
|
|
220 |
{0x1.a36e2eb1c432dp-14, 0x1.a36e2e9a4f663p-14},
|
|
221 |
{0x1.ffffffffffffep-14, 0x1.ffffffd555553p-14},
|
|
222 |
{0x1.0p-13, 0x1.ffffffd555555p-14},
|
|
223 |
{0x1.ffffffffffd51p-13, 0x1.ffffff55552aap-13},
|
|
224 |
{0x1.fffffffffffffp-13, 0x1.ffffff5555559p-13},
|
|
225 |
{0x1.ffffffffffffep-12, 0x1.fffffd5555597p-12},
|
|
226 |
{0x1.0p-11, 0x1.fffffd5555599p-12},
|
|
227 |
{0x1.fffffffffff1p-11, 0x1.fffff555558a9p-11},
|
|
228 |
{0x1.0p-10, 0x1.fffff5555599ap-11},
|
|
229 |
{0x1.0624dd2f1a9c6p-10, 0x1.0624d77516cabp-10},
|
|
230 |
{0x1.0624dd2f1a9f8p-10, 0x1.0624d77516cdep-10},
|
|
231 |
{0x1.fffffffffffddp-10, 0x1.ffffd55559976p-10},
|
|
232 |
{0x1.fffffffffffffp-10, 0x1.ffffd55559999p-10},
|
|
233 |
{0x1.ffffffffffffcp-9, 0x1.ffff555599993p-9},
|
|
234 |
{0x1.ffffffffffffep-9, 0x1.ffff555599996p-9},
|
|
235 |
{0x1.ffffffffffff8p-8, 0x1.fffd555999924p-8},
|
|
236 |
{0x1.ffffffffffffep-8, 0x1.fffd555999929p-8},
|
|
237 |
{0x1.47ae147ae1458p-7, 0x1.47ab48ae4593cp-7},
|
|
238 |
{0x1.47ae147ae1464p-7, 0x1.47ab48ae45947p-7},
|
|
239 |
{0x1.ffffffffffffep-7, 0x1.fff5559997df6p-7},
|
|
240 |
{0x1.fffffffffffffp-7, 0x1.fff5559997df8p-7},
|
|
241 |
{0x1.ffffffffffff9p-6, 0x1.ffd559992b1d8p-6},
|
|
242 |
{0x1.ffffffffffffep-6, 0x1.ffd559992b1dcp-6},
|
|
243 |
{0x1.ffffffffffff9p-5, 0x1.ff55997e030d1p-5},
|
|
244 |
{0x1.fffffffffffffp-5, 0x1.ff55997e030d6p-5},
|
|
245 |
{0x1.9999999999996p-4, 0x1.983d7795f4137p-4},
|
|
246 |
{0x1.9999999999997p-4, 0x1.983d7795f4137p-4},
|
|
247 |
{0x1.fffffffffffffp-4, 0x1.fd5992bc4b834p-4},
|
|
248 |
{0x1.0p-3, 0x1.fd5992bc4b834p-4},
|
|
249 |
{0x1.fffffffffffffp-3, 0x1.f597ea69a1c86p-3},
|
|
250 |
{0x1.ffffffffffffcp-2, 0x1.d9353d7568aefp-2},
|
|
251 |
{0x1.ffffffffffffep-2, 0x1.d9353d7568af3p-2},
|
|
252 |
{0x1.ffffffffffffbp-1, 0x1.85efab514f393p-1},
|
|
253 |
{0x1.ffffffffffffep-1, 0x1.85efab514f393p-1},
|
|
254 |
{0x1.fffffffffffd3p0, 0x1.ed9505e1bc3cep-1},
|
|
255 |
{0x1.fffffffffffe1p0, 0x1.ed9505e1bc3cfp-1},
|
|
256 |
{0x1.ffffffffffed8p1, 0x1.ffa81708a0b4p-1},
|
|
257 |
{0x1.fffffffffff92p1, 0x1.ffa81708a0b41p-1},
|
|
258 |
};
|
|
259 |
|
|
260 |
for (double[] testCase: testCases)
|
|
261 |
failures+=testTanhCase(testCase[0], testCase[1]);
|
|
262 |
|
|
263 |
return failures;
|
|
264 |
}
|
|
265 |
|
|
266 |
|
|
267 |
public static void main(String [] argv) {
|
|
268 |
int failures = 0;
|
|
269 |
|
|
270 |
failures += testSinh();
|
|
271 |
failures += testCosh();
|
|
272 |
failures += testTanh();
|
|
273 |
|
|
274 |
if (failures > 0) {
|
|
275 |
System.err.println("Testing the hyperbolics incurred "
|
|
276 |
+ failures + " failures.");
|
|
277 |
throw new RuntimeException();
|
|
278 |
}
|
|
279 |
}
|
|
280 |
}
|