org.graalvm.compiler.nodes

Class CallTargetNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.CallTargetNode

All Implemented Interfaces:

Cloneable, Formattable, LIRLowerable, ValueNodeInterface

Direct Known Subclasses:

LoweredCallTargetNode, MethodCallTargetNode, PartialIntrinsicCallTargetNode

public abstract class CallTargetNode
extends ValueNode
implements LIRLowerable

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CallTargetNode.InvokeKind

Nested classes/interfaces inherited from class org.graalvm.compiler.graph.Node

Node.ConstantNodeParameter, Node.EdgeVisitor, Node.IndirectCanonicalization, Node.InjectedNodeParameter, Node.Input, Node.NodeInsertionStackTrace, Node.NodeIntrinsic, Node.NodeIntrinsicFactory, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Field Summary

Fields

Modifier and Type	Field and Description
protected NodeInputList<ValueNode>	arguments
protected CallTargetNode.InvokeKind	invokeKind
protected ResolvedJavaType	referencedType Receiver type referenced at the interface call site.
protected StampPair	returnStamp
protected ResolvedJavaMethod	targetMethod
static NodeClass<CallTargetNode>	TYPE

Fields inherited from class org.graalvm.compiler.nodes.ValueNode

EMPTY_ARRAY, stamp

Fields inherited from class org.graalvm.compiler.graph.Node

NODE_LIST, NOT_ITERABLE, TRACK_CREATION_POSITION, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CallTargetNode(NodeClass<? extends CallTargetNode> c, ValueNode[] arguments, ResolvedJavaMethod targetMethod, CallTargetNode.InvokeKind invokeKind, StampPair returnStamp)

Method Summary

Modifier and Type	Method and Description
NodeInputList<ValueNode>	arguments()
static Stamp	createReturnStamp(Assumptions assumptions, JavaType returnType)
void	generate(NodeLIRBuilderTool gen)
Invoke	invoke()
CallTargetNode.InvokeKind	invokeKind()
ResolvedJavaType	referencedType()
StampPair	returnStamp()
void	setInvokeKind(CallTargetNode.InvokeKind kind)
void	setReferencedType(ResolvedJavaType referencedType)
void	setTargetMethod(ResolvedJavaMethod targetMethod)
ResolvedJavaMethod	targetMethod() Gets the target method for this invocation instruction.
abstract String	targetName() A human-readable representation of the target, used for debug printing only.

Methods inherited from class org.graalvm.compiler.nodes.ValueNode

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isDefaultConstant, isIllegalConstant, isJavaConstant, isNullConstant, isSerializableConstant, recursivelyDataFlowEqualsUpTo, setStamp, stamp, updateStamp, updateUsagesInterface

Methods inherited from class org.graalvm.compiler.graph.Node

afterClone, applyInputs, applySuccessors, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearNodeSourcePosition, clearSuccessors, copyWithInputs, copyWithInputs, dataFlowEquals, dynamicNodeSizeEstimate, estimatedNodeCycles, estimatedNodeSize, fail, formatTo, getCreationPosition, getDebug, getDebugProperties, getDebugProperties, getInsertionPosition, getNodeClass, getNodeSourcePosition, getOptions, getUsageCount, hasExactlyOneUsage, hashCode, hasMoreThanOneUsage, hasNoUsages, hasOnlyUsagesOfType, hasUsages, hasUsagesOfType, inputPositions, inputs, isAlive, isDeleted, isUnregistered, markDeleted, maybeNotifyZeroUsages, modCount, predecessor, pushInputs, removeUsage, replaceAllInputs, replaceAndDelete, replaceAtAllUsages, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsagesAndDelete, replaceAtUsagesAndDelete, replaceFirstInput, replaceFirstSuccessor, safeDelete, setCreationPosition, setInsertionPosition, setNodeSourcePosition, singleUsage, successorPositions, successors, toString, toString, updateNodeSourcePosition, updatePredecessor, updateUsages, usages, valueEquals, verify, verifyEdges, verifyInputs, verifySourcePosition, withNodeSourcePosition

Methods inherited from class java.lang.Object

clone, equals, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TYPE

public static final NodeClass<CallTargetNode> TYPE

arguments

protected NodeInputList<ValueNode> arguments

targetMethod

protected ResolvedJavaMethod targetMethod

referencedType

protected ResolvedJavaType referencedType

Receiver type referenced at the interface call site. We need to distinguish the declaring type from the type referenced at the call site. We must use the referenced type as lower type bound when doing CHA since interface calls must throw exception if the receiver type is not a subtype of the reference type. Example:

 interface I1 {
     void foo();
 }

 interface I2 extends I1 {
 }

 void bar(I2 o) {
     o.foo();
 }
 

Here at the call site the declaring type for foo() is I1, while the referenced type is I2. Only receivers of type T that is T <: I2 should be allowed at the call site. If they are not - an exception should be thrown. Since the interface types are not verified, another way to think about this call site is to rewrite it as follows:

 void bar(Object o) {
     ((I2) o).foo();
 }
 

So, in case the receiver is not a subtype of I2 an exception is thrown.

invokeKind

protected CallTargetNode.InvokeKind invokeKind

returnStamp

protected final StampPair returnStamp

Constructor Detail

CallTargetNode

protected CallTargetNode(NodeClass<? extends CallTargetNode> c,
                         ValueNode[] arguments,
                         ResolvedJavaMethod targetMethod,
                         CallTargetNode.InvokeKind invokeKind,
                         StampPair returnStamp)

Method Detail

arguments

public NodeInputList<ValueNode> arguments()

createReturnStamp

public static Stamp createReturnStamp(Assumptions assumptions,
                                      JavaType returnType)

returnStamp

public StampPair returnStamp()

targetName

public abstract String targetName()

A human-readable representation of the target, used for debug printing only.

generate

public void generate(NodeLIRBuilderTool gen)

Specified by:

generate in interface LIRLowerable

setTargetMethod

public void setTargetMethod(ResolvedJavaMethod targetMethod)

targetMethod

public ResolvedJavaMethod targetMethod()

Gets the target method for this invocation instruction.

Returns:

the target method

setReferencedType

public void setReferencedType(ResolvedJavaType referencedType)

referencedType

public ResolvedJavaType referencedType()

invokeKind

public CallTargetNode.InvokeKind invokeKind()

setInvokeKind

public void setInvokeKind(CallTargetNode.InvokeKind kind)

invoke

public Invoke invoke()