/*
 * Copyright (c) 2013, 2018, 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 org.graalvm.compiler.nodes.extended;

import static org.graalvm.compiler.nodeinfo.NodeCycles.CYCLES_2;
import static org.graalvm.compiler.nodeinfo.NodeSize.SIZE_1;

import org.graalvm.compiler.core.common.type.Stamp;
import org.graalvm.compiler.core.common.type.TypeReference;
import org.graalvm.compiler.debug.GraalError;
import org.graalvm.compiler.graph.Node;
import org.graalvm.compiler.graph.NodeClass;
import org.graalvm.compiler.graph.spi.Canonicalizable;
import org.graalvm.compiler.graph.spi.CanonicalizerTool;
import org.graalvm.compiler.nodeinfo.NodeInfo;
import org.graalvm.compiler.nodes.ConstantNode;
import org.graalvm.compiler.nodes.FixedWithNextNode;
import org.graalvm.compiler.nodes.NodeView;
import org.graalvm.compiler.nodes.ValueNode;
import org.graalvm.compiler.nodes.spi.Lowerable;
import org.graalvm.compiler.nodes.spi.LoweringTool;
import org.graalvm.compiler.nodes.type.StampTool;

import jdk.vm.ci.meta.Assumptions;
import jdk.vm.ci.meta.Assumptions.AssumptionResult;
import jdk.vm.ci.meta.JavaConstant;
import jdk.vm.ci.meta.ResolvedJavaMethod;
import jdk.vm.ci.meta.ResolvedJavaType;

Loads a method from the virtual method table of a given hub.
/** * Loads a method from the virtual method table of a given hub. */
@NodeInfo(cycles = CYCLES_2, size = SIZE_1) public final class LoadMethodNode extends FixedWithNextNode implements Lowerable, Canonicalizable { public static final NodeClass<LoadMethodNode> TYPE = NodeClass.create(LoadMethodNode.class); @Input ValueNode hub; protected final ResolvedJavaMethod method; protected final ResolvedJavaType receiverType;
The caller or context type used to perform access checks when resolving method.
/** * The caller or context type used to perform access checks when resolving {@link #method}. */
protected final ResolvedJavaType callerType; public ValueNode getHub() { return hub; } public LoadMethodNode(@InjectedNodeParameter Stamp stamp, ResolvedJavaMethod method, ResolvedJavaType receiverType, ResolvedJavaType callerType, ValueNode hub) { super(TYPE, stamp); this.receiverType = receiverType; this.callerType = callerType; this.hub = hub; this.method = method; assert method.isConcrete() : "Cannot load abstract method from a hub"; assert method.hasReceiver() : "Cannot load a static method from a hub"; if (!method.isInVirtualMethodTable(receiverType)) { throw new GraalError("%s does not have a vtable entry in type %s", method, receiverType); } } @Override public void lower(LoweringTool tool) { tool.getLowerer().lower(this, tool); } @Override public Node canonical(CanonicalizerTool tool) { if (hub instanceof LoadHubNode) { ValueNode object = ((LoadHubNode) hub).getValue(); TypeReference type = StampTool.typeReferenceOrNull(object); if (type != null) { if (type.isExact()) { return resolveExactMethod(tool, type.getType()); } Assumptions assumptions = graph().getAssumptions(); AssumptionResult<ResolvedJavaMethod> resolvedMethod = type.getType().findUniqueConcreteMethod(method); if (resolvedMethod != null && resolvedMethod.canRecordTo(assumptions) && !type.getType().isInterface() && method.getDeclaringClass().isAssignableFrom(type.getType())) { NodeView view = NodeView.from(tool); resolvedMethod.recordTo(assumptions); return ConstantNode.forConstant(stamp(view), resolvedMethod.getResult().getEncoding(), tool.getMetaAccess()); } } } if (hub.isConstant()) { return resolveExactMethod(tool, tool.getConstantReflection().asJavaType(hub.asConstant())); } return this; }
Find the method which would be loaded.
Params:
  • tool –
  • type – the exact type of object being loaded from
Returns:the method which would be invoked for type or null if it doesn't implement the method
/** * Find the method which would be loaded. * * @param tool * @param type the exact type of object being loaded from * @return the method which would be invoked for {@code type} or null if it doesn't implement * the method */
private Node resolveExactMethod(CanonicalizerTool tool, ResolvedJavaType type) { ResolvedJavaMethod newMethod = type.resolveConcreteMethod(method, callerType); if (newMethod == null) { /* * This really represent a misuse of LoadMethod since we're loading from a class which * isn't known to implement the original method but for now at least fold it away. */ return ConstantNode.forConstant(stamp(NodeView.DEFAULT), JavaConstant.NULL_POINTER, null); } else { return ConstantNode.forConstant(stamp(NodeView.DEFAULT), newMethod.getEncoding(), tool.getMetaAccess()); } } public ResolvedJavaMethod getMethod() { return method; } public ResolvedJavaType getReceiverType() { return receiverType; } public ResolvedJavaType getCallerType() { return callerType; } }