com.oracle.graal.replacements.nodes

Class MethodHandleNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.FixedNode

com.oracle.graal.nodes.FixedWithNextNode

com.oracle.graal.replacements.nodes.MacroNode

com.oracle.graal.replacements.nodes.MacroStateSplitNode

com.oracle.graal.replacements.nodes.MethodHandleNode

All Implemented Interfaces:

NodeInterface, Simplifiable, MemoryCheckpoint, MemoryCheckpoint.Single, MemoryNode, Lowerable, NodeWithState, StateSplit, Cloneable, Formattable, KindProvider

public final class MethodHandleNode
extends MacroStateSplitNode
implements Simplifiable

Node for invocation methods defined on the class MethodHandle.

Nested Class Summary

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

Nested classes/interfaces inherited from interface com.oracle.graal.nodes.memory.MemoryCheckpoint

MemoryCheckpoint.Multi, MemoryCheckpoint.Single, MemoryCheckpoint.TypeAssertion

Field Summary

Fields

Modifier and Type	Field and Description
protected MethodHandleAccessProvider.IntrinsicMethod	intrinsicMethod
static NodeClass<MethodHandleNode>	TYPE

Fields inherited from class com.oracle.graal.replacements.nodes.MacroStateSplitNode

stateAfter

Fields inherited from class com.oracle.graal.replacements.nodes.MacroNode

arguments, bci, invokeKind, returnType, targetMethod

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

next

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

Constructor and Description
MethodHandleNode(MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod, CallTargetNode.InvokeKind invokeKind, ResolvedJavaMethod targetMethod, int bci, JavaType returnType, ValueNode... arguments)

Method Summary

Modifier and Type	Method and Description
private static InvokeNode	createTargetInvokeNode(MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod, ResolvedJavaMethod target, ResolvedJavaMethod original, int bci, JavaType returnType, ValueNode[] arguments) Creates an InvokeNode for the given target method.
private static InvokeNode	getInvokeBasicTarget(Assumptions assumptions, MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod, MethodHandleAccessProvider methodHandleAccess, ResolvedJavaMethod original, int bci, JavaType returnType, ValueNode[] arguments) Used for the MethodHandle.invokeBasic method (the MethodHandleAccessProvider.IntrinsicMethod.INVOKE_BASIC method) to get the target InvokeNode if the method handle receiver is constant.
private static InvokeNode	getLinkToTarget(Assumptions assumptions, MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod, MethodHandleAccessProvider methodHandleAccess, ResolvedJavaMethod original, int bci, JavaType returnType, ValueNode[] arguments) Used for the MethodHandle.linkTo* methods (the MethodHandleAccessProvider.IntrinsicMethod.LINK_TO_STATIC, MethodHandleAccessProvider.IntrinsicMethod.LINK_TO_SPECIAL, MethodHandleAccessProvider.IntrinsicMethod.LINK_TO_VIRTUAL, and MethodHandleAccessProvider.IntrinsicMethod.LINK_TO_INTERFACE methods) to get the target InvokeNode if the member name argument is constant.
private static ValueNode	getMemberName(ValueNode[] arguments) Get the MemberName argument of a MethodHandle.linkTo* call.
private static ValueNode	getReceiver(ValueNode[] arguments) Get the receiver of a MethodHandle.invokeBasic call.
private static InvokeNode	getTargetInvokeNode(Assumptions assumptions, MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod, int bci, JavaType returnType, ValueNode[] arguments, ResolvedJavaMethod target, ResolvedJavaMethod original) Helper function to get the InvokeNode for the targetMethod of a java.lang.invoke.MemberName.
private static void	maybeCastArgument(ValueNode[] arguments, int index, JavaType type) Inserts a node to cast the argument at index to the given type if the given type is more concrete than the argument type.
void	simplify(SimplifierTool tool) Must be overridden by subclasses that implement Simplifiable.
static InvokeNode	tryResolveTargetInvoke(Assumptions assumptions, MethodHandleAccessProvider methodHandleAccess, MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod, ResolvedJavaMethod original, int bci, JavaType returnType, ValueNode... arguments) Attempts to transform application of an intrinsifiable MethodHandle method into an invocation on another method with possibly transformed arguments.

Methods inherited from class com.oracle.graal.replacements.nodes.MacroStateSplitNode

getLocationIdentity, hasSideEffect, replaceSnippetInvokes, setStateAfter, stateAfter

Methods inherited from class com.oracle.graal.replacements.nodes.MacroNode

createInvoke, getBci, getLoweredSnippetGraph, getLoweredSubstitutionGraph, getReturnType, getTargetMethod, lower, lowerReplacement, replaceWithInvoke

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

asNode, next, setNext

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

verify

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

asConstant, asJavaConstant, 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, 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.StateSplit

asNode

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

states

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

asNode

Field Detail

TYPE

public static final NodeClass<MethodHandleNode> TYPE

intrinsicMethod

protected final MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod

Constructor Detail

MethodHandleNode

public MethodHandleNode(MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod,
                        CallTargetNode.InvokeKind invokeKind,
                        ResolvedJavaMethod targetMethod,
                        int bci,
                        JavaType returnType,
                        ValueNode... arguments)

Method Detail

tryResolveTargetInvoke

public static InvokeNode tryResolveTargetInvoke(Assumptions assumptions,
                                                MethodHandleAccessProvider methodHandleAccess,
                                                MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod,
                                                ResolvedJavaMethod original,
                                                int bci,
                                                JavaType returnType,
                                                ValueNode... arguments)

Attempts to transform application of an intrinsifiable MethodHandle method into an invocation on another method with possibly transformed arguments.

Parameters:

assumptions - object for recording any speculations made during the transformation

methodHandleAccess - objects for accessing the implementation internals of a MethodHandle

intrinsicMethod - denotes the intrinsifiable MethodHandle method being processed

bci - the BCI of the original MethodHandle call

returnType - return type of the original MethodHandle call

arguments - arguments to the original MethodHandle call

Returns:

a more direct invocation derived from the MethodHandle call or null

simplify

public void simplify(SimplifierTool tool)

Description copied from class: Node

Must be overridden by subclasses that implement Simplifiable. The implementation in Node exists to obviate the need to cast a node before invoking Simplifiable.simplify(SimplifierTool).

Specified by:

simplify in interface Simplifiable

Overrides:

simplify in class Node

getReceiver

private static ValueNode getReceiver(ValueNode[] arguments)

Get the receiver of a MethodHandle.invokeBasic call.

Returns:

the receiver argument node

getMemberName

private static ValueNode getMemberName(ValueNode[] arguments)

Get the MemberName argument of a MethodHandle.linkTo* call.

Returns:

the MemberName argument node (which is the last argument)

getInvokeBasicTarget

private static InvokeNode getInvokeBasicTarget(Assumptions assumptions,
                                               MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod,
                                               MethodHandleAccessProvider methodHandleAccess,
                                               ResolvedJavaMethod original,
                                               int bci,
                                               JavaType returnType,
                                               ValueNode[] arguments)

Used for the MethodHandle.invokeBasic method (the MethodHandleAccessProvider.IntrinsicMethod.INVOKE_BASIC method) to get the target InvokeNode if the method handle receiver is constant.

Returns:

invoke node for the MethodHandle target

getLinkToTarget

private static InvokeNode getLinkToTarget(Assumptions assumptions,
                                          MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod,
                                          MethodHandleAccessProvider methodHandleAccess,
                                          ResolvedJavaMethod original,
                                          int bci,
                                          JavaType returnType,
                                          ValueNode[] arguments)

Used for the MethodHandle.linkTo* methods (the MethodHandleAccessProvider.IntrinsicMethod.LINK_TO_STATIC, MethodHandleAccessProvider.IntrinsicMethod.LINK_TO_SPECIAL, MethodHandleAccessProvider.IntrinsicMethod.LINK_TO_VIRTUAL, and MethodHandleAccessProvider.IntrinsicMethod.LINK_TO_INTERFACE methods) to get the target InvokeNode if the member name argument is constant.

Returns:

invoke node for the member name target

getTargetInvokeNode

private static InvokeNode getTargetInvokeNode(Assumptions assumptions,
                                              MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod,
                                              int bci,
                                              JavaType returnType,
                                              ValueNode[] arguments,
                                              ResolvedJavaMethod target,
                                              ResolvedJavaMethod original)

Helper function to get the InvokeNode for the targetMethod of a java.lang.invoke.MemberName.

Parameters:

target - the target, already loaded from the member name node

Returns:

invoke node for the member name target

maybeCastArgument

private static void maybeCastArgument(ValueNode[] arguments,
                                      int index,
                                      JavaType type)

Inserts a node to cast the argument at index to the given type if the given type is more concrete than the argument type.

Parameters:

index - of the argument to be cast

type - the type the argument should be cast to

createTargetInvokeNode

private static InvokeNode createTargetInvokeNode(MethodHandleAccessProvider.IntrinsicMethod intrinsicMethod,
                                                 ResolvedJavaMethod target,
                                                 ResolvedJavaMethod original,
                                                 int bci,
                                                 JavaType returnType,
                                                 ValueNode[] arguments)

Creates an InvokeNode for the given target method. The CallTargetNode passed to the InvokeNode is in fact a ResolvedMethodHandleCallTargetNode.

Returns:

invoke node for the member name target