Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
PojavLauncherTeam
GitHub Repository: PojavLauncherTeam/mobile
 Path: blob/master/test/jdk/java/lang/StrictMath/HypotTests.java
41149 views
1
/*

2
 * Copyright (c) 2003, 2017, 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 /test/lib

30
 * @build jdk.test.lib.RandomFactory

31
 * @build Tests

32
 * @build FdlibmTranslit

33
 * @build HypotTests

34
 * @run main HypotTests

35
 * @author Joseph D. Darcy

36
 */

37


38
import jdk.test.lib.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
}

744


745