Examples with ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType used on opensource projects

Example 16 with ResolvedJavaType

use of jdk.vm.ci.meta.ResolvedJavaType in project graal by oracle.

the class SubstrateGraphKit method returnStamp.

private Stamp returnStamp(Signature signature) {
    JavaType returnType = signature.getReturnType(null);
    JavaKind returnKind = signature.getReturnKind();
    if (returnKind == JavaKind.Object && returnType instanceof ResolvedJavaType) {
        return StampFactory.object(TypeReference.createTrustedWithoutAssumptions((ResolvedJavaType) returnType));
    } else {
        return getLoweringProvider().loadStamp(StampFactory.forKind(returnKind), signature.getReturnKind());
    }
}

Example 17 with ResolvedJavaType

use of jdk.vm.ci.meta.ResolvedJavaType in project graal by oracle.

the class HotSpotClassInitializationPlugin method shouldApply.

@Override
public boolean shouldApply(GraphBuilderContext builder, ResolvedJavaType type) {
    if (!builder.parsingIntrinsic()) {
        if (!type.isArray()) {
            ResolvedJavaMethod method = builder.getGraph().method();
            ResolvedJavaType methodHolder = method.getDeclaringClass();
            return !type.isAssignableFrom(methodHolder) || type.isInterface();
        } else if (!type.getComponentType().isPrimitive()) {
            // Always apply to object array types
            return true;
        }
    }
    return false;
}

Example 18 with ResolvedJavaType

use of jdk.vm.ci.meta.ResolvedJavaType in project graal by oracle.

the class HotSpotWordOperationPlugin method createLoadIndexedNode.

@Override
protected LoadIndexedNode createLoadIndexedNode(ValueNode array, ValueNode index) {
    ResolvedJavaType arrayType = StampTool.typeOrNull(array);
    Stamp componentStamp = wordTypes.getWordStamp(arrayType.getComponentType());
    if (componentStamp instanceof MetaspacePointerStamp) {
        return new LoadIndexedPointerNode(componentStamp, array, index);
    } else {
        return super.createLoadIndexedNode(array, index);
    }
}

Example 19 with ResolvedJavaType

use of jdk.vm.ci.meta.ResolvedJavaType in project graal by oracle.

the class MethodHandleNode method maybeCastArgument.

/**
 * Inserts a node to cast the argument at index to the given type if the given type is more
 * concrete than the argument type.
 *
 * @param adder
 * @param index of the argument to be cast
 * @param type the type the argument should be cast to
 */
private static void maybeCastArgument(GraphAdder adder, ValueNode[] arguments, int index, JavaType type) {
    ValueNode argument = arguments[index];
    if (type instanceof ResolvedJavaType && !((ResolvedJavaType) type).isJavaLangObject()) {
        Assumptions assumptions = adder.getAssumptions();
        TypeReference targetType = TypeReference.create(assumptions, (ResolvedJavaType) type);
        /*
             * When an argument is a Word type, we can have a mismatch of primitive/object types
             * here. Not inserting a PiNode is a safe fallback, and Word types need no additional
             * type information anyway.
             */
        if (targetType != null && !targetType.getType().isPrimitive() && !argument.getStackKind().isPrimitive()) {
            ResolvedJavaType argumentType = StampTool.typeOrNull(argument.stamp(NodeView.DEFAULT));
            if (argumentType == null || (argumentType.isAssignableFrom(targetType.getType()) && !argumentType.equals(targetType.getType()))) {
                LogicNode inst = InstanceOfNode.createAllowNull(targetType, argument, null, null);
                assert !inst.isAlive();
                if (!inst.isTautology()) {
                    inst = adder.add(inst);
                    AnchoringNode guardAnchor = adder.getGuardAnchor();
                    DeoptimizationReason reason = DeoptimizationReason.ClassCastException;
                    DeoptimizationAction action = DeoptimizationAction.InvalidateRecompile;
                    JavaConstant speculation = JavaConstant.NULL_POINTER;
                    GuardingNode guard;
                    if (guardAnchor == null) {
                        FixedGuardNode fixedGuard = adder.add(new FixedGuardNode(inst, reason, action, speculation, false));
                        guard = fixedGuard;
                    } else {
                        GuardNode newGuard = adder.add(new GuardNode(inst, guardAnchor, reason, action, false, speculation));
                        adder.add(new ValueAnchorNode(newGuard));
                        guard = newGuard;
                    }
                    ValueNode valueNode = adder.add(PiNode.create(argument, StampFactory.object(targetType), guard.asNode()));
                    arguments[index] = valueNode;
                }
            }
        }
    }
}

Example 20 with ResolvedJavaType

use of jdk.vm.ci.meta.ResolvedJavaType in project graal by oracle.

the class BasicArrayCopyNode method checkEntryTypes.

private static boolean checkEntryTypes(int srcPos, int length, VirtualObjectNode src, ResolvedJavaType destComponentType, VirtualizerTool tool) {
    if (destComponentType.getJavaKind() == JavaKind.Object && !destComponentType.isJavaLangObject()) {
        for (int i = 0; i < length; i++) {
            ValueNode entry = tool.getEntry(src, srcPos + i);
            ResolvedJavaType type = StampTool.typeOrNull(entry);
            if (type == null || !destComponentType.isAssignableFrom(type)) {
                return false;
            }
        }
    }
    return true;
}