author | alanb |
Sun, 19 Oct 2014 11:52:53 +0100 | |
changeset 27178 | 885f4428b501 |
parent 26197 | 1bb6b68b87cd |
permissions | -rw-r--r-- |
1826 | 1 |
/* |
14342
8435a30053c1
7197491: update copyright year to match last edit in jdk8 jdk repository
alanb
parents:
10598
diff
changeset
|
2 |
* Copyright (c) 2003, 2011, 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 4826774 4926547 |
|
27 |
* @summary Tests for {Float, Double}.toHexString methods |
|
26197
1bb6b68b87cd
8042003: Update java/lang/Math tests to eliminate dependency on sun.misc.DoubleConsts and sun.misc.FloatConsts
mchung
parents:
14342
diff
changeset
|
28 |
* @library ../Math |
1bb6b68b87cd
8042003: Update java/lang/Math tests to eliminate dependency on sun.misc.DoubleConsts and sun.misc.FloatConsts
mchung
parents:
14342
diff
changeset
|
29 |
* @build DoubleConsts |
1bb6b68b87cd
8042003: Update java/lang/Math tests to eliminate dependency on sun.misc.DoubleConsts and sun.misc.FloatConsts
mchung
parents:
14342
diff
changeset
|
30 |
* @run main ToHexString |
1826 | 31 |
* @author Joseph D. Darcy |
32 |
*/ |
|
33 |
||
34 |
import java.util.regex.*; |
|
35 |
||
36 |
public class ToHexString { |
|
37 |
private ToHexString() {} |
|
38 |
||
39 |
/* |
|
40 |
* Given a double value, create a hexadecimal floating-point |
|
41 |
* string via an intermediate long hex string. |
|
42 |
*/ |
|
43 |
static String doubleToHexString(double d) { |
|
44 |
return hexLongStringtoHexDoubleString(Long.toHexString(Double.doubleToLongBits(d))); |
|
45 |
} |
|
46 |
||
47 |
/* |
|
48 |
* Transform the hexadecimal long output into the equivalent |
|
49 |
* hexadecimal double value. |
|
50 |
*/ |
|
51 |
static String hexLongStringtoHexDoubleString(String transString) { |
|
52 |
transString = transString.toLowerCase(); |
|
53 |
||
54 |
String zeros = ""; |
|
55 |
StringBuffer result = new StringBuffer(24); |
|
56 |
||
57 |
for(int i = 0; i < (16 - transString.length()); i++, zeros += "0"); |
|
58 |
transString = zeros + transString; |
|
59 |
||
60 |
// assert transString.length == 16; |
|
61 |
||
62 |
char topChar; |
|
63 |
// Extract sign |
|
64 |
if((topChar=transString.charAt(0)) >= '8' ) {// 8, 9, a, A, b, B, ... |
|
65 |
result.append("-"); |
|
66 |
// clear sign bit |
|
67 |
transString = |
|
68 |
Character.toString(Character.forDigit(Character.digit(topChar, 16) - 8, 16)) + |
|
69 |
transString.substring(1,16); |
|
70 |
} |
|
71 |
||
72 |
// check for NaN and infinity |
|
73 |
String signifString = transString.substring(3,16); |
|
74 |
||
75 |
if( transString.substring(0,3).equals("7ff") ) { |
|
76 |
if(signifString.equals("0000000000000")) { |
|
77 |
result.append("Infinity"); |
|
78 |
} |
|
79 |
else |
|
80 |
result.append("NaN"); |
|
81 |
} |
|
82 |
else { // finite value |
|
83 |
// Extract exponent |
|
84 |
int exponent = Integer.parseInt(transString.substring(0,3), 16) - |
|
85 |
DoubleConsts.EXP_BIAS; |
|
86 |
result.append("0x"); |
|
87 |
||
26197
1bb6b68b87cd
8042003: Update java/lang/Math tests to eliminate dependency on sun.misc.DoubleConsts and sun.misc.FloatConsts
mchung
parents:
14342
diff
changeset
|
88 |
if (exponent == Double.MIN_EXPONENT - 1) { // zero or subnormal |
1826 | 89 |
if(signifString.equals("0000000000000")) { |
90 |
result.append("0.0p0"); |
|
91 |
} |
|
92 |
else { |
|
93 |
result.append("0." + signifString.replaceFirst("0+$", "").replaceFirst("^$", "0") + |
|
94 |
"p-1022"); |
|
95 |
} |
|
96 |
} |
|
97 |
else { // normal value |
|
98 |
result.append("1." + signifString.replaceFirst("0+$", "").replaceFirst("^$", "0") + |
|
99 |
"p" + exponent); |
|
100 |
} |
|
101 |
} |
|
102 |
return result.toString(); |
|
103 |
} |
|
104 |
||
105 |
public static int toHexStringTests() { |
|
106 |
int failures = 0; |
|
107 |
String [][] testCases1 = { |
|
108 |
{"Infinity", "Infinity"}, |
|
109 |
{"-Infinity", "-Infinity"}, |
|
110 |
{"NaN", "NaN"}, |
|
111 |
{"-NaN", "NaN"}, |
|
112 |
{"0.0", "0x0.0p0"}, |
|
113 |
{"-0.0", "-0x0.0p0"}, |
|
114 |
{"1.0", "0x1.0p0"}, |
|
115 |
{"-1.0", "-0x1.0p0"}, |
|
116 |
{"2.0", "0x1.0p1"}, |
|
117 |
{"3.0", "0x1.8p1"}, |
|
118 |
{"0.5", "0x1.0p-1"}, |
|
119 |
{"0.25", "0x1.0p-2"}, |
|
120 |
{"1.7976931348623157e+308", "0x1.fffffffffffffp1023"}, // MAX_VALUE |
|
121 |
{"2.2250738585072014E-308", "0x1.0p-1022"}, // MIN_NORMAL |
|
122 |
{"2.225073858507201E-308", "0x0.fffffffffffffp-1022"}, // MAX_SUBNORMAL |
|
123 |
{"4.9e-324", "0x0.0000000000001p-1022"} // MIN_VALUE |
|
124 |
}; |
|
125 |
||
126 |
// Compare decimal string -> double -> hex string to hex string |
|
127 |
for (int i = 0; i < testCases1.length; i++) { |
|
128 |
String result; |
|
129 |
if(! (result=Double.toHexString(Double.parseDouble(testCases1[i][0]))). |
|
130 |
equals(testCases1[i][1])) { |
|
131 |
failures ++; |
|
132 |
System.err.println("For floating-point string " + testCases1[i][0] + |
|
133 |
", expected hex output " + testCases1[i][1] + ", got " + result +"."); |
|
134 |
} |
|
135 |
} |
|
136 |
||
137 |
||
138 |
// Except for float subnormals, the output for numerically |
|
139 |
// equal float and double values should be the same. |
|
140 |
// Therefore, we will explicitly test float subnormal values. |
|
141 |
String [][] floatTestCases = { |
|
142 |
{"Infinity", "Infinity"}, |
|
143 |
{"-Infinity", "-Infinity"}, |
|
144 |
{"NaN", "NaN"}, |
|
145 |
{"-NaN", "NaN"}, |
|
146 |
{"0.0", "0x0.0p0"}, |
|
147 |
{"-0.0", "-0x0.0p0"}, |
|
148 |
{"1.0", "0x1.0p0"}, |
|
149 |
{"-1.0", "-0x1.0p0"}, |
|
150 |
{"2.0", "0x1.0p1"}, |
|
151 |
{"3.0", "0x1.8p1"}, |
|
152 |
{"0.5", "0x1.0p-1"}, |
|
153 |
{"0.25", "0x1.0p-2"}, |
|
154 |
{"3.4028235e+38f", "0x1.fffffep127"}, // MAX_VALUE |
|
155 |
{"1.17549435E-38f", "0x1.0p-126"}, // MIN_NORMAL |
|
156 |
{"1.1754942E-38", "0x0.fffffep-126"}, // MAX_SUBNORMAL |
|
157 |
{"1.4e-45f", "0x0.000002p-126"} // MIN_VALUE |
|
158 |
}; |
|
159 |
// Compare decimal string -> double -> hex string to hex string |
|
160 |
for (int i = 0; i < floatTestCases.length; i++) { |
|
161 |
String result; |
|
162 |
if(! (result=Float.toHexString(Float.parseFloat(floatTestCases[i][0]))). |
|
163 |
equals(floatTestCases[i][1])) { |
|
164 |
failures++; |
|
165 |
System.err.println("For floating-point string " + floatTestCases[i][0] + |
|
166 |
", expected hex output\n" + floatTestCases[i][1] + ", got\n" + result +"."); |
|
167 |
} |
|
168 |
} |
|
169 |
||
170 |
// Particular floating-point values and hex equivalents, mostly |
|
171 |
// taken from fdlibm source. |
|
172 |
String [][] testCases2 = { |
|
173 |
{"+0.0", "0000000000000000"}, |
|
174 |
{"-0.0", "8000000000000000"}, |
|
175 |
{"+4.9e-324", "0000000000000001"}, |
|
176 |
{"-4.9e-324", "8000000000000001"}, |
|
177 |
||
178 |
// fdlibm k_sin.c |
|
179 |
{"+5.00000000000000000000e-01", "3FE0000000000000"}, |
|
180 |
{"-1.66666666666666324348e-01", "BFC5555555555549"}, |
|
181 |
{"+8.33333333332248946124e-03", "3F8111111110F8A6"}, |
|
182 |
{"-1.98412698298579493134e-04", "BF2A01A019C161D5"}, |
|
183 |
{"+2.75573137070700676789e-06", "3EC71DE357B1FE7D"}, |
|
184 |
{"-2.50507602534068634195e-08", "BE5AE5E68A2B9CEB"}, |
|
185 |
{"+1.58969099521155010221e-10", "3DE5D93A5ACFD57C"}, |
|
186 |
||
187 |
// fdlibm k_cos.c |
|
188 |
{"+4.16666666666666019037e-02", "3FA555555555554C"}, |
|
189 |
{"-1.38888888888741095749e-03", "BF56C16C16C15177"}, |
|
190 |
{"+2.48015872894767294178e-05", "3EFA01A019CB1590"}, |
|
191 |
{"-2.75573143513906633035e-07", "BE927E4F809C52AD"}, |
|
192 |
{"+2.08757232129817482790e-09", "3E21EE9EBDB4B1C4"}, |
|
193 |
{"-1.13596475577881948265e-11", "BDA8FAE9BE8838D4"}, |
|
194 |
||
195 |
// fdlibm e_rempio.c |
|
196 |
{"1.67772160000000000000e+07", "4170000000000000"}, |
|
197 |
{"6.36619772367581382433e-01", "3FE45F306DC9C883"}, |
|
198 |
{"1.57079632673412561417e+00", "3FF921FB54400000"}, |
|
199 |
{"6.07710050650619224932e-11", "3DD0B4611A626331"}, |
|
200 |
{"6.07710050630396597660e-11", "3DD0B4611A600000"}, |
|
201 |
{"2.02226624879595063154e-21", "3BA3198A2E037073"}, |
|
202 |
{"2.02226624871116645580e-21", "3BA3198A2E000000"}, |
|
203 |
{"8.47842766036889956997e-32", "397B839A252049C1"}, |
|
204 |
||
205 |
||
206 |
// fdlibm s_cbrt.c |
|
207 |
{"+5.42857142857142815906e-01", "3FE15F15F15F15F1"}, |
|
208 |
{"-7.05306122448979611050e-01", "BFE691DE2532C834"}, |
|
209 |
{"+1.41428571428571436819e+00", "3FF6A0EA0EA0EA0F"}, |
|
210 |
{"+1.60714285714285720630e+00", "3FF9B6DB6DB6DB6E"}, |
|
211 |
{"+3.57142857142857150787e-01", "3FD6DB6DB6DB6DB7"}, |
|
212 |
}; |
|
213 |
||
214 |
// Compare decimal string -> double -> hex string to |
|
215 |
// long hex string -> double hex string |
|
216 |
for (int i = 0; i < testCases2.length; i++) { |
|
217 |
String result; |
|
218 |
String expected; |
|
219 |
if(! (result=Double.toHexString(Double.parseDouble(testCases2[i][0]))). |
|
220 |
equals( expected=hexLongStringtoHexDoubleString(testCases2[i][1]) )) { |
|
221 |
failures ++; |
|
222 |
System.err.println("For floating-point string " + testCases2[i][0] + |
|
223 |
", expected hex output " + expected + ", got " + result +"."); |
|
224 |
} |
|
225 |
} |
|
226 |
||
227 |
// Test random double values; |
|
228 |
// compare double -> Double.toHexString with local doubleToHexString |
|
229 |
java.util.Random rand = new java.util.Random(0); |
|
230 |
for (int i = 0; i < 1000; i++) { |
|
231 |
String result; |
|
232 |
String expected; |
|
233 |
double d = rand.nextDouble(); |
|
234 |
if(! (expected=doubleToHexString(d)).equals(result=Double.toHexString(d)) ) { |
|
235 |
failures ++; |
|
236 |
System.err.println("For floating-point value " + d + |
|
237 |
", expected hex output " + expected + ", got " + result +"."); |
|
238 |
} |
|
239 |
} |
|
240 |
||
241 |
return failures; |
|
242 |
} |
|
243 |
||
244 |
public static void main(String argv[]) { |
|
245 |
int failures = 0; |
|
246 |
||
247 |
failures = toHexStringTests(); |
|
248 |
||
249 |
if (failures != 0) { |
|
250 |
throw new RuntimeException("" + failures + " failures while testing Double.toHexString"); |
|
251 |
} |
|
252 |
} |
|
253 |
} |