Index: src/org/eclipse/jdt/core/tests/compiler/regression/InternalHexFloatTest.java =================================================================== RCS file: src/org/eclipse/jdt/core/tests/compiler/regression/InternalHexFloatTest.java diff -N src/org/eclipse/jdt/core/tests/compiler/regression/InternalHexFloatTest.java --- /dev/null 1 Jan 1970 00:00:00 -0000 +++ src/org/eclipse/jdt/core/tests/compiler/regression/InternalHexFloatTest.java 1 Jan 1970 00:00:00 -0000 @@ -0,0 +1,319 @@ +/******************************************************************************* + * Copyright (c) 2000, 2004 IBM Corporation and others. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Common Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/cpl-v10.html + * + * Contributors: + * IBM Corporation - initial API and implementation + *******************************************************************************/ +package org.eclipse.jdt.core.tests.compiler.regression; + +import java.util.ArrayList; +import java.util.Iterator; +import java.util.List; + +import junit.framework.Test; +import org.eclipse.jdt.internal.compiler.util.FloatUtil; + +public class InternalHexFloatTest extends AbstractRegressionTest { + + /* + * Indicates whether this test is being run by a 1.5 JRE. + * If it is, it's possible to cross check the expected values + * with what the 1.5 JRE library computes. + */ + static final boolean isJ2SE5 = false; + + static class DoubleTest { + String input; + long output; + public DoubleTest(String input, long output) { + this.input = input; + this.output = output; + } + } + + static class FloatTest { + String input; + int output; + public FloatTest(String input, int output) { + this.input = input; + this.output = output; + } + } + + public InternalHexFloatTest(String name) { + super(name); + } + public static Test suite() { + return setupSuite(testClass()); + } + + public static Class testClass() { + return InternalHexFloatTest.class; + } + + /** + */ + public void test001() { + List x = new ArrayList(); + + // various forms of zero + x.add(new DoubleTest("0x0p0", 0x0L)); + x.add(new DoubleTest("0x0p0d", 0x0L)); + x.add(new DoubleTest("0x0p0D", 0x0L)); + x.add(new DoubleTest("0x0.0p0D", 0x0L)); + x.add(new DoubleTest("0x.0p0D", 0x0L)); + x.add(new DoubleTest("0x0.p0D", 0x0L)); + x.add(new DoubleTest("0x00000.00000000000p0D", 0x0L)); + x.add(new DoubleTest("0x0p99D", 0x0L)); + x.add(new DoubleTest("0x0p-99D", 0x0L)); + x.add(new DoubleTest("0x0p9999999D", 0x0L)); + x.add(new DoubleTest("0x0p-9999999D", 0x0L)); + + // small doubles + x.add(new DoubleTest("0x0.8p0D", 0x3fe0000000000000L)); + x.add(new DoubleTest("0x0.4p0D", 0x3fd0000000000000L)); + x.add(new DoubleTest("0x0.2p0D", 0x3fc0000000000000L)); + x.add(new DoubleTest("0x0.1p0D", 0x3fb0000000000000L)); + x.add(new DoubleTest("0x0.08p0D", 0x3fa0000000000000L)); + x.add(new DoubleTest("0x0.04p0D", 0x3f90000000000000L)); + x.add(new DoubleTest("0x0.02p0D", 0x3f80000000000000L)); + x.add(new DoubleTest("0x0.01p0D", 0x3f70000000000000L)); + x.add(new DoubleTest("0x0.010p0D", 0x3f70000000000000L)); + x.add(new DoubleTest("0x1p0D", 0x3ff0000000000000L)); + x.add(new DoubleTest("0x2p0D", 0x4000000000000000L)); + x.add(new DoubleTest("0x4p0D", 0x4010000000000000L)); + x.add(new DoubleTest("0x8p0D", 0x4020000000000000L)); + x.add(new DoubleTest("0x10p0D", 0x4030000000000000L)); + x.add(new DoubleTest("0x20p0D", 0x4040000000000000L)); + x.add(new DoubleTest("0x40p0D", 0x4050000000000000L)); + x.add(new DoubleTest("0x80p0D", 0x4060000000000000L)); + x.add(new DoubleTest("0x80.p0D", 0x4060000000000000L)); + x.add(new DoubleTest("0x80.8p0D", 0x4060100000000000L)); + x.add(new DoubleTest("0x80.80p0D", 0x4060100000000000L)); + x.add(new DoubleTest("0x123456789p0D", 0x41f2345678900000L)); + x.add(new DoubleTest("0xabcedfp0D", 0x416579dbe0000000L)); + x.add(new DoubleTest("0xABCDEFp0D", 0x416579bde0000000L)); + + x.add(new DoubleTest("0x0.0100000000000000000000000000000000000000000000000p0d", 0x3f70000000000000L)); + x.add(new DoubleTest("0x0.0000000000000000000000000000000000000000000000001p0d", 0x33b0000000000000L)); + x.add(new DoubleTest("0x10000000000000000000000000000000000000000000000000000p0d", 0x4cf0000000000000L)); + + // rounding to 53 bits + x.add(new DoubleTest("0x823456789012380p0d", 0x43a0468acf120247L)); + x.add(new DoubleTest("0xFFFFFFFFFFFFF80p0d", 0x43afffffffffffffL)); + x.add(new DoubleTest("0xFFFFFFFFFFFFFC0p0d", 0x43b0000000000000L)); + x.add(new DoubleTest("0xFFFFFFFFFFFFFA0p0d", 0x43afffffffffffffL)); + x.add(new DoubleTest("0xFFFFFFFFFFFFF81p0d", 0x43afffffffffffffL)); + x.add(new DoubleTest("0x123456789abcd10p0d", 0x43723456789abcd1L)); + x.add(new DoubleTest("0x123456789abcd18p0d", 0x43723456789abcd2L)); + x.add(new DoubleTest("0x7FFFFFFFFFFFFC0p0d", 0x439fffffffffffffL)); + x.add(new DoubleTest("0x7FFFFFFFFFFFFE0p0d", 0x43a0000000000000L)); + x.add(new DoubleTest("0x3FFFFFFFFFFFFE0p0d", 0x438fffffffffffffL)); + x.add(new DoubleTest("0x3FFFFFFFFFFFFF0p0d", 0x4390000000000000L)); + x.add(new DoubleTest("0x1FFFFFFFFFFFFF0p0d", 0x437fffffffffffffL)); + x.add(new DoubleTest("0x1FFFFFFFFFFFFF8p0d", 0x4380000000000000L)); + + // rounding to overflow at +1024; denormalized at -1022; underflow at -1075 + x.add(new DoubleTest("0x1p5000D", 0x7ff0000000000000L)); + x.add(new DoubleTest("0x1p-5000D", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x1.0p1022d", 0x7fd0000000000000L)); + x.add(new DoubleTest("0x1.0p1023d", 0x7fe0000000000000L)); + x.add(new DoubleTest("0x1.0p1024d", 0x7ff0000000000000L)); + x.add(new DoubleTest("0x1.0p-1022d", 0x0010000000000000L)); + x.add(new DoubleTest("0x1.0p-1023d", 0x0008000000000000L)); + x.add(new DoubleTest("0x1.0p-1024d", 0x0004000000000000L)); + x.add(new DoubleTest("0x1.0p-1074d", 0x0000000000000001L)); + x.add(new DoubleTest("0x1.0p-1075d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x1.0p-1076d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x1.0p-1077d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x1.0p-1078d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.8p1023d", 0x7fd0000000000000L)); + x.add(new DoubleTest("0x0.8p1024d", 0x7fe0000000000000L)); + x.add(new DoubleTest("0x0.8p1025d", 0x7ff0000000000000L)); + x.add(new DoubleTest("0x0.8p-1021d", 0x0010000000000000L)); + x.add(new DoubleTest("0x0.8p-1022d", 0x0008000000000000L)); + x.add(new DoubleTest("0x0.8p-1023d", 0x0004000000000000L)); + x.add(new DoubleTest("0x0.8p-1024d", 0x0002000000000000L)); + x.add(new DoubleTest("0x0.8p-1074d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.8p-1075d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.8p-1076d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.4p-1021d", 0x0008000000000000L)); + x.add(new DoubleTest("0x0.4p-1022d", 0x0004000000000000L)); + x.add(new DoubleTest("0x0.4p-1023d", 0x0002000000000000L)); + x.add(new DoubleTest("0x0.4p-1073d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.4p-1074d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.4p-1075d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.2p-1020d", 0x0008000000000000L)); + x.add(new DoubleTest("0x0.2p-1021d", 0x0004000000000000L)); + x.add(new DoubleTest("0x0.2p-1022d", 0x0002000000000000L)); + x.add(new DoubleTest("0x0.2p-1072d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.2p-1073d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.2p-1074d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.1p-1019d", 0x0008000000000000L)); + x.add(new DoubleTest("0x0.1p-1020d", 0x0004000000000000L)); + x.add(new DoubleTest("0x0.1p-1021d", 0x0002000000000000L)); + x.add(new DoubleTest("0x0.1p-1071d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.1p-1072d", 0x7ff8000000000000L)); + x.add(new DoubleTest("0x0.1p-1073d", 0x7ff8000000000000L)); + + for (Iterator it = x.iterator(); it.hasNext();) { + DoubleTest t = (DoubleTest) it.next(); + String s = t.input; + long expectedBits = t.output; + double libExpected = 0.0d; + if (isJ2SE5) { + // note that next line only works with a 1.5 J2SE + libExpected = Double.parseDouble(s); + } + double dActual = FloatUtil.valueOfHexDoubleLiteral(s.toCharArray()); + long actualBits = Double.doubleToLongBits(dActual); + if (isJ2SE5) { + // cross-check bits computed by J2SE 1.5 library + long libExpectedBits = Double.doubleToRawLongBits(libExpected); + if (expectedBits != libExpectedBits) { + if (Double.isNaN(Double.longBitsToDouble(expectedBits)) && libExpected == 0.0d) { + // this is ok - we return NaN where lib quietly underflows to 0 + } else { + assertEquals("Test has wrong table value for " + s, libExpectedBits, expectedBits); + } + } + } + assertEquals("Wrong double value for " + s, expectedBits, actualBits); + } + } + + /** + */ + public void test002() { + List x = new ArrayList(); + // various forms of zero + x.add(new FloatTest("0x0p0f", 0x0)); + x.add(new FloatTest("0x0p0F", 0x0)); + x.add(new FloatTest("0x0.0p0F", 0x0)); + x.add(new FloatTest("0x.0p0F", 0x0)); + x.add(new FloatTest("0x0.p0F", 0x0)); + x.add(new FloatTest("0x00000.00000000000p0F", 0x0)); + x.add(new FloatTest("0x0p99F", 0x0)); + x.add(new FloatTest("0x0p-99F", 0x0)); + x.add(new FloatTest("0x0p9999999F", 0x0)); + x.add(new FloatTest("0x0p-9999999F", 0x0)); + + // small floats + x.add(new FloatTest("0x0.8p0F", 0x3f000000)); + x.add(new FloatTest("0x0.4p0F", 0x3e800000)); + x.add(new FloatTest("0x0.2p0F", 0x3e000000)); + x.add(new FloatTest("0x0.1p0F", 0x3d800000)); + x.add(new FloatTest("0x0.08p0F", 0x3d000000)); + x.add(new FloatTest("0x0.04p0F", 0x3c800000)); + x.add(new FloatTest("0x0.02p0F", 0x3c000000)); + x.add(new FloatTest("0x0.01p0F", 0x3b800000)); + x.add(new FloatTest("0x0.010p0F", 0x3b800000)); + x.add(new FloatTest("0x1p0F", 0x3f800000)); + x.add(new FloatTest("0x2p0F", 0x40000000)); + x.add(new FloatTest("0x4p0F", 0x40800000)); + x.add(new FloatTest("0x8p0F", 0x41000000)); + x.add(new FloatTest("0x10p0F", 0x41800000)); + x.add(new FloatTest("0x20p0F", 0x42000000)); + x.add(new FloatTest("0x40p0F", 0x42800000)); + x.add(new FloatTest("0x80p0F", 0x43000000)); + x.add(new FloatTest("0x80.p0F", 0x43000000)); + x.add(new FloatTest("0x80.8p0F", 0x43008000)); + x.add(new FloatTest("0x80.80p0F", 0x43008000)); + x.add(new FloatTest("0x123456789p0F", 0x4f91a2b4)); + x.add(new FloatTest("0xabcedfp0F", 0x4b2bcedf)); + x.add(new FloatTest("0xABCDEFp0F", 0x4b2bcdef)); + + x.add(new FloatTest("0x0.000000000000000000000000000001p0f", 0x3800000)); + x.add(new FloatTest("0x10000000000000000000000000000000p0f", 0x7d800000)); + + // rounding to 24 bits + x.add(new FloatTest("0x823456p0f", 0x4b023456)); + x.add(new FloatTest("0xFFFFFF80p0f", 0x4f800000)); + x.add(new FloatTest("0xFFFFFF40p0f", 0x4f7fffff)); + x.add(new FloatTest("0xFFFFFF20p0f", 0x4f7fffff)); + x.add(new FloatTest("0x123456p0f", 0x4991a2b0)); + x.add(new FloatTest("0x7890abp0f", 0x4af12156)); + x.add(new FloatTest("0xcdefABp0f", 0x4b4defab)); + x.add(new FloatTest("0xCDEFdep0f", 0x4b4defde)); + x.add(new FloatTest("0x123456p0f", 0x4991a2b0)); + x.add(new FloatTest("0x7FFFFF8p0f", 0x4cffffff)); + x.add(new FloatTest("0x3FFFFFCp0f", 0x4c7fffff)); + x.add(new FloatTest("0x1FFFFFEp0f", 0x4bffffff)); + + // rounding to overflow at +128; denormalized at -126; underflow at -150 + x.add(new FloatTest("0x1p5000F", 0x7f800000)); + x.add(new FloatTest("0x1p-5000F", 0x7fc00000)); + x.add(new FloatTest("0x1.0p126f", 0x7e800000)); + x.add(new FloatTest("0x1.0p127f", 0x7f000000)); + x.add(new FloatTest("0x1.0p128f", 0x7f800000)); + x.add(new FloatTest("0x1.0p129f", 0x7f800000)); + x.add(new FloatTest("0x1.0p-127f", 0x00400000)); + x.add(new FloatTest("0x1.0p-128f", 0x00200000)); + x.add(new FloatTest("0x1.0p-129f", 0x00100000)); + x.add(new FloatTest("0x1.0p-149f", 0x00000001)); + x.add(new FloatTest("0x1.0p-150f", 0x7fc00000)); + x.add(new FloatTest("0x1.0p-151f", 0x7fc00000)); + x.add(new FloatTest("0x0.8p127f", 0x7e800000)); + x.add(new FloatTest("0x0.8p128f", 0x7f000000)); + x.add(new FloatTest("0x0.8p129f", 0x7f800000)); + x.add(new FloatTest("0x0.8p-125f", 0x00800000)); + x.add(new FloatTest("0x0.8p-126f", 0x00400000)); + x.add(new FloatTest("0x0.8p-127f", 0x00200000)); + x.add(new FloatTest("0x0.8p-128f", 0x00100000)); + x.add(new FloatTest("0x0.8p-148f", 0x00000001)); + x.add(new FloatTest("0x0.8p-149f", 0x7fc00000)); + x.add(new FloatTest("0x0.8p-150f", 0x7fc00000)); + x.add(new FloatTest("0x0.4p-124f", 0x00800000)); + x.add(new FloatTest("0x0.4p-125f", 0x00400000)); + x.add(new FloatTest("0x0.4p-126f", 0x00200000)); + x.add(new FloatTest("0x0.4p-147f", 0x00000001)); + x.add(new FloatTest("0x0.4p-148f", 0x7fc00000)); + x.add(new FloatTest("0x0.4p-149f", 0x7fc00000)); + x.add(new FloatTest("0x0.4p-150f", 0x7fc00000)); + x.add(new FloatTest("0x0.2p-123f", 0x00800000)); + x.add(new FloatTest("0x0.2p-124f", 0x00400000)); + x.add(new FloatTest("0x0.2p-125f", 0x00200000)); + x.add(new FloatTest("0x0.2p-126f", 0x00100000)); + x.add(new FloatTest("0x0.2p-146f", 0x00000001)); + x.add(new FloatTest("0x0.2p-147f", 0x7fc00000)); + x.add(new FloatTest("0x0.2p-148f", 0x7fc00000)); + x.add(new FloatTest("0x0.2p-149f", 0x7fc00000)); + x.add(new FloatTest("0x0.1p-122f", 0x00800000)); + x.add(new FloatTest("0x0.1p-123f", 0x00400000)); + x.add(new FloatTest("0x0.1p-124f", 0x00200000)); + x.add(new FloatTest("0x0.1p-145f", 0x00000001)); + x.add(new FloatTest("0x0.1p-146f", 0x7fc00000)); + x.add(new FloatTest("0x0.1p-147f", 0x7fc00000)); + x.add(new FloatTest("0x0.1p-148f", 0x7fc00000)); + + for (Iterator it = x.iterator(); it.hasNext();) { + FloatTest t = (FloatTest) it.next(); + String s = t.input; + int expectedBits = t.output; + float libExpected = 0.0f; + if (isJ2SE5) { + // note that next line only works with a 1.5 J2SE + libExpected = Float.parseFloat(s); + } + float dActual = FloatUtil.valueOfHexFloatLiteral(s.toCharArray()); + long actualBits = Float.floatToIntBits(dActual); + if (isJ2SE5) { + // cross-check bits computed by J2SE 1.5 library + int libExpectedBits = Float.floatToRawIntBits(libExpected); + if (expectedBits != libExpectedBits) { + if (Float.isNaN(Float.intBitsToFloat(expectedBits)) && libExpected == 0.0f) { + // this is ok - we return NaN where lib quietly underflows to 0 + } else { + assertEquals("Test has wrong table value for " + s, libExpectedBits, expectedBits); + } + } + } + assertEquals("Wrong float value for " + s, expectedBits, actualBits); + } + } + +}