--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/CompilerToVM.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/CompilerToVM.java Fri May 13 06:36:52 2016 +0000
@@ -480,11 +480,6 @@
native String getSymbol(long metaspaceSymbol);
/**
- * Lookup a VMSymbol from a String.
- */
- native long lookupSymbol(String symbol);
-
- /**
* Looks for the next Java stack frame matching an entry in {@code methods}.
*
* @param frame the starting point of the search, where {@code null} refers to the topmost frame
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotConstantReflectionProvider.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotConstantReflectionProvider.java Fri May 13 06:36:52 2016 +0000
@@ -22,20 +22,15 @@
*/
package jdk.vm.ci.hotspot;
-import static jdk.vm.ci.hotspot.HotSpotJVMCIRuntimeProvider.getArrayBaseOffset;
-import static jdk.vm.ci.hotspot.HotSpotJVMCIRuntimeProvider.getArrayIndexScale;
-
import java.lang.reflect.Array;
import java.util.Objects;
import jdk.internal.vm.annotation.Stable;
import jdk.vm.ci.common.JVMCIError;
-import jdk.vm.ci.hotspot.HotSpotJVMCIRuntime.Option;
import jdk.vm.ci.meta.Constant;
import jdk.vm.ci.meta.ConstantReflectionProvider;
import jdk.vm.ci.meta.JavaConstant;
import jdk.vm.ci.meta.JavaKind;
-import jdk.vm.ci.meta.JavaType;
import jdk.vm.ci.meta.MemoryAccessProvider;
import jdk.vm.ci.meta.MethodHandleAccessProvider;
import jdk.vm.ci.meta.ResolvedJavaField;
@@ -89,50 +84,6 @@
return Array.getLength(arrayObject);
}
- public JavaConstant readConstantArrayElement(JavaConstant array, int index) {
- if (array instanceof HotSpotObjectConstantImpl && ((HotSpotObjectConstantImpl) array).getStableDimension() > 0) {
- JavaConstant element = readArrayElement(array, index);
- if (element != null && (((HotSpotObjectConstantImpl) array).isDefaultStable() || !element.isDefaultForKind())) {
- return element;
- }
- }
- return null;
- }
-
- /**
- * Try to convert {@code offset} into an an index into {@code array}.
- *
- * @return the computed index or -1 if the offset isn't within the array
- */
- private int indexForOffset(JavaConstant array, long offset) {
- if (array.getJavaKind() != JavaKind.Object || array.isNull()) {
- return -1;
- }
- Class<?> componentType = ((HotSpotObjectConstantImpl) array).object().getClass().getComponentType();
- JavaKind kind = runtime.getHostJVMCIBackend().getMetaAccess().lookupJavaType(componentType).getJavaKind();
- int arraybase = getArrayBaseOffset(kind);
- int scale = getArrayIndexScale(kind);
- if (offset < arraybase) {
- return -1;
- }
- long index = offset - arraybase;
- if (index % scale != 0) {
- return -1;
- }
- long result = index / scale;
- if (result >= Integer.MAX_VALUE) {
- return -1;
- }
- return (int) result;
- }
-
- public JavaConstant readConstantArrayElementForOffset(JavaConstant array, long offset) {
- if (array instanceof HotSpotObjectConstantImpl && ((HotSpotObjectConstantImpl) array).getStableDimension() > 0) {
- return readConstantArrayElement(array, indexForOffset(array, offset));
- }
- return null;
- }
-
@Override
public JavaConstant readArrayElement(JavaConstant array, int index) {
if (array == null || array.getJavaKind() != JavaKind.Object || array.isNull()) {
@@ -146,11 +97,7 @@
if (a instanceof Object[]) {
Object element = ((Object[]) a)[index];
- if (((HotSpotObjectConstantImpl) array).getStableDimension() > 1) {
- return HotSpotObjectConstantImpl.forStableArray(element, ((HotSpotObjectConstantImpl) array).getStableDimension() - 1, ((HotSpotObjectConstantImpl) array).isDefaultStable());
- } else {
- return HotSpotObjectConstantImpl.forObject(element);
- }
+ return HotSpotObjectConstantImpl.forObject(element);
} else {
return JavaConstant.forBoxedPrimitive(Array.get(a, index));
}
@@ -228,103 +175,8 @@
return null;
}
- private static final String SystemClassName = "Ljava/lang/System;";
-
- /**
- * Determines if a static field is constant for the purpose of
- * {@link #readConstantFieldValue(ResolvedJavaField, JavaConstant)}.
- */
- protected boolean isStaticFieldConstant(HotSpotResolvedJavaField staticField) {
- if (staticField.isFinal() || (staticField.isStable() && runtime.getConfig().foldStableValues)) {
- ResolvedJavaType holder = staticField.getDeclaringClass();
- if (holder.isInitialized() && !holder.getName().equals(SystemClassName)) {
- return true;
- }
- }
- return false;
- }
-
- /**
- * Determines if a value read from a {@code final} instance field is considered constant. The
- * implementation in {@link HotSpotConstantReflectionProvider} returns true if {@code value} is
- * not the {@link JavaConstant#isDefaultForKind default value} for its kind or if
- * {@link Option#TrustFinalDefaultFields} is true.
- *
- * @param value a value read from a {@code final} instance field
- * @param receiverClass the {@link Object#getClass() class} of object from which the
- * {@code value} was read
- */
- protected boolean isFinalInstanceFieldValueConstant(JavaConstant value, Class<?> receiverClass) {
- return !value.isDefaultForKind() || Option.TrustFinalDefaultFields.getBoolean();
- }
-
- /**
- * Determines if a value read from a {@link Stable} instance field is considered constant. The
- * implementation in {@link HotSpotConstantReflectionProvider} returns true if {@code value} is
- * not the {@link JavaConstant#isDefaultForKind default value} for its kind.
- *
- * @param value a value read from a {@link Stable} field
- * @param receiverClass the {@link Object#getClass() class} of object from which the
- * {@code value} was read
- */
- protected boolean isStableInstanceFieldValueConstant(JavaConstant value, Class<?> receiverClass) {
- return !value.isDefaultForKind();
- }
-
- public JavaConstant readConstantFieldValue(ResolvedJavaField field, JavaConstant receiver) {
- HotSpotResolvedJavaField hotspotField = (HotSpotResolvedJavaField) field;
-
- if (hotspotField.isStatic()) {
- if (isStaticFieldConstant(hotspotField)) {
- JavaConstant value = readFieldValue(field, receiver);
- if (hotspotField.isFinal() || !value.isDefaultForKind()) {
- return value;
- }
- }
- } else {
- /*
- * for non-static final fields, we must assume that they are only initialized if they
- * have a non-default value.
- */
- Object object = receiver.isNull() ? null : ((HotSpotObjectConstantImpl) receiver).object();
-
- // Canonicalization may attempt to process an unsafe read before
- // processing a guard (e.g. a null check or a type check) for this read
- // so we need to check the object being read
- if (object != null) {
- if (hotspotField.isFinal()) {
- if (hotspotField.isInObject(object)) {
- JavaConstant value = readFieldValue(field, receiver);
- if (isFinalInstanceFieldValueConstant(value, object.getClass())) {
- return value;
- }
- }
- } else if (hotspotField.isStable() && runtime.getConfig().foldStableValues) {
- if (hotspotField.isInObject(object)) {
- JavaConstant value = readFieldValue(field, receiver);
- if (isStableInstanceFieldValueConstant(value, object.getClass())) {
- return value;
- }
- }
- }
- }
- }
- return null;
- }
-
public JavaConstant readFieldValue(ResolvedJavaField field, JavaConstant receiver) {
HotSpotResolvedJavaField hotspotField = (HotSpotResolvedJavaField) field;
- if (!hotspotField.isStable()) {
- return readNonStableFieldValue(field, receiver);
- } else if (runtime.getConfig().foldStableValues) {
- return readStableFieldValue(field, receiver, hotspotField.isDefaultStable());
- } else {
- return null;
- }
- }
-
- private JavaConstant readNonStableFieldValue(ResolvedJavaField field, JavaConstant receiver) {
- HotSpotResolvedJavaField hotspotField = (HotSpotResolvedJavaField) field;
if (hotspotField.isStatic()) {
HotSpotResolvedJavaType holder = (HotSpotResolvedJavaType) hotspotField.getDeclaringClass();
if (holder.isInitialized()) {
@@ -338,27 +190,6 @@
return null;
}
- public JavaConstant readStableFieldValue(ResolvedJavaField field, JavaConstant receiver, boolean isDefaultStable) {
- JavaConstant fieldValue = readNonStableFieldValue(field, receiver);
- if (fieldValue != null && fieldValue.isNonNull()) {
- JavaType declaredType = field.getType();
- if (declaredType.getComponentType() != null) {
- int stableDimension = getArrayDimension(declaredType);
- return HotSpotObjectConstantImpl.forStableArray(((HotSpotObjectConstantImpl) fieldValue).object(), stableDimension, isDefaultStable);
- }
- }
- return fieldValue;
- }
-
- private static int getArrayDimension(JavaType type) {
- int dimensions = 0;
- JavaType componentType = type;
- while ((componentType = componentType.getComponentType()) != null) {
- dimensions++;
- }
- return dimensions;
- }
-
@Override
public JavaConstant asJavaClass(ResolvedJavaType type) {
return HotSpotObjectConstantImpl.forObject(((HotSpotResolvedJavaType) type).mirror());
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotJVMCIRuntime.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotJVMCIRuntime.java Fri May 13 06:36:52 2016 +0000
@@ -95,14 +95,12 @@
*/
public enum Option {
Compiler(String.class, null, "Selects the system compiler."),
- ImplicitStableValues(boolean.class, true, "Mark well-known stable fields as such."),
// Note: The following one is not used (see InitTimer.ENABLED).
InitTimer(boolean.class, false, "Specifies if initialization timing is enabled."),
PrintConfig(boolean.class, false, "Prints all HotSpotVMConfig fields."),
PrintFlags(boolean.class, false, "Prints all JVMCI flags and exits."),
ShowFlags(boolean.class, false, "Prints all JVMCI flags and continues."),
- TraceMethodDataFilter(String.class, null, ""),
- TrustFinalDefaultFields(boolean.class, true, "Determines whether to treat final fields with default values as constant.");
+ TraceMethodDataFilter(String.class, null, "");
/**
* The prefix for system properties that are JVMCI options.
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMemoryAccessProvider.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMemoryAccessProvider.java Fri May 13 06:36:52 2016 +0000
@@ -39,6 +39,4 @@
Constant readNarrowKlassPointerConstant(Constant base, long displacement, CompressEncoding encoding);
Constant readMethodPointerConstant(Constant base, long displacement);
-
- Constant readSymbolConstant(Constant base, long displacement);
}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMemoryAccessProviderImpl.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMemoryAccessProviderImpl.java Fri May 13 06:36:52 2016 +0000
@@ -232,16 +232,4 @@
HotSpotResolvedJavaMethodImpl method = runtime.getCompilerToVM().getResolvedJavaMethod(baseObject, displacement);
return HotSpotMetaspaceConstantImpl.forMetaspaceObject(method, false);
}
-
- @Override
- public Constant readSymbolConstant(Constant base, long displacement) {
- int bits = runtime.getConfig().symbolPointerSize * Byte.SIZE;
- long pointer = readRawValue(base, displacement, bits);
- if (pointer == 0) {
- return JavaConstant.NULL_POINTER;
- } else {
- String symbol = runtime.getCompilerToVM().getSymbol(pointer);
- return new HotSpotSymbol(symbol, pointer).asConstant();
- }
- }
}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMetaAccessProvider.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMetaAccessProvider.java Fri May 13 06:36:52 2016 +0000
@@ -78,15 +78,6 @@
return new HotSpotSignature(runtime, signature);
}
- public HotSpotSymbol lookupSymbol(String symbol) {
- long pointer = runtime.getCompilerToVM().lookupSymbol(symbol);
- if (pointer == 0) {
- return null;
- } else {
- return new HotSpotSymbol(symbol, pointer);
- }
- }
-
/**
* {@link Field} object of {@link Method#slot}.
*/
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMetaspaceConstant.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMetaspaceConstant.java Fri May 13 06:36:52 2016 +0000
@@ -29,6 +29,4 @@
HotSpotResolvedObjectType asResolvedJavaType();
HotSpotResolvedJavaMethod asResolvedJavaMethod();
-
- HotSpotSymbol asSymbol();
}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMetaspaceConstantImpl.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotMetaspaceConstantImpl.java Fri May 13 06:36:52 2016 +0000
@@ -108,11 +108,4 @@
}
return null;
}
-
- public HotSpotSymbol asSymbol() {
- if (metaspaceObject instanceof HotSpotSymbol) {
- return (HotSpotSymbol) metaspaceObject;
- }
- return null;
- }
}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotObjectConstantImpl.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotObjectConstantImpl.java Fri May 13 06:36:52 2016 +0000
@@ -53,15 +53,6 @@
}
}
- static JavaConstant forStableArray(Object object, int stableDimension, boolean isDefaultStable) {
- if (object == null) {
- return JavaConstant.NULL_POINTER;
- } else {
- assert object.getClass().isArray();
- return new HotSpotObjectConstantImpl(object, false, stableDimension, isDefaultStable);
- }
- }
-
public static JavaConstant forBoxedValue(JavaKind kind, Object value) {
if (kind == JavaKind.Object) {
return HotSpotObjectConstantImpl.forObject(value);
@@ -82,22 +73,11 @@
private final Object object;
private final boolean compressed;
- private final byte stableDimension;
- private final boolean isDefaultStable;
- private HotSpotObjectConstantImpl(Object object, boolean compressed, int stableDimension, boolean isDefaultStable) {
+ private HotSpotObjectConstantImpl(Object object, boolean compressed) {
this.object = object;
this.compressed = compressed;
- this.stableDimension = (byte) stableDimension;
- this.isDefaultStable = isDefaultStable;
assert object != null;
- assert stableDimension == 0 || (object != null && object.getClass().isArray());
- assert stableDimension >= 0 && stableDimension <= 255;
- assert !isDefaultStable || stableDimension > 0;
- }
-
- private HotSpotObjectConstantImpl(Object object, boolean compressed) {
- this(object, compressed, 0, false);
}
@Override
@@ -118,12 +98,12 @@
public JavaConstant compress() {
assert !compressed;
- return new HotSpotObjectConstantImpl(object, true, stableDimension, isDefaultStable);
+ return new HotSpotObjectConstantImpl(object, true);
}
public JavaConstant uncompress() {
assert compressed;
- return new HotSpotObjectConstantImpl(object, false, stableDimension, isDefaultStable);
+ return new HotSpotObjectConstantImpl(object, false);
}
public HotSpotResolvedObjectType getType() {
@@ -248,7 +228,7 @@
return true;
} else if (o instanceof HotSpotObjectConstantImpl) {
HotSpotObjectConstantImpl other = (HotSpotObjectConstantImpl) o;
- return object == other.object && compressed == other.compressed && stableDimension == other.stableDimension && isDefaultStable == other.isDefaultStable;
+ return object == other.object && compressed == other.compressed;
}
return false;
}
@@ -266,19 +246,4 @@
public String toString() {
return (compressed ? "NarrowOop" : getJavaKind().getJavaName()) + "[" + JavaKind.Object.format(object) + "]";
}
-
- /**
- * Number of stable dimensions if this constant is a stable array.
- */
- public int getStableDimension() {
- return stableDimension & 0xff;
- }
-
- /**
- * Returns {@code true} if this is a stable array constant and its elements should be considered
- * as stable regardless of whether they are default values.
- */
- public boolean isDefaultStable() {
- return isDefaultStable;
- }
}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotResolvedJavaField.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotResolvedJavaField.java Fri May 13 06:36:52 2016 +0000
@@ -43,11 +43,4 @@
* Determines if this field should be treated as a constant.
*/
boolean isStable();
-
- /**
- * Determines if this field should be considered constant if it has the default value for its
- * type (e.g, 0, null, etc.). The result of this method is undefined if this field is not
- * {@linkplain #isStable() stable}.
- */
- boolean isDefaultStable();
}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotResolvedJavaFieldImpl.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotResolvedJavaFieldImpl.java Fri May 13 06:36:52 2016 +0000
@@ -22,7 +22,6 @@
*/
package jdk.vm.ci.hotspot;
-import static jdk.vm.ci.hotspot.HotSpotJVMCIRuntime.runtime;
import static jdk.vm.ci.hotspot.HotSpotVMConfig.config;
import java.lang.annotation.Annotation;
@@ -32,7 +31,6 @@
import jdk.vm.ci.common.JVMCIError;
import jdk.vm.ci.hotspot.HotSpotJVMCIRuntime.Option;
import jdk.vm.ci.meta.JavaType;
-import jdk.vm.ci.meta.LocationIdentity;
import jdk.vm.ci.meta.MetaAccessProvider;
import jdk.vm.ci.meta.ModifiersProvider;
import jdk.vm.ci.meta.ResolvedJavaField;
@@ -52,43 +50,6 @@
* This value contains all flags as stored in the VM including internal ones.
*/
private final int modifiers;
- private final LocationIdentity locationIdentity = new FieldLocationIdentity(this);
-
- public static class FieldLocationIdentity extends LocationIdentity {
- HotSpotResolvedJavaField inner;
-
- FieldLocationIdentity(HotSpotResolvedJavaFieldImpl inner) {
- this.inner = inner;
- }
-
- @Override
- public boolean isImmutable() {
- return false;
- }
-
- @Override
- public boolean equals(Object obj) {
- if (this == obj) {
- return true;
- }
- if (obj instanceof FieldLocationIdentity) {
- FieldLocationIdentity fieldLocationIdentity = (FieldLocationIdentity) obj;
- return inner.equals(fieldLocationIdentity.inner);
-
- }
- return false;
- }
-
- @Override
- public int hashCode() {
- return inner.hashCode();
- }
-
- @Override
- public String toString() {
- return inner.getName();
- }
- }
HotSpotResolvedJavaFieldImpl(HotSpotResolvedObjectTypeImpl holder, String name, JavaType type, long offset, int modifiers) {
this.holder = holder;
@@ -191,14 +152,7 @@
* @return true if field has {@link Stable} annotation, false otherwise
*/
public boolean isStable() {
- if ((config().jvmAccFieldStable & modifiers) != 0) {
- return true;
- }
- assert getAnnotation(Stable.class) == null;
- if (Option.ImplicitStableValues.getBoolean() && isImplicitStableField()) {
- return true;
- }
- return false;
+ return (config().jvmAccFieldStable & modifiers) != 0;
}
@Override
@@ -244,69 +198,4 @@
return null;
}
}
-
- private boolean isArray() {
- JavaType fieldType = getType();
- return fieldType instanceof ResolvedJavaType && ((ResolvedJavaType) fieldType).isArray();
- }
-
- private boolean isImplicitStableField() {
- if (isSyntheticEnumSwitchMap()) {
- return true;
- }
- if (isWellKnownImplicitStableField()) {
- return true;
- }
- return false;
- }
-
- public boolean isDefaultStable() {
- assert this.isStable();
- if (isSyntheticEnumSwitchMap()) {
- return true;
- }
- return false;
- }
-
- private boolean isSyntheticEnumSwitchMap() {
- if (isSynthetic() && isStatic() && isArray()) {
- if (isFinal() && name.equals("$VALUES") || name.equals("ENUM$VALUES")) {
- // generated int[] field for EnumClass::values()
- return true;
- } else if (name.startsWith("$SwitchMap$") || name.startsWith("$SWITCH_TABLE$")) {
- // javac and ecj generate a static field in an inner class for a switch on an enum
- // named $SwitchMap$p$k$g$EnumClass and $SWITCH_TABLE$p$k$g$EnumClass, respectively
- return true;
- }
- }
- return false;
- }
-
- private boolean isWellKnownImplicitStableField() {
- return WellKnownImplicitStableField.test(this);
- }
-
- static class WellKnownImplicitStableField {
- /**
- * @return {@code true} if the field is a well-known stable field.
- */
- public static boolean test(HotSpotResolvedJavaField field) {
- return field.equals(STRING_VALUE_FIELD);
- }
-
- private static final ResolvedJavaField STRING_VALUE_FIELD;
-
- static {
- try {
- MetaAccessProvider metaAccess = runtime().getHostJVMCIBackend().getMetaAccess();
- STRING_VALUE_FIELD = metaAccess.lookupJavaField(String.class.getDeclaredField("value"));
- } catch (SecurityException | NoSuchFieldException e) {
- throw new JVMCIError(e);
- }
- }
- }
-
- public LocationIdentity getLocationIdentity() {
- return locationIdentity;
- }
}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotResolvedObjectTypeImpl.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotResolvedObjectTypeImpl.java Fri May 13 06:36:52 2016 +0000
@@ -166,9 +166,25 @@
@Override
public AssumptionResult<ResolvedJavaType> findLeafConcreteSubtype() {
+ if (isLeaf()) {
+ // No assumptions are required.
+ return new AssumptionResult<>(this);
+ }
HotSpotVMConfig config = config();
if (isArray()) {
- return getElementalType().isLeaf() ? new AssumptionResult<>(this) : null;
+ ResolvedJavaType elementalType = getElementalType();
+ AssumptionResult<ResolvedJavaType> elementType = elementalType.findLeafConcreteSubtype();
+ if (elementType != null && elementType.getResult().equals(elementalType)) {
+ /*
+ * If the elementType is leaf then the array is leaf under the same assumptions but
+ * only if the element type is exactly the leaf type. The element type can be
+ * abstract even if there is only one implementor of the abstract type.
+ */
+ AssumptionResult<ResolvedJavaType> result = new AssumptionResult<>(this);
+ result.add(elementType);
+ return result;
+ }
+ return null;
} else if (isInterface()) {
HotSpotResolvedObjectTypeImpl implementor = getSingleImplementor();
/*
@@ -191,8 +207,7 @@
}
return null;
}
-
- return new AssumptionResult<>(implementor, new LeafType(implementor), new ConcreteSubtype(this, implementor));
+ return concreteSubtype(implementor);
} else {
HotSpotResolvedObjectTypeImpl type = this;
while (type.isAbstract()) {
@@ -206,7 +221,7 @@
return null;
}
if (this.isAbstract()) {
- return new AssumptionResult<>(type, new LeafType(type), new ConcreteSubtype(this, type));
+ return concreteSubtype(type);
} else {
assert this.equals(type);
return new AssumptionResult<>(type, new LeafType(type));
@@ -214,6 +229,14 @@
}
}
+ private AssumptionResult<ResolvedJavaType> concreteSubtype(HotSpotResolvedObjectTypeImpl type) {
+ if (type.isLeaf()) {
+ return new AssumptionResult<>(type, new ConcreteSubtype(this, type));
+ } else {
+ return new AssumptionResult<>(type, new LeafType(type), new ConcreteSubtype(this, type));
+ }
+ }
+
/**
* Returns if type {@code type} is a leaf class. This is the case if the
* {@code Klass::_subklass} field of the underlying class is zero.
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/HotSpotSymbol.java Fri May 13 08:32:20 2016 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,57 +0,0 @@
-/*
- * Copyright (c) 2016, 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 jdk.vm.ci.hotspot;
-
-import jdk.vm.ci.meta.Constant;
-
-/**
- * Class to access the C++ {@code vmSymbols} table.
- */
-public final class HotSpotSymbol implements MetaspaceWrapperObject {
-
- private final String symbol;
- private final long pointer;
-
- HotSpotSymbol(String symbol, long pointer) {
- this.symbol = symbol;
- this.pointer = pointer;
- }
-
- public String getSymbol() {
- return symbol;
- }
-
- public Constant asConstant() {
- return HotSpotMetaspaceConstantImpl.forMetaspaceObject(this, false);
- }
-
- @Override
- public long getMetaspacePointer() {
- return pointer;
- }
-
- @Override
- public String toString() {
- return "Symbol<" + symbol + ">";
- }
-}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/Assumptions.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/Assumptions.java Fri May 13 06:36:52 2016 +0000
@@ -44,7 +44,10 @@
/**
* A class for providing information that is only valid in association with a set of
- * {@link Assumption}s.
+ * {@link Assumption}s. It is permissible for AssumptionResults to have no assumptions at all.
+ * For instance, if {@link ResolvedJavaType#isLeaf()} returns true for a type
+ * {@link ResolvedJavaType#findLeafConcreteSubtype()} can return an AssumptionResult with no
+ * assumptions since the leaf information is statically true.
*
* @param <T>
*/
@@ -187,6 +190,7 @@
public final ResolvedJavaType context;
public LeafType(ResolvedJavaType context) {
+ assert !context.isLeaf() : "assumption isn't required for leaf types";
this.context = context;
}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ConstantReflectionProvider.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ConstantReflectionProvider.java Fri May 13 06:36:52 2016 +0000
@@ -56,39 +56,10 @@
JavaConstant readArrayElement(JavaConstant array, int index);
/**
- * Reads a value from the given array at the given index if it is a stable array. Returns
- * {@code null} if the constant is not a stable array, if it is a default value, if the index is
- * out of bounds, or if the value is not available at this point.
- */
- JavaConstant readConstantArrayElement(JavaConstant array, int index);
-
- /**
- * Reads a value from the given array at the given offset if it is a stable array. The offset
- * will be decoded relative to the platform addressing into an index into the array. Returns
- * {@code null} if the constant is not a stable array, if it is a default value, if the offset
- * is out of bounds, or if the value is not available at this point.
- */
- JavaConstant readConstantArrayElementForOffset(JavaConstant array, long offset);
-
- /**
- * Gets the constant value of this field. Note that a {@code static final} field may not be
- * considered constant if its declaring class is not yet initialized or if it is a well known
- * field that can be updated via other means (e.g., {@link System#setOut(java.io.PrintStream)}).
- *
- * @param receiver object from which this field's value is to be read. This value is ignored if
- * this field is static.
- * @return the constant value of this field or {@code null} if this field is not considered
- * constant by the runtime
- */
- JavaConstant readConstantFieldValue(ResolvedJavaField field, JavaConstant receiver);
-
- /**
* Gets the current value of this field for a given object, if available.
*
* There is no guarantee that the same value will be returned by this method for a field unless
- * the field is considered to be
- * {@linkplain #readConstantFieldValue(ResolvedJavaField, JavaConstant) constant} by the
- * runtime.
+ * the field is considered to be constant by the runtime.
*
* @param receiver object from which this field's value is to be read. This value is ignored if
* this field is static.
@@ -98,23 +69,6 @@
JavaConstant readFieldValue(ResolvedJavaField field, JavaConstant receiver);
/**
- * Gets the current value of this field for a given object, if available. Like
- * {@link #readFieldValue(ResolvedJavaField, JavaConstant)} but treats array fields as stable.
- *
- * There is no guarantee that the same value will be returned by this method for a field unless
- * the field is considered to be
- * {@linkplain #readConstantFieldValue(ResolvedJavaField, JavaConstant) constant} by the
- * runtime.
- *
- * @param receiver object from which this field's value is to be read. This value is ignored if
- * this field is static.
- * @param isDefaultStable if {@code true}, default values are considered stable
- * @return the value of this field or {@code null} if the value is not available (e.g., because
- * the field holder is not yet initialized).
- */
- JavaConstant readStableFieldValue(ResolvedJavaField field, JavaConstant receiver, boolean isDefaultStable);
-
- /**
* Converts the given {@link JavaKind#isPrimitive() primitive} constant to a boxed
* {@link JavaKind#Object object} constant, according to the Java boxing rules. Returns
* {@code null} if the source is is not a primitive constant, or the boxed value is not
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/LocationIdentity.java Fri May 13 08:32:20 2016 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,78 +0,0 @@
-/*
- * Copyright (c) 2011, 2012, 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 jdk.vm.ci.meta;
-
-import java.util.IdentityHashMap;
-
-// JaCoCo Exclude
-
-/**
- * Marker interface for location identities. A different location identity of two memory accesses
- * guarantees that the two accesses do not interfere.
- *
- * Clients of {@link LocationIdentity} must use {@link #equals(Object)}, not {@code ==}, when
- * comparing two {@link LocationIdentity} values for equality. Likewise, they must not use
- * {@link IdentityHashMap}s with {@link LocationIdentity} values as keys.
- */
-public abstract class LocationIdentity {
-
- private static final class AnyLocationIdentity extends LocationIdentity {
- @Override
- public boolean isImmutable() {
- return false;
- }
-
- @Override
- public String toString() {
- return "ANY_LOCATION";
- }
- }
-
- public static final LocationIdentity ANY_LOCATION = new AnyLocationIdentity();
-
- public static LocationIdentity any() {
- return ANY_LOCATION;
- }
-
- /**
- * Denotes a location is unchanging in all cases. Not that this is different than the Java
- * notion of final which only requires definite assignment.
- */
- public abstract boolean isImmutable();
-
- public final boolean isMutable() {
- return !isImmutable();
- }
-
- public final boolean isAny() {
- return this == ANY_LOCATION;
- }
-
- public final boolean isSingle() {
- return this != ANY_LOCATION;
- }
-
- public final boolean overlaps(LocationIdentity other) {
- return isAny() || other.isAny() || this.equals(other);
- }
-}
--- a/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ResolvedJavaField.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/jdk.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ResolvedJavaField.java Fri May 13 06:36:52 2016 +0000
@@ -59,11 +59,4 @@
* this field.
*/
ResolvedJavaType getDeclaringClass();
-
- /**
- * Returns an object representing the unique location identity of this resolved Java field.
- *
- * @return the location identity of the field
- */
- LocationIdentity getLocationIdentity();
}
--- a/hotspot/src/share/vm/jvmci/jvmciCodeInstaller.cpp Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/share/vm/jvmci/jvmciCodeInstaller.cpp Fri May 13 06:36:52 2016 +0000
@@ -181,8 +181,8 @@
/*
* This method needs to return a raw (untyped) pointer, since the value of a pointer to the base
* class is in general not equal to the pointer of the subclass. When patching metaspace pointers,
- * the compiler expects a direct pointer to the subclass (Klass*, Method* or Symbol*), not a
- * pointer to the base class (Metadata* or MetaspaceObj*).
+ * the compiler expects a direct pointer to the subclass (Klass* or Method*), not a pointer to the
+ * base class (Metadata* or MetaspaceObj*).
*/
oop obj = HotSpotMetaspaceConstantImpl::metaspaceObject(constant);
if (obj->is_a(HotSpotResolvedObjectTypeImpl::klass())) {
@@ -197,11 +197,6 @@
int index = _oop_recorder->find_index(method);
TRACE_jvmci_3("metadata[%d of %d] = %s", index, _oop_recorder->metadata_count(), method->name()->as_C_string());
return method;
- } else if (obj->is_a(HotSpotSymbol::klass())) {
- Symbol* symbol = (Symbol*) (address) HotSpotSymbol::pointer(obj);
- assert(!HotSpotMetaspaceConstantImpl::compressed(constant), "unexpected compressed symbol pointer %s @ " INTPTR_FORMAT, symbol->as_C_string(), p2i(symbol));
- TRACE_jvmci_3("symbol = %s", symbol->as_C_string());
- return symbol;
} else {
JVMCI_ERROR_NULL("unexpected metadata reference for constant of type %s", obj->klass()->signature_name());
}
--- a/hotspot/src/share/vm/jvmci/jvmciCompilerToVM.cpp Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/share/vm/jvmci/jvmciCompilerToVM.cpp Fri May 13 06:36:52 2016 +0000
@@ -1048,11 +1048,6 @@
return JNIHandles::make_local(THREAD, sym());
C2V_END
-C2V_VMENTRY(jlong, lookupSymbol, (JNIEnv*, jobject, jobject string))
- Symbol* symbol = java_lang_String::as_symbol_or_null(JNIHandles::resolve(string));
- return (jlong) symbol;
-C2V_END
-
bool matches(jobjectArray methods, Method* method) {
objArrayOop methods_oop = (objArrayOop) JNIHandles::resolve(methods);
@@ -1480,7 +1475,6 @@
{CC "isMature", CC "(" METASPACE_METHOD_DATA ")Z", FN_PTR(isMature)},
{CC "hasCompiledCodeForOSR", CC "(" HS_RESOLVED_METHOD "II)Z", FN_PTR(hasCompiledCodeForOSR)},
{CC "getSymbol", CC "(J)" STRING, FN_PTR(getSymbol)},
- {CC "lookupSymbol", CC "(" STRING ")J", FN_PTR(lookupSymbol)},
{CC "getNextStackFrame", CC "(" HS_STACK_FRAME_REF "[" RESOLVED_METHOD "I)" HS_STACK_FRAME_REF, FN_PTR(getNextStackFrame)},
{CC "materializeVirtualObjects", CC "(" HS_STACK_FRAME_REF "Z)V", FN_PTR(materializeVirtualObjects)},
{CC "shouldDebugNonSafepoints", CC "()Z", FN_PTR(shouldDebugNonSafepoints)},
--- a/hotspot/src/share/vm/jvmci/jvmciJavaClasses.hpp Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/share/vm/jvmci/jvmciJavaClasses.hpp Fri May 13 06:36:52 2016 +0000
@@ -64,9 +64,6 @@
start_class(HotSpotResolvedJavaMethodImpl) \
long_field(HotSpotResolvedJavaMethodImpl, metaspaceMethod) \
end_class \
- start_class(HotSpotSymbol) \
- long_field(HotSpotSymbol, pointer) \
- end_class \
start_class(InstalledCode) \
long_field(InstalledCode, address) \
long_field(InstalledCode, entryPoint) \
--- a/hotspot/src/share/vm/jvmci/systemDictionary_jvmci.hpp Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/share/vm/jvmci/systemDictionary_jvmci.hpp Fri May 13 06:36:52 2016 +0000
@@ -49,7 +49,6 @@
do_klass(HotSpotJVMCIMetaAccessContext_klass, jdk_vm_ci_hotspot_HotSpotJVMCIMetaAccessContext, Jvmci) \
do_klass(HotSpotJVMCIRuntime_klass, jdk_vm_ci_hotspot_HotSpotJVMCIRuntime, Jvmci) \
do_klass(HotSpotSpeculationLog_klass, jdk_vm_ci_hotspot_HotSpotSpeculationLog, Jvmci) \
- do_klass(HotSpotSymbol_klass, jdk_vm_ci_hotspot_HotSpotSymbol, Jvmci) \
do_klass(Assumptions_ConcreteMethod_klass, jdk_vm_ci_meta_Assumptions_ConcreteMethod, Jvmci) \
do_klass(Assumptions_NoFinalizableSubclass_klass, jdk_vm_ci_meta_Assumptions_NoFinalizableSubclass, Jvmci) \
do_klass(Assumptions_ConcreteSubtype_klass, jdk_vm_ci_meta_Assumptions_ConcreteSubtype, Jvmci) \
--- a/hotspot/src/share/vm/jvmci/vmSymbols_jvmci.hpp Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/share/vm/jvmci/vmSymbols_jvmci.hpp Fri May 13 06:36:52 2016 +0000
@@ -50,7 +50,6 @@
template(jdk_vm_ci_hotspot_HotSpotJVMCIMetaAccessContext, "jdk/vm/ci/hotspot/HotSpotJVMCIMetaAccessContext") \
template(jdk_vm_ci_hotspot_HotSpotJVMCIRuntime, "jdk/vm/ci/hotspot/HotSpotJVMCIRuntime") \
template(jdk_vm_ci_hotspot_HotSpotSpeculationLog, "jdk/vm/ci/hotspot/HotSpotSpeculationLog") \
- template(jdk_vm_ci_hotspot_HotSpotSymbol, "jdk/vm/ci/hotspot/HotSpotSymbol") \
template(jdk_vm_ci_meta_JavaConstant, "jdk/vm/ci/meta/JavaConstant") \
template(jdk_vm_ci_meta_PrimitiveConstant, "jdk/vm/ci/meta/PrimitiveConstant") \
template(jdk_vm_ci_meta_RawConstant, "jdk/vm/ci/meta/RawConstant") \
--- a/hotspot/src/share/vm/opto/escape.cpp Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/src/share/vm/opto/escape.cpp Fri May 13 06:36:52 2016 +0000
@@ -721,7 +721,8 @@
break;
}
#endif
- if (opcode == Op_GetAndSetP || opcode == Op_GetAndSetN) {
+ if (opcode == Op_GetAndSetP || opcode == Op_GetAndSetN ||
+ opcode == Op_CompareAndExchangeN || opcode == Op_CompareAndExchangeP) {
add_local_var_and_edge(n, PointsToNode::NoEscape, adr, NULL);
}
if (adr_type->isa_oopptr() ||
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.code.test/src/jdk/vm/ci/code/test/DataPatchTest.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/test/compiler/jvmci/jdk.vm.ci.code.test/src/jdk/vm/ci/code/test/DataPatchTest.java Fri May 13 06:36:52 2016 +0000
@@ -42,7 +42,6 @@
import jdk.vm.ci.code.site.DataSectionReference;
import jdk.vm.ci.hotspot.HotSpotConstant;
import jdk.vm.ci.hotspot.HotSpotMetaAccessProvider;
-import jdk.vm.ci.hotspot.HotSpotSymbol;
import jdk.vm.ci.hotspot.HotSpotVMConfig;
import jdk.vm.ci.meta.ResolvedJavaType;
@@ -158,32 +157,4 @@
asm.emitPointerRet(ret);
});
}
-
- public static long getConstSymbol(HotSpotMetaAccessProvider meta) {
- HotSpotSymbol symbol = meta.lookupSymbol("java/lang/Object");
- return symbol.getMetaspacePointer();
- }
-
- private void testSymbol(TestCompiler compiler) {
- test(compiler, getMethod("getConstSymbol", HotSpotMetaAccessProvider.class), (HotSpotMetaAccessProvider) metaAccess);
- }
-
- @Test
- public void testInlineSymbol() {
- testSymbol(asm -> {
- HotSpotSymbol symbol = ((HotSpotMetaAccessProvider) metaAccess).lookupSymbol("java/lang/Object");
- Register ret = asm.emitLoadPointer((HotSpotConstant) symbol.asConstant());
- asm.emitPointerRet(ret);
- });
- }
-
- @Test
- public void testSymbolInDataSection() {
- testSymbol(asm -> {
- HotSpotSymbol symbol = ((HotSpotMetaAccessProvider) metaAccess).lookupSymbol("java/lang/Object");
- DataSectionReference ref = asm.emitDataItem((HotSpotConstant) symbol.asConstant());
- Register ret = asm.emitLoadPointer(ref);
- asm.emitPointerRet(ret);
- });
- }
}
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.hotspot.test/src/jdk/vm/ci/hotspot/test/HotSpotConstantReflectionProviderTest.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/test/compiler/jvmci/jdk.vm.ci.hotspot.test/src/jdk/vm/ci/hotspot/test/HotSpotConstantReflectionProviderTest.java Fri May 13 06:36:52 2016 +0000
@@ -100,80 +100,6 @@
CONSTANT_REFLECTION_PROVIDER.readFieldValue(field, receiver);
}
- @Test(dataProvider = "readStableFieldValueDataProvider", dataProviderClass = ReadStableFieldValueDataProvider.class)
- public void testReadStableFieldValue(ResolvedJavaField field, JavaConstant receiver, boolean isDefStab,
- JavaConstant expected) {
- Assert.assertEquals(
- CONSTANT_REFLECTION_PROVIDER.readStableFieldValue(field, receiver, isDefStab),
- expected,
- "Unexpected result:");
- }
-
- @Test(dataProvider = "readStableFieldValueArrayDataProvider", dataProviderClass = ReadStableFieldValueDataProvider.class)
- public void testReadStableFieldValueForArray(ResolvedJavaField field, JavaConstant receiver, boolean isDefStab,
- int arrayDim, JavaConstant expected) {
- JavaConstant result = CONSTANT_REFLECTION_PROVIDER.readStableFieldValue(field, receiver,
- isDefStab);
- boolean resultDefStab = false;
- int resultStableDim = -1;
- try {
- Class<?> hotSpotObjectConstantImplClass = Class.forName(
- "jdk.vm.ci.hotspot.HotSpotObjectConstantImpl");
- Method getStableDimensionMethod = hotSpotObjectConstantImplClass.getDeclaredMethod(
- "getStableDimension");
- Method isDefaultStableMethod = hotSpotObjectConstantImplClass.getDeclaredMethod(
- "isDefaultStable");
- getStableDimensionMethod.setAccessible(true);
- isDefaultStableMethod.setAccessible(true);
- resultDefStab = (boolean) isDefaultStableMethod.invoke(result);
- resultStableDim = (int) getStableDimensionMethod.invoke(result);
- } catch (ReflectiveOperationException e) {
- throw new Error("Unexpected error: " + e, e);
- }
- Assert.assertEquals(resultDefStab, isDefStab,
- "Wrong default stable value for " + result.toString());
- Assert.assertEquals(resultStableDim, arrayDim,
- "Wrong array dimension for " + result.toString());
- Assert.assertEquals(result.toString(), expected.toString(), "Unexpected result:");
- }
-
- @Test(dataProvider = "readStableFieldValueNegativeDataProvider", dataProviderClass = ReadStableFieldValueDataProvider.class, expectedExceptions = {NullPointerException.class})
- public void testNegativeReadStableFieldValue(ResolvedJavaField field, JavaConstant receiver, boolean isDefStab) {
- CONSTANT_REFLECTION_PROVIDER.readStableFieldValue(field, receiver, isDefStab);
- }
-
- @Test(dataProvider = "readConstantFieldValueDataProvider", dataProviderClass = ReadConstantFieldValueDataProvider.class)
- public void testReadConstantFieldValue(ResolvedJavaField field, JavaConstant receiver, JavaConstant expected,
- String testInfo) {
- String msg = String.format("Unexpected result for %s. Field is stable = %s.", testInfo,
- ((HotSpotResolvedJavaField) field).isStable());
- Assert.assertEquals(CONSTANT_REFLECTION_PROVIDER.readConstantFieldValue(field, receiver),
- expected, msg);
- }
-
- @Test(dataProvider = "readConstantFieldValueNegativeDataProvider", dataProviderClass = ReadConstantFieldValueDataProvider.class, expectedExceptions = {NullPointerException.class})
- public void testNegativeReadConstantFieldValue(ResolvedJavaField field, JavaConstant receiver) {
- CONSTANT_REFLECTION_PROVIDER.readConstantFieldValue(field, receiver);
- }
-
- @Test(dataProvider = "readConstantArrayElementDataProvider", dataProviderClass = ReadConstantArrayElementDataProvider.class)
- public void testReadConstantArrayElement(JavaConstant array, int index, JavaConstant expected, String testInfo) {
- JavaConstant actual = CONSTANT_REFLECTION_PROVIDER.readConstantArrayElement(array, index);
- Assert.assertEquals(actual == null ? "null" : actual.toString(),
- expected == null ? "null" : expected.toString(),
- String.format("Unexpected result while testing %s:", testInfo));
- }
-
- @Test(dataProvider = "readConstantArrayElementForOffsetDataProvider", dataProviderClass = ReadConstantArrayElementDataProvider.class)
- public void testReadConstantArrayElementForOffset(JavaConstant array, long offset, JavaConstant expected,
- String testInfo) {
- JavaConstant actual = CONSTANT_REFLECTION_PROVIDER.readConstantArrayElementForOffset(array,
- offset);
- Assert.assertEquals(actual == null ? "null" : actual.toString(),
- expected == null ? "null" : expected.toString(),
- String.format("Unexpected result while testing %s:", testInfo));
- }
-
@Test(dataProvider = "asJavaTypeDataProvider", dataProviderClass = AsJavaTypeDataProvider.class)
public void testAsJavaType(JavaConstant constant, String expected) {
ResolvedJavaType actual = CONSTANT_REFLECTION_PROVIDER.asJavaType(constant);
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.hotspot.test/src/jdk/vm/ci/hotspot/test/ReadConstantArrayElementDataProvider.java Fri May 13 08:32:20 2016 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,286 +0,0 @@
-/*
- * Copyright (c) 2016, 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 jdk.vm.ci.hotspot.test;
-
-import static jdk.vm.ci.hotspot.test.TestHelper.ARRAYS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.ARRAY_ARRAYS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.CONSTANT_REFLECTION_PROVIDER;
-import static jdk.vm.ci.hotspot.test.TestHelper.DUMMY_CLASS_CONSTANT;
-import static jdk.vm.ci.hotspot.test.TestHelper.DUMMY_CLASS_INSTANCE;
-import static jdk.vm.ci.hotspot.test.TestHelper.getResolvedJavaField;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_STABLE_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STABLE_ARRAYS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STABLE_ARRAY_ARRAYS_MAP;
-
-import java.lang.reflect.Field;
-import java.util.LinkedList;
-import java.util.List;
-import java.util.Map;
-import java.util.stream.Stream;
-
-import jdk.vm.ci.meta.JavaConstant;
-import org.testng.annotations.DataProvider;
-import jdk.internal.misc.Unsafe;
-import jdk.vm.ci.meta.ResolvedJavaField;
-
-public class ReadConstantArrayElementDataProvider {
-
- // Non-stable array fields names mapped to their base offsets and index scale
- private static final List<ArrayFieldParams> NON_STABLE_ARRAY_NAMES = new LinkedList<>();
-
- static {
- NON_STABLE_ARRAY_NAMES.add(
- new ArrayFieldParams("booleanArrayWithValues", Unsafe.ARRAY_BOOLEAN_BASE_OFFSET,
- Unsafe.ARRAY_BOOLEAN_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("byteArrayWithValues",
- Unsafe.ARRAY_BYTE_BASE_OFFSET,
- Unsafe.ARRAY_BYTE_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("shortArrayWithValues",
- Unsafe.ARRAY_SHORT_BASE_OFFSET,
- Unsafe.ARRAY_SHORT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("charArrayWithValues",
- Unsafe.ARRAY_CHAR_BASE_OFFSET,
- Unsafe.ARRAY_CHAR_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("intArrayWithValues",
- Unsafe.ARRAY_INT_BASE_OFFSET,
- Unsafe.ARRAY_INT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("longArrayWithValues",
- Unsafe.ARRAY_LONG_BASE_OFFSET,
- Unsafe.ARRAY_LONG_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("floatArrayWithValues",
- Unsafe.ARRAY_FLOAT_BASE_OFFSET,
- Unsafe.ARRAY_FLOAT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("doubleArrayWithValues",
- Unsafe.ARRAY_DOUBLE_BASE_OFFSET,
- Unsafe.ARRAY_DOUBLE_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("objectArrayWithValues",
- Unsafe.ARRAY_BOOLEAN_BASE_OFFSET,
- Unsafe.ARRAY_BOOLEAN_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("booleanArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("byteArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("shortArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("charArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("intArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("longArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("floatArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("doubleArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- NON_STABLE_ARRAY_NAMES.add(new ArrayFieldParams("objectArrayArrayWithValues",
- Unsafe.ARRAY_OBJECT_BASE_OFFSET,
- Unsafe.ARRAY_OBJECT_INDEX_SCALE));
- }
-
- // Stable array fields names mapped to their base offsets and index scale
- private static final List<ArrayFieldParams> STABLE_ARRAY_NAMES = new LinkedList<>();
-
- static {
- NON_STABLE_ARRAY_NAMES.stream().forEach((entry) -> {
- String nsFieldName = entry.name;
- char firstChar = nsFieldName.charAt(0);
- char newFirstChar = Character.toUpperCase(firstChar);
- String sFieldName = nsFieldName.replaceFirst("" + firstChar,
- "" + newFirstChar);
- sFieldName = "stable" + sFieldName;
- STABLE_ARRAY_NAMES.add(new ArrayFieldParams(sFieldName, entry.offsetBase, entry.scale));
- });
- }
-
- @DataProvider(name = "readConstantArrayElementDataProvider")
- public static Object[][] readConstantArrayElementDataProvider() {
- LinkedList<Object[]> cfgSet = new LinkedList<>();
- for (int i : new int[]{0, 1}) {
- NON_STABLE_ARRAY_NAMES.stream().forEach((entry) -> {
- String fieldName = entry.name;
- cfgSet.add(new Object[]{
- readFieldValue(fieldName),
- i,
- null,
- "array field \"" + fieldName + "\" for index " + i});
- });
- STABLE_ARRAY_NAMES.stream().forEach((entry) -> {
- String fieldName = entry.name;
- cfgSet.add(new Object[]{
- readFieldValue(fieldName),
- i,
- i == 0 ? getJavaConstant(fieldName) : null,
- "array field \"" + fieldName + "\" for index " + i});
- });
- }
- Stream<Map.Entry<ResolvedJavaField, JavaConstant>> arraysStream1 = Stream.concat(ARRAYS_MAP.entrySet().stream(),
- ARRAY_ARRAYS_MAP.entrySet().stream());
- Stream<Map.Entry<ResolvedJavaField, JavaConstant>> arraysStream2 = Stream.concat(STABLE_ARRAYS_MAP.entrySet().stream(),
- STABLE_ARRAY_ARRAYS_MAP.entrySet().stream());
- Stream.concat(arraysStream1, arraysStream2).forEach((array) -> {
- for (int i : new int[]{-1, 2}) {
- cfgSet.add(new Object[]{
- array.getValue(),
- i,
- null,
- "array field \"" + array.getKey() + "\" for index " + i});
- }
- });
- cfgSet.add(new Object[]{null, 0, null, "null"});
- cfgSet.add(new Object[]{JavaConstant.NULL_POINTER, 0, null, "JavaConstant.NULL_POINTER"});
- INSTANCE_FIELDS_MAP.values().forEach((constant) -> {
- cfgSet.add(new Object[]{constant, 0, null, "non-stable non-array field"});
- });
- INSTANCE_STABLE_FIELDS_MAP.values().forEach((constant) -> {
- cfgSet.add(new Object[]{constant, 0, null, "stable non-array field"});
- });
- return cfgSet.toArray(new Object[0][0]);
- }
-
- @DataProvider(name = "readConstantArrayElementForOffsetDataProvider")
- public static Object[][] readConstantArrayElementForOffsetDataProvider() {
- LinkedList<Object[]> cfgSet = new LinkedList<>();
- // Testing non-stable arrays. Result should be null in all cases
- for (double i : new double[]{-1, 0, 0.5, 1, 1.5, 2}) {
- NON_STABLE_ARRAY_NAMES.stream().forEach(entry -> {
- String fieldName = entry.name;
- long offset = (long) (entry.offsetBase + i * entry.scale);
- cfgSet.add(new Object[]{
- readFieldValue(fieldName),
- offset,
- null,
- "array field \"" + fieldName + "\" for offset " + offset});
- });
- }
- // Testing stable arrays. Result should be null in all cases except "offset = base + 0"
- for (double i : new double[]{-1, 0.5, 1, 1.5, 2}) {
- STABLE_ARRAY_NAMES.stream().forEach(entry -> {
- String fieldName = entry.name;
- long offset = (long) Math.ceil(entry.offsetBase + i * entry.scale);
- cfgSet.add(new Object[]{
- readFieldValue(fieldName),
- offset,
- null,
- "array field \"" + fieldName + "\" for offset " + offset});
- });
- }
- // Testing stable arrays "offset = base + 0". Result should be non-null
- STABLE_ARRAY_NAMES.stream().forEach(entry -> {
- String fieldName = entry.name;
- long offset = (long) entry.offsetBase;
- cfgSet.add(new Object[]{
- readFieldValue(fieldName),
- offset,
- getJavaConstant(fieldName),
- "array field \"" + fieldName + "\" for offset " + offset});
- });
- // Testing null as array
- cfgSet.add(new Object[]{null, 0, null, "null"});
- // Testing JavaConstant.NULL_POINTER as array
- cfgSet.add(new Object[]{JavaConstant.NULL_POINTER, 0, null, "JavaConstant.NULL_POINTER"});
- // Testing non-stable non-array fields
- INSTANCE_FIELDS_MAP.values().forEach((constant) -> {
- cfgSet.add(new Object[]{constant, 0, null, "non-stable non-array field"});
- });
- // Testing stable non-array fields
- INSTANCE_STABLE_FIELDS_MAP.values().forEach((constant) -> {
- cfgSet.add(new Object[]{constant, 0, null, "stable non-array field"});
- });
- return cfgSet.toArray(new Object[0][0]);
- }
-
- private static JavaConstant readFieldValue(String fieldName) {
- return CONSTANT_REFLECTION_PROVIDER.readFieldValue(getResolvedJavaField(DummyClass.class, fieldName),
- DUMMY_CLASS_CONSTANT);
- }
-
- private static JavaConstant getJavaConstant(String fieldName) {
- Class<DummyClass> dummyClass = DummyClass.class;
- Field arrayField;
- try {
- arrayField = dummyClass.getDeclaredField(fieldName);
- } catch (NoSuchFieldException ex) {
- throw new Error("Test bug: wrong field name " + ex, ex);
- } catch (SecurityException ex) {
- throw new Error("Unexpected error: " + ex, ex);
- }
- arrayField.setAccessible(true);
- Class<?> componentType = arrayField.getType().getComponentType();
- if (componentType == null) {
- throw new Error("Test error: field is not an array");
- }
- Object value;
- try {
- value = arrayField.get(DUMMY_CLASS_INSTANCE);
- } catch (IllegalArgumentException | IllegalAccessException ex) {
- throw new Error("Unexpected error: " + ex, ex);
- }
- if (componentType == boolean.class) {
- return JavaConstant.forBoolean(((boolean[]) value)[0]);
- }
- if (componentType == byte.class) {
- return JavaConstant.forByte(((byte[]) value)[0]);
- }
- if (componentType == short.class) {
- return JavaConstant.forShort(((short[]) value)[0]);
- }
- if (componentType == char.class) {
- return JavaConstant.forChar(((char[]) value)[0]);
- }
- if (componentType == int.class) {
- return JavaConstant.forInt(((int[]) value)[0]);
- }
- if (componentType == long.class) {
- return JavaConstant.forLong(((long[]) value)[0]);
- }
- if (componentType == float.class) {
- return JavaConstant.forFloat(((float[]) value)[0]);
- }
- if (componentType == double.class) {
- return JavaConstant.forDouble(((double[]) value)[0]);
- }
- return CONSTANT_REFLECTION_PROVIDER.forObject(((Object[]) value)[0]);
- }
-
- private static class ArrayFieldParams {
- public final String name;
- public final int offsetBase;
- public final int scale;
-
- ArrayFieldParams(String name, int offsetBase, int scale) {
- this.name = name;
- this.offsetBase = offsetBase;
- this.scale = scale;
- }
- }
-}
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.hotspot.test/src/jdk/vm/ci/hotspot/test/ReadConstantFieldValueDataProvider.java Fri May 13 08:32:20 2016 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,111 +0,0 @@
-/*
- * Copyright (c) 2016, 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 jdk.vm.ci.hotspot.test;
-
-import static jdk.vm.ci.hotspot.test.TestHelper.DUMMY_CLASS_CONSTANT;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_STABLE_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_FINAL_DEFAULT_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_FINAL_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_STABLE_DEFAULT_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STATIC_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STATIC_FINAL_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STATIC_STABLE_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STATIC_STABLE_DEFAULT_FIELDS_MAP;
-
-import java.util.LinkedList;
-import jdk.vm.ci.hotspot.HotSpotJVMCIRuntime;
-import jdk.vm.ci.meta.JavaConstant;
-import org.testng.annotations.DataProvider;
-
-public class ReadConstantFieldValueDataProvider {
-
- @DataProvider(name = "readConstantFieldValueDataProvider")
- public static Object[][] readConstantFieldValueDataProvider() {
- LinkedList<Object[]> cfgSet = new LinkedList<>();
- // Testing static final fields
- STATIC_FINAL_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(), null, field.getValue(), "static final field"});
- });
- // Testing static stable fields
- STATIC_STABLE_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(), null, field.getValue(), "static stable field"});
- });
- // Testing instance final non-default fields
- INSTANCE_FINAL_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(),
- DUMMY_CLASS_CONSTANT,
- field.getValue(),
- "instance final field"});
- });
- // Testing instance final default fields.
- boolean trustDefFinal = HotSpotJVMCIRuntime.Option.TrustFinalDefaultFields.getBoolean();
- INSTANCE_FINAL_DEFAULT_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- JavaConstant expected = trustDefFinal ? field.getValue() : null;
- cfgSet.add(new Object[]{field.getKey(),
- DUMMY_CLASS_CONSTANT,
- expected,
- "instance final default field"});
- });
- // Testing instance stable non-default fields
- INSTANCE_STABLE_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(),
- DUMMY_CLASS_CONSTANT,
- field.getValue(),
- "instance stable field"});
- });
- // Testing instance stable default fields
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(),
- DUMMY_CLASS_CONSTANT,
- null,
- "instance stable default field"});
- });
- // Testing regular instance fields
- INSTANCE_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(), DUMMY_CLASS_CONSTANT, null, "instance field"});
- });
- // Testing regular static fields
- STATIC_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(), null, null, "static field"});
- });
- // Testing static stable fields
- STATIC_STABLE_DEFAULT_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(), null, null, "static stable default field"});
- });
- return cfgSet.toArray(new Object[0][0]);
- }
-
- @DataProvider(name = "readConstantFieldValueNegativeDataProvider")
- public static Object[][] readConstantFieldValueNegativeDataProvider() {
- LinkedList<Object[]> cfgSet = new LinkedList<>();
- // Testing instance fields with null as receiver
- INSTANCE_FIELDS_MAP.entrySet().stream().forEach((field) -> {
- cfgSet.add(new Object[]{field.getKey(), null});
- });
- // Testing null as a field argument
- cfgSet.add(new Object[]{null, null});
- return cfgSet.toArray(new Object[0][0]);
- }
-}
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.hotspot.test/src/jdk/vm/ci/hotspot/test/ReadStableFieldValueDataProvider.java Fri May 13 08:32:20 2016 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,161 +0,0 @@
-/*
- * Copyright (c) 2016, 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 jdk.vm.ci.hotspot.test;
-
-import static jdk.vm.ci.hotspot.test.TestHelper.ARRAYS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.ARRAY_ARRAYS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.CONSTANT_REFLECTION_PROVIDER;
-import static jdk.vm.ci.hotspot.test.TestHelper.DUMMY_CLASS_CONSTANT;
-import static jdk.vm.ci.hotspot.test.TestHelper.DUMMY_CLASS_INSTANCE;
-import static jdk.vm.ci.hotspot.test.TestHelper.STABLE_ARRAYS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STABLE_ARRAY_ARRAYS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_STABLE_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.INSTANCE_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STATIC_FIELDS_MAP;
-import static jdk.vm.ci.hotspot.test.TestHelper.STATIC_STABLE_FIELDS_MAP;
-
-import java.util.LinkedList;
-import jdk.vm.ci.meta.JavaConstant;
-import org.testng.annotations.DataProvider;
-
-public class ReadStableFieldValueDataProvider {
-
- @DataProvider(name = "readStableFieldValueDataProvider")
- public static Object[][] readStableFieldValueDataProvider() {
- LinkedList<Object[]> cfgSet = new LinkedList<>();
- for (boolean isDefStab : new boolean[]{true, false}) {
- // Testing instance non-stable fields
- INSTANCE_FIELDS_MAP.entrySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField.getKey(),
- DUMMY_CLASS_CONSTANT,
- isDefStab,
- instanceField.getValue()});
- });
- // Testing static non-stable fields with null as receiver
- STATIC_FIELDS_MAP.entrySet().stream().forEach((staticField) -> {
- cfgSet.add(new Object[]{staticField.getKey(),
- null,
- isDefStab,
- staticField.getValue()});
- });
- // Testing static non-stable fields with JavaConstant.NULL_POINTER as receiver
- STATIC_FIELDS_MAP.entrySet().stream().forEach((staticField) -> {
- cfgSet.add(new Object[]{staticField.getKey(),
- JavaConstant.NULL_POINTER,
- isDefStab,
- staticField.getValue()});
- });
- // Testing instance stable fields
- INSTANCE_STABLE_FIELDS_MAP.entrySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField.getKey(),
- DUMMY_CLASS_CONSTANT,
- isDefStab,
- instanceField.getValue()});
- });
- // Testing static stable fields with null as receiver
- STATIC_STABLE_FIELDS_MAP.entrySet().stream().forEach((staticField) -> {
- cfgSet.add(new Object[]{staticField.getKey(),
- null,
- isDefStab,
- staticField.getValue()});
- });
- // Testing static stable fields with JavaConstant.NULL_POINTER as receiver
- STATIC_STABLE_FIELDS_MAP.entrySet().stream().forEach((staticField) -> {
- cfgSet.add(new Object[]{staticField.getKey(),
- JavaConstant.NULL_POINTER,
- isDefStab,
- staticField.getValue()});
- });
- // Testing instance fields with JavaConstant.NULL_POINTER as receiver
- INSTANCE_FIELDS_MAP.entrySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField.getKey(),
- JavaConstant.NULL_POINTER,
- isDefStab,
- null});
- });
- // Testing instance fields with an object that does not have the field
- INSTANCE_FIELDS_MAP.entrySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField.getKey(),
- CONSTANT_REFLECTION_PROVIDER.forObject(DUMMY_CLASS_INSTANCE.objectField),
- isDefStab,
- null});
- });
- }
- return cfgSet.toArray(new Object[0][0]);
- }
-
- @DataProvider(name = "readStableFieldValueArrayDataProvider")
- public static Object[][] readStableFieldValueArrayDataProvider() {
- LinkedList<Object[]> cfgSet = new LinkedList<>();
- for (boolean isDefStab : new boolean[]{true, false}) {
- // Testing instance non-stable array fields
- ARRAYS_MAP.entrySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField.getKey(),
- DUMMY_CLASS_CONSTANT,
- isDefStab,
- TestHelper.ARRAY_DIMENSION,
- instanceField.getValue()});
- });
- // Testing instance stable array fields
- STABLE_ARRAYS_MAP.entrySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField.getKey(),
- DUMMY_CLASS_CONSTANT,
- isDefStab,
- TestHelper.ARRAY_DIMENSION,
- instanceField.getValue()});
- });
- // Testing instance non-stable array-of-array fields
- ARRAY_ARRAYS_MAP.entrySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField.getKey(),
- DUMMY_CLASS_CONSTANT,
- isDefStab,
- TestHelper.ARRAY_OF_ARRAYS_DIMENSION,
- instanceField.getValue()});
- });
- // Testing instance stable array-of-array fields
- STABLE_ARRAY_ARRAYS_MAP.entrySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField.getKey(),
- DUMMY_CLASS_CONSTANT,
- isDefStab,
- TestHelper.ARRAY_OF_ARRAYS_DIMENSION,
- instanceField.getValue()});
- });
- }
- return cfgSet.toArray(new Object[0][0]);
- }
-
- @DataProvider(name = "readStableFieldValueNegativeDataProvider")
- public static Object[][] readStableFieldValueNegativeDataProvider() {
- LinkedList<Object[]> cfgSet = new LinkedList<>();
- for (boolean isDefStab : new boolean[]{true, false}) {
- // Testing instance fields with null as receiver
- INSTANCE_FIELDS_MAP.keySet().stream().forEach((instanceField) -> {
- cfgSet.add(new Object[]{instanceField, null, isDefStab});
- });
- // Testing null as a field argument
- cfgSet.add(new Object[]{null, null, isDefStab});
- }
- return cfgSet.toArray(new Object[0][0]);
- }
-}
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.hotspot.test/src/jdk/vm/ci/hotspot/test/TestHelper.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/test/compiler/jvmci/jdk.vm.ci.hotspot.test/src/jdk/vm/ci/hotspot/test/TestHelper.java Fri May 13 06:36:52 2016 +0000
@@ -157,47 +157,6 @@
DUMMY_CLASS_INSTANCE.stableObjectField));
}
- public static final Map<ResolvedJavaField, JavaConstant> INSTANCE_STABLE_DEFAULT_FIELDS_MAP = new HashMap<>();
-
- static {
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultBooleanField"),
- JavaConstant.forBoolean(
- DUMMY_CLASS_INSTANCE.stableDefaultBooleanField));
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultByteField"),
- JavaConstant.forByte(
- DUMMY_CLASS_INSTANCE.stableDefaultByteField));
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultShortField"),
- JavaConstant.forShort(
- DUMMY_CLASS_INSTANCE.stableDefaultShortField));
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultCharField"),
- JavaConstant.forChar(
- DUMMY_CLASS_INSTANCE.stableDefaultCharField));
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultIntField"),
- JavaConstant.forInt(
- DUMMY_CLASS_INSTANCE.stableDefaultIntField));
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultLongField"),
- JavaConstant.forLong(
- DUMMY_CLASS_INSTANCE.stableDefaultLongField));
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultFloatField"),
- JavaConstant.forFloat(
- DUMMY_CLASS_INSTANCE.stableDefaultFloatField));
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultDoubleField"),
- JavaConstant.forDouble(
- DUMMY_CLASS_INSTANCE.stableDefaultDoubleField));
- INSTANCE_STABLE_DEFAULT_FIELDS_MAP.put(getResolvedJavaField(DummyClass.class,
- "stableDefaultObjectField"),
- CONSTANT_REFLECTION_PROVIDER.forObject(
- DUMMY_CLASS_INSTANCE.stableDefaultObjectField));
- }
-
public static final Map<ResolvedJavaField, JavaConstant> STATIC_FIELDS_MAP = new HashMap<>();
static {
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.runtime.test/src/jdk/vm/ci/runtime/test/TestResolvedJavaField.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/test/compiler/jvmci/jdk.vm.ci.runtime.test/src/jdk/vm/ci/runtime/test/TestResolvedJavaField.java Fri May 13 06:36:52 2016 +0000
@@ -37,7 +37,6 @@
import static org.junit.Assert.assertArrayEquals;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertFalse;
-import static org.junit.Assert.assertNull;
import static org.junit.Assert.assertTrue;
import java.lang.annotation.Annotation;
@@ -45,12 +44,9 @@
import java.lang.reflect.Method;
import java.util.Arrays;
import java.util.HashSet;
-import java.util.List;
import java.util.Map;
import java.util.Set;
-import jdk.vm.ci.meta.JavaConstant;
-import jdk.vm.ci.meta.LocationIdentity;
import jdk.vm.ci.meta.ResolvedJavaField;
import jdk.vm.ci.meta.ResolvedJavaMethod;
@@ -103,43 +99,6 @@
}
}
- @Test
- public void getLocationIdentityTest() {
- for (Map.Entry<Field, ResolvedJavaField> e : fields.entrySet()) {
- LocationIdentity identity = e.getValue().getLocationIdentity();
- assertTrue(identity != null);
- }
- }
-
- static class ReadConstantValueTestConstants {
- String stringField = "field";
- final String constantStringField = "constantField";
-
- static final Object CONST1 = new ReadConstantValueTestConstants();
- static final Object CONST2 = null;
- static final Object CONST3 = new String();
- }
-
- @Test
- public void readConstantValueTest() throws NoSuchFieldException {
- ResolvedJavaField field = metaAccess.lookupJavaField(ReadConstantValueTestConstants.class.getDeclaredField("stringField"));
- List<ConstantValue> receiverConstants = readConstants(ReadConstantValueTestConstants.class);
- for (ConstantValue receiver : receiverConstants) {
- JavaConstant value = constantReflection.readConstantFieldValue(field, receiver.value);
- assertNull(value);
- }
-
- ResolvedJavaField constField = metaAccess.lookupJavaField(ReadConstantValueTestConstants.class.getDeclaredField("constantStringField"));
- for (ConstantValue receiver : receiverConstants) {
- JavaConstant value = constantReflection.readConstantFieldValue(constField, receiver.value);
- if (value != null) {
- Object expected = "constantField";
- String actual = ((ReadConstantValueTestConstants) receiver.boxed).constantStringField;
- assertTrue(actual + " != " + expected, actual == expected);
- }
- }
- }
-
private Method findTestMethod(Method apiMethod) {
String testName = apiMethod.getName() + "Test";
for (Method m : getClass().getDeclaredMethods()) {
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.runtime.test/src/jdk/vm/ci/runtime/test/TestResolvedJavaType.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/test/compiler/jvmci/jdk.vm.ci.runtime.test/src/jdk/vm/ci/runtime/test/TestResolvedJavaType.java Fri May 13 06:36:52 2016 +0000
@@ -328,6 +328,7 @@
} else {
assertTrue(leafConcreteSubtype.getResult().equals(expected));
}
+ assertTrue(!type.isLeaf() || leafConcreteSubtype.isAssumptionFree());
}
if (!type.isArray()) {
@@ -372,8 +373,10 @@
ResolvedJavaType a1a = metaAccess.lookupJavaType(Abstract1[].class);
checkConcreteSubtype(a1a, null);
+ ResolvedJavaType i1a = metaAccess.lookupJavaType(Interface1[].class);
+ checkConcreteSubtype(i1a, null);
ResolvedJavaType c1a = metaAccess.lookupJavaType(Concrete1[].class);
- checkConcreteSubtype(c1a, null);
+ checkConcreteSubtype(c1a, c1a);
ResolvedJavaType f1a = metaAccess.lookupJavaType(Final1[].class);
checkConcreteSubtype(f1a, f1a);
--- a/hotspot/test/compiler/jvmci/jdk.vm.ci.runtime.test/src/jdk/vm/ci/runtime/test/TypeUniverse.java Fri May 13 08:32:20 2016 +0200
+++ b/hotspot/test/compiler/jvmci/jdk.vm.ci.runtime.test/src/jdk/vm/ci/runtime/test/TypeUniverse.java Fri May 13 06:36:52 2016 +0000
@@ -183,7 +183,7 @@
if (boxed instanceof JavaConstant) {
res.add(new ConstantValue(javaField.format("%H.%n"), (JavaConstant) boxed, boxed));
} else {
- JavaConstant value = constantReflection.readConstantFieldValue(javaField, null);
+ JavaConstant value = constantReflection.readFieldValue(javaField, null);
if (value != null) {
res.add(new ConstantValue(javaField.format("%H.%n"), value, boxed));
if (boxed instanceof Object[]) {