3789983e89
Reviewed-by: darcy, ihse
465 lines
16 KiB
Java
465 lines
16 KiB
Java
/*
|
|
* Copyright (c) 2010, 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 6991596
|
|
* @summary JSR 292 unimplemented adapter_opt_i2i and adapter_opt_l2i on SPARC
|
|
*
|
|
* @run main/othervm -ea -XX:+UnlockDiagnosticVMOptions -XX:+VerifyMethodHandles Test6991596
|
|
*/
|
|
|
|
import java.lang.invoke.*;
|
|
|
|
public class Test6991596 {
|
|
private static final Class CLASS = Test6991596.class;
|
|
private static final String NAME = "foo";
|
|
private static final boolean DEBUG = System.getProperty("DEBUG", "false").equals("true");
|
|
|
|
public static void main(String[] args) throws Throwable {
|
|
testboolean();
|
|
testbyte();
|
|
testchar();
|
|
testshort();
|
|
testint();
|
|
testlong();
|
|
}
|
|
|
|
// Helpers to get various methods.
|
|
static MethodHandle getmh1(Class ret, Class arg) throws ReflectiveOperationException {
|
|
return MethodHandles.lookup().findStatic(CLASS, NAME, MethodType.methodType(ret, arg));
|
|
}
|
|
static MethodHandle getmh2(MethodHandle mh1, Class ret, Class arg) {
|
|
return MethodHandles.explicitCastArguments(mh1, MethodType.methodType(ret, arg));
|
|
}
|
|
static MethodHandle getmh3(MethodHandle mh1, Class ret, Class arg) {
|
|
return MethodHandles.explicitCastArguments(mh1, MethodType.methodType(ret, arg));
|
|
}
|
|
|
|
// test adapter_opt_i2i
|
|
static void testboolean() throws Throwable {
|
|
boolean[] a = new boolean[] {
|
|
true,
|
|
false
|
|
};
|
|
for (int i = 0; i < a.length; i++) {
|
|
doboolean(a[i]);
|
|
}
|
|
}
|
|
static void doboolean(boolean x) throws Throwable {
|
|
if (DEBUG) System.out.println("boolean=" + x);
|
|
|
|
// boolean
|
|
{
|
|
MethodHandle mh1 = getmh1( boolean.class, boolean.class);
|
|
MethodHandle mh2 = getmh2(mh1, boolean.class, boolean.class);
|
|
// TODO add this for all cases when the bugs are fixed.
|
|
//MethodHandle mh3 = getmh3(mh1, boolean.class, boolean.class);
|
|
boolean a = (boolean) mh1.invokeExact((boolean) x);
|
|
boolean b = (boolean) mh2.invokeExact(x);
|
|
//boolean c = mh3.<boolean>invokeExact((boolean) x);
|
|
check(x, a, b);
|
|
//check(x, c, x);
|
|
}
|
|
|
|
// byte
|
|
{
|
|
MethodHandle mh1 = getmh1( byte.class, byte.class );
|
|
MethodHandle mh2 = getmh2(mh1, byte.class, boolean.class);
|
|
byte a = (byte) mh1.invokeExact((byte) (x ? 1 : 0));
|
|
byte b = (byte) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// char
|
|
{
|
|
MethodHandle mh1 = getmh1( char.class, char.class);
|
|
MethodHandle mh2 = getmh2(mh1, char.class, boolean.class);
|
|
char a = (char) mh1.invokeExact((char) (x ? 1 : 0));
|
|
char b = (char) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// short
|
|
{
|
|
MethodHandle mh1 = getmh1( short.class, short.class);
|
|
MethodHandle mh2 = getmh2(mh1, short.class, boolean.class);
|
|
short a = (short) mh1.invokeExact((short) (x ? 1 : 0));
|
|
short b = (short) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
}
|
|
|
|
static void testbyte() throws Throwable {
|
|
byte[] a = new byte[] {
|
|
Byte.MIN_VALUE,
|
|
Byte.MIN_VALUE + 1,
|
|
-0x0F,
|
|
-1,
|
|
0,
|
|
1,
|
|
0x0F,
|
|
Byte.MAX_VALUE - 1,
|
|
Byte.MAX_VALUE
|
|
};
|
|
for (int i = 0; i < a.length; i++) {
|
|
dobyte(a[i]);
|
|
}
|
|
}
|
|
static void dobyte(byte x) throws Throwable {
|
|
if (DEBUG) System.out.println("byte=" + x);
|
|
|
|
// boolean
|
|
{
|
|
MethodHandle mh1 = getmh1( boolean.class, boolean.class);
|
|
MethodHandle mh2 = getmh2(mh1, boolean.class, byte.class);
|
|
boolean a = (boolean) mh1.invokeExact((x & 1) == 1);
|
|
boolean b = (boolean) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// byte
|
|
{
|
|
MethodHandle mh1 = getmh1( byte.class, byte.class);
|
|
MethodHandle mh2 = getmh2(mh1, byte.class, byte.class);
|
|
byte a = (byte) mh1.invokeExact((byte) x);
|
|
byte b = (byte) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// char
|
|
{
|
|
MethodHandle mh1 = getmh1( char.class, char.class);
|
|
MethodHandle mh2 = getmh2(mh1, char.class, byte.class);
|
|
char a = (char) mh1.invokeExact((char) x);
|
|
char b = (char) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// short
|
|
{
|
|
MethodHandle mh1 = getmh1( short.class, short.class);
|
|
MethodHandle mh2 = getmh2(mh1, short.class, byte.class);
|
|
short a = (short) mh1.invokeExact((short) x);
|
|
short b = (short) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
}
|
|
|
|
static void testchar() throws Throwable {
|
|
char[] a = new char[] {
|
|
Character.MIN_VALUE,
|
|
Character.MIN_VALUE + 1,
|
|
0x000F,
|
|
0x00FF,
|
|
0x0FFF,
|
|
Character.MAX_VALUE - 1,
|
|
Character.MAX_VALUE
|
|
};
|
|
for (int i = 0; i < a.length; i++) {
|
|
dochar(a[i]);
|
|
}
|
|
}
|
|
static void dochar(char x) throws Throwable {
|
|
if (DEBUG) System.out.println("char=" + x);
|
|
|
|
// boolean
|
|
{
|
|
MethodHandle mh1 = getmh1( boolean.class, boolean.class);
|
|
MethodHandle mh2 = getmh2(mh1, boolean.class, char.class);
|
|
boolean a = (boolean) mh1.invokeExact((x & 1) == 1);
|
|
boolean b = (boolean) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// byte
|
|
{
|
|
MethodHandle mh1 = getmh1( byte.class, byte.class);
|
|
MethodHandle mh2 = getmh2(mh1, byte.class, char.class);
|
|
byte a = (byte) mh1.invokeExact((byte) x);
|
|
byte b = (byte) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// char
|
|
{
|
|
MethodHandle mh1 = getmh1( char.class, char.class);
|
|
MethodHandle mh2 = getmh2(mh1, char.class, char.class);
|
|
char a = (char) mh1.invokeExact((char) x);
|
|
char b = (char) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// short
|
|
{
|
|
MethodHandle mh1 = getmh1( short.class, short.class);
|
|
MethodHandle mh2 = getmh2(mh1, short.class, char.class);
|
|
short a = (short) mh1.invokeExact((short) x);
|
|
short b = (short) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
}
|
|
|
|
static void testshort() throws Throwable {
|
|
short[] a = new short[] {
|
|
Short.MIN_VALUE,
|
|
Short.MIN_VALUE + 1,
|
|
-0x0FFF,
|
|
-0x00FF,
|
|
-0x000F,
|
|
-1,
|
|
0,
|
|
1,
|
|
0x000F,
|
|
0x00FF,
|
|
0x0FFF,
|
|
Short.MAX_VALUE - 1,
|
|
Short.MAX_VALUE
|
|
};
|
|
for (int i = 0; i < a.length; i++) {
|
|
doshort(a[i]);
|
|
}
|
|
}
|
|
static void doshort(short x) throws Throwable {
|
|
if (DEBUG) System.out.println("short=" + x);
|
|
|
|
// boolean
|
|
{
|
|
MethodHandle mh1 = getmh1( boolean.class, boolean.class);
|
|
MethodHandle mh2 = getmh2(mh1, boolean.class, short.class);
|
|
boolean a = (boolean) mh1.invokeExact((x & 1) == 1);
|
|
boolean b = (boolean) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// byte
|
|
{
|
|
MethodHandle mh1 = getmh1( byte.class, byte.class);
|
|
MethodHandle mh2 = getmh2(mh1, byte.class, short.class);
|
|
byte a = (byte) mh1.invokeExact((byte) x);
|
|
byte b = (byte) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// char
|
|
{
|
|
MethodHandle mh1 = getmh1( char.class, char.class);
|
|
MethodHandle mh2 = getmh2(mh1, char.class, short.class);
|
|
char a = (char) mh1.invokeExact((char) x);
|
|
char b = (char) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// short
|
|
{
|
|
MethodHandle mh1 = getmh1( short.class, short.class);
|
|
MethodHandle mh2 = getmh2(mh1, short.class, short.class);
|
|
short a = (short) mh1.invokeExact((short) x);
|
|
short b = (short) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
}
|
|
|
|
static void testint() throws Throwable {
|
|
int[] a = new int[] {
|
|
Integer.MIN_VALUE,
|
|
Integer.MIN_VALUE + 1,
|
|
-0x0FFFFFFF,
|
|
-0x00FFFFFF,
|
|
-0x000FFFFF,
|
|
-0x0000FFFF,
|
|
-0x00000FFF,
|
|
-0x000000FF,
|
|
-0x0000000F,
|
|
-1,
|
|
0,
|
|
1,
|
|
0x0000000F,
|
|
0x000000FF,
|
|
0x00000FFF,
|
|
0x0000FFFF,
|
|
0x000FFFFF,
|
|
0x00FFFFFF,
|
|
0x0FFFFFFF,
|
|
Integer.MAX_VALUE - 1,
|
|
Integer.MAX_VALUE
|
|
};
|
|
for (int i = 0; i < a.length; i++) {
|
|
doint(a[i]);
|
|
}
|
|
}
|
|
static void doint(int x) throws Throwable {
|
|
if (DEBUG) System.out.println("int=" + x);
|
|
|
|
// boolean
|
|
{
|
|
MethodHandle mh1 = getmh1( boolean.class, boolean.class);
|
|
MethodHandle mh2 = getmh2(mh1, boolean.class, int.class);
|
|
boolean a = (boolean) mh1.invokeExact((x & 1) == 1);
|
|
boolean b = (boolean) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// byte
|
|
{
|
|
MethodHandle mh1 = getmh1( byte.class, byte.class);
|
|
MethodHandle mh2 = getmh2(mh1, byte.class, int.class);
|
|
byte a = (byte) mh1.invokeExact((byte) x);
|
|
byte b = (byte) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// char
|
|
{
|
|
MethodHandle mh1 = getmh1( char.class, char.class);
|
|
MethodHandle mh2 = getmh2(mh1, char.class, int.class);
|
|
char a = (char) mh1.invokeExact((char) x);
|
|
char b = (char) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// short
|
|
{
|
|
MethodHandle mh1 = getmh1( short.class, short.class);
|
|
MethodHandle mh2 = getmh2(mh1, short.class, int.class);
|
|
short a = (short) mh1.invokeExact((short) x);
|
|
short b = (short) mh2.invokeExact(x);
|
|
assert a == b : a + " != " + b;
|
|
check(x, a, b);
|
|
}
|
|
|
|
// int
|
|
{
|
|
MethodHandle mh1 = getmh1( int.class, int.class);
|
|
MethodHandle mh2 = getmh2(mh1, int.class, int.class);
|
|
int a = (int) mh1.invokeExact((int) x);
|
|
int b = (int) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
}
|
|
|
|
// test adapter_opt_l2i
|
|
static void testlong() throws Throwable {
|
|
long[] a = new long[] {
|
|
Long.MIN_VALUE,
|
|
Long.MIN_VALUE + 1,
|
|
-0x000000000FFFFFFFL,
|
|
-0x0000000000FFFFFFL,
|
|
-0x00000000000FFFFFL,
|
|
-0x000000000000FFFFL,
|
|
-0x0000000000000FFFL,
|
|
-0x00000000000000FFL,
|
|
-0x000000000000000FL,
|
|
-1L,
|
|
0L,
|
|
1L,
|
|
0x000000000000000FL,
|
|
0x00000000000000FFL,
|
|
0x0000000000000FFFL,
|
|
0x0000000000000FFFL,
|
|
0x000000000000FFFFL,
|
|
0x00000000000FFFFFL,
|
|
0x0000000000FFFFFFL,
|
|
0x000000000FFFFFFFL,
|
|
Long.MAX_VALUE - 1,
|
|
Long.MAX_VALUE
|
|
};
|
|
for (int i = 0; i < a.length; i++) {
|
|
dolong(a[i]);
|
|
}
|
|
}
|
|
static void dolong(long x) throws Throwable {
|
|
if (DEBUG) System.out.println("long=" + x);
|
|
|
|
// boolean
|
|
{
|
|
MethodHandle mh1 = getmh1( boolean.class, boolean.class);
|
|
MethodHandle mh2 = getmh2(mh1, boolean.class, long.class);
|
|
boolean a = (boolean) mh1.invokeExact((x & 1L) == 1L);
|
|
boolean b = (boolean) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// byte
|
|
{
|
|
MethodHandle mh1 = getmh1( byte.class, byte.class);
|
|
MethodHandle mh2 = getmh2(mh1, byte.class, long.class);
|
|
byte a = (byte) mh1.invokeExact((byte) x);
|
|
byte b = (byte) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// char
|
|
{
|
|
MethodHandle mh1 = getmh1( char.class, char.class);
|
|
MethodHandle mh2 = getmh2(mh1, char.class, long.class);
|
|
char a = (char) mh1.invokeExact((char) x);
|
|
char b = (char) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// short
|
|
{
|
|
MethodHandle mh1 = getmh1( short.class, short.class);
|
|
MethodHandle mh2 = getmh2(mh1, short.class, long.class);
|
|
short a = (short) mh1.invokeExact((short) x);
|
|
short b = (short) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
|
|
// int
|
|
{
|
|
MethodHandle mh1 = getmh1( int.class, int.class);
|
|
MethodHandle mh2 = getmh2(mh1, int.class, long.class);
|
|
int a = (int) mh1.invokeExact((int) x);
|
|
int b = (int) mh2.invokeExact(x);
|
|
check(x, a, b);
|
|
}
|
|
}
|
|
|
|
static void check(boolean x, boolean e, boolean a) { p(z2h(x), z2h(e), z2h(a)); assert e == a : z2h(x) + ": " + z2h(e) + " != " + z2h(a); }
|
|
static void check(boolean x, byte e, byte a) { p(z2h(x), i2h(e), i2h(a)); assert e == a : z2h(x) + ": " + i2h(e) + " != " + i2h(a); }
|
|
static void check(boolean x, int e, int a) { p(z2h(x), i2h(e), i2h(a)); assert e == a : z2h(x) + ": " + i2h(e) + " != " + i2h(a); }
|
|
|
|
static void check(int x, boolean e, boolean a) { p(i2h(x), z2h(e), z2h(a)); assert e == a : i2h(x) + ": " + z2h(e) + " != " + z2h(a); }
|
|
static void check(int x, byte e, byte a) { p(i2h(x), i2h(e), i2h(a)); assert e == a : i2h(x) + ": " + i2h(e) + " != " + i2h(a); }
|
|
static void check(int x, int e, int a) { p(i2h(x), i2h(e), i2h(a)); assert e == a : i2h(x) + ": " + i2h(e) + " != " + i2h(a); }
|
|
|
|
static void check(long x, boolean e, boolean a) { p(l2h(x), z2h(e), z2h(a)); assert e == a : l2h(x) + ": " + z2h(e) + " != " + z2h(a); }
|
|
static void check(long x, byte e, byte a) { p(l2h(x), i2h(e), i2h(a)); assert e == a : l2h(x) + ": " + i2h(e) + " != " + i2h(a); }
|
|
static void check(long x, int e, int a) { p(l2h(x), i2h(e), i2h(a)); assert e == a : l2h(x) + ": " + i2h(e) + " != " + i2h(a); }
|
|
|
|
static void p(String x, String e, String a) { if (DEBUG) System.out.println(x + ": expected: " + e + ", actual: " + a); }
|
|
|
|
static String z2h(boolean x) { return x ? "1" : "0"; }
|
|
static String i2h(int x) { return Integer.toHexString(x); }
|
|
static String l2h(long x) { return Long.toHexString(x); }
|
|
|
|
// to int
|
|
public static boolean foo(boolean i) { return i; }
|
|
public static byte foo(byte i) { return i; }
|
|
public static char foo(char i) { return i; }
|
|
public static short foo(short i) { return i; }
|
|
public static int foo(int i) { return i; }
|
|
}
|