1 /* 2 * Copyright (c) 2003, 2015, Oracle and/or its affiliates. All rights reserved. 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 * 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. 22 */ 23 24 /* 25 * @test 26 * @bug 4851638 27 * @key randomness 28 * @summary Tests for StrictMath.hypot 29 * @library /lib/testlibrary/ 30 * @build jdk.testlibrary.* 31 * @build Tests 32 * @build FdlibmTranslit 33 * @build HypotTests 34 * @run main HypotTests 35 * @author Joseph D. Darcy 36 */ 37 38 import jdk.testlibrary.RandomFactory; 39 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 54 public static void main(String... args) { 55 int failures = 0; 56 57 failures += testHypot(); 58 failures += testAgainstTranslit(); 59 60 if (failures > 0) { 61 System.err.println("Testing hypot incurred " 62 + failures + " failures."); 63 throw new RuntimeException(); 64 } 65 } 66 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 */ 72 static int testHypotCase(double input1, double input2, double expected) { 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; 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}, 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 688 {0x1.00000_ffff_0000p500, 0x1.fffffffffffffp499, 0x1.6a09f1b837ccfp500}, 689 {0x1.00000_0000_0001p500, 0x1.fffffffffffffp499, 0x1.6a09e667f3bcdp500}, 690 {0x1.00000_ffff_ffffp500, 0x1.fffffffffffffp499, 0x1.6a09f1b8431d3p500}, 691 {0x1.00001_0000_0000p500, 0x1.fffffffffffffp499, 0x1.6a09f1b8431d5p500}, 692 693 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}, 709 }; 710 711 for (double[] testCase: testCases) 712 failures += testHypotCase(testCase[0], testCase[1], testCase[2]); 713 714 return failures; 715 } 716 717 // Initialize shared random number generator 718 private static java.util.Random random = RandomFactory.getRandom(); 719 720 /** 721 * Test StrictMath.hypot against transliteration port of hypot. 722 */ 723 private static int testAgainstTranslit() { 724 int failures = 0; 725 double x = Tests.createRandomDouble(random); 726 double y = Tests.createRandomDouble(random); 727 728 // Make the increment twice the ulp value in case the random 729 // value is near an exponent threshold. 730 double increment_x = 2.0 * Math.ulp(x); 731 double increment_y = 2.0 * Math.ulp(y); 732 733 // Don't worry about x or y overflowing to infinity if their 734 // exponent is MAX_EXPONENT. 735 for (int i = 0; i < 200; i++, x += increment_x) { 736 for (int j = 0; j < 200; j++, y += increment_y) { 737 failures += testHypotCase(x, y, FdlibmTranslit.hypot(x, y)); 738 } 739 } 740 741 return failures; 742 } 743 }