/* * Copyright (c) 2011, 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. /** * @test * @bug 6998541 * @summary JSR 292 implement missing return-type conversion for OP_RETYPE_RAW * * @run main/othervm -Xbatch * -XX:+UnlockDiagnosticVMOptions -XX:ScavengeRootsInCode=2 * -DTest6998541.N=100000 -DTest6998541.KIND=cast Test6998541 * @run main/othervm -Xbatch * -XX:+UnlockDiagnosticVMOptions -XX:ScavengeRootsInCode=2 * -DTest6998541.N=100000 -DTest6998541.KIND=normal Test6998541 import java.util.*;import java.lang.invoke.*;import static java.lang.invoke.MethodHandles.*;public class Test6998541 {private static final Class CLASS = Test6998541.class ;private static final String NAME = "identity" ;private static final int N = Math.max(2, Integer.getInteger(CLASS .getSimpleName()+".N" , 10000));private static final String KIND = System.getProperty(CLASS .getSimpleName()+".KIND" , "cast" );private static final int BITS = 0x00000201;private static final boolean DO_CASTS = !KIND.equals("normal" );public static void main(String[] args) throws Throwable {"KIND=" +KIND+" DO_CASTS=" +DO_CASTS+" N=" +N);private static void doboolean() throws Throwable {for (int i = 0; i < N; i++) {false );true );true );private static void dobyte() throws Throwable {byte x = Byte .MIN_VALUE;for (int i = 0; i < N; i++, x++)private static void dochar() throws Throwable {char x = Character.MIN_VALUE;for (int i = 0; i < N; i++, x++)private static void doshort() throws Throwable {short x = Short .MIN_VALUE;for (int i = 0; i < N; i++, x++)private static void doint() throws Throwable {int x = Integer.MIN_VALUE;int D = Integer.MAX_VALUE / (N / 2) | BITS;for (int i = 0; i < N; i++, x += D) {private static void dolong() throws Throwable {long x = Long .MIN_VALUE;long D = Long .MAX_VALUE / ((long ) (N / 2)) | BITS;for (int i = 0; i < N; i++, x += D)private static void dofloat() throws Throwable {float x = Float .MIN_VALUE;float D = Float .MAX_VALUE / ((float ) (N / 2));for (int i = 0; i < N; i++, x += D)private static void dodouble() throws Throwable {double x = Double .MIN_VALUE;double D = Double .MAX_VALUE / ((double ) (N / 2));for (int i = 0; i < N; i++, x += D)private static void dovoid() throws Throwable {for (int i = 0; i < N; i++) {// do the other direction here also: for (int i = 0; i < N; i++) {private static void assertEquals(Object o, Object o2) {if (!o.equals(o2))throw new AssertionError("expected: " + o + ", found: " + o2);private static void fail() {throw new AssertionError();private static final MethodHandles.Lookup lookup = MethodHandles.lookup();private static MethodHandle mh(Class ret, Class ... args) {try {Class lookupRet = (args.length == 0 ? void .class : args[0]);CLASS , NAME, mt.changeReturnType(lookupRet));if (DO_CASTS)return MethodHandles.explicitCastArguments(mh, mt);if (canDoAsType(mh.type(), mt))return mh.asType(mt);try {throw new AssertionError("asType should not succeed: " +mh+" => " +mt);catch (WrongMethodTypeException ex) {// this was a required WMTE return mh.asType(mt.generic()).asType(mt);catch (ReflectiveOperationException e) {throw new RuntimeException(e);private static final Class <?>[] NUMERIC_TYPE_WIDENING_ORDER = {byte .class , short .class , int .class , long .class , float .class , double .class private static boolean canDoAsType(Class <?> src, Class <?> dst) {if (src == dst) return true ;if (dst == void .class ) return true ;if (src == void .class ) return true ; // allow void->zero if (!src.isPrimitive() || !dst.isPrimitive()) return true ;// primitive conversion works for asType only when it's widening if (src == boolean .class || dst == boolean .class ) return false ;if (dst == char .class ) return false ;if (src == char .class ) src = int .class ; // can widen char to int for (Class <?> ntype : NUMERIC_TYPE_WIDENING_ORDER) {if (src == ntype) return true ;if (dst == ntype) return false ;throw new AssertionError("should not reach here: " +src+", " +dst);private static boolean canDoAsType(MethodType mt0, MethodType mt1) {Class <?> rt0 = mt0.returnType();Class <?> rt1 = mt1.returnType();if (!canDoAsType(rt0, rt1)) return false ;int argc = mt0.parameterCount();if (argc != mt1.parameterCount()) return false ;for (int i = 0; i < argc; i++) {if (!canDoAsType(mt1.parameterType(i), mt0.parameterType(i)))return false ;return true ;private static MethodHandle mh_z(Class ret) { return mh(ret, boolean .class ); }private static final MethodHandle mh_zz = mh_z(boolean .class );private static final MethodHandle mh_bz = mh_z(byte .class );private static final MethodHandle mh_cz = mh_z(char .class );private static final MethodHandle mh_sz = mh_z(short .class );private static final MethodHandle mh_iz = mh_z(int .class );private static final MethodHandle mh_jz = mh_z(long .class );private static final MethodHandle mh_fz = mh_z(float .class );private static final MethodHandle mh_dz = mh_z(double .class );private static void boolean2prim(boolean x) throws Throwable {int i = x ? 1 : 0;boolean ) mh_zz.invokeExact(x)); // boolean -> boolean if (!DO_CASTS) return ;byte ) i, (byte ) mh_bz.invokeExact(x)); // boolean -> byte char ) i, (char ) mh_cz.invokeExact(x)); // boolean -> char short ) i, (short ) mh_sz.invokeExact(x)); // boolean -> short int ) i, (int ) mh_iz.invokeExact(x)); // boolean -> int long ) i, (long ) mh_jz.invokeExact(x)); // boolean -> long float ) i, (float ) mh_fz.invokeExact(x)); // boolean -> float double ) i, (double ) mh_dz.invokeExact(x)); // boolean -> double private static void boolean2prim_invalid(boolean x) throws Throwable {if (DO_CASTS) return ;try { byte y = (byte ) mh_bz.invokeExact(x); fail(); } catch (ClassCastException expected) {} // boolean -> byte try { char y = (char ) mh_cz.invokeExact(x); fail(); } catch (ClassCastException expected) {} // boolean -> char try { short y = (short ) mh_sz.invokeExact(x); fail(); } catch (ClassCastException expected) {} // boolean -> short try { int y = (int ) mh_iz.invokeExact(x); fail(); } catch (ClassCastException expected) {} // boolean -> int try { long y = (long ) mh_jz.invokeExact(x); fail(); } catch (ClassCastException expected) {} // boolean -> long try { float y = (float ) mh_fz.invokeExact(x); fail(); } catch (ClassCastException expected) {} // boolean -> float try { double y = (double ) mh_dz.invokeExact(x); fail(); } catch (ClassCastException expected) {} // boolean -> double private static MethodHandle mh_b(Class ret) { return mh(ret, byte .class ); }private static final MethodHandle mh_zb = mh_b(boolean .class );private static final MethodHandle mh_bb = mh_b(byte .class );private static final MethodHandle mh_cb = mh_b(char .class );private static final MethodHandle mh_sb = mh_b(short .class );private static final MethodHandle mh_ib = mh_b(int .class );private static final MethodHandle mh_jb = mh_b(long .class );private static final MethodHandle mh_fb = mh_b(float .class );private static final MethodHandle mh_db = mh_b(double .class );private static void byte2prim(byte x) throws Throwable {byte ) x, (byte ) mh_bb.invokeExact(x)); // byte -> byte short ) x, (short ) mh_sb.invokeExact(x)); // byte -> short int ) x, (int ) mh_ib.invokeExact(x)); // byte -> int long ) x, (long ) mh_jb.invokeExact(x)); // byte -> long float ) x, (float ) mh_fb.invokeExact(x)); // byte -> float double ) x, (double ) mh_db.invokeExact(x)); // byte -> double if (!DO_CASTS) return ;boolean z = ((x & 1) != 0);char ) x, (char ) mh_cb.invokeExact(x)); // byte -> char boolean ) z, (boolean ) mh_zb.invokeExact(x)); // byte -> boolean private static void byte2prim_invalid(byte x) throws Throwable {if (DO_CASTS) return ;try { char y = (char ) mh_cb.invokeExact(x); fail(); } catch (ClassCastException expected) {} // byte -> char try { boolean y = (boolean ) mh_zb.invokeExact(x); fail(); } catch (ClassCastException expected) {} // byte -> boolean private static MethodHandle mh_c(Class ret) { return mh(ret, char .class ); }private static final MethodHandle mh_zc = mh_c(boolean .class );private static final MethodHandle mh_bc = mh_c(byte .class );private static final MethodHandle mh_cc = mh_c(char .class );private static final MethodHandle mh_sc = mh_c(short .class );private static final MethodHandle mh_ic = mh_c(int .class );private static final MethodHandle mh_jc = mh_c(long .class );private static final MethodHandle mh_fc = mh_c(float .class );private static final MethodHandle mh_dc = mh_c(double .class );private static void char2prim(char x) throws Throwable {char ) x, (char ) mh_cc.invokeExact(x)); // char -> char int ) x, (int ) mh_ic.invokeExact(x)); // char -> int long ) x, (long ) mh_jc.invokeExact(x)); // char -> long float ) x, (float ) mh_fc.invokeExact(x)); // char -> float double ) x, (double ) mh_dc.invokeExact(x)); // char -> double if (!DO_CASTS) return ;boolean z = ((x & 1) != 0);boolean ) z, (boolean ) mh_zc.invokeExact(x)); // char -> boolean byte ) x, (byte ) mh_bc.invokeExact(x)); // char -> byte short ) x, (short ) mh_sc.invokeExact(x)); // char -> short private static void char2prim_invalid(char x) throws Throwable {if (DO_CASTS) return ;try { boolean y = (boolean ) mh_zc.invokeExact(x); fail(); } catch (ClassCastException expected) {} // char -> boolean try { byte y = (byte ) mh_bc.invokeExact(x); fail(); } catch (ClassCastException expected) {} // char -> byte try { short y = (short ) mh_sc.invokeExact(x); fail(); } catch (ClassCastException expected) {} // char -> short private static MethodHandle mh_s(Class ret) { return mh(ret, short .class ); }private static final MethodHandle mh_zs = mh_s(boolean .class );private static final MethodHandle mh_bs = mh_s(byte .class );private static final MethodHandle mh_cs = mh_s(char .class );private static final MethodHandle mh_ss = mh_s(short .class );private static final MethodHandle mh_is = mh_s(int .class );private static final MethodHandle mh_js = mh_s(long .class );private static final MethodHandle mh_fs = mh_s(float .class );private static final MethodHandle mh_ds = mh_s(double .class );private static void short2prim(short x) throws Throwable {short ) x, (short ) mh_ss.invokeExact(x)); // short -> short int ) x, (int ) mh_is.invokeExact(x)); // short -> int long ) x, (long ) mh_js.invokeExact(x)); // short -> long float ) x, (float ) mh_fs.invokeExact(x)); // short -> float double ) x, (double ) mh_ds.invokeExact(x)); // short -> double if (!DO_CASTS) return ;boolean z = ((x & 1) != 0);boolean ) z, (boolean ) mh_zs.invokeExact(x)); // short -> boolean byte ) x, (byte ) mh_bs.invokeExact(x)); // short -> byte char ) x, (char ) mh_cs.invokeExact(x)); // short -> char private static void short2prim_invalid(short x) throws Throwable {if (DO_CASTS) return ;try { boolean y = (boolean ) mh_zs.invokeExact(x); fail(); } catch (ClassCastException expected) {} // short -> boolean try { byte y = (byte ) mh_bs.invokeExact(x); fail(); } catch (ClassCastException expected) {} // short -> byte try { char y = (char ) mh_cs.invokeExact(x); fail(); } catch (ClassCastException expected) {} // short -> char private static MethodHandle mh_i(Class ret) { return mh(ret, int .class ); }private static final MethodHandle mh_zi = mh_i(boolean .class );private static final MethodHandle mh_bi = mh_i(byte .class );private static final MethodHandle mh_ci = mh_i(char .class );private static final MethodHandle mh_si = mh_i(short .class );private static final MethodHandle mh_ii = mh_i(int .class );private static final MethodHandle mh_ji = mh_i(long .class );private static final MethodHandle mh_fi = mh_i(float .class );private static final MethodHandle mh_di = mh_i(double .class );private static void int2prim(int x) throws Throwable {int ) x, (int ) mh_ii.invokeExact(x)); // int -> int long ) x, (long ) mh_ji.invokeExact(x)); // int -> long float ) x, (float ) mh_fi.invokeExact(x)); // int -> float double ) x, (double ) mh_di.invokeExact(x)); // int -> double if (!DO_CASTS) return ;boolean z = ((x & 1) != 0);boolean ) z, (boolean ) mh_zi.invokeExact(x)); // int -> boolean byte ) x, (byte ) mh_bi.invokeExact(x)); // int -> byte char ) x, (char ) mh_ci.invokeExact(x)); // int -> char short ) x, (short ) mh_si.invokeExact(x)); // int -> short private static void int2prim_invalid(int x) throws Throwable {if (DO_CASTS) return ;try { boolean y = (boolean ) mh_zi.invokeExact(x); fail(); } catch (ClassCastException expected) {} // int -> boolean try { byte y = (byte ) mh_bi.invokeExact(x); fail(); } catch (ClassCastException expected) {} // int -> byte try { char y = (char ) mh_ci.invokeExact(x); fail(); } catch (ClassCastException expected) {} // int -> char try { short y = (short ) mh_si.invokeExact(x); fail(); } catch (ClassCastException expected) {} // int -> short private static MethodHandle mh_j(Class ret) { return mh(ret, long .class ); }private static final MethodHandle mh_zj = mh_j(boolean .class );private static final MethodHandle mh_bj = mh_j(byte .class );private static final MethodHandle mh_cj = mh_j(char .class );private static final MethodHandle mh_sj = mh_j(short .class );private static final MethodHandle mh_ij = mh_j(int .class );private static final MethodHandle mh_jj = mh_j(long .class );private static final MethodHandle mh_fj = mh_j(float .class );private static final MethodHandle mh_dj = mh_j(double .class );private static void long2prim(long x) throws Throwable {long ) x, (long ) mh_jj.invokeExact(x)); // long -> long float ) x, (float ) mh_fj.invokeExact(x)); // long -> float double ) x, (double ) mh_dj.invokeExact(x)); // long -> double if (!DO_CASTS) return ;boolean z = ((x & 1) != 0);boolean )z, (boolean ) mh_zj.invokeExact(x)); // long -> boolean byte ) x, (byte ) mh_bj.invokeExact(x)); // long -> byte char ) x, (char ) mh_cj.invokeExact(x)); // long -> char short ) x, (short ) mh_sj.invokeExact(x)); // long -> short int ) x, (int ) mh_ij.invokeExact(x)); // long -> int private static void long2prim_invalid(long x) throws Throwable {if (DO_CASTS) return ;try { boolean y = (boolean ) mh_zj.invokeExact(x); fail(); } catch (ClassCastException expected) {} // long -> boolean try { byte y = (byte ) mh_bj.invokeExact(x); fail(); } catch (ClassCastException expected) {} // long -> byte try { char y = (char ) mh_cj.invokeExact(x); fail(); } catch (ClassCastException expected) {} // long -> char try { short y = (short ) mh_sj.invokeExact(x); fail(); } catch (ClassCastException expected) {} // long -> short try { int y = (int ) mh_ij.invokeExact(x); fail(); } catch (ClassCastException expected) {} // long -> int private static MethodHandle mh_f(Class ret) { return mh(ret, float .class ); }private static final MethodHandle mh_zf = mh_f(boolean .class );private static final MethodHandle mh_bf = mh_f(byte .class );private static final MethodHandle mh_cf = mh_f(char .class );private static final MethodHandle mh_sf = mh_f(short .class );private static final MethodHandle mh_if = mh_f(int .class );private static final MethodHandle mh_jf = mh_f(long .class );private static final MethodHandle mh_ff = mh_f(float .class );private static final MethodHandle mh_df = mh_f(double .class );private static void float2prim(float x) throws Throwable {float ) x, (float ) mh_ff.invokeExact(x)); // float -> float double ) x, (double ) mh_df.invokeExact(x)); // float -> double if (!DO_CASTS) return ;boolean z = (((byte ) x & 1) != 0);boolean ) z, (boolean ) mh_zf.invokeExact(x)); // float -> boolean byte ) x, (byte ) mh_bf.invokeExact(x)); // float -> byte char ) x, (char ) mh_cf.invokeExact(x)); // float -> char short ) x, (short ) mh_sf.invokeExact(x)); // float -> short int ) x, (int ) mh_if.invokeExact(x)); // float -> int long ) x, (long ) mh_jf.invokeExact(x)); // float -> long private static void float2prim_invalid(float x) throws Throwable {if (DO_CASTS) return ;try { boolean y = (boolean ) mh_zf.invokeExact(x); fail(); } catch (ClassCastException expected) {} // float -> boolean try { byte y = (byte ) mh_bf.invokeExact(x); fail(); } catch (ClassCastException expected) {} // float -> byte try { char y = (char ) mh_cf.invokeExact(x); fail(); } catch (ClassCastException expected) {} // float -> char try { short y = (short ) mh_sf.invokeExact(x); fail(); } catch (ClassCastException expected) {} // float -> short try { int y = (int ) mh_if.invokeExact(x); fail(); } catch (ClassCastException expected) {} // float -> int try { long y = (long ) mh_jf.invokeExact(x); fail(); } catch (ClassCastException expected) {} // float -> long private static MethodHandle mh_d(Class ret) { return mh(ret, double .class ); }private static final MethodHandle mh_zd = mh_d(boolean .class );private static final MethodHandle mh_bd = mh_d(byte .class );private static final MethodHandle mh_cd = mh_d(char .class );private static final MethodHandle mh_sd = mh_d(short .class );private static final MethodHandle mh_id = mh_d(int .class );private static final MethodHandle mh_jd = mh_d(long .class );private static final MethodHandle mh_fd = mh_d(float .class );private static final MethodHandle mh_dd = mh_d(double .class );private static void double2prim(double x) throws Throwable {double ) x, (double ) mh_dd.invokeExact(x)); // double -> double if (!DO_CASTS) return ;boolean z = (((byte ) x & 1) != 0);boolean ) z, (boolean ) mh_zd.invokeExact(x)); // double -> boolean byte ) x, (byte ) mh_bd.invokeExact(x)); // double -> byte char ) x, (char ) mh_cd.invokeExact(x)); // double -> char short ) x, (short ) mh_sd.invokeExact(x)); // double -> short int ) x, (int ) mh_id.invokeExact(x)); // double -> int long ) x, (long ) mh_jd.invokeExact(x)); // double -> long float ) x, (float ) mh_fd.invokeExact(x)); // double -> float private static void double2prim_invalid(double x) throws Throwable {if (DO_CASTS) return ;try { boolean y = (boolean ) mh_zd.invokeExact(x); fail(); } catch (ClassCastException expected) {} // double -> boolean try { byte y = (byte ) mh_bd.invokeExact(x); fail(); } catch (ClassCastException expected) {} // double -> byte try { char y = (char ) mh_cd.invokeExact(x); fail(); } catch (ClassCastException expected) {} // double -> char try { short y = (short ) mh_sd.invokeExact(x); fail(); } catch (ClassCastException expected) {} // double -> short try { int y = (int ) mh_id.invokeExact(x); fail(); } catch (ClassCastException expected) {} // double -> int try { long y = (long ) mh_jd.invokeExact(x); fail(); } catch (ClassCastException expected) {} // double -> long try { float y = (float ) mh_fd.invokeExact(x); fail(); } catch (ClassCastException expected) {} // double -> float private static final MethodHandle mh_zv = mh(boolean .class );private static final MethodHandle mh_bv = mh(byte .class );private static final MethodHandle mh_cv = mh(char .class );private static final MethodHandle mh_sv = mh(short .class );private static final MethodHandle mh_iv = mh(int .class );private static final MethodHandle mh_jv = mh(long .class );private static final MethodHandle mh_fv = mh(float .class );private static final MethodHandle mh_dv = mh(double .class );private static void void2prim(int i) throws Throwable {false , (boolean ) mh_zv.invokeExact()); // void -> boolean byte ) 0, (byte ) mh_bv.invokeExact()); // void -> byte char ) 0, (char ) mh_cv.invokeExact()); // void -> char short ) 0, (short ) mh_sv.invokeExact()); // void -> short int ) mh_iv.invokeExact()); // void -> int long ) mh_jv.invokeExact()); // void -> long float ) mh_fv.invokeExact()); // void -> float double ) mh_dv.invokeExact()); // void -> double private static void void2prim_invalid(double x) throws Throwable {// no cases private static MethodHandle mh_v(Class arg) { return mh(void .class , arg); }private static final MethodHandle mh_vz = mh_v(boolean .class );private static final MethodHandle mh_vb = mh_v(byte .class );private static final MethodHandle mh_vc = mh_v(char .class );private static final MethodHandle mh_vs = mh_v(short .class );private static final MethodHandle mh_vi = mh_v(int .class );private static final MethodHandle mh_vj = mh_v(long .class );private static final MethodHandle mh_vf = mh_v(float .class );private static final MethodHandle mh_vd = mh_v(double .class );private static void prim2void(int x) throws Throwable {boolean z = ((x & 1) != 0);// boolean -> void byte ) x); // byte -> void char ) x); // char -> void short ) x); // short -> void int ) x); // int -> void long ) x); // long -> void float ) x); // float -> void double ) x); // double -> void private static void prim2void_invalid(int x) throws Throwable {// no cases private static boolean identity(boolean v) { return v; }private static byte identity(byte v) { return v; }private static char identity(char v) { return v; }private static short identity(short v) { return v; }private static int identity(int v) { return v; }private static long identity(long v) { return v; }private static float identity(float v) { return v; }private static double identity(double v) { return v; }private static void identity() {}quality 93%
¤ Dauer der Verarbeitung: 0.3 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
