| /* |
| * Copyright (c) 2009, 2013, Oracle and/or its affiliates. All rights reserved. |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| * |
| * This code is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 only, as |
| * published by the Free Software Foundation. |
| * |
| * This code 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 |
| * version 2 for more details (a copy is included in the LICENSE file that |
| * accompanied this code). |
| * |
| * You should have received a copy of the GNU General Public License version |
| * 2 along with this work; if not, write to the Free Software Foundation, |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| * |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| * or visit www.oracle.com if you need additional information or have any |
| * questions. |
| */ |
| |
| package test.sun.invoke.util; |
| |
| import sun.invoke.util.ValueConversions; |
| import sun.invoke.util.Wrapper; |
| import java.lang.invoke.MethodHandles; |
| import java.lang.invoke.MethodType; |
| import java.lang.invoke.MethodHandle; |
| import java.io.Serializable; |
| import java.util.Arrays; |
| import org.junit.Test; |
| import static org.junit.Assert.*; |
| |
| /* @test |
| * @summary unit tests for value-type conversion utilities |
| * @compile -XDignore.symbol.file ValueConversionsTest.java |
| * @run junit/othervm test.sun.invoke.util.ValueConversionsTest |
| */ |
| |
| /** |
| * |
| * @author jrose |
| */ |
| public class ValueConversionsTest { |
| @Test |
| public void testUnbox() throws Throwable { |
| testUnbox(false); |
| } |
| |
| @Test |
| public void testUnboxCast() throws Throwable { |
| testUnbox(true); |
| } |
| |
| private void testUnbox(boolean doCast) throws Throwable { |
| for (Wrapper dst : Wrapper.values()) { |
| for (Wrapper src : Wrapper.values()) { |
| testUnbox(doCast, dst, src); |
| } |
| } |
| } |
| |
| private void testUnbox(boolean doCast, Wrapper dst, Wrapper src) throws Throwable { |
| boolean expectThrow = !doCast && !dst.isConvertibleFrom(src); |
| if (dst == Wrapper.OBJECT || src == Wrapper.OBJECT) return; // must have prims |
| if (dst == Wrapper.VOID || src == Wrapper.VOID ) return; // must have values |
| if (dst == Wrapper.OBJECT) |
| expectThrow = false; // everything (even VOID==null here) converts to OBJECT |
| try { |
| for (int n = -5; n < 10; n++) { |
| Object box = src.wrap(n); |
| switch (src) { |
| case VOID: assertEquals(box, null); break; |
| case OBJECT: box = box.toString(); break; |
| case SHORT: assertEquals(box.getClass(), Short.class); break; |
| default: assertEquals(box.getClass(), src.wrapperType()); break; |
| } |
| MethodHandle unboxer; |
| if (doCast) |
| unboxer = ValueConversions.unboxCast(dst); |
| else |
| unboxer = ValueConversions.unboxWiden(dst); |
| Object expResult = (box == null) ? dst.zero() : dst.wrap(box); |
| Object result = null; |
| switch (dst) { |
| case INT: result = (int) unboxer.invokeExact(box); break; |
| case LONG: result = (long) unboxer.invokeExact(box); break; |
| case FLOAT: result = (float) unboxer.invokeExact(box); break; |
| case DOUBLE: result = (double) unboxer.invokeExact(box); break; |
| case CHAR: result = (char) unboxer.invokeExact(box); break; |
| case BYTE: result = (byte) unboxer.invokeExact(box); break; |
| case SHORT: result = (short) unboxer.invokeExact(box); break; |
| case BOOLEAN: result = (boolean) unboxer.invokeExact(box); break; |
| } |
| if (expectThrow) { |
| expResult = "(need an exception)"; |
| } |
| assertEquals("(doCast,expectThrow,dst,src,n,box)="+Arrays.asList(doCast,expectThrow,dst,src,n,box), |
| expResult, result); |
| } |
| } catch (RuntimeException ex) { |
| if (expectThrow) return; |
| System.out.println("Unexpected throw for (doCast,expectThrow,dst,src)="+Arrays.asList(doCast,expectThrow,dst,src)); |
| throw ex; |
| } |
| } |
| |
| @Test |
| public void testBox() throws Throwable { |
| for (Wrapper w : Wrapper.values()) { |
| if (w == Wrapper.VOID) continue; // skip this; no unboxed form |
| if (w == Wrapper.OBJECT) continue; // skip this; already unboxed |
| for (int n = -5; n < 10; n++) { |
| Object box = w.wrap(n); |
| MethodHandle boxer = ValueConversions.boxExact(w); |
| Object expResult = box; |
| Object result = null; |
| switch (w) { |
| case INT: result = (Integer) boxer.invokeExact(/*int*/n); break; |
| case LONG: result = (Long) boxer.invokeExact((long)n); break; |
| case FLOAT: result = (Float) boxer.invokeExact((float)n); break; |
| case DOUBLE: result = (Double) boxer.invokeExact((double)n); break; |
| case CHAR: result = (Character) boxer.invokeExact((char)n); break; |
| case BYTE: result = (Byte) boxer.invokeExact((byte)n); break; |
| case SHORT: result = (Short) boxer.invokeExact((short)n); break; |
| case BOOLEAN: result = (Boolean) boxer.invokeExact((n & 1) != 0); break; |
| } |
| assertEquals("(dst,src,n,box)="+Arrays.asList(w,w,n,box), |
| expResult, result); |
| } |
| } |
| } |
| |
| @Test |
| public void testCast() throws Throwable { |
| Class<?>[] types = { Object.class, Serializable.class, String.class, Number.class, Integer.class }; |
| Object[] objects = { new Object(), Boolean.FALSE, "hello", (Long)12L, (Integer)6 }; |
| for (Class<?> dst : types) { |
| MethodHandle caster = ValueConversions.cast().bindTo(dst); |
| assertEquals(caster.type(), MethodHandles.identity(Object.class).type()); |
| for (Object obj : objects) { |
| Class<?> src = obj.getClass(); |
| boolean canCast = dst.isAssignableFrom(src); |
| try { |
| Object result = caster.invokeExact(obj); |
| if (canCast) |
| assertEquals(obj, result); |
| else |
| assertEquals("cast should not have succeeded", dst, obj); |
| } catch (ClassCastException ex) { |
| if (canCast) |
| throw ex; |
| } |
| } |
| } |
| } |
| |
| @Test |
| public void testConvert() throws Throwable { |
| for (long tval = 0, ctr = 0;;) { |
| if (++ctr > 99999) throw new AssertionError("too many test values"); |
| // prints 3776 test patterns (3776 = 8*59*8) |
| tval = nextTestValue(tval); |
| if (tval == 0) { |
| break; // repeat |
| } |
| } |
| for (Wrapper src : Wrapper.values()) { |
| for (Wrapper dst : Wrapper.values()) { |
| testConvert(src, dst, 0); |
| } |
| } |
| } |
| static void testConvert(Wrapper src, Wrapper dst, long tval) throws Throwable { |
| if (dst == Wrapper.OBJECT || src == Wrapper.OBJECT) return; // must have prims |
| if (dst == Wrapper.VOID || src == Wrapper.VOID ) return; // must have values |
| boolean testSingleCase = (tval != 0); |
| final long tvalInit = tval; |
| MethodHandle conv = ValueConversions.convertPrimitive(src, dst); |
| MethodType convType = MethodType.methodType(dst.primitiveType(), src.primitiveType()); |
| assertEquals(convType, conv.type()); |
| MethodHandle converter = conv.asType(conv.type().changeReturnType(Object.class)); |
| for (;;) { |
| long n = tval; |
| Object testValue = src.wrap(n); |
| Object expResult = dst.cast(testValue, dst.primitiveType()); |
| Object result; |
| switch (src) { |
| case INT: result = converter.invokeExact((int)n); break; |
| case LONG: result = converter.invokeExact(/*long*/n); break; |
| case FLOAT: result = converter.invokeExact((float)n); break; |
| case DOUBLE: result = converter.invokeExact((double)n); break; |
| case CHAR: result = converter.invokeExact((char)n); break; |
| case BYTE: result = converter.invokeExact((byte)n); break; |
| case SHORT: result = converter.invokeExact((short)n); break; |
| case BOOLEAN: result = converter.invokeExact((n & 1) != 0); break; |
| default: throw new AssertionError(); |
| } |
| assertEquals("(src,dst,n,testValue)="+Arrays.asList(src,dst,"0x"+Long.toHexString(n),testValue), |
| expResult, result); |
| if (testSingleCase) break; |
| // next test value: |
| tval = nextTestValue(tval); |
| if (tval == tvalInit) break; // repeat |
| } |
| } |
| static long tweakSign(long x) { |
| // Assuming that x is mostly zeroes, make those zeroes follow bit #62 (just below the sign). |
| // This function is self-inverse. |
| final long MID_SIGN_BIT = 62; |
| long sign = -((x >>> MID_SIGN_BIT) & 1); // all ones or all zeroes |
| long flip = (sign >>> -MID_SIGN_BIT); // apply the sign below the mid-bit |
| return x ^ flip; |
| } |
| static long nextTestValue(long x) { |
| // Produce 64 bits with three component bitfields: [ high:3 | mid:58 | low:3 ]. |
| // The high and low fields vary through all possible bit patterns. |
| // The middle field is either all zero or has a single bit set. |
| // For better coverage of the neighborhood of zero, an internal sign bit is xored downward also. |
| long ux = tweakSign(x); // unsign the middle field |
| final long LOW_BITS = 3, LOW_BITS_MASK = (1L << LOW_BITS)-1; |
| final long HIGH_BITS = 3, HIGH_BITS_MASK = ~(-1L >>> HIGH_BITS); |
| if ((ux & LOW_BITS_MASK) != LOW_BITS_MASK) { |
| ++ux; |
| } else { |
| ux &= ~LOW_BITS_MASK; |
| long midBit = (ux & ~HIGH_BITS_MASK); |
| if (midBit == 0) |
| midBit = (1L<<LOW_BITS); // introduce a low bit |
| ux += midBit; |
| } |
| return tweakSign(ux); |
| } |
| } |