From 855dd2bcff9e32e053bf66e336405ded26e9c927 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Wed, 8 Feb 2006 18:06:11 +0000 Subject: re PR java/22578 (should inline floatToIntBits et al) gcc/java PR java/22578: * check-init.c (check_init): Handle VIEW_CONVERT_EXPR. * builtins.c (convert_real): New function. (java_builtins): Handle Float.intBitsToFloat, Float.floatToRawIntBits, Double.longBitsToDouble, Double.doubleToRawLongBits. libjava PR java/22578: * gcj/javaprims.h: Updated. * sources.am, Makefile.in: Rebuilt. * java/lang/natDouble.cc (doubleToLongBits): Moved to VMDouble. (doubleToRawLongBits): Likewise. (longBitsToDouble): Likewise. (toString): Likewise. (parseDouble): Likewise. * java/lang/natFloat.cc (floatToIntBits): Moved to VMFloat. (floatToRawIntBits): Likewise. (intBitsToFloat): Likewise. * java/lang/VMDouble.java: New file. * java/lang/VMFloat.java: New file. * java/lang/Float.java, java/lang/Double.java: Removed. From-SVN: r110759 --- gcc/java/ChangeLog | 9 + gcc/java/builtins.c | 12 + gcc/java/check-init.c | 3 +- libjava/ChangeLog | 17 ++ libjava/Makefile.in | 6 +- libjava/gcj/javaprims.h | 4 +- libjava/java/lang/Double.java | 546 ---------------------------------------- libjava/java/lang/Float.java | 546 ---------------------------------------- libjava/java/lang/VMDouble.java | 111 ++++++++ libjava/java/lang/VMFloat.java | 99 ++++++++ libjava/java/lang/natDouble.cc | 25 +- libjava/java/lang/natFloat.cc | 11 +- libjava/sources.am | 6 +- 13 files changed, 280 insertions(+), 1115 deletions(-) delete mode 100644 libjava/java/lang/Double.java delete mode 100644 libjava/java/lang/Float.java create mode 100644 libjava/java/lang/VMDouble.java create mode 100644 libjava/java/lang/VMFloat.java diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog index eb05ec0..89cef7c 100644 --- a/gcc/java/ChangeLog +++ b/gcc/java/ChangeLog @@ -1,3 +1,12 @@ +2006-02-08 Tom Tromey + + PR java/22578: + * check-init.c (check_init): Handle VIEW_CONVERT_EXPR. + * builtins.c (convert_real): New function. + (java_builtins): Handle Float.intBitsToFloat, + Float.floatToRawIntBits, Double.longBitsToDouble, + Double.doubleToRawLongBits. + 2006-02-07 Andrew Haley * expr.c (expand_invoke): (BC mode.) If we find a method in a diff --git a/gcc/java/builtins.c b/gcc/java/builtins.c index 5082cd0..bd7e696 100644 --- a/gcc/java/builtins.c +++ b/gcc/java/builtins.c @@ -39,6 +39,7 @@ The Free Software Foundation is independent of Sun Microsystems, Inc. */ static tree max_builtin (tree, tree); static tree min_builtin (tree, tree); static tree abs_builtin (tree, tree); +static tree convert_real (tree, tree); static tree java_build_function_call_expr (tree, tree); @@ -85,6 +86,10 @@ static GTY(()) struct builtin_record java_builtins[] = { { "java.lang.Math" }, { "sin" }, NULL, BUILT_IN_SIN }, { { "java.lang.Math" }, { "sqrt" }, NULL, BUILT_IN_SQRT }, { { "java.lang.Math" }, { "tan" }, NULL, BUILT_IN_TAN }, + { { "java.lang.Float" }, { "intBitsToFloat" }, convert_real, 0 }, + { { "java.lang.Double" }, { "longBitsToDouble" }, convert_real, 0 }, + { { "java.lang.Float" }, { "floatToRawIntBits" }, convert_real, 0 }, + { { "java.lang.Double" }, { "doubleToRawLongBits" }, convert_real, 0 }, { { NULL }, { NULL }, NULL, END_BUILTINS } }; @@ -131,6 +136,13 @@ java_build_function_call_expr (tree fn, tree arglist) call_expr, arglist, NULL_TREE); } +static tree +convert_real (tree method_return_type, tree method_arguments) +{ + return build1 (VIEW_CONVERT_EXPR, method_return_type, + TREE_VALUE (method_arguments)); +} + #define BUILTIN_NOTHROW 1 diff --git a/gcc/java/check-init.c b/gcc/java/check-init.c index 312bd7b..6eb1f16 100644 --- a/gcc/java/check-init.c +++ b/gcc/java/check-init.c @@ -1,5 +1,5 @@ /* Code to test for "definitive [un]assignment". - Copyright (C) 1999, 2000, 2001, 2003, 2004, 2005 Free Software Foundation, + Copyright (C) 1999, 2000, 2001, 2003, 2004, 2005, 2006 Free Software Foundation, Inc. This file is part of GCC. @@ -806,6 +806,7 @@ check_init (tree exp, words before) case TRUTH_NOT_EXPR: case BIT_NOT_EXPR: case CONVERT_EXPR: + case VIEW_CONVERT_EXPR: case BIT_FIELD_REF: case FLOAT_EXPR: case FIX_TRUNC_EXPR: diff --git a/libjava/ChangeLog b/libjava/ChangeLog index 43a0e48..2372781 100644 --- a/libjava/ChangeLog +++ b/libjava/ChangeLog @@ -1,3 +1,20 @@ +2006-02-08 Tom Tromey + + PR java/22578: + * gcj/javaprims.h: Updated. + * sources.am, Makefile.in: Rebuilt. + * java/lang/natDouble.cc (doubleToLongBits): Moved to VMDouble. + (doubleToRawLongBits): Likewise. + (longBitsToDouble): Likewise. + (toString): Likewise. + (parseDouble): Likewise. + * java/lang/natFloat.cc (floatToIntBits): Moved to VMFloat. + (floatToRawIntBits): Likewise. + (intBitsToFloat): Likewise. + * java/lang/VMDouble.java: New file. + * java/lang/VMFloat.java: New file. + * java/lang/Float.java, java/lang/Double.java: Removed. + 2006-02-06 Tom Tromey * gij.cc (version): Use 2006. diff --git a/libjava/Makefile.in b/libjava/Makefile.in index af11934..d9cc9b5 100644 --- a/libjava/Makefile.in +++ b/libjava/Makefile.in @@ -2884,12 +2884,12 @@ classpath/java/lang/Cloneable.java \ classpath/java/lang/Comparable.java \ classpath/java/lang/Compiler.java \ java/lang/ConcreteProcess.java \ -java/lang/Double.java \ +classpath/java/lang/Double.java \ classpath/java/lang/EnumConstantNotPresentException.java \ classpath/java/lang/Error.java \ classpath/java/lang/Exception.java \ classpath/java/lang/ExceptionInInitializerError.java \ -java/lang/Float.java \ +classpath/java/lang/Float.java \ classpath/java/lang/IllegalAccessError.java \ classpath/java/lang/IllegalAccessException.java \ classpath/java/lang/IllegalArgumentException.java \ @@ -2947,6 +2947,8 @@ classpath/java/lang/UnsupportedClassVersionError.java \ classpath/java/lang/UnsupportedOperationException.java \ java/lang/VMClassLoader.java \ java/lang/VMCompiler.java \ +java/lang/VMDouble.java \ +java/lang/VMFloat.java \ java/lang/VMSecurityManager.java \ java/lang/VMThrowable.java \ classpath/java/lang/VerifyError.java \ diff --git a/libjava/gcj/javaprims.h b/libjava/gcj/javaprims.h index c4f815f..f8c2ed6 100644 --- a/libjava/gcj/javaprims.h +++ b/libjava/gcj/javaprims.h @@ -1,7 +1,7 @@ // javaprims.h - Main external header file for libgcj. -*- c++ -*- -/* Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005 +/* Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation This file is part of libgcj. @@ -218,6 +218,8 @@ extern "Java" class UnsupportedOperationException; class VMClassLoader; class VMCompiler; + class VMDouble; + class VMFloat; class VMSecurityManager; class VMThrowable; class VerifyError; diff --git a/libjava/java/lang/Double.java b/libjava/java/lang/Double.java deleted file mode 100644 index 92f8a23..0000000 --- a/libjava/java/lang/Double.java +++ /dev/null @@ -1,546 +0,0 @@ -/* Double.java -- object wrapper for double - Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006 - Free Software Foundation, Inc. - -This file is part of GNU Classpath. - -GNU Classpath is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2, or (at your option) -any later version. - -GNU Classpath is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GNU Classpath; see the file COPYING. If not, write to the -Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA -02110-1301 USA. - -Linking this library statically or dynamically with other modules is -making a combined work based on this library. Thus, the terms and -conditions of the GNU General Public License cover the whole -combination. - -As a special exception, the copyright holders of this library give you -permission to link this library with independent modules to produce an -executable, regardless of the license terms of these independent -modules, and to copy and distribute the resulting executable under -terms of your choice, provided that you also meet, for each linked -independent module, the terms and conditions of the license of that -module. An independent module is a module which is not derived from -or based on this library. If you modify this library, you may extend -this exception to your version of the library, but you are not -obligated to do so. If you do not wish to do so, delete this -exception statement from your version. */ - -package java.lang; - - -/** - * Instances of class Double represent primitive - * double values. - * - * Additionally, this class provides various helper functions and variables - * related to doubles. - * - * @author Paul Fisher - * @author Andrew Haley (aph@cygnus.com) - * @author Eric Blake (ebb9@email.byu.edu) - * @since 1.0 - * @status updated to 1.4 - */ -public final class Double extends Number implements Comparable -{ - /** - * Compatible with JDK 1.0+. - */ - private static final long serialVersionUID = -9172774392245257468L; - - /** - * The maximum positive value a double may represent - * is 1.7976931348623157e+308. - */ - public static final double MAX_VALUE = 1.7976931348623157e+308; - - /** - * The minimum positive value a double may represent - * is 5e-324. - */ - public static final double MIN_VALUE = 5e-324; - - /** - * The value of a double representation -1.0/0.0, negative - * infinity. - */ - public static final double NEGATIVE_INFINITY = -1.0 / 0.0; - - /** - * The value of a double representing 1.0/0.0, positive infinity. - */ - public static final double POSITIVE_INFINITY = 1.0 / 0.0; - - /** - * All IEEE 754 values of NaN have the same value in Java. - */ - public static final double NaN = 0.0 / 0.0; - - /** - * The number of bits needed to represent a double. - * @since 1.5 - */ - public static final int SIZE = 64; - - /** - * The primitive type double is represented by this - * Class object. - * @since 1.1 - */ - public static final Class TYPE = VMClassLoader.getPrimitiveClass('D'); - - /** - * The immutable value of this Double. - * - * @serial the wrapped double - */ - private final double value; - - /** - * Create a Double from the primitive double - * specified. - * - * @param value the double argument - */ - public Double(double value) - { - this.value = value; - } - - /** - * Create a Double from the specified String. - * This method calls Double.parseDouble(). - * - * @param s the String to convert - * @throws NumberFormatException if s cannot be parsed as a - * double - * @throws NullPointerException if s is null - * @see #parseDouble(String) - */ - public Double(String s) - { - value = parseDouble(s); - } - - /** - * Convert the double to a String. - * Floating-point string representation is fairly complex: here is a - * rundown of the possible values. "[-]" indicates that a - * negative sign will be printed if the value (or exponent) is negative. - * "<number>" means a string of digits ('0' to '9'). - * "<digit>" means a single digit ('0' to '9').
- * - * - * - * - * - * - * - * - * - * - *
Value of DoubleString Representation
[+-] 0 [-]0.0
Between [+-] 10-3 and 107, exclusive[-]number.number
Other numeric value[-]<digit>.<number> - * E[-]<number>
[+-] infinity [-]Infinity
NaN NaN
- * - * Yes, negative zero is a possible value. Note that there is - * always a . and at least one digit printed after - * it: even if the number is 3, it will be printed as 3.0. - * After the ".", all digits will be printed except trailing zeros. The - * result is rounded to the shortest decimal number which will parse back - * to the same double. - * - *

To create other output formats, use {@link java.text.NumberFormat}. - * - * @XXX specify where we are not in accord with the spec. - * - * @param d the double to convert - * @return the String representing the double - */ - public static String toString(double d) - { - return toString(d, false); - } - - /** - * Returns a Double object wrapping the value. - * In contrast to the Double constructor, this method - * may cache some values. It is used by boxing conversion. - * - * @param val the value to wrap - * @return the Double - * - * @since 1.5 - */ - public static Double valueOf(double val) - { - // We don't actually cache, but we could. - return new Double(val); - } - - /** - * Create a new Double object using the String. - * - * @param s the String to convert - * @return the new Double - * @throws NumberFormatException if s cannot be parsed as a - * double - * @throws NullPointerException if s is null. - * @see #parseDouble(String) - */ - public static Double valueOf(String s) - { - return new Double(parseDouble(s)); - } - - /** - * Parse the specified String as a double. The - * extended BNF grammar is as follows:
- * 

-   * DecodableString:
-   *      ( [ - | + ] NaN )
-   *    | ( [ - | + ] Infinity )
-   *    | ( [ - | + ] FloatingPoint
-   *              [ f | F | d
-   *                | D] )
-   * FloatingPoint:
-   *      ( { Digit }+ [ . { Digit } ]
-   *              [ Exponent ] )
-   *    | ( . { Digit }+ [ Exponent ] )
-   * Exponent:
-   *      ( ( e | E )
-   *              [ - | + ] { Digit }+ )
-   * Digit: '0' through '9'
-   *
- * - *

NaN and infinity are special cases, to allow parsing of the output - * of toString. Otherwise, the result is determined by calculating - * n * 10exponent to infinite precision, then rounding - * to the nearest double. Remember that many numbers cannot be precisely - * represented in floating point. In case of overflow, infinity is used, - * and in case of underflow, signed zero is used. Unlike Integer.parseInt, - * this does not accept Unicode digits outside the ASCII range. - * - *

If an unexpected character is found in the String, a - * NumberFormatException will be thrown. Leading and trailing - * 'whitespace' is ignored via String.trim(), but spaces - * internal to the actual number are not allowed. - * - *

To parse numbers according to another format, consider using - * {@link java.text.NumberFormat}. - * - * @XXX specify where/how we are not in accord with the spec. - * - * @param str the String to convert - * @return the double value of s - * @throws NumberFormatException if s cannot be parsed as a - * double - * @throws NullPointerException if s is null - * @see #MIN_VALUE - * @see #MAX_VALUE - * @see #POSITIVE_INFINITY - * @see #NEGATIVE_INFINITY - * @since 1.2 - */ - public static native double parseDouble(String str); - - /** - * Return true if the double has the same - * value as NaN, otherwise return false. - * - * @param v the double to compare - * @return whether the argument is NaN. - */ - public static boolean isNaN(double v) - { - // This works since NaN != NaN is the only reflexive inequality - // comparison which returns true. - return v != v; - } - - /** - * Return true if the double has a value - * equal to either NEGATIVE_INFINITY or - * POSITIVE_INFINITY, otherwise return false. - * - * @param v the double to compare - * @return whether the argument is (-/+) infinity. - */ - public static boolean isInfinite(double v) - { - return v == POSITIVE_INFINITY || v == NEGATIVE_INFINITY; - } - - /** - * Return true if the value of this Double - * is the same as NaN, otherwise return false. - * - * @return whether this Double is NaN - */ - public boolean isNaN() - { - return isNaN(value); - } - - /** - * Return true if the value of this Double - * is the same as NEGATIVE_INFINITY or - * POSITIVE_INFINITY, otherwise return false. - * - * @return whether this Double is (-/+) infinity - */ - public boolean isInfinite() - { - return isInfinite(value); - } - - /** - * Convert the double value of this Double - * to a String. This method calls - * Double.toString(double) to do its dirty work. - * - * @return the String representation - * @see #toString(double) - */ - public String toString() - { - return toString(value); - } - - /** - * Return the value of this Double as a byte. - * - * @return the byte value - * @since 1.1 - */ - public byte byteValue() - { - return (byte) value; - } - - /** - * Return the value of this Double as a short. - * - * @return the short value - * @since 1.1 - */ - public short shortValue() - { - return (short) value; - } - - /** - * Return the value of this Double as an int. - * - * @return the int value - */ - public int intValue() - { - return (int) value; - } - - /** - * Return the value of this Double as a long. - * - * @return the long value - */ - public long longValue() - { - return (long) value; - } - - /** - * Return the value of this Double as a float. - * - * @return the float value - */ - public float floatValue() - { - return (float) value; - } - - /** - * Return the value of this Double. - * - * @return the double value - */ - public double doubleValue() - { - return value; - } - - /** - * Return a hashcode representing this Object. Double's hash - * code is calculated by:
- * long v = Double.doubleToLongBits(doubleValue());
- * int hash = (int)(v^(v>>32)). - * - * @return this Object's hash code - * @see #doubleToLongBits(double) - */ - public int hashCode() - { - long v = doubleToLongBits(value); - return (int) (v ^ (v >>> 32)); - } - - /** - * Returns true if obj is an instance of - * Double and represents the same double value. Unlike comparing - * two doubles with ==, this treats two instances of - * Double.NaN as equal, but treats 0.0 and - * -0.0 as unequal. - * - *

Note that d1.equals(d2) is identical to - * doubleToLongBits(d1.doubleValue()) == - * doubleToLongBits(d2.doubleValue()). - * - * @param obj the object to compare - * @return whether the objects are semantically equal - */ - public boolean equals(Object obj) - { - if (! (obj instanceof Double)) - return false; - - double d = ((Double) obj).value; - - // Avoid call to native method. However, some implementations, like gcj, - // are better off using floatToIntBits(value) == floatToIntBits(f). - // Check common case first, then check NaN and 0. - if (value == d) - return (value != 0) || (1 / value == 1 / d); - return isNaN(value) && isNaN(d); - } - - /** - * Convert the double to the IEEE 754 floating-point "double format" bit - * layout. Bit 63 (the most significant) is the sign bit, bits 62-52 - * (masked by 0x7ff0000000000000L) represent the exponent, and bits 51-0 - * (masked by 0x000fffffffffffffL) are the mantissa. This function - * collapses all versions of NaN to 0x7ff8000000000000L. The result of this - * function can be used as the argument to - * Double.longBitsToDouble(long) to obtain the original - * double value. - * - * @param value the double to convert - * @return the bits of the double - * @see #longBitsToDouble(long) - */ - // GCJ LOCAL: We diverge from Classpath for efficiency. - public static native long doubleToLongBits(double value); - // END GCJ LOCAL - - /** - * Convert the double to the IEEE 754 floating-point "double format" bit - * layout. Bit 63 (the most significant) is the sign bit, bits 62-52 - * (masked by 0x7ff0000000000000L) represent the exponent, and bits 51-0 - * (masked by 0x000fffffffffffffL) are the mantissa. This function - * leaves NaN alone, rather than collapsing to a canonical value. The - * result of this function can be used as the argument to - * Double.longBitsToDouble(long) to obtain the original - * double value. - * - * @param value the double to convert - * @return the bits of the double - * @see #longBitsToDouble(long) - */ - // GCJ LOCAL: We diverge from Classpath for efficiency. - public static native long doubleToRawLongBits(double value); - // END GCJ LOCAL - - /** - * Convert the argument in IEEE 754 floating-point "double format" bit - * layout to the corresponding float. Bit 63 (the most significant) is the - * sign bit, bits 62-52 (masked by 0x7ff0000000000000L) represent the - * exponent, and bits 51-0 (masked by 0x000fffffffffffffL) are the mantissa. - * This function leaves NaN alone, so that you can recover the bit pattern - * with Double.doubleToRawLongBits(double). - * - * @param bits the bits to convert - * @return the double represented by the bits - * @see #doubleToLongBits(double) - * @see #doubleToRawLongBits(double) - */ - // GCJ LOCAL: We diverge from Classpath for efficiency. - public static native double longBitsToDouble(long bits); - // END GCJ LOCAL - - /** - * Compare two Doubles numerically by comparing their double - * values. The result is positive if the first is greater, negative if the - * second is greater, and 0 if the two are equal. However, this special - * cases NaN and signed zero as follows: NaN is considered greater than - * all other doubles, including POSITIVE_INFINITY, and positive - * zero is considered greater than negative zero. - * - * @param d the Double to compare - * @return the comparison - * @since 1.2 - */ - public int compareTo(Double d) - { - return compare(value, d.value); - } - - /** - * Behaves like compareTo(Double) unless the Object - * is not an Double. - * - * @param o the object to compare - * @return the comparison - * @throws ClassCastException if the argument is not a Double - * @see #compareTo(Double) - * @see Comparable - * @since 1.2 - */ - public int compareTo(Object o) - { - return compare(value, ((Double) o).value); - } - - /** - * Behaves like new Double(x).compareTo(new Double(y)); in - * other words this compares two doubles, special casing NaN and zero, - * without the overhead of objects. - * - * @param x the first double to compare - * @param y the second double to compare - * @return the comparison - * @since 1.4 - */ - public static int compare(double x, double y) - { - if (isNaN(x)) - return isNaN(y) ? 0 : 1; - if (isNaN(y)) - return -1; - // recall that 0.0 == -0.0, so we convert to infinites and try again - if (x == 0 && y == 0) - return (int) (1 / x - 1 / y); - if (x == y) - return 0; - - return x > y ? 1 : -1; - } - - /** - * Helper method to convert to string. - * - * @param d the double to convert - * @param isFloat true if the conversion is requested by Float (results in - * fewer digits) - */ - // Package visible for use by Float. - static native String toString(double d, boolean isFloat); -} diff --git a/libjava/java/lang/Float.java b/libjava/java/lang/Float.java deleted file mode 100644 index 7677ca4..0000000 --- a/libjava/java/lang/Float.java +++ /dev/null @@ -1,546 +0,0 @@ -/* Float.java -- object wrapper for float - Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006 - Free Software Foundation, Inc. - -This file is part of GNU Classpath. - -GNU Classpath is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2, or (at your option) -any later version. - -GNU Classpath is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GNU Classpath; see the file COPYING. If not, write to the -Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA -02110-1301 USA. - -Linking this library statically or dynamically with other modules is -making a combined work based on this library. Thus, the terms and -conditions of the GNU General Public License cover the whole -combination. - -As a special exception, the copyright holders of this library give you -permission to link this library with independent modules to produce an -executable, regardless of the license terms of these independent -modules, and to copy and distribute the resulting executable under -terms of your choice, provided that you also meet, for each linked -independent module, the terms and conditions of the license of that -module. An independent module is a module which is not derived from -or based on this library. If you modify this library, you may extend -this exception to your version of the library, but you are not -obligated to do so. If you do not wish to do so, delete this -exception statement from your version. */ - - -package java.lang; - -/** - * Instances of class Float represent primitive - * float values. - * - * Additionally, this class provides various helper functions and variables - * related to floats. - * - * @author Paul Fisher - * @author Andrew Haley (aph@cygnus.com) - * @author Eric Blake (ebb9@email.byu.edu) - * @since 1.0 - * @status updated to 1.4 - */ -public final class Float extends Number implements Comparable -{ - /** - * Compatible with JDK 1.0+. - */ - private static final long serialVersionUID = -2671257302660747028L; - - /** - * The maximum positive value a double may represent - * is 3.4028235e+38f. - */ - public static final float MAX_VALUE = 3.4028235e+38f; - - /** - * The minimum positive value a float may represent - * is 1.4e-45. - */ - public static final float MIN_VALUE = 1.4e-45f; - - /** - * The value of a float representation -1.0/0.0, negative infinity. - */ - public static final float NEGATIVE_INFINITY = -1.0f / 0.0f; - - /** - * The value of a float representation 1.0/0.0, positive infinity. - */ - public static final float POSITIVE_INFINITY = 1.0f / 0.0f; - - /** - * All IEEE 754 values of NaN have the same value in Java. - */ - public static final float NaN = 0.0f / 0.0f; - - /** - * The primitive type float is represented by this - * Class object. - * @since 1.1 - */ - public static final Class TYPE = VMClassLoader.getPrimitiveClass('F'); - - /** - * The number of bits needed to represent a float. - * @since 1.5 - */ - public static final int SIZE = 32; - - /** - * The immutable value of this Float. - * - * @serial the wrapped float - */ - private final float value; - - /** - * Create a Float from the primitive float - * specified. - * - * @param value the float argument - */ - public Float(float value) - { - this.value = value; - } - - /** - * Create a Float from the primitive double - * specified. - * - * @param value the double argument - */ - public Float(double value) - { - this.value = (float) value; - } - - /** - * Create a Float from the specified String. - * This method calls Float.parseFloat(). - * - * @param s the String to convert - * @throws NumberFormatException if s cannot be parsed as a - * float - * @throws NullPointerException if s is null - * @see #parseFloat(String) - */ - public Float(String s) - { - value = parseFloat(s); - } - - /** - * Convert the float to a String. - * Floating-point string representation is fairly complex: here is a - * rundown of the possible values. "[-]" indicates that a - * negative sign will be printed if the value (or exponent) is negative. - * "<number>" means a string of digits ('0' to '9'). - * "<digit>" means a single digit ('0' to '9').
- * - * - * - * - * - * - * - * - * - * - *
Value of FloatString Representation
[+-] 0 [-]0.0
Between [+-] 10-3 and 107, exclusive[-]number.number
Other numeric value[-]<digit>.<number> - * E[-]<number>
[+-] infinity [-]Infinity
NaN NaN
- * - * Yes, negative zero is a possible value. Note that there is - * always a . and at least one digit printed after - * it: even if the number is 3, it will be printed as 3.0. - * After the ".", all digits will be printed except trailing zeros. The - * result is rounded to the shortest decimal number which will parse back - * to the same float. - * - *

To create other output formats, use {@link java.text.NumberFormat}. - * - * @XXX specify where we are not in accord with the spec. - * - * @param f the float to convert - * @return the String representing the float - */ - public static String toString(float f) - { - return Double.toString(f, true); - } - - /** - * Creates a new Float object using the String. - * - * @param s the String to convert - * @return the new Float - * @throws NumberFormatException if s cannot be parsed as a - * float - * @throws NullPointerException if s is null - * @see #parseFloat(String) - */ - public static Float valueOf(String s) - { - return new Float(parseFloat(s)); - } - - /** - * Returns a Float object wrapping the value. - * In contrast to the Float constructor, this method - * may cache some values. It is used by boxing conversion. - * - * @param val the value to wrap - * @return the Float - * - * @since 1.5 - */ - public static Float valueOf(float val) - { - // We don't actually cache, but we could. - return new Float(val); - } - - /** - * Parse the specified String as a float. The - * extended BNF grammar is as follows:
- * 

-   * DecodableString:
-   *      ( [ - | + ] NaN )
-   *    | ( [ - | + ] Infinity )
-   *    | ( [ - | + ] FloatingPoint
-   *              [ f | F | d
-   *                | D] )
-   * FloatingPoint:
-   *      ( { Digit }+ [ . { Digit } ]
-   *              [ Exponent ] )
-   *    | ( . { Digit }+ [ Exponent ] )
-   * Exponent:
-   *      ( ( e | E )
-   *              [ - | + ] { Digit }+ )
-   * Digit: '0' through '9'
-   *
- * - *

NaN and infinity are special cases, to allow parsing of the output - * of toString. Otherwise, the result is determined by calculating - * n * 10exponent to infinite precision, then rounding - * to the nearest float. Remember that many numbers cannot be precisely - * represented in floating point. In case of overflow, infinity is used, - * and in case of underflow, signed zero is used. Unlike Integer.parseInt, - * this does not accept Unicode digits outside the ASCII range. - * - *

If an unexpected character is found in the String, a - * NumberFormatException will be thrown. Leading and trailing - * 'whitespace' is ignored via String.trim(), but spaces - * internal to the actual number are not allowed. - * - *

To parse numbers according to another format, consider using - * {@link java.text.NumberFormat}. - * - * @XXX specify where/how we are not in accord with the spec. - * - * @param str the String to convert - * @return the float value of s - * @throws NumberFormatException if s cannot be parsed as a - * float - * @throws NullPointerException if s is null - * @see #MIN_VALUE - * @see #MAX_VALUE - * @see #POSITIVE_INFINITY - * @see #NEGATIVE_INFINITY - * @since 1.2 - */ - public static float parseFloat(String str) - { - // XXX Rounding parseDouble() causes some errors greater than 1 ulp from - // the infinitely precise decimal. - return (float) Double.parseDouble(str); - } - - /** - * Return true if the float has the same - * value as NaN, otherwise return false. - * - * @param v the float to compare - * @return whether the argument is NaN - */ - public static boolean isNaN(float v) - { - // This works since NaN != NaN is the only reflexive inequality - // comparison which returns true. - return v != v; - } - - /** - * Return true if the float has a value - * equal to either NEGATIVE_INFINITY or - * POSITIVE_INFINITY, otherwise return false. - * - * @param v the float to compare - * @return whether the argument is (-/+) infinity - */ - public static boolean isInfinite(float v) - { - return v == POSITIVE_INFINITY || v == NEGATIVE_INFINITY; - } - - /** - * Return true if the value of this Float - * is the same as NaN, otherwise return false. - * - * @return whether this Float is NaN - */ - public boolean isNaN() - { - return isNaN(value); - } - - /** - * Return true if the value of this Float - * is the same as NEGATIVE_INFINITY or - * POSITIVE_INFINITY, otherwise return false. - * - * @return whether this Float is (-/+) infinity - */ - public boolean isInfinite() - { - return isInfinite(value); - } - - /** - * Convert the float value of this Float - * to a String. This method calls - * Float.toString(float) to do its dirty work. - * - * @return the String representation - * @see #toString(float) - */ - public String toString() - { - return toString(value); - } - - /** - * Return the value of this Float as a byte. - * - * @return the byte value - * @since 1.1 - */ - public byte byteValue() - { - return (byte) value; - } - - /** - * Return the value of this Float as a short. - * - * @return the short value - * @since 1.1 - */ - public short shortValue() - { - return (short) value; - } - - /** - * Return the value of this Integer as an int. - * - * @return the int value - */ - public int intValue() - { - return (int) value; - } - - /** - * Return the value of this Integer as a long. - * - * @return the long value - */ - public long longValue() - { - return (long) value; - } - - /** - * Return the value of this Float. - * - * @return the float value - */ - public float floatValue() - { - return value; - } - - /** - * Return the value of this Float as a double - * - * @return the double value - */ - public double doubleValue() - { - return value; - } - - /** - * Return a hashcode representing this Object. Float's hash - * code is calculated by calling floatToIntBits(floatValue()). - * - * @return this Object's hash code - * @see #floatToIntBits(float) - */ - public int hashCode() - { - return floatToIntBits(value); - } - - /** - * Returns true if obj is an instance of - * Float and represents the same float value. Unlike comparing - * two floats with ==, this treats two instances of - * Float.NaN as equal, but treats 0.0 and - * -0.0 as unequal. - * - *

Note that f1.equals(f2) is identical to - * floatToIntBits(f1.floatValue()) == - * floatToIntBits(f2.floatValue()). - * - * @param obj the object to compare - * @return whether the objects are semantically equal - */ - public boolean equals(Object obj) - { - if (! (obj instanceof Float)) - return false; - - float f = ((Float) obj).value; - - // Avoid call to native method. However, some implementations, like gcj, - // are better off using floatToIntBits(value) == floatToIntBits(f). - // Check common case first, then check NaN and 0. - if (value == f) - return (value != 0) || (1 / value == 1 / f); - return isNaN(value) && isNaN(f); - } - - /** - * Convert the float to the IEEE 754 floating-point "single format" bit - * layout. Bit 31 (the most significant) is the sign bit, bits 30-23 - * (masked by 0x7f800000) represent the exponent, and bits 22-0 - * (masked by 0x007fffff) are the mantissa. This function collapses all - * versions of NaN to 0x7fc00000. The result of this function can be used - * as the argument to Float.intBitsToFloat(int) to obtain the - * original float value. - * - * @param value the float to convert - * @return the bits of the float - * @see #intBitsToFloat(int) - */ - // GCJ LOCAL: We diverge from Classpath for efficiency. - public static native int floatToIntBits(float value); - // END GCJ LOCAL - - /** - * Convert the float to the IEEE 754 floating-point "single format" bit - * layout. Bit 31 (the most significant) is the sign bit, bits 30-23 - * (masked by 0x7f800000) represent the exponent, and bits 22-0 - * (masked by 0x007fffff) are the mantissa. This function leaves NaN alone, - * rather than collapsing to a canonical value. The result of this function - * can be used as the argument to Float.intBitsToFloat(int) to - * obtain the original float value. - * - * @param value the float to convert - * @return the bits of the float - * @see #intBitsToFloat(int) - */ - // GCJ LOCAL: We diverge from Classpath for efficiency. - public static native int floatToRawIntBits(float value); - // END GCJ LOCAL - - /** - * Convert the argument in IEEE 754 floating-point "single format" bit - * layout to the corresponding float. Bit 31 (the most significant) is the - * sign bit, bits 30-23 (masked by 0x7f800000) represent the exponent, and - * bits 22-0 (masked by 0x007fffff) are the mantissa. This function leaves - * NaN alone, so that you can recover the bit pattern with - * Float.floatToRawIntBits(float). - * - * @param bits the bits to convert - * @return the float represented by the bits - * @see #floatToIntBits(float) - * @see #floatToRawIntBits(float) - */ - // GCJ LOCAL: We diverge from Classpath for efficiency. - public static native float intBitsToFloat(int bits); - // END GCJ LOCAL - - /** - * Compare two Floats numerically by comparing their float - * values. The result is positive if the first is greater, negative if the - * second is greater, and 0 if the two are equal. However, this special - * cases NaN and signed zero as follows: NaN is considered greater than - * all other floats, including POSITIVE_INFINITY, and positive - * zero is considered greater than negative zero. - * - * @param f the Float to compare - * @return the comparison - * @since 1.2 - */ - public int compareTo(Float f) - { - return compare(value, f.value); - } - - /** - * Behaves like compareTo(Float) unless the Object - * is not an Float. - * - * @param o the object to compare - * @return the comparison - * @throws ClassCastException if the argument is not a Float - * @see #compareTo(Float) - * @see Comparable - * @since 1.2 - */ - public int compareTo(Object o) - { - return compare(value, ((Float) o).value); - } - - /** - * Behaves like new Float(x).compareTo(new Float(y)); in - * other words this compares two floats, special casing NaN and zero, - * without the overhead of objects. - * - * @param x the first float to compare - * @param y the second float to compare - * @return the comparison - * @since 1.4 - */ - public static int compare(float x, float y) - { - if (isNaN(x)) - return isNaN(y) ? 0 : 1; - if (isNaN(y)) - return -1; - // recall that 0.0 == -0.0, so we convert to infinities and try again - if (x == 0 && y == 0) - return (int) (1 / x - 1 / y); - if (x == y) - return 0; - - return x > y ? 1 : -1; - } -} diff --git a/libjava/java/lang/VMDouble.java b/libjava/java/lang/VMDouble.java new file mode 100644 index 0000000..9205eb3 --- /dev/null +++ b/libjava/java/lang/VMDouble.java @@ -0,0 +1,111 @@ +/* VMDouble.java -- VM Specific Double methods + Copyright (C) 2003, 2005, 2006 Free Software Foundation + +This file is part of GNU Classpath. + +GNU Classpath is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2, or (at your option) +any later version. + +GNU Classpath is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +General Public License for more details. + +You should have received a copy of the GNU General Public License +along with GNU Classpath; see the file COPYING. If not, write to the +Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA +02110-1301 USA. + +Linking this library statically or dynamically with other modules is +making a combined work based on this library. Thus, the terms and +conditions of the GNU General Public License cover the whole +combination. + +As a special exception, the copyright holders of this library give you +permission to link this library with independent modules to produce an +executable, regardless of the license terms of these independent +modules, and to copy and distribute the resulting executable under +terms of your choice, provided that you also meet, for each linked +independent module, the terms and conditions of the license of that +module. An independent module is a module which is not derived from +or based on this library. If you modify this library, you may extend +this exception to your version of the library, but you are not +obligated to do so. If you do not wish to do so, delete this +exception statement from your version. */ + +package java.lang; + +import gnu.classpath.Configuration; + +/* + * This class is a reference version, mainly for compiling a class library + * jar. It is likely that VM implementers replace this with their own + * version that can communicate effectively with the VM. + */ + +/** + * Code relocated from java.lang.Double by + * @author Dave Grove (groved@us.ibm.com) + */ +final class VMDouble +{ + /** + * Convert the double to the IEEE 754 floating-point "double format" bit + * layout. Bit 63 (the most significant) is the sign bit, bits 62-52 + * (masked by 0x7ff0000000000000L) represent the exponent, and bits 51-0 + * (masked by 0x000fffffffffffffL) are the mantissa. This function + * collapses all versions of NaN to 0x7ff8000000000000L. The result of this + * function can be used as the argument to + * Double.longBitsToDouble(long) to obtain the original + * double value. + * + * @param value the double to convert + * @return the bits of the double + * @see #longBitsToDouble(long) + */ + public static native long doubleToLongBits(double value); + + /** + * Convert the double to the IEEE 754 floating-point "double format" bit + * layout. Bit 63 (the most significant) is the sign bit, bits 62-52 + * (masked by 0x7ff0000000000000L) represent the exponent, and bits 51-0 + * (masked by 0x000fffffffffffffL) are the mantissa. This function + * leaves NaN alone, rather than collapsing to a canonical value. The + * result of this function can be used as the argument to + * Double.longBitsToDouble(long) to obtain the original + * double value. + * + * @param value the double to convert + * @return the bits of the double + * @see #longBitsToDouble(long) + */ + public static native long doubleToRawLongBits(double value); + + /** + * Convert the argument in IEEE 754 floating-point "double format" bit + * layout to the corresponding float. Bit 63 (the most significant) is the + * sign bit, bits 62-52 (masked by 0x7ff0000000000000L) represent the + * exponent, and bits 51-0 (masked by 0x000fffffffffffffL) are the mantissa. + * This function leaves NaN alone, so that you can recover the bit pattern + * with Double.doubleToRawLongBits(double). + * + * @param bits the bits to convert + * @return the double represented by the bits + * @see #doubleToLongBits(double) + * @see #doubleToRawLongBits(double) + */ + public static native double longBitsToDouble(long bits); + + /** + * Helper method to convert to string. + * + * @param d the double to convert + * @param isFloat true if the conversion is requested by Float (results in + * fewer digits) + */ + public static native String toString(double d, boolean isFloat); + + public static native double parseDouble(String str); +} diff --git a/libjava/java/lang/VMFloat.java b/libjava/java/lang/VMFloat.java new file mode 100644 index 0000000..a6570f9 --- /dev/null +++ b/libjava/java/lang/VMFloat.java @@ -0,0 +1,99 @@ +/* VMFloat.java -- VM Specific Float methods + Copyright (C) 2003, 2006 Free Software Foundation + +This file is part of GNU Classpath. + +GNU Classpath is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2, or (at your option) +any later version. + +GNU Classpath is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +General Public License for more details. + +You should have received a copy of the GNU General Public License +along with GNU Classpath; see the file COPYING. If not, write to the +Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA +02110-1301 USA. + +Linking this library statically or dynamically with other modules is +making a combined work based on this library. Thus, the terms and +conditions of the GNU General Public License cover the whole +combination. + +As a special exception, the copyright holders of this library give you +permission to link this library with independent modules to produce an +executable, regardless of the license terms of these independent +modules, and to copy and distribute the resulting executable under +terms of your choice, provided that you also meet, for each linked +independent module, the terms and conditions of the license of that +module. An independent module is a module which is not derived from +or based on this library. If you modify this library, you may extend +this exception to your version of the library, but you are not +obligated to do so. If you do not wish to do so, delete this +exception statement from your version. */ + +package java.lang; + +import gnu.classpath.Configuration; + +/* + * This class is a reference version, mainly for compiling a class library + * jar. It is likely that VM implementers replace this with their own + * version that can communicate effectively with the VM. + */ + +/** + * Code relocated from java.lang.Float by + * @author Dave Grove + */ +final class VMFloat +{ + /** + * Convert the float to the IEEE 754 floating-point "single format" bit + * layout. Bit 31 (the most significant) is the sign bit, bits 30-23 + * (masked by 0x7f800000) represent the exponent, and bits 22-0 + * (masked by 0x007fffff) are the mantissa. This function collapses all + * versions of NaN to 0x7fc00000. The result of this function can be used + * as the argument to Float.intBitsToFloat(int) to obtain the + * original float value. + * + * @param value the float to convert + * @return the bits of the float + * @see #intBitsToFloat(int) + */ + static native int floatToIntBits(float value); + + /** + * Convert the float to the IEEE 754 floating-point "single format" bit + * layout. Bit 31 (the most significant) is the sign bit, bits 30-23 + * (masked by 0x7f800000) represent the exponent, and bits 22-0 + * (masked by 0x007fffff) are the mantissa. This function leaves NaN alone, + * rather than collapsing to a canonical value. The result of this function + * can be used as the argument to Float.intBitsToFloat(int) to + * obtain the original float value. + * + * @param value the float to convert + * @return the bits of the float + * @see #intBitsToFloat(int) + */ + static native int floatToRawIntBits(float value); + + /** + * Convert the argument in IEEE 754 floating-point "single format" bit + * layout to the corresponding float. Bit 31 (the most significant) is the + * sign bit, bits 30-23 (masked by 0x7f800000) represent the exponent, and + * bits 22-0 (masked by 0x007fffff) are the mantissa. This function leaves + * NaN alone, so that you can recover the bit pattern with + * Float.floatToRawIntBits(float). + * + * @param bits the bits to convert + * @return the float represented by the bits + * @see #floatToIntBits(float) + * @see #floatToRawIntBits(float) + */ + static native float intBitsToFloat(int bits); + +} // class VMFloat diff --git a/libjava/java/lang/natDouble.cc b/libjava/java/lang/natDouble.cc index 24dad8a..1a33a57 100644 --- a/libjava/java/lang/natDouble.cc +++ b/libjava/java/lang/natDouble.cc @@ -1,4 +1,4 @@ -// natDouble.cc - Implementation of java.lang.Double native methods. +// natDouble.cc - Implementation of java.lang.VMDouble native methods. /* Copyright (C) 1998, 1999, 2000, 2001, 2003, 2005, 2006 Free Software Foundation @@ -15,6 +15,7 @@ details. */ #include #include #include +#include #include #include #include @@ -31,7 +32,7 @@ union u }; jlong -java::lang::Double::doubleToLongBits(jdouble value) +java::lang::VMDouble::doubleToLongBits(jdouble value) { union u u; u.d = value; @@ -46,7 +47,7 @@ java::lang::Double::doubleToLongBits(jdouble value) } jlong -java::lang::Double::doubleToRawLongBits(jdouble value) +java::lang::VMDouble::doubleToRawLongBits(jdouble value) { union u u; u.d = value; @@ -54,7 +55,7 @@ java::lang::Double::doubleToRawLongBits(jdouble value) } jdouble -java::lang::Double::longBitsToDouble(jlong bits) +java::lang::VMDouble::longBitsToDouble(jlong bits) { union u u; u.l = bits; @@ -62,15 +63,15 @@ java::lang::Double::longBitsToDouble(jlong bits) } jstring -java::lang::Double::toString(jdouble value, jboolean isFloat) +java::lang::VMDouble::toString(jdouble value, jboolean isFloat) { - if (isNaN (value)) + if (Double::isNaN (value)) return JvNewStringLatin1 ("NaN", sizeof ("NaN") - 1); - if (value == POSITIVE_INFINITY) + if (value == Double::POSITIVE_INFINITY) return JvNewStringLatin1 ("Infinity", sizeof ("Infinity") - 1); - if (value == NEGATIVE_INFINITY) + if (value == Double::NEGATIVE_INFINITY) return JvNewStringLatin1 ("-Infinity", sizeof ("-Infinity") - 1); char buffer[50], result[50]; @@ -158,7 +159,7 @@ java::lang::Double::toString(jdouble value, jboolean isFloat) } jdouble -java::lang::Double::parseDouble(jstring str) +java::lang::VMDouble::parseDouble(jstring str) { int length = str->length(); @@ -194,11 +195,11 @@ java::lang::Double::parseDouble(jstring str) { if (! strcmp (data, "NaN") || ! strcmp (data, "+NaN") || ! strcmp (data, "-NaN")) - return NaN; + return Double::NaN; else if (! strcmp (data, "Infinity") || ! strcmp (data, "+Infinity")) - return POSITIVE_INFINITY; + return Double::POSITIVE_INFINITY; else if (! strcmp (data, "-Infinity")) - return NEGATIVE_INFINITY; + return Double::NEGATIVE_INFINITY; } struct _Jv_reent reent; diff --git a/libjava/java/lang/natFloat.cc b/libjava/java/lang/natFloat.cc index f035dd5..f090b81 100644 --- a/libjava/java/lang/natFloat.cc +++ b/libjava/java/lang/natFloat.cc @@ -1,6 +1,6 @@ -// natFloat.cc - Implementation of java.lang.Float native methods. +// natFloat.cc - Implementation of java.lang.VMFloat native methods. -/* Copyright (C) 1998, 1999, 2001 Free Software Foundation +/* Copyright (C) 1998, 1999, 2001, 2006 Free Software Foundation This file is part of libgcj. @@ -11,6 +11,7 @@ details. */ #include #include +#include #include union u @@ -20,7 +21,7 @@ union u }; jint -java::lang::Float::floatToIntBits(jfloat value) +java::lang::VMFloat::floatToIntBits(jfloat value) { union u u; u.d = value; @@ -34,7 +35,7 @@ java::lang::Float::floatToIntBits(jfloat value) } jint -java::lang::Float::floatToRawIntBits(jfloat value) +java::lang::VMFloat::floatToRawIntBits(jfloat value) { union u u; u.d = value; @@ -42,7 +43,7 @@ java::lang::Float::floatToRawIntBits(jfloat value) } jfloat -java::lang::Float::intBitsToFloat(jint bits) +java::lang::VMFloat::intBitsToFloat(jint bits) { union u u; u.l = bits; diff --git a/libjava/sources.am b/libjava/sources.am index 05bf299..6688c65 100644 --- a/libjava/sources.am +++ b/libjava/sources.am @@ -3043,12 +3043,12 @@ classpath/java/lang/Cloneable.java \ classpath/java/lang/Comparable.java \ classpath/java/lang/Compiler.java \ java/lang/ConcreteProcess.java \ -java/lang/Double.java \ +classpath/java/lang/Double.java \ classpath/java/lang/EnumConstantNotPresentException.java \ classpath/java/lang/Error.java \ classpath/java/lang/Exception.java \ classpath/java/lang/ExceptionInInitializerError.java \ -java/lang/Float.java \ +classpath/java/lang/Float.java \ classpath/java/lang/IllegalAccessError.java \ classpath/java/lang/IllegalAccessException.java \ classpath/java/lang/IllegalArgumentException.java \ @@ -3106,6 +3106,8 @@ classpath/java/lang/UnsupportedClassVersionError.java \ classpath/java/lang/UnsupportedOperationException.java \ java/lang/VMClassLoader.java \ java/lang/VMCompiler.java \ +java/lang/VMDouble.java \ +java/lang/VMFloat.java \ java/lang/VMSecurityManager.java \ java/lang/VMThrowable.java \ classpath/java/lang/VerifyError.java \ -- cgit v1.1