com.oracle.graal.replacements.nodes

Class ResolvedMethodHandleCallTargetNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.CallTargetNode

com.oracle.graal.nodes.java.MethodCallTargetNode

com.oracle.graal.replacements.nodes.ResolvedMethodHandleCallTargetNode

All Implemented Interfaces:

IterableNodeType, NodeInterface, Simplifiable, LIRLowerable, Lowerable, Cloneable, Formattable, KindProvider

public final class ResolvedMethodHandleCallTargetNode
extends MethodCallTargetNode
implements Lowerable

A call target that replaces itself in the graph when being lowered by restoring the original MethodHandle invocation target. Prior to https://bugs.openjdk.java.net/browse/JDK-8072008, this is required for when a MethodHandle call is resolved to a constant target but the target was not inlined. In that case, the original invocation must be restored with all of its original arguments. Why? HotSpot linkage for MethodHandle intrinsics (see MethodHandles::generate_method_handle_dispatch) expects certain implicit arguments to be on the stack such as the MemberName suffix argument for a call to one of the MethodHandle.linkTo* methods. An resolved MethodHandle invocation drops these arguments which means the interpreter won't find them.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.nodes.CallTargetNode

CallTargetNode.InvokeKind

Nested classes/interfaces inherited from class com.oracle.graal.graph.Node

Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Field Summary

Fields

Modifier and Type	Field and Description
(package private) NodeInputList<ValueNode>	originalArguments
protected JavaType	originalReturnType
protected ResolvedJavaMethod	originalTargetMethod
static NodeClass<ResolvedMethodHandleCallTargetNode>	TYPE

Fields inherited from class com.oracle.graal.nodes.java.MethodCallTargetNode

profile, returnType

Fields inherited from class com.oracle.graal.nodes.CallTargetNode

arguments, invokeKind, targetMethod

Fields inherited from class com.oracle.graal.nodes.ValueNode

stamp

Fields inherited from class com.oracle.graal.graph.Node

NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ResolvedMethodHandleCallTargetNode(CallTargetNode.InvokeKind invokeKind, ResolvedJavaMethod targetMethod, ValueNode[] arguments, JavaType returnType, ResolvedJavaMethod originalTargetMethod, ValueNode[] originalArguments, JavaType originalReturnType)

Method Summary

Modifier and Type	Method and Description
static MethodCallTargetNode	create(CallTargetNode.InvokeKind invokeKind, ResolvedJavaMethod targetMethod, ValueNode[] arguments, JavaType returnType, ResolvedJavaMethod originalTargetMethod, ValueNode[] originalArguments, JavaType originalReturnType) Creates a call target for an invocation on a direct target derived by resolving a constant MethodHandle.
void	generate(NodeLIRBuilderTool gen)
void	lower(LoweringTool tool) Expand this node into lower level nodes expressing the same semantics.

Methods inherited from class com.oracle.graal.nodes.java.MethodCallTargetNode

find, findSpecialCallTarget, getProfile, invoke, isStatic, receiver, returnKind, returnStamp, returnType, simplify, targetName, toString, verify

Methods inherited from class com.oracle.graal.nodes.CallTargetNode

arguments, invokeKind, setInvokeKind, setTargetMethod, targetMethod

Methods inherited from class com.oracle.graal.nodes.ValueNode

asConstant, asJavaConstant, asNode, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp

Methods inherited from class com.oracle.graal.graph.Node

acceptInputs, acceptSuccessors, afterClone, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearSuccessors, copyWithInputs, copyWithInputs, equals, fail, formatTo, getDebugProperties, getDebugProperties, getId, getNodeClass, getUsageAt, getUsageCount, hashCode, hasNoUsages, hasUsages, inputs, isAlive, isDeleted, markDeleted, modCount, newIdentityMap, newIdentityMap, newIdentityMap, newMap, newMap, newMap, newSet, newSet, predecessor, pushInputs, removeUsage, replaceAndDelete, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceFirstInput, replaceFirstSuccessor, safeDelete, successors, toString, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.oracle.graal.nodes.spi.Lowerable

asNode

Field Detail

TYPE

public static final NodeClass<ResolvedMethodHandleCallTargetNode> TYPE

originalTargetMethod

protected final ResolvedJavaMethod originalTargetMethod

originalReturnType

protected final JavaType originalReturnType

originalArguments

NodeInputList<ValueNode> originalArguments

Constructor Detail

ResolvedMethodHandleCallTargetNode

protected ResolvedMethodHandleCallTargetNode(CallTargetNode.InvokeKind invokeKind,
                                             ResolvedJavaMethod targetMethod,
                                             ValueNode[] arguments,
                                             JavaType returnType,
                                             ResolvedJavaMethod originalTargetMethod,
                                             ValueNode[] originalArguments,
                                             JavaType originalReturnType)

Method Detail

create

public static MethodCallTargetNode create(CallTargetNode.InvokeKind invokeKind,
                                          ResolvedJavaMethod targetMethod,
                                          ValueNode[] arguments,
                                          JavaType returnType,
                                          ResolvedJavaMethod originalTargetMethod,
                                          ValueNode[] originalArguments,
                                          JavaType originalReturnType)

Creates a call target for an invocation on a direct target derived by resolving a constant MethodHandle.

lower

public void lower(LoweringTool tool)

Description copied from interface: Lowerable

Expand this node into lower level nodes expressing the same semantics. If the introduced nodes are themselves lowerable, they should be recursively lowered as part of this call.

Specified by:

lower in interface Lowerable

generate

public void generate(NodeLIRBuilderTool gen)

Specified by:

generate in interface LIRLowerable

Overrides:

generate in class CallTargetNode