author | darcy |
Tue, 06 Oct 2015 18:39:26 -0700 | |
changeset 32928 | a3f03999ed62 |
parent 32765 | b65c2f5d4d01 |
child 32992 | 19ed8781c2ba |
permissions | -rw-r--r-- |
1826 | 1 |
/* |
32765 | 2 |
* Copyright (c) 2003, 2015, 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 4851638 |
|
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
27 |
* @key randomness |
1826 | 28 |
* @summary Tests for StrictMath.hypot |
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
29 |
* @library /lib/testlibrary/ |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
30 |
* @build jdk.testlibrary.* |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
31 |
* @build Tests |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
32 |
* @build FdlibmTranslit |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
33 |
* @build HypotTests |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
34 |
* @run main HypotTests |
1826 | 35 |
* @author Joseph D. Darcy |
36 |
*/ |
|
37 |
||
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
38 |
import jdk.testlibrary.RandomFactory; |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
39 |
|
1826 | 40 |
/** |
41 |
* The tests in ../Math/HypotTests.java test properties that should |
|
42 |
* hold for any hypot implementation, including the FDLIBM-based one |
|
43 |
* required for StrictMath.hypot. Therefore, the test cases in |
|
44 |
* ../Math/HypotTests.java are run against both the Math and |
|
45 |
* StrictMath versions of hypot. The role of this test is to verify |
|
46 |
* that the FDLIBM hypot algorithm is being used by running golden |
|
47 |
* file tests on values that may vary from one conforming hypot |
|
48 |
* implementation to another. |
|
49 |
*/ |
|
50 |
||
51 |
public class HypotTests { |
|
52 |
private HypotTests(){} |
|
53 |
||
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
54 |
public static void main(String... args) { |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
55 |
int failures = 0; |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
56 |
|
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
57 |
failures += testHypot(); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
58 |
failures += testAgainstTranslit(); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
59 |
|
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
60 |
if (failures > 0) { |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
61 |
System.err.println("Testing hypot incurred " |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
62 |
+ failures + " failures."); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
63 |
throw new RuntimeException(); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
64 |
} |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
65 |
} |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
66 |
|
32765 | 67 |
/** |
68 |
* The hypot implementation is commutative, {@code hypot(a, b) == |
|
69 |
* hypot(b, a)}, and independent of sign, {@code hypot(a, b) == |
|
70 |
* hypot(-a, b) == hypot(a, -b) == hypot(-a, -b)}. |
|
71 |
*/ |
|
1826 | 72 |
static int testHypotCase(double input1, double input2, double expected) { |
32765 | 73 |
int failures = 0; |
74 |
failures += Tests.test("StrictMath.hypot(double)", input1, input2, |
|
75 |
StrictMath.hypot(input1, input2), expected); |
|
76 |
||
77 |
failures += Tests.test("StrictMath.hypot(double)", input2, input1, |
|
78 |
StrictMath.hypot(input2, input1), expected); |
|
79 |
||
80 |
failures += Tests.test("StrictMath.hypot(double)", -input1, input2, |
|
81 |
StrictMath.hypot(-input1, input2), expected); |
|
82 |
||
83 |
failures += Tests.test("StrictMath.hypot(double)", input2, -input1, |
|
84 |
StrictMath.hypot(input2, -input1), expected); |
|
85 |
||
86 |
failures += Tests.test("StrictMath.hypot(double)", input1, -input2, |
|
87 |
StrictMath.hypot(input1, -input2), expected); |
|
88 |
||
89 |
failures += Tests.test("StrictMath.hypot(double)", -input2, input1, |
|
90 |
StrictMath.hypot(-input2, input1), expected); |
|
91 |
||
92 |
failures += Tests.test("StrictMath.hypot(double)", -input1, -input2, |
|
93 |
StrictMath.hypot(-input1, -input2), expected); |
|
94 |
||
95 |
failures += Tests.test("StrictMath.hypot(double)", -input2, -input1, |
|
96 |
StrictMath.hypot(-input2, -input1), expected); |
|
97 |
return failures; |
|
1826 | 98 |
} |
99 |
||
100 |
static int testHypot() { |
|
101 |
int failures = 0; |
|
102 |
||
103 |
double [][] testCases = { |
|
104 |
{0x1.0p0, 0x1.ffffffffffab5p-1, 0x1.6a09e667f39edp0}, |
|
105 |
{0x1.0p0, 0x1.ffffffffffffbp0, 0x1.1e3779b97f4a6p1}, |
|
106 |
{0x1.0p0, 0x1.7ffffffffffffp1, 0x1.94c583ada5b51p1}, |
|
107 |
{0x1.0p0, 0x1.ffffffffffffdp1, 0x1.07e0f66afed06p2}, |
|
108 |
{0x1.0p0, 0x1.3fffffffffffdp2, 0x1.465655f122ff3p2}, |
|
109 |
{0x1.0p0, 0x1.4p2, 0x1.465655f122ff6p2}, |
|
110 |
{0x1.0p0, 0x1.7ffffffffffffp2, 0x1.854bfb363dc38p2}, |
|
111 |
{0x1.0p0, 0x1.8p2, 0x1.854bfb363dc39p2}, |
|
112 |
{0x1.0p0, 0x1.bfffffffffffep2, 0x1.c48c6001f0abdp2}, |
|
113 |
{0x1.0p0, 0x1.fffffffffffffp2, 0x1.01fe03f61badp3}, |
|
114 |
{0x1.0p0, 0x1.1fffffffffffap3, 0x1.21c5b70d9f81dp3}, |
|
115 |
{0x1.0p0, 0x1.3ffffffffffe5p3, 0x1.419894c2329d5p3}, |
|
116 |
{0x1.0p0, 0x1.3ffffffffffe7p3, 0x1.419894c2329d8p3}, |
|
117 |
{0x1.0p0, 0x1.5ffffffffff7ep3, 0x1.617398f2aa9c6p3}, |
|
118 |
{0x1.0p0, 0x1.5ffffffffff8dp3, 0x1.617398f2aa9d5p3}, |
|
119 |
{0x1.0p0, 0x1.7ffffffffff9bp3, 0x1.8154be27734c1p3}, |
|
120 |
{0x1.0p0, 0x1.8p3, 0x1.8154be2773526p3}, |
|
121 |
{0x1.0p0, 0x1.9fffffffffff4p3, 0x1.a13a9cb996644p3}, |
|
122 |
{0x1.0p0, 0x1.9ffffffffffffp3, 0x1.a13a9cb99664fp3}, |
|
123 |
{0x1.0p0, 0x1.bfffffffffffep3, 0x1.c12432fec0327p3}, |
|
124 |
{0x1.0p0, 0x1.cp3, 0x1.c12432fec0329p3}, |
|
125 |
{0x1.0p0, 0x1.dffffffffffbcp3, 0x1.e110c39105f6bp3}, |
|
126 |
{0x1.0p0, 0x1.ep3, 0x1.e110c39105fafp3}, |
|
127 |
{0x1.0p0, 0x1.ffffffffffeafp3, 0x1.007fe00ff5fc8p4}, |
|
128 |
{0x1.0p0, 0x1.0fffffffffff4p4, 0x1.10785dd689a1cp4}, |
|
129 |
{0x1.0p0, 0x1.0fffffffffffbp4, 0x1.10785dd689a23p4}, |
|
130 |
{0x1.0p0, 0x1.1ffffffffff92p4, 0x1.2071b0abcd7cap4}, |
|
131 |
{0x1.0p0, 0x1.1ffffffffff99p4, 0x1.2071b0abcd7d1p4}, |
|
132 |
{0x1.0p0, 0x1.2fffffffffffcp4, 0x1.306bb705ae7bfp4}, |
|
133 |
{0x1.0p0, 0x1.2ffffffffffffp4, 0x1.306bb705ae7c3p4}, |
|
134 |
{0x1.0p0, 0x1.3fffffffffffdp4, 0x1.4066560954a8bp4}, |
|
135 |
{0x1.0p0, 0x1.4fffffffffe14p4, 0x1.506177f548fcfp4}, |
|
136 |
{0x1.0p0, 0x1.5p4, 0x1.506177f5491bbp4}, |
|
137 |
{0x1.0p0, 0x1.5fffffffffffdp4, 0x1.605d0af9d3a42p4}, |
|
138 |
{0x1.0p0, 0x1.5fffffffffffep4, 0x1.605d0af9d3a42p4}, |
|
139 |
{0x1.0p0, 0x1.6fffffffffff8p4, 0x1.7059005e2c015p4}, |
|
140 |
{0x1.0p0, 0x1.6ffffffffffffp4, 0x1.7059005e2c01dp4}, |
|
141 |
{0x1.0p0, 0x1.7fffffffffffdp4, 0x1.80554bdc2dc4dp4}, |
|
142 |
{0x1.0p0, 0x1.7ffffffffffffp4, 0x1.80554bdc2dc4ep4}, |
|
143 |
{0x1.0p0, 0x1.8fffffffffe68p4, 0x1.9051e3235a2cp4}, |
|
144 |
{0x1.0p0, 0x1.9p4, 0x1.9051e3235a458p4}, |
|
145 |
{0x1.0p0, 0x1.9fffffffffff4p4, 0x1.a04ebd789d00cp4}, |
|
146 |
{0x1.0p0, 0x1.ap4, 0x1.a04ebd789d019p4}, |
|
147 |
{0x1.0p0, 0x1.afffffffffed8p4, 0x1.b04bd36b639fbp4}, |
|
148 |
{0x1.0p0, 0x1.affffffffff43p4, 0x1.b04bd36b63a66p4}, |
|
149 |
{0x1.0p0, 0x1.bfffffffffe3ep4, 0x1.c0491e9ab90fdp4}, |
|
150 |
{0x1.0p0, 0x1.cp4, 0x1.c0491e9ab92bfp4}, |
|
151 |
{0x1.0p0, 0x1.cfffffffffed8p4, 0x1.d0469986884d6p4}, |
|
152 |
{0x1.0p0, 0x1.cfffffffffee8p4, 0x1.d0469986884e5p4}, |
|
153 |
{0x1.0p0, 0x1.dfffffffffe5cp4, 0x1.e0443f6a33104p4}, |
|
154 |
{0x1.0p0, 0x1.dffffffffffffp4, 0x1.e0443f6a332a7p4}, |
|
155 |
{0x1.0p0, 0x1.efffffffffff8p4, 0x1.f0420c1e63084p4}, |
|
156 |
{0x1.0p0, 0x1.fp4, 0x1.f0420c1e6308dp4}, |
|
157 |
{0x1.0p0, 0x1.ffffffffffffdp4, 0x1.001ffe003ff5fp5}, |
|
158 |
{0x1.0p0, 0x1.07ffffffffed8p5, 0x1.081f05ef4d755p5}, |
|
159 |
{0x1.0p0, 0x1.07ffffffffee8p5, 0x1.081f05ef4d764p5}, |
|
160 |
{0x1.0p0, 0x1.0fffffffffff4p5, 0x1.101e1c7371c6bp5}, |
|
161 |
{0x1.0p0, 0x1.0fffffffffffbp5, 0x1.101e1c7371c72p5}, |
|
162 |
{0x1.0p0, 0x1.17ffffffffff8p5, 0x1.181d404cf7f51p5}, |
|
163 |
{0x1.0p0, 0x1.17ffffffffffdp5, 0x1.181d404cf7f56p5}, |
|
164 |
{0x1.0p0, 0x1.1fffffffffbf2p5, 0x1.201c705fa7a27p5}, |
|
165 |
{0x1.0p0, 0x1.1fffffffffc65p5, 0x1.201c705fa7a9ap5}, |
|
166 |
{0x1.0p0, 0x1.27ffffffffe08p5, 0x1.281babadfba01p5}, |
|
167 |
{0x1.0p0, 0x1.28p5, 0x1.281babadfbbf9p5}, |
|
168 |
{0x1.0p0, 0x1.2ffffffffff64p5, 0x1.301af15517357p5}, |
|
169 |
{0x1.0p0, 0x1.2ffffffffff6cp5, 0x1.301af1551735ep5}, |
|
170 |
{0x1.0p0, 0x1.37ffffffffc78p5, 0x1.381a40895d3f5p5}, |
|
171 |
{0x1.0p0, 0x1.37ffffffffc88p5, 0x1.381a40895d406p5}, |
|
172 |
{0x1.0p0, 0x1.3fffffffffffdp5, 0x1.4019989389b2dp5}, |
|
173 |
{0x1.0p0, 0x1.4p5, 0x1.4019989389b3p5}, |
|
174 |
{0x1.0p0, 0x1.47fffffffffe8p5, 0x1.4818f8ce34e19p5}, |
|
175 |
{0x1.0p0, 0x1.47ffffffffffap5, 0x1.4818f8ce34e2cp5}, |
|
176 |
{0x1.0p0, 0x1.4fffffffffa64p5, 0x1.501860a3b54bep5}, |
|
177 |
{0x1.0p0, 0x1.4fffffffffe47p5, 0x1.501860a3b58a1p5}, |
|
178 |
{0x1.0p0, 0x1.57ffffffffff8p5, 0x1.5817cf8c4c199p5}, |
|
179 |
{0x1.0p0, 0x1.57fffffffffffp5, 0x1.5817cf8c4c1ap5}, |
|
180 |
{0x1.0p0, 0x1.5fffffffffbeep5, 0x1.6017450c8d3e7p5}, |
|
181 |
{0x1.0p0, 0x1.6p5, 0x1.6017450c8d7f9p5}, |
|
182 |
{0x1.0p0, 0x1.67fffffffffe8p5, 0x1.6816c0b405afp5}, |
|
183 |
{0x1.0p0, 0x1.68p5, 0x1.6816c0b405b09p5}, |
|
184 |
{0x1.0p0, 0x1.6fffffffffb78p5, 0x1.7016421c06043p5}, |
|
185 |
{0x1.0p0, 0x1.7p5, 0x1.7016421c064cbp5}, |
|
186 |
{0x1.0p0, 0x1.77ffffffffffp5, 0x1.7815c8e69cc37p5}, |
|
187 |
{0x1.0p0, 0x1.77ffffffffffcp5, 0x1.7815c8e69cc43p5}, |
|
188 |
{0x1.0p0, 0x1.7ffffffffffffp5, 0x1.801554bda99c5p5}, |
|
189 |
{0x1.0p0, 0x1.87fffffffffdp5, 0x1.8814e55214271p5}, |
|
190 |
{0x1.0p0, 0x1.87ffffffffffcp5, 0x1.8814e5521429ep5}, |
|
191 |
{0x1.0p0, 0x1.8ffffffffffe8p5, 0x1.90147a5b16ce5p5}, |
|
192 |
{0x1.0p0, 0x1.8fffffffffffcp5, 0x1.90147a5b16cfap5}, |
|
193 |
{0x1.0p0, 0x1.97ffffffffffp5, 0x1.98141395a0592p5}, |
|
194 |
{0x1.0p0, 0x1.97fffffffffffp5, 0x1.98141395a05a1p5}, |
|
195 |
{0x1.0p0, 0x1.9fffffffff8f4p5, 0x1.a013b0c3c7377p5}, |
|
196 |
{0x1.0p0, 0x1.9fffffffffb18p5, 0x1.a013b0c3c759bp5}, |
|
197 |
{0x1.0p0, 0x1.a7fffffffffdp5, 0x1.a81351ac4f317p5}, |
|
198 |
{0x1.0p0, 0x1.a7ffffffffffp5, 0x1.a81351ac4f338p5}, |
|
199 |
{0x1.0p0, 0x1.afffffffff698p5, 0x1.b012f61a35d98p5}, |
|
200 |
{0x1.0p0, 0x1.bp5, 0x1.b012f61a367p5}, |
|
201 |
{0x1.0p0, 0x1.b7ffffffff85p5, 0x1.b8129ddc56b26p5}, |
|
202 |
{0x1.0p0, 0x1.b7ffffffff87p5, 0x1.b8129ddc56b45p5}, |
|
203 |
{0x1.0p0, 0x1.bfffffffffffdp5, 0x1.c01248c50d99cp5}, |
|
204 |
{0x1.0p0, 0x1.bfffffffffffep5, 0x1.c01248c50d99cp5}, |
|
205 |
{0x1.0p0, 0x1.c7ffffffffedp5, 0x1.c811f6a9e9676p5}, |
|
206 |
{0x1.0p0, 0x1.c8p5, 0x1.c811f6a9e97a6p5}, |
|
207 |
{0x1.0p0, 0x1.cffffffffffe8p5, 0x1.d011a7636789ep5}, |
|
208 |
{0x1.0p0, 0x1.d7ffffffffffp5, 0x1.d8115accb20f3p5}, |
|
209 |
{0x1.0p0, 0x1.d8p5, 0x1.d8115accb2103p5}, |
|
210 |
{0x1.0p0, 0x1.dfffffffffebcp5, 0x1.e01110c367a41p5}, |
|
211 |
{0x1.0p0, 0x1.ep5, 0x1.e01110c367b85p5}, |
|
212 |
{0x1.0p0, 0x1.e7fffffffffdp5, 0x1.e810c927681fap5}, |
|
213 |
{0x1.0p0, 0x1.e8p5, 0x1.e810c9276822ap5}, |
|
214 |
{0x1.0p0, 0x1.efffffffff7f8p5, 0x1.f01083daa4dadp5}, |
|
215 |
{0x1.0p0, 0x1.fp5, 0x1.f01083daa55b5p5}, |
|
216 |
{0x1.0p0, 0x1.f7ffffffffffp5, 0x1.f81040c0f9c6p5}, |
|
217 |
{0x1.0p0, 0x1.f8p5, 0x1.f81040c0f9c71p5}, |
|
218 |
{0x1.0p0, 0x1.fffffffffffffp5, 0x1.0007ffe000fffp6}, |
|
219 |
{0x1.0p0, 0x1.03fffffffffdp6, 0x1.0407e05f7d188p6}, |
|
220 |
{0x1.0p0, 0x1.03ffffffffffbp6, 0x1.0407e05f7d1b4p6}, |
|
221 |
{0x1.0p0, 0x1.07ffffffff7f8p6, 0x1.0807c1d34edd5p6}, |
|
222 |
{0x1.0p0, 0x1.07ffffffff808p6, 0x1.0807c1d34ede4p6}, |
|
223 |
{0x1.0p0, 0x1.0bffffffff65p6, 0x1.0c07a430870e5p6}, |
|
224 |
{0x1.0p0, 0x1.0bffffffff67p6, 0x1.0c07a43087104p6}, |
|
225 |
{0x1.0p0, 0x1.0fffffffffc54p6, 0x1.1007876cda509p6}, |
|
226 |
{0x1.0p0, 0x1.0fffffffffe0dp6, 0x1.1007876cda6c2p6}, |
|
227 |
{0x1.0p0, 0x1.13fffffffffdp6, 0x1.14076b7e954b4p6}, |
|
228 |
{0x1.0p0, 0x1.13ffffffffffep6, 0x1.14076b7e954e3p6}, |
|
229 |
{0x1.0p0, 0x1.17ffffffffff8p6, 0x1.1807505c9310dp6}, |
|
230 |
{0x1.0p0, 0x1.18p6, 0x1.1807505c93116p6}, |
|
231 |
{0x1.0p0, 0x1.1bfffffffecbp6, 0x1.1c0735fe3197ap6}, |
|
232 |
{0x1.0p0, 0x1.1bffffffff1dbp6, 0x1.1c0735fe31ea5p6}, |
|
233 |
{0x1.0p0, 0x1.1ffffffffebcap6, 0x1.20071c5b4ce64p6}, |
|
234 |
{0x1.0p0, 0x1.1fffffffffaf1p6, 0x1.20071c5b4dd8bp6}, |
|
235 |
{0x1.0p0, 0x1.23ffffffff83p6, 0x1.2407036c309fdp6}, |
|
236 |
{0x1.0p0, 0x1.23ffffffff85p6, 0x1.2407036c30a1cp6}, |
|
237 |
{0x1.0p0, 0x1.27ffffffffba8p6, 0x1.2806eb2991e76p6}, |
|
238 |
{0x1.0p0, 0x1.28p6, 0x1.2806eb29922cep6}, |
|
239 |
{0x1.0p0, 0x1.2bfffffffff7p6, 0x1.2c06d38c8b4ffp6}, |
|
240 |
{0x1.0p0, 0x1.2bfffffffff9p6, 0x1.2c06d38c8b52p6}, |
|
241 |
{0x1.0p0, 0x1.2fffffffffff4p6, 0x1.3006bc8e938c8p6}, |
|
242 |
{0x1.0p0, 0x1.2fffffffffffcp6, 0x1.3006bc8e938cfp6}, |
|
243 |
{0x1.0p0, 0x1.33ffffffff87p6, 0x1.3406a6297821ep6}, |
|
244 |
{0x1.0p0, 0x1.33ffffffff89p6, 0x1.3406a6297823dp6}, |
|
245 |
{0x1.0p0, 0x1.37ffffffff9d8p6, 0x1.380690575943dp6}, |
|
246 |
{0x1.0p0, 0x1.37ffffffff9eap6, 0x1.380690575944fp6}, |
|
247 |
{0x1.0p0, 0x1.3bffffffffffp6, 0x1.3c067b12a2013p6}, |
|
248 |
{0x1.0p0, 0x1.3cp6, 0x1.3c067b12a2024p6}, |
|
249 |
{0x1.0p0, 0x1.3fffffffffe19p6, 0x1.40066656044ep6}, |
|
250 |
{0x1.0p0, 0x1.4p6, 0x1.40066656046c7p6}, |
|
251 |
{0x1.0p0, 0x1.43ffffffff1dp6, 0x1.4406521c75c3p6}, |
|
252 |
{0x1.0p0, 0x1.43ffffffffccfp6, 0x1.4406521c7672fp6}, |
|
253 |
{0x1.0p0, 0x1.47ffffffff8a8p6, 0x1.48063e612ce7ap6}, |
|
254 |
{0x1.0p0, 0x1.47ffffffffcb9p6, 0x1.48063e612d28bp6}, |
|
255 |
{0x1.0p0, 0x1.4bfffffffe1fp6, 0x1.4c062b1f96823p6}, |
|
256 |
{0x1.0p0, 0x1.4cp6, 0x1.4c062b1f98633p6}, |
|
257 |
{0x1.0p0, 0x1.4ffffffffde04p6, 0x1.500618535d07dp6}, |
|
258 |
{0x1.0p0, 0x1.5p6, 0x1.500618535f279p6}, |
|
259 |
{0x1.0p0, 0x1.53fffffffef1p6, 0x1.540605f85c637p6}, |
|
260 |
{0x1.0p0, 0x1.53ffffffffdf3p6, 0x1.540605f85d51ap6}, |
|
261 |
{0x1.0p0, 0x1.57ffffffffff8p6, 0x1.5805f40aa0595p6}, |
|
262 |
{0x1.0p0, 0x1.5bffffffffffp6, 0x1.5c05e286636b5p6}, |
|
263 |
{0x1.0p0, 0x1.5bfffffffffffp6, 0x1.5c05e286636c4p6}, |
|
264 |
{0x1.0p0, 0x1.5ffffffffd9cep6, 0x1.6005d1680baa2p6}, |
|
265 |
{0x1.0p0, 0x1.5fffffffff873p6, 0x1.6005d1680d947p6}, |
|
266 |
{0x1.0p0, 0x1.63ffffffffa5p6, 0x1.6405c0ac30a35p6}, |
|
267 |
{0x1.0p0, 0x1.63ffffffffa7p6, 0x1.6405c0ac30a56p6}, |
|
268 |
{0x1.0p0, 0x1.67ffffffff988p6, 0x1.6805b04f83ac3p6}, |
|
269 |
{0x1.0p0, 0x1.68p6, 0x1.6805b04f8413bp6}, |
|
270 |
{0x1.0p0, 0x1.6bfffffffffep6, 0x1.6c05a04ee40c3p6}, |
|
271 |
{0x1.0p0, 0x1.6cp6, 0x1.6c05a04ee40e3p6}, |
|
272 |
{0x1.0p0, 0x1.6fffffffff018p6, 0x1.700590a74f9b5p6}, |
|
273 |
{0x1.0p0, 0x1.6fffffffffbe2p6, 0x1.700590a75057fp6}, |
|
274 |
{0x1.0p0, 0x1.73ffffffff4ap6, 0x1.74058155e9b72p6}, |
|
275 |
{0x1.0p0, 0x1.74p6, 0x1.74058155ea6d2p6}, |
|
276 |
{0x1.0p0, 0x1.77ffffffffffp6, 0x1.78057257f1868p6}, |
|
277 |
{0x1.0p0, 0x1.78p6, 0x1.78057257f1878p6}, |
|
278 |
{0x1.0p0, 0x1.7bfffffffffep6, 0x1.7c0563aac389bp6}, |
|
279 |
{0x1.0p0, 0x1.7bfffffffffe4p6, 0x1.7c0563aac389fp6}, |
|
280 |
{0x1.0p0, 0x1.7ffffffffffffp6, 0x1.8005554bda349p6}, |
|
281 |
{0x1.0p0, 0x1.8p6, 0x1.8005554bda34bp6}, |
|
282 |
{0x1.0p0, 0x1.83fffffffffap6, 0x1.84054738c9dcdp6}, |
|
283 |
{0x1.0p0, 0x1.84p6, 0x1.84054738c9e2dp6}, |
|
284 |
{0x1.0p0, 0x1.87ffffffff09p6, 0x1.8805396f3f494p6}, |
|
285 |
{0x1.0p0, 0x1.87ffffffff0bp6, 0x1.8805396f3f4b5p6}, |
|
286 |
{0x1.0p0, 0x1.8bfffffffffep6, 0x1.8c052bed02f7ap6}, |
|
287 |
{0x1.0p0, 0x1.8cp6, 0x1.8c052bed02f9bp6}, |
|
288 |
{0x1.0p0, 0x1.8fffffffff7c8p6, 0x1.90051eafee07bp6}, |
|
289 |
{0x1.0p0, 0x1.9p6, 0x1.90051eafee8b3p6}, |
|
290 |
{0x1.0p1, 0x1.fffffffffdcb5p-1, 0x1.1e3779b97f0b5p1}, |
|
291 |
{0x1.0p1, 0x1.ffffffffffab5p0, 0x1.6a09e667f39edp1}, |
|
292 |
{0x1.0p1, 0x1.7ffffffffffffp1, 0x1.cd82b446159f2p1}, |
|
293 |
{0x1.0p1, 0x1.8p1, 0x1.cd82b446159f3p1}, |
|
294 |
{0x1.0p1, 0x1.ffffffffffffbp1, 0x1.1e3779b97f4a6p2}, |
|
295 |
{0x1.0p1, 0x1.3fffffffffffdp2, 0x1.58a68a4a8d9fp2}, |
|
296 |
{0x1.0p1, 0x1.3fffffffffffep2, 0x1.58a68a4a8d9f1p2}, |
|
297 |
{0x1.0p1, 0x1.7ffffffffffffp2, 0x1.94c583ada5b51p2}, |
|
298 |
{0x1.0p1, 0x1.bfffffffffffep2, 0x1.d1ed52076fbe7p2}, |
|
299 |
{0x1.0p1, 0x1.cp2, 0x1.d1ed52076fbe9p2}, |
|
300 |
{0x1.0p1, 0x1.ffffffffffffdp2, 0x1.07e0f66afed06p3}, |
|
301 |
{0x1.0p1, 0x1.1fffffffffff2p3, 0x1.2706821902e8cp3}, |
|
302 |
{0x1.0p1, 0x1.2p3, 0x1.2706821902e9ap3}, |
|
303 |
{0x1.0p1, 0x1.3fffffffffffdp3, 0x1.465655f122ff3p3}, |
|
304 |
{0x1.0p1, 0x1.4p3, 0x1.465655f122ff6p3}, |
|
305 |
{0x1.0p1, 0x1.5ffffffffffd6p3, 0x1.65c55827df1a8p3}, |
|
306 |
{0x1.0p1, 0x1.7ffffffffffffp3, 0x1.854bfb363dc38p3}, |
|
307 |
{0x1.0p1, 0x1.8p3, 0x1.854bfb363dc39p3}, |
|
308 |
{0x1.0p1, 0x1.9ffffffffffe4p3, 0x1.a4e4efeda34c2p3}, |
|
309 |
{0x1.0p1, 0x1.ap3, 0x1.a4e4efeda34dep3}, |
|
310 |
{0x1.0p1, 0x1.bfffffffffffep3, 0x1.c48c6001f0abdp3}, |
|
311 |
{0x1.0p1, 0x1.dfffffffffffcp3, 0x1.e43f746f77956p3}, |
|
312 |
{0x1.0p1, 0x1.ep3, 0x1.e43f746f7795bp3}, |
|
313 |
{0x1.0p1, 0x1.fffffffffffffp3, 0x1.01fe03f61badp4}, |
|
314 |
{0x1.0p1, 0x1.0ffffffffffc4p4, 0x1.11e039f40ee2ap4}, |
|
315 |
{0x1.0p1, 0x1.0ffffffffffc7p4, 0x1.11e039f40ee2dp4}, |
|
316 |
{0x1.0p1, 0x1.1fffffffffffap4, 0x1.21c5b70d9f81dp4}, |
|
317 |
{0x1.0p1, 0x1.2fffffffffffcp4, 0x1.31adf859f9e5ap4}, |
|
318 |
{0x1.0p1, 0x1.2fffffffffffep4, 0x1.31adf859f9e5cp4}, |
|
319 |
{0x1.0p1, 0x1.3ffffffffffe5p4, 0x1.419894c2329d5p4}, |
|
320 |
{0x1.0p1, 0x1.3ffffffffffe7p4, 0x1.419894c2329d8p4}, |
|
321 |
{0x1.0p1, 0x1.4fffffffffff4p4, 0x1.518536f3ca668p4}, |
|
322 |
{0x1.0p1, 0x1.5p4, 0x1.518536f3ca675p4}, |
|
323 |
{0x1.0p1, 0x1.5ffffffffff7ep4, 0x1.617398f2aa9c6p4}, |
|
324 |
{0x1.0p1, 0x1.5ffffffffff8dp4, 0x1.617398f2aa9d5p4}, |
|
325 |
{0x1.0p1, 0x1.6ffffffffffb8p4, 0x1.716380ce70352p4}, |
|
326 |
{0x1.0p1, 0x1.7p4, 0x1.716380ce7039ap4}, |
|
327 |
{0x1.0p1, 0x1.7ffffffffff9bp4, 0x1.8154be27734c1p4}, |
|
328 |
{0x1.0p1, 0x1.8p4, 0x1.8154be2773526p4}, |
|
329 |
{0x1.0p1, 0x1.8ffffffffffe8p4, 0x1.9147284a4142fp4}, |
|
330 |
{0x1.0p1, 0x1.8ffffffffffffp4, 0x1.9147284a41446p4}, |
|
331 |
{0x1.0p1, 0x1.9fffffffffff4p4, 0x1.a13a9cb996644p4}, |
|
332 |
{0x1.0p1, 0x1.9ffffffffffffp4, 0x1.a13a9cb99664fp4}, |
|
333 |
{0x1.0p1, 0x1.affffffffff58p4, 0x1.b12efe0a8f113p4}, |
|
334 |
{0x1.0p1, 0x1.affffffffffd2p4, 0x1.b12efe0a8f18dp4}, |
|
335 |
{0x1.0p1, 0x1.bfffffffffffep4, 0x1.c12432fec0327p4}, |
|
336 |
{0x1.0p1, 0x1.cp4, 0x1.c12432fec0329p4}, |
|
337 |
{0x1.0p1, 0x1.cffffffffffe8p4, 0x1.d11a25cd6ed78p4}, |
|
338 |
{0x1.0p1, 0x1.dp4, 0x1.d11a25cd6ed91p4}, |
|
339 |
{0x1.0p1, 0x1.dffffffffffbcp4, 0x1.e110c39105f6bp4}, |
|
340 |
{0x1.0p1, 0x1.ep4, 0x1.e110c39105fafp4}, |
|
341 |
{0x1.0p1, 0x1.effffffffffe8p4, 0x1.f107fbd0adcf1p4}, |
|
342 |
{0x1.0p1, 0x1.efffffffffff8p4, 0x1.f107fbd0addp4}, |
|
343 |
{0x1.0p1, 0x1.ffffffffffeafp4, 0x1.007fe00ff5fc8p5}, |
|
344 |
{0x1.0p1, 0x1.07fffffffffe8p5, 0x1.087c01e7d5092p5}, |
|
345 |
{0x1.0p1, 0x1.08p5, 0x1.087c01e7d50abp5}, |
|
346 |
{0x1.0p1, 0x1.0fffffffffff4p5, 0x1.10785dd689a1cp5}, |
|
347 |
{0x1.0p1, 0x1.0fffffffffffbp5, 0x1.10785dd689a23p5}, |
|
348 |
{0x1.0p1, 0x1.17ffffffffed8p5, 0x1.1874eee5c5cb1p5}, |
|
349 |
{0x1.0p1, 0x1.17ffffffffee8p5, 0x1.1874eee5c5cc2p5}, |
|
350 |
{0x1.0p1, 0x1.1ffffffffff92p5, 0x1.2071b0abcd7cap5}, |
|
351 |
{0x1.0p1, 0x1.1ffffffffff99p5, 0x1.2071b0abcd7d1p5}, |
|
352 |
{0x1.0p1, 0x1.27ffffffffea8p5, 0x1.286e9f388de9fp5}, |
|
353 |
{0x1.0p1, 0x1.28p5, 0x1.286e9f388dff7p5}, |
|
354 |
{0x1.0p1, 0x1.2fffffffffffcp5, 0x1.306bb705ae7bfp5}, |
|
355 |
{0x1.0p1, 0x1.2ffffffffffffp5, 0x1.306bb705ae7c3p5}, |
|
356 |
{0x1.0p1, 0x1.37ffffffffff8p5, 0x1.3868f4e9108b9p5}, |
|
357 |
{0x1.0p1, 0x1.38p5, 0x1.3868f4e9108c1p5}, |
|
358 |
{0x1.0p1, 0x1.3fffffffffffdp5, 0x1.4066560954a8bp5}, |
|
359 |
{0x1.0p1, 0x1.47ffffffffe28p5, 0x1.4863d7d40ad39p5}, |
|
360 |
{0x1.0p1, 0x1.48p5, 0x1.4863d7d40af11p5}, |
|
361 |
{0x1.0p1, 0x1.4fffffffffe14p5, 0x1.506177f548fcfp5}, |
|
362 |
{0x1.0p1, 0x1.5p5, 0x1.506177f5491bbp5}, |
|
363 |
{0x1.0p1, 0x1.57ffffffffeb8p5, 0x1.585f34506bafbp5}, |
|
364 |
{0x1.0p1, 0x1.58p5, 0x1.585f34506bc43p5}, |
|
365 |
{0x1.0p1, 0x1.5fffffffffffdp5, 0x1.605d0af9d3a42p5}, |
|
366 |
{0x1.0p1, 0x1.5fffffffffffep5, 0x1.605d0af9d3a42p5}, |
|
367 |
{0x1.0p1, 0x1.67ffffffffda8p5, 0x1.685afa317791bp5}, |
|
368 |
{0x1.0p1, 0x1.68p5, 0x1.685afa3177b73p5}, |
|
369 |
{0x1.0p1, 0x1.6fffffffffff8p5, 0x1.7059005e2c015p5}, |
|
370 |
{0x1.0p1, 0x1.6ffffffffffffp5, 0x1.7059005e2c01dp5}, |
|
371 |
{0x1.0p1, 0x1.77ffffffffffp5, 0x1.78571c0982328p5}, |
|
372 |
{0x1.0p1, 0x1.78p5, 0x1.78571c0982339p5}, |
|
373 |
{0x1.0p1, 0x1.7fffffffffffdp5, 0x1.80554bdc2dc4dp5}, |
|
374 |
{0x1.0p1, 0x1.7ffffffffffffp5, 0x1.80554bdc2dc4ep5}, |
|
375 |
{0x1.0p1, 0x1.87fffffffffdp5, 0x1.88538e9ad8dacp5}, |
|
376 |
{0x1.0p1, 0x1.87fffffffffffp5, 0x1.88538e9ad8ddbp5}, |
|
377 |
{0x1.0p1, 0x1.8fffffffffe68p5, 0x1.9051e3235a2cp5}, |
|
378 |
{0x1.0p1, 0x1.9p5, 0x1.9051e3235a458p5}, |
|
379 |
{0x1.0p1, 0x1.97ffffffffffp5, 0x1.9850486a3f17p5}, |
|
380 |
{0x1.0p1, 0x1.97fffffffffffp5, 0x1.9850486a3f17fp5}, |
|
381 |
{0x1.0p1, 0x1.9fffffffffff4p5, 0x1.a04ebd789d00cp5}, |
|
382 |
{0x1.0p1, 0x1.ap5, 0x1.a04ebd789d019p5}, |
|
383 |
{0x1.0p1, 0x1.a7ffffffffe1p5, 0x1.a84d416a2354dp5}, |
|
384 |
{0x1.0p1, 0x1.a8p5, 0x1.a84d416a2373dp5}, |
|
385 |
{0x1.0p1, 0x1.afffffffffed8p5, 0x1.b04bd36b639fbp5}, |
|
386 |
{0x1.0p1, 0x1.affffffffff43p5, 0x1.b04bd36b63a66p5}, |
|
387 |
{0x1.0p1, 0x1.b7ffffffffd7p5, 0x1.b84a72b848951p5}, |
|
388 |
{0x1.0p1, 0x1.b7ffffffffe2bp5, 0x1.b84a72b848a0cp5}, |
|
389 |
{0x1.0p1, 0x1.bfffffffffe3ep5, 0x1.c0491e9ab90fdp5}, |
|
390 |
{0x1.0p1, 0x1.cp5, 0x1.c0491e9ab92bfp5}, |
|
391 |
{0x1.0p1, 0x1.c7fffffffffdp5, 0x1.c847d6695dbc5p5}, |
|
392 |
{0x1.0p1, 0x1.c8p5, 0x1.c847d6695dbf6p5}, |
|
393 |
{0x1.0p1, 0x1.cfffffffffed8p5, 0x1.d0469986884d6p5}, |
|
394 |
{0x1.0p1, 0x1.cfffffffffee8p5, 0x1.d0469986884e5p5}, |
|
395 |
{0x1.0p1, 0x1.d7ffffffffdfp5, 0x1.d845675f37721p5}, |
|
396 |
{0x1.0p1, 0x1.d8p5, 0x1.d845675f37931p5}, |
|
397 |
{0x1.0p1, 0x1.dfffffffffe5cp5, 0x1.e0443f6a33104p5}, |
|
398 |
{0x1.0p1, 0x1.dffffffffffffp5, 0x1.e0443f6a332a7p5}, |
|
399 |
{0x1.0p1, 0x1.e7fffffffff05p5, 0x1.e84321273f31ep5}, |
|
400 |
{0x1.0p1, 0x1.e7fffffffff1p5, 0x1.e84321273f328p5}, |
|
401 |
{0x1.0p1, 0x1.efffffffffff8p5, 0x1.f0420c1e63084p5}, |
|
402 |
{0x1.0p1, 0x1.fp5, 0x1.f0420c1e6308dp5}, |
|
403 |
{0x1.0p1, 0x1.f7ffffffffc3p5, 0x1.f840ffdf40effp5}, |
|
404 |
{0x1.0p1, 0x1.f7fffffffff08p5, 0x1.f840ffdf411d7p5}, |
|
405 |
{0x1.0p1, 0x1.ffffffffffffdp5, 0x1.001ffe003ff5fp6}, |
|
406 |
{0x1.0p1, 0x1.03fffffffffdp6, 0x1.041f800f9f928p6}, |
|
407 |
{0x1.0p1, 0x1.03ffffffffffap6, 0x1.041f800f9f953p6}, |
|
408 |
{0x1.0p1, 0x1.07ffffffffed8p6, 0x1.081f05ef4d755p6}, |
|
409 |
{0x1.0p1, 0x1.07ffffffffee8p6, 0x1.081f05ef4d764p6}, |
|
410 |
{0x1.0p1, 0x1.0bfffffffff5p6, 0x1.0c1e8f739cdcap6}, |
|
411 |
{0x1.0p1, 0x1.0bfffffffff7p6, 0x1.0c1e8f739cde9p6}, |
|
412 |
{0x1.0p1, 0x1.0fffffffffff4p6, 0x1.101e1c7371c6bp6}, |
|
413 |
{0x1.0p1, 0x1.0fffffffffffbp6, 0x1.101e1c7371c72p6}, |
|
414 |
{0x1.0p1, 0x1.13fffffffffdp6, 0x1.141dacc811a34p6}, |
|
415 |
{0x1.0p1, 0x1.13ffffffffffcp6, 0x1.141dacc811a6p6}, |
|
416 |
{0x1.0p1, 0x1.17ffffffffff8p6, 0x1.181d404cf7f51p6}, |
|
417 |
{0x1.0p1, 0x1.17ffffffffffdp6, 0x1.181d404cf7f56p6}, |
|
418 |
{0x1.0p1, 0x1.1bffffffffffp6, 0x1.1c1cd6dfae4a5p6}, |
|
419 |
{0x1.0p1, 0x1.1bffffffffffep6, 0x1.1c1cd6dfae4b4p6}, |
|
420 |
{0x1.0p1, 0x1.1fffffffffbf2p6, 0x1.201c705fa7a27p6}, |
|
421 |
{0x1.0p1, 0x1.1fffffffffc65p6, 0x1.201c705fa7a9ap6}, |
|
422 |
{0x1.0p1, 0x1.23fffffffffdp6, 0x1.241c0cae201cap6}, |
|
423 |
{0x1.0p1, 0x1.23ffffffffffp6, 0x1.241c0cae201ebp6}, |
|
424 |
{0x1.0p1, 0x1.27ffffffffe08p6, 0x1.281babadfba01p6}, |
|
425 |
{0x1.0p1, 0x1.28p6, 0x1.281babadfbbf9p6}, |
|
426 |
{0x1.0p1, 0x1.2bffffffffc1p6, 0x1.2c1b4d43ac4cfp6}, |
|
427 |
{0x1.0p1, 0x1.2bffffffffc3p6, 0x1.2c1b4d43ac4eep6}, |
|
428 |
{0x1.0p1, 0x1.2ffffffffff64p6, 0x1.301af15517357p6}, |
|
429 |
{0x1.0p1, 0x1.2ffffffffff6cp6, 0x1.301af1551735ep6}, |
|
430 |
{0x1.0p1, 0x1.33ffffffffadp6, 0x1.341a97c97b22ep6}, |
|
431 |
{0x1.0p1, 0x1.33ffffffffafp6, 0x1.341a97c97b24fp6}, |
|
432 |
{0x1.0p1, 0x1.37ffffffffc78p6, 0x1.381a40895d3f5p6}, |
|
433 |
{0x1.0p1, 0x1.37ffffffffc88p6, 0x1.381a40895d406p6}, |
|
434 |
{0x1.0p1, 0x1.3bffffffffffp6, 0x1.3c19eb7e71afcp6}, |
|
435 |
{0x1.0p1, 0x1.3bfffffffffffp6, 0x1.3c19eb7e71b0cp6}, |
|
436 |
{0x1.0p1, 0x1.3fffffffffffdp6, 0x1.4019989389b2dp6}, |
|
437 |
{0x1.0p1, 0x1.4p6, 0x1.4019989389b3p6}, |
|
438 |
{0x1.0p1, 0x1.43fffffffffdp6, 0x1.441947b4829e8p6}, |
|
439 |
{0x1.0p1, 0x1.43ffffffffff8p6, 0x1.441947b482a11p6}, |
|
440 |
{0x1.0p1, 0x1.47fffffffffe8p6, 0x1.4818f8ce34e19p6}, |
|
441 |
{0x1.0p1, 0x1.47ffffffffffap6, 0x1.4818f8ce34e2cp6}, |
|
442 |
{0x1.0p1, 0x1.4bffffffffffp6, 0x1.4c18abce6501fp6}, |
|
443 |
{0x1.0p1, 0x1.4bffffffffffcp6, 0x1.4c18abce6502cp6}, |
|
444 |
{0x1.0p1, 0x1.4fffffffffa64p6, 0x1.501860a3b54bep6}, |
|
445 |
{0x1.0p1, 0x1.4fffffffffe47p6, 0x1.501860a3b58a1p6}, |
|
446 |
{0x1.0p1, 0x1.53ffffffffd5p6, 0x1.5418173d9a501p6}, |
|
447 |
{0x1.0p1, 0x1.53ffffffffd7p6, 0x1.5418173d9a522p6}, |
|
448 |
{0x1.0p1, 0x1.57ffffffffff8p6, 0x1.5817cf8c4c199p6}, |
|
449 |
{0x1.0p1, 0x1.57fffffffffffp6, 0x1.5817cf8c4c1ap6}, |
|
450 |
{0x1.0p1, 0x1.5bffffffff83p6, 0x1.5c178980bc34bp6}, |
|
451 |
{0x1.0p1, 0x1.5bffffffff988p6, 0x1.5c178980bc4a3p6}, |
|
452 |
{0x1.0p1, 0x1.5fffffffffbeep6, 0x1.6017450c8d3e7p6}, |
|
453 |
{0x1.0p1, 0x1.6p6, 0x1.6017450c8d7f9p6}, |
|
454 |
{0x1.0p1, 0x1.63fffffffffdp6, 0x1.6417022204f99p6}, |
|
455 |
{0x1.0p1, 0x1.67fffffffffe8p6, 0x1.6816c0b405afp6}, |
|
456 |
{0x1.0p1, 0x1.68p6, 0x1.6816c0b405b09p6}, |
|
457 |
{0x1.0p1, 0x1.6bfffffffffep6, 0x1.6c1680b6059e8p6}, |
|
458 |
{0x1.0p1, 0x1.6cp6, 0x1.6c1680b605a08p6}, |
|
459 |
{0x1.0p1, 0x1.6fffffffffb78p6, 0x1.7016421c06043p6}, |
|
460 |
{0x1.0p1, 0x1.7p6, 0x1.7016421c064cbp6}, |
|
461 |
{0x1.0p1, 0x1.73fffffffffap6, 0x1.741604da8d2b9p6}, |
|
462 |
{0x1.0p1, 0x1.73ffffffffff8p6, 0x1.741604da8d311p6}, |
|
463 |
{0x1.0p1, 0x1.77ffffffffffp6, 0x1.7815c8e69cc37p6}, |
|
464 |
{0x1.0p1, 0x1.77ffffffffffcp6, 0x1.7815c8e69cc43p6}, |
|
465 |
{0x1.0p1, 0x1.7bfffffffffep6, 0x1.7c158e35adde4p6}, |
|
466 |
{0x1.0p1, 0x1.7bfffffffffe8p6, 0x1.7c158e35addecp6}, |
|
467 |
{0x1.0p1, 0x1.7ffffffffffffp6, 0x1.801554bda99c5p6}, |
|
468 |
{0x1.0p1, 0x1.83ffffffffdap6, 0x1.84151c74e35e4p6}, |
|
469 |
{0x1.0p1, 0x1.83ffffffffdep6, 0x1.84151c74e3625p6}, |
|
470 |
{0x1.0p1, 0x1.87fffffffffdp6, 0x1.8814e55214271p6}, |
|
471 |
{0x1.0p1, 0x1.87ffffffffffcp6, 0x1.8814e5521429ep6}, |
|
472 |
{0x1.0p1, 0x1.8bfffffffffep6, 0x1.8c14af4c540b6p6}, |
|
473 |
{0x1.0p1, 0x1.8bffffffffff6p6, 0x1.8c14af4c540cdp6}, |
|
474 |
{0x1.0p1, 0x1.8ffffffffffe8p6, 0x1.90147a5b16ce5p6}, |
|
475 |
{0x1.0p1, 0x1.8fffffffffffcp6, 0x1.90147a5b16cfap6}, |
|
476 |
{0x1.8p1, 0x1.ffffffffffffdp-1, 0x1.94c583ada5b53p1}, |
|
477 |
{0x1.8p1, 0x1.0p1, 0x1.cd82b446159f3p1}, |
|
478 |
{0x1.8p1, 0x1.7fffffffffff7p1, 0x1.0f876ccdf6cd6p2}, |
|
479 |
{0x1.8p1, 0x1.8p1, 0x1.0f876ccdf6cd9p2}, |
|
480 |
{0x1.8p1, 0x1.fffffffffffffp1, 0x1.4p2}, |
|
481 |
{0x1.8p1, 0x1.3ffffffffffe1p2, 0x1.752e50db3a387p2}, |
|
482 |
{0x1.8p1, 0x1.4p2, 0x1.752e50db3a3a2p2}, |
|
483 |
{0x1.8p1, 0x1.7ffffffffffffp2, 0x1.ad5336963eefap2}, |
|
484 |
{0x1.8p1, 0x1.bfffffffffffep2, 0x1.e768d399dc46dp2}, |
|
485 |
{0x1.8p1, 0x1.bffffffffffffp2, 0x1.e768d399dc46fp2}, |
|
486 |
{0x1.8p1, 0x1.fffffffffffffp2, 0x1.11687a8ae14a3p3}, |
|
487 |
{0x1.8p1, 0x1.1fffffffffff2p3, 0x1.2f9422c23c47p3}, |
|
488 |
{0x1.8p1, 0x1.1fffffffffff7p3, 0x1.2f9422c23c475p3}, |
|
489 |
{0x1.8p1, 0x1.3fffffffffff1p3, 0x1.4e16fdacff928p3}, |
|
490 |
{0x1.8p1, 0x1.3fffffffffff4p3, 0x1.4e16fdacff92bp3}, |
|
491 |
{0x1.8p1, 0x1.5ffffffffffffp3, 0x1.6cdb2bbb212ebp3}, |
|
492 |
{0x1.8p1, 0x1.7fffffffffffdp3, 0x1.8bd171a07e388p3}, |
|
493 |
{0x1.8p1, 0x1.7ffffffffffffp3, 0x1.8bd171a07e389p3}, |
|
494 |
{0x1.8p1, 0x1.9ffffffffffe4p3, 0x1.aaeee979b481cp3}, |
|
495 |
{0x1.8p1, 0x1.9ffffffffffecp3, 0x1.aaeee979b4825p3}, |
|
496 |
{0x1.8p1, 0x1.bffffffffffeep3, 0x1.ca2b9714180e5p3}, |
|
497 |
{0x1.8p1, 0x1.cp3, 0x1.ca2b9714180f7p3}, |
|
498 |
{0x1.8p1, 0x1.dfffffffffffcp3, 0x1.e98180e9b47edp3}, |
|
499 |
{0x1.8p1, 0x1.dfffffffffffep3, 0x1.e98180e9b47efp3}, |
|
500 |
{0x1.8p1, 0x1.fffffffffffffp3, 0x1.04760c95db31p4}, |
|
501 |
{0x1.8p1, 0x1.0fffffffffff4p4, 0x1.1433ec467efefp4}, |
|
502 |
{0x1.8p1, 0x1.1ffffffffffeap4, 0x1.23f8fc68ae515p4}, |
|
503 |
{0x1.8p1, 0x1.2p4, 0x1.23f8fc68ae52bp4}, |
|
504 |
{0x1.8p1, 0x1.2fffffffffffcp4, 0x1.33c42213ee0c5p4}, |
|
505 |
{0x1.8p1, 0x1.3p4, 0x1.33c42213ee0c9p4}, |
|
506 |
{0x1.8p1, 0x1.3ffffffffffd9p4, 0x1.439479381ec96p4}, |
|
507 |
{0x1.8p1, 0x1.3fffffffffff6p4, 0x1.439479381ecb3p4}, |
|
508 |
{0x1.8p1, 0x1.4ffffffffffc4p4, 0x1.53694801747d4p4}, |
|
509 |
{0x1.8p1, 0x1.4ffffffffffccp4, 0x1.53694801747dcp4}, |
|
510 |
{0x1.8p1, 0x1.5ffffffffffbep4, 0x1.6341f58bad9d2p4}, |
|
511 |
{0x1.8p1, 0x1.5ffffffffffc2p4, 0x1.6341f58bad9d7p4}, |
|
512 |
{0x1.8p1, 0x1.6fffffffffff8p4, 0x1.731e02ed21f18p4}, |
|
513 |
{0x1.8p1, 0x1.6ffffffffffffp4, 0x1.731e02ed21f2p4}, |
|
514 |
{0x1.8p1, 0x1.7fffffffffffdp4, 0x1.82fd05f129836p4}, |
|
515 |
{0x1.8p1, 0x1.7ffffffffffffp4, 0x1.82fd05f129837p4}, |
|
516 |
{0x1.8p1, 0x1.8ffffffffffa8p4, 0x1.92dea50d28578p4}, |
|
517 |
{0x1.8p1, 0x1.8ffffffffffffp4, 0x1.92dea50d285cep4}, |
|
518 |
{0x1.8p1, 0x1.9ffffffffffe4p4, 0x1.a2c2943e2866p4}, |
|
519 |
{0x1.8p1, 0x1.9fffffffffffcp4, 0x1.a2c2943e28678p4}, |
|
520 |
{0x1.8p1, 0x1.afffffffffff8p4, 0x1.b2a892946f42dp4}, |
|
521 |
{0x1.8p1, 0x1.afffffffffffep4, 0x1.b2a892946f434p4}, |
|
522 |
{0x1.8p1, 0x1.bffffffffffeep4, 0x1.c2906842b6bf3p4}, |
|
523 |
{0x1.8p1, 0x1.bfffffffffff2p4, 0x1.c2906842b6bf8p4}, |
|
524 |
{0x1.8p1, 0x1.cffffffffffe8p4, 0x1.d279e51208c72p4}, |
|
525 |
{0x1.8p1, 0x1.dp4, 0x1.d279e51208c8ap4}, |
|
526 |
{0x1.8p1, 0x1.dfffffffffff4p4, 0x1.e264df234beddp4}, |
|
527 |
{0x1.8p1, 0x1.dfffffffffffcp4, 0x1.e264df234bee4p4}, |
|
528 |
{0x1.8p1, 0x1.efffffffffff8p4, 0x1.f25131ed54d64p4}, |
|
529 |
{0x1.8p1, 0x1.fp4, 0x1.f25131ed54d6cp4}, |
|
530 |
{0x1.8p1, 0x1.fffffffffffffp4, 0x1.011f5eb54147p5}, |
|
531 |
{0x1.8p1, 0x1.07fffffffff88p5, 0x1.0916b2b5fff3ep5}, |
|
532 |
{0x1.8p1, 0x1.07fffffffffaap5, 0x1.0916b2b5fff6p5}, |
|
533 |
{0x1.8p1, 0x1.0ffffffffffc4p5, 0x1.110e8885865b8p5}, |
|
534 |
{0x1.8p1, 0x1.0ffffffffffccp5, 0x1.110e8885865c1p5}, |
|
535 |
{0x1.8p1, 0x1.17fffffffff58p5, 0x1.1906d51932b7ep5}, |
|
536 |
{0x1.8p1, 0x1.17fffffffff77p5, 0x1.1906d51932b9dp5}, |
|
537 |
{0x1.8p1, 0x1.1fffffffffffap5, 0x1.20ff8e9d967d6p5}, |
|
538 |
{0x1.8p1, 0x1.1fffffffffffep5, 0x1.20ff8e9d967dbp5}, |
|
539 |
{0x1.8p1, 0x1.27fffffffffc8p5, 0x1.28f8ac4cd98f2p5}, |
|
540 |
{0x1.8p1, 0x1.27fffffffffd8p5, 0x1.28f8ac4cd9903p5}, |
|
541 |
{0x1.8p1, 0x1.2ffffffffff7cp5, 0x1.30f2264b9c502p5}, |
|
542 |
{0x1.8p1, 0x1.2ffffffffffafp5, 0x1.30f2264b9c535p5}, |
|
543 |
{0x1.8p1, 0x1.37ffffffffff8p5, 0x1.38ebf58b30cb4p5}, |
|
544 |
{0x1.8p1, 0x1.37fffffffffffp5, 0x1.38ebf58b30cbcp5}, |
|
545 |
{0x1.8p1, 0x1.3fffffffffffdp5, 0x1.40e613b03f1dcp5}, |
|
546 |
{0x1.8p1, 0x1.3ffffffffffffp5, 0x1.40e613b03f1dfp5}, |
|
547 |
{0x1.8p1, 0x1.47fffffffffa1p5, 0x1.48e07afd169d5p5}, |
|
548 |
{0x1.8p1, 0x1.47fffffffffa8p5, 0x1.48e07afd169dbp5}, |
|
549 |
{0x1.8p1, 0x1.4ffffffffff84p5, 0x1.50db263f101e3p5}, |
|
550 |
{0x1.8p1, 0x1.4ffffffffff8cp5, 0x1.50db263f101ecp5}, |
|
551 |
{0x1.8p1, 0x1.57ffffffffff8p5, 0x1.58d610be831eep5}, |
|
552 |
{0x1.8p1, 0x1.58p5, 0x1.58d610be831f7p5}, |
|
553 |
{0x1.8p1, 0x1.5fffffffffffap5, 0x1.60d13630e611p5}, |
|
554 |
{0x1.8p1, 0x1.5fffffffffffep5, 0x1.60d13630e6113p5}, |
|
555 |
{0x1.8p1, 0x1.67fffffffffe8p5, 0x1.68cc92acc47abp5}, |
|
556 |
{0x1.8p1, 0x1.68p5, 0x1.68cc92acc47c3p5}, |
|
557 |
{0x1.8p1, 0x1.6fffffffffff8p5, 0x1.70c8229f43a38p5}, |
|
558 |
{0x1.8p1, 0x1.6fffffffffffap5, 0x1.70c8229f43a3ap5}, |
|
559 |
{0x1.8p1, 0x1.77ffffffffffp5, 0x1.78c3e2c2fb433p5}, |
|
560 |
{0x1.8p1, 0x1.77ffffffffffep5, 0x1.78c3e2c2fb441p5}, |
|
561 |
{0x1.8p1, 0x1.7ffffffffffffp5, 0x1.80bfd017f10a6p5}, |
|
562 |
{0x1.8p1, 0x1.87fffffffff5p5, 0x1.88bbe7dc8d9ap5}, |
|
563 |
{0x1.8p1, 0x1.88p5, 0x1.88bbe7dc8da5p5}, |
|
564 |
{0x1.8p1, 0x1.8ffffffffffe8p5, 0x1.90b8278768b67p5}, |
|
565 |
{0x1.8p1, 0x1.9p5, 0x1.90b8278768b8p5}, |
|
566 |
{0x1.8p1, 0x1.97fffffffff2bp5, 0x1.98b48cc1ce669p5}, |
|
567 |
{0x1.8p1, 0x1.97fffffffff3p5, 0x1.98b48cc1ce66dp5}, |
|
568 |
{0x1.8p1, 0x1.9ffffffffff34p5, 0x1.a0b11562e5efcp5}, |
|
569 |
{0x1.8p1, 0x1.ap5, 0x1.a0b11562e5fc8p5}, |
|
570 |
{0x1.8p1, 0x1.a7fffffffffdp5, 0x1.a8adbf6b63874p5}, |
|
571 |
{0x1.8p1, 0x1.a8p5, 0x1.a8adbf6b638a4p5}, |
|
572 |
{0x1.8p1, 0x1.affffffffffd8p5, 0x1.b0aa8901b442cp5}, |
|
573 |
{0x1.8p1, 0x1.affffffffffe8p5, 0x1.b0aa8901b443dp5}, |
|
574 |
{0x1.8p1, 0x1.b7ffffffffffp5, 0x1.b8a7706e94761p5}, |
|
575 |
{0x1.8p1, 0x1.b7ffffffffffep5, 0x1.b8a7706e9477p5}, |
|
576 |
{0x1.8p1, 0x1.bfffffffffffep5, 0x1.c0a4741a02dcap5}, |
|
577 |
{0x1.8p1, 0x1.cp5, 0x1.c0a4741a02dcdp5}, |
|
578 |
{0x1.8p1, 0x1.c7fffffffffdp5, 0x1.c8a1928885b75p5}, |
|
579 |
{0x1.8p1, 0x1.c7ffffffffff9p5, 0x1.c8a1928885b9fp5}, |
|
580 |
{0x1.8p1, 0x1.cffffffffff28p5, 0x1.d09eca58b7d2cp5}, |
|
581 |
{0x1.8p1, 0x1.dp5, 0x1.d09eca58b7e04p5}, |
|
582 |
{0x1.8p1, 0x1.d7ffffffffffp5, 0x1.d89c1a4115253p5}, |
|
583 |
{0x1.8p1, 0x1.d8p5, 0x1.d89c1a4115264p5}, |
|
584 |
{0x1.8p1, 0x1.dfffffffffffcp5, 0x1.e099810dfefd1p5}, |
|
585 |
{0x1.8p1, 0x1.e7fffffffffdp5, 0x1.e896fd9ff2afep5}, |
|
586 |
{0x1.8p1, 0x1.e7ffffffffffap5, 0x1.e896fd9ff2b29p5}, |
|
587 |
{0x1.8p1, 0x1.effffffffff98p5, 0x1.f0948ee9ebc7bp5}, |
|
588 |
{0x1.8p1, 0x1.effffffffffcap5, 0x1.f0948ee9ebcadp5}, |
|
589 |
{0x1.8p1, 0x1.f7fffffffff7p5, 0x1.f89233efeda08p5}, |
|
590 |
{0x1.8p1, 0x1.f7fffffffffb2p5, 0x1.f89233efeda4ap5}, |
|
591 |
{0x1.8p1, 0x1.ffffffffffda9p5, 0x1.0047f5e2d7ed7p6}, |
|
592 |
{0x1.8p1, 0x1.03ffffffffedp6, 0x1.0446dac6b5468p6}, |
|
593 |
{0x1.8p1, 0x1.04p6, 0x1.0446dac6b5598p6}, |
|
594 |
{0x1.8p1, 0x1.07fffffffffe8p6, 0x1.0845c83b5eb9bp6}, |
|
595 |
{0x1.8p1, 0x1.07ffffffffff9p6, 0x1.0845c83b5ebadp6}, |
|
596 |
{0x1.8p1, 0x1.0bffffffffe9bp6, 0x1.0c44bdded82bdp6}, |
|
597 |
{0x1.8p1, 0x1.0bffffffffebp6, 0x1.0c44bdded82d1p6}, |
|
598 |
{0x1.8p1, 0x1.0fffffffffed4p6, 0x1.1043bb54e5cc9p6}, |
|
599 |
{0x1.8p1, 0x1.0ffffffffff1fp6, 0x1.1043bb54e5d14p6}, |
|
600 |
{0x1.8p1, 0x1.13ffffffffe9p6, 0x1.1442c046a0ea6p6}, |
|
601 |
{0x1.8p1, 0x1.13fffffffff5ap6, 0x1.1442c046a0f7p6}, |
|
602 |
{0x1.8p1, 0x1.17fffffffffa8p6, 0x1.1841cc62174cbp6}, |
|
603 |
{0x1.8p1, 0x1.17fffffffffb8p6, 0x1.1841cc62174dap6}, |
|
604 |
{0x1.8p1, 0x1.1bffffffffffp6, 0x1.1c40df59f1a57p6}, |
|
605 |
{0x1.8p1, 0x1.1cp6, 0x1.1c40df59f1a67p6}, |
|
606 |
{0x1.8p1, 0x1.1fffffffffffap6, 0x1.203ff8e522535p6}, |
|
607 |
{0x1.8p1, 0x1.1ffffffffffffp6, 0x1.203ff8e52253bp6}, |
|
608 |
{0x1.8p1, 0x1.23fffffffffdp6, 0x1.243f18be9a334p6}, |
|
609 |
{0x1.8p1, 0x1.23ffffffffffbp6, 0x1.243f18be9a36p6}, |
|
610 |
{0x1.8p1, 0x1.27fffffffffe8p6, 0x1.283e3ea503c63p6}, |
|
611 |
{0x1.8p1, 0x1.27ffffffffff8p6, 0x1.283e3ea503c74p6}, |
|
612 |
{0x1.8p1, 0x1.2bffffffffdfp6, 0x1.2c3d6a5a83932p6}, |
|
613 |
{0x1.8p1, 0x1.2bffffffffe1p6, 0x1.2c3d6a5a83953p6}, |
|
614 |
{0x1.8p1, 0x1.2fffffffffffcp6, 0x1.303c9ba47e6d4p6}, |
|
615 |
{0x1.8p1, 0x1.3p6, 0x1.303c9ba47e6d8p6}, |
|
616 |
{0x1.8p1, 0x1.33fffffffffdp6, 0x1.343bd24b62468p6}, |
|
617 |
{0x1.8p1, 0x1.33fffffffffffp6, 0x1.343bd24b62498p6}, |
|
618 |
{0x1.8p1, 0x1.37ffffffffff8p6, 0x1.383b0e1a75c0ap6}, |
|
619 |
{0x1.8p1, 0x1.37fffffffffffp6, 0x1.383b0e1a75c12p6}, |
|
620 |
{0x1.8p1, 0x1.3bffffffffffp6, 0x1.3c3a4edfa9748p6}, |
|
621 |
{0x1.8p1, 0x1.3bffffffffffep6, 0x1.3c3a4edfa9756p6}, |
|
622 |
{0x1.8p1, 0x1.3fffffffffd4dp6, 0x1.4039946b6d79fp6}, |
|
623 |
{0x1.8p1, 0x1.3ffffffffffffp6, 0x1.4039946b6da51p6}, |
|
624 |
{0x1.8p1, 0x1.43fffffffff9p6, 0x1.4438de908abeap6}, |
|
625 |
{0x1.8p1, 0x1.43fffffffffbp6, 0x1.4438de908ac0bp6}, |
|
626 |
{0x1.8p1, 0x1.47ffffffffd08p6, 0x1.48382d23fccedp6}, |
|
627 |
{0x1.8p1, 0x1.47fffffffffa2p6, 0x1.48382d23fcf87p6}, |
|
628 |
{0x1.8p1, 0x1.4bffffffffcebp6, 0x1.4c377ffcd212fp6}, |
|
629 |
{0x1.8p1, 0x1.4bffffffffcfp6, 0x1.4c377ffcd2133p6}, |
|
630 |
{0x1.8p1, 0x1.4ffffffffff44p6, 0x1.5036d6f40ad53p6}, |
|
631 |
{0x1.8p1, 0x1.4ffffffffff9bp6, 0x1.5036d6f40adaap6}, |
|
632 |
{0x1.8p1, 0x1.53ffffffffedp6, 0x1.543631e47c1e1p6}, |
|
633 |
{0x1.8p1, 0x1.54p6, 0x1.543631e47c311p6}, |
|
634 |
{0x1.8p1, 0x1.57ffffffffd78p6, 0x1.583590aab542dp6}, |
|
635 |
{0x1.8p1, 0x1.58p6, 0x1.583590aab56b5p6}, |
|
636 |
{0x1.8p1, 0x1.5bffffffffc7p6, 0x1.5c34f324e60eep6}, |
|
637 |
{0x1.8p1, 0x1.5bffffffffc9p6, 0x1.5c34f324e610fp6}, |
|
638 |
{0x1.8p1, 0x1.5fffffffffffdp6, 0x1.60345932c760dp6}, |
|
639 |
{0x1.8p1, 0x1.5fffffffffffep6, 0x1.60345932c760dp6}, |
|
640 |
{0x1.8p1, 0x1.63fffffffff79p6, 0x1.6433c2b58421fp6}, |
|
641 |
{0x1.8p1, 0x1.63fffffffff9p6, 0x1.6433c2b584235p6}, |
|
642 |
{0x1.8p1, 0x1.67ffffffffda8p6, 0x1.68332f8fa63a6p6}, |
|
643 |
{0x1.8p1, 0x1.67fffffffff4dp6, 0x1.68332f8fa654bp6}, |
|
644 |
{0x1.8p1, 0x1.6bfffffffffep6, 0x1.6c329fa502ccfp6}, |
|
645 |
{0x1.8p1, 0x1.6cp6, 0x1.6c329fa502cefp6}, |
|
646 |
{0x1.8p1, 0x1.6fffffffffff8p6, 0x1.703212daa75f3p6}, |
|
647 |
{0x1.8p1, 0x1.6ffffffffffffp6, 0x1.703212daa75fbp6}, |
|
648 |
{0x1.8p1, 0x1.73fffffffffap6, 0x1.74318916ca409p6}, |
|
649 |
{0x1.8p1, 0x1.74p6, 0x1.74318916ca46ap6}, |
|
650 |
{0x1.8p1, 0x1.77ffffffffffp6, 0x1.78310240ba47p6}, |
|
651 |
{0x1.8p1, 0x1.78p6, 0x1.78310240ba481p6}, |
|
652 |
{0x1.8p1, 0x1.7bfffffffffep6, 0x1.7c307e40cff7fp6}, |
|
653 |
{0x1.8p1, 0x1.7bfffffffffe4p6, 0x1.7c307e40cff83p6}, |
|
654 |
{0x1.8p1, 0x1.7fffffffffff7p6, 0x1.802ffd005ff07p6}, |
|
655 |
{0x1.8p1, 0x1.7fffffffffff9p6, 0x1.802ffd005ff0ap6}, |
|
656 |
{0x1.8p1, 0x1.83fffffffffap6, 0x1.842f7e69adc1ep6}, |
|
657 |
{0x1.8p1, 0x1.83fffffffffffp6, 0x1.842f7e69adc7dp6}, |
|
658 |
{0x1.8p1, 0x1.87fffffffffdp6, 0x1.882f0267dfef4p6}, |
|
659 |
{0x1.8p1, 0x1.88p6, 0x1.882f0267dff24p6}, |
|
660 |
{0x1.8p1, 0x1.8bfffffffffep6, 0x1.8c2e88e6f449ap6}, |
|
661 |
{0x1.8p1, 0x1.8bffffffffff6p6, 0x1.8c2e88e6f44b1p6}, |
|
662 |
{0x1.8p1, 0x1.8ffffffffffe8p6, 0x1.902e11d3b5549p6}, |
|
663 |
{0x1.8p1, 0x1.8fffffffffffep6, 0x1.902e11d3b556p6}, |
|
32765 | 664 |
|
665 |
// Test near decision points of the fdlibm algorithm |
|
666 |
{0x1.0000000000001p501, 0x1.000000000000p501, 0x1.6a09e667f3bcdp501}, |
|
667 |
{0x1.0p501, 0x1.0p499, 0x1.07e0f66afed07p501}, |
|
668 |
||
669 |
{0x1.0p500, 0x1.0p450, 0x1.0p500}, |
|
670 |
{0x1.0000000000001p500, 0x1.0p450, 0x1.0000000000001p500}, |
|
671 |
||
672 |
{0x1.0p500, 0x1.0p440, 0x1.0p500}, |
|
673 |
{0x1.0000000000001p500, 0x1.0p440, 0x1.0000000000001p500}, |
|
674 |
{0x1.0p500, 0x1.0p439, 0x1.0p500}, |
|
675 |
{0x1.0000000000001p500, 0x1.0p439, 0x1.0000000000001p500}, |
|
676 |
||
677 |
{0x1.0p-450, 0x1.0p-500, 0x1.0p-450}, |
|
678 |
{0x1.0000000000001p-450, 0x1.0p-500, 0x1.0000000000001p-450}, |
|
679 |
{0x1.0p-450, 0x1.fffffffffffffp-499, 0x1.0p-450}, |
|
680 |
{0x1.0000000000001p-450, 0x1.fffffffffffffp-499, 0x1.0000000000001p-450}, |
|
681 |
||
682 |
||
683 |
{0x1.0p-450, 0x1.0p-500, 0x1.0p-450}, |
|
684 |
{0x1.0000000000001p-450, 0x1.0p-500, 0x1.0000000000001p-450}, |
|
685 |
{0x1.0p-450, 0x1.fffffffffffffp-499, 0x1.0p-450}, |
|
686 |
{0x1.0000000000001p-450, 0x1.fffffffffffffp-499, 0x1.0000000000001p-450}, |
|
687 |
||
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
688 |
{0x1.00000_ffff_0000p500, 0x1.fffffffffffffp499, 0x1.6a09f1b837ccfp500}, |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
689 |
{0x1.00000_0000_0001p500, 0x1.fffffffffffffp499, 0x1.6a09e667f3bcdp500}, |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
690 |
{0x1.00000_ffff_ffffp500, 0x1.fffffffffffffp499, 0x1.6a09f1b8431d3p500}, |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
691 |
{0x1.00001_0000_0000p500, 0x1.fffffffffffffp499, 0x1.6a09f1b8431d5p500}, |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
692 |
|
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
693 |
|
32765 | 694 |
// 0x1.0p-1022 is MIN_NORMAL |
695 |
{0x1.0000000000001p-1022, 0x1.0000000000001p-1022, 0x1.6a09e667f3bcep-1022}, |
|
696 |
{0x1.0000000000001p-1022, 0x1.0p-1022, 0x1.6a09e667f3bcdp-1022}, |
|
697 |
{0x1.0000000000001p-1022, 0x0.fffffffffffffp-1022, 0x1.6a09e667f3bcdp-1022}, |
|
698 |
{0x1.0000000000001p-1022, 0x0.0000000000001P-1022, 0x1.0000000000001p-1022}, |
|
699 |
{0x1.0000000000001p-1022, 0.0, 0x1.0000000000001p-1022}, |
|
700 |
||
701 |
{0x1.0000000000000p-1022, 0x0.fffffffffffffp-1022, 0x1.6a09e667f3bccp-1022}, |
|
702 |
{0x1.0000000000000p-1021, 0x0.fffffffffffffp-1022, 0x1.1e3779b97f4a8p-1021}, |
|
703 |
{0x1.0000000000000p-1020, 0x0.fffffffffffffp-1022, 0x1.07e0f66afed07p-1020}, |
|
704 |
||
705 |
// 0x0.0000000000001P-1022 is MIN_VALUE (smallest nonzero number) |
|
706 |
{0x0.0000000000001p-1022, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022}, |
|
707 |
{0x0.0000000000002p-1022, 0x0.0000000000001p-1022, 0x0.0000000000002p-1022}, |
|
708 |
{0x0.0000000000003p-1022, 0x0.0000000000002p-1022, 0x0.0000000000004p-1022}, |
|
1826 | 709 |
}; |
710 |
||
711 |
for (double[] testCase: testCases) |
|
32765 | 712 |
failures += testHypotCase(testCase[0], testCase[1], testCase[2]); |
1826 | 713 |
|
714 |
return failures; |
|
715 |
} |
|
716 |
||
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
717 |
// Initialize shared random number generator |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
718 |
private static java.util.Random random = RandomFactory.getRandom(); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
719 |
|
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
720 |
/** |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
721 |
* Test StrictMath.hypot against transliteration port of hypot. |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
722 |
*/ |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
723 |
private static int testAgainstTranslit() { |
1826 | 724 |
int failures = 0; |
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
725 |
double x = Tests.createRandomDouble(random); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
726 |
double y = Tests.createRandomDouble(random); |
1826 | 727 |
|
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
728 |
// Make the increment twice the ulp value in case the random |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
729 |
// value is near an exponent threshold. |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
730 |
double increment_x = 2.0 * Math.ulp(x); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
731 |
double increment_y = 2.0 * Math.ulp(y); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
732 |
|
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
733 |
// Don't worry about x or y overflowing to infinity if their |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
734 |
// exponent is MAX_EXPONENT. |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
735 |
for (int i = 0; i < 200; i++, x += increment_x) { |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
736 |
for (int j = 0; j < 200; j++, y += increment_y) { |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
737 |
failures += testHypotCase(x, y, FdlibmTranslit.hypot(x, y)); |
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
738 |
} |
1826 | 739 |
} |
32928
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
740 |
|
a3f03999ed62
8138823: Correct bug in port of fdlibm hypot to Java
darcy
parents:
32765
diff
changeset
|
741 |
return failures; |
1826 | 742 |
} |
743 |
} |