com.oracle.graal.pointsto.flow

Class InvokeTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<org.graalvm.compiler.nodes.java.MethodCallTargetNode>

com.oracle.graal.pointsto.flow.InvokeTypeFlow

Direct Known Subclasses:

AbstractVirtualInvokeTypeFlow

public abstract class InvokeTypeFlow
extends TypeFlow<org.graalvm.compiler.nodes.java.MethodCallTargetNode>

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeFlow<?>[]	actualParameters Actual parameters passed to the callee.
protected ActualReturnTypeFlow	actualReturn Result type flow returned by the callee.
protected org.graalvm.compiler.nodes.Invoke	invoke
protected BytecodeLocation	location
protected InvokeTypeFlow	originalInvoke

Fields inherited from class com.oracle.graal.pointsto.flow.TypeFlow

context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InvokeTypeFlow(BigBang bb, MethodFlowsGraph methodFlows, InvokeTypeFlow original)
protected	InvokeTypeFlow(org.graalvm.compiler.nodes.Invoke invoke, org.graalvm.compiler.nodes.java.MethodCallTargetNode target, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location)

Method Summary

Modifier and Type	Method and Description
int	actualParametersCount()
boolean	addState(BigBang bb, TypeState add)
boolean	canBeStaticallyBound() Checks if this invoke can be statically bound.
TypeFlow<?>	getActualParameter(int index)
TypeFlow<?>[]	getActualParameters()
TypeFlow<?>	getActualReturn()
abstract Collection<AnalysisMethod>	getCallees() Returns the callees that were linked at this invoke.
abstract Collection<MethodFlowsGraph>	getCalleesFlows(BigBang bb) Returns the context sensitive method flows for the callees resolved for the invoke type flow.
org.graalvm.compiler.debug.DebugContext	getDebug()
BytecodeLocation	getLocation()
TypeFlow<?>	getReceiver()
TypeFlow<?>	getResult()
AnalysisMethod	getTargetMethod()
org.graalvm.compiler.nodes.Invoke	invoke()
protected void	linkCallee(BigBang bb, boolean isStatic, MethodFlowsGraph calleeFlows)
void	setActualReturn(ActualReturnTypeFlow actualReturn)
protected void	updateReceiver(BigBang bb, MethodFlowsGraph calleeFlows, AnalysisObject receiverObject)
protected void	updateReceiver(BigBang bb, MethodFlowsGraph calleeFlows, TypeState receiverTypeState)

Methods inherited from class com.oracle.graal.pointsto.flow.TypeFlow

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, clearUses, context, copy, doAddObserver, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, onObservedUpdate, receiver, removeInput, removeObservee, removeObserver, removeUse, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, toString, update

Methods inherited from class java.lang.Object

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

Field Detail

location

protected final BytecodeLocation location

actualParameters

protected final TypeFlow<?>[] actualParameters

Actual parameters passed to the callee.

actualReturn

protected ActualReturnTypeFlow actualReturn

Result type flow returned by the callee.

invoke

protected final org.graalvm.compiler.nodes.Invoke invoke

originalInvoke

protected final InvokeTypeFlow originalInvoke

Constructor Detail

InvokeTypeFlow

protected InvokeTypeFlow(org.graalvm.compiler.nodes.Invoke invoke,
                         org.graalvm.compiler.nodes.java.MethodCallTargetNode target,
                         TypeFlow<?>[] actualParameters,
                         ActualReturnTypeFlow actualReturn,
                         BytecodeLocation location)

InvokeTypeFlow

protected InvokeTypeFlow(BigBang bb,
                         MethodFlowsGraph methodFlows,
                         InvokeTypeFlow original)

Method Detail

getLocation

public BytecodeLocation getLocation()

getDebug

public org.graalvm.compiler.debug.DebugContext getDebug()

getTargetMethod

public AnalysisMethod getTargetMethod()

actualParametersCount

public int actualParametersCount()

invoke

public org.graalvm.compiler.nodes.Invoke invoke()

getActualParameters

public TypeFlow<?>[] getActualParameters()

getReceiver

public TypeFlow<?> getReceiver()

getActualParameter

public TypeFlow<?> getActualParameter(int index)

getActualReturn

public TypeFlow<?> getActualReturn()

setActualReturn

public void setActualReturn(ActualReturnTypeFlow actualReturn)

getResult

public TypeFlow<?> getResult()

addState

public boolean addState(BigBang bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<org.graalvm.compiler.nodes.java.MethodCallTargetNode>

updateReceiver

protected void updateReceiver(BigBang bb,
                              MethodFlowsGraph calleeFlows,
                              AnalysisObject receiverObject)

updateReceiver

protected void updateReceiver(BigBang bb,
                              MethodFlowsGraph calleeFlows,
                              TypeState receiverTypeState)

linkCallee

protected void linkCallee(BigBang bb,
                          boolean isStatic,
                          MethodFlowsGraph calleeFlows)

getCallees

public abstract Collection<AnalysisMethod> getCallees()

Returns the callees that were linked at this invoke. If this is an invoke clone it returns the callees registered with the clone. If this is the original invoke it returns the current registered callees of all clones.

canBeStaticallyBound

public boolean canBeStaticallyBound()

Checks if this invoke can be statically bound.

First we check if the call target can be trivially statically bound (i.e., it is final or private or static, but not abstract, or the declaring class is final).

If it cannot be trivially statically bound then we look at the number of callees. Iff the invoke links to one and only one callee then it can be statically bound. In the corner case where the invoke doesn't link to any callee this method concludes that it cannot be statically bound. If the invoke doesn't link to any callee then it is unreachable, i.e., it has no implementation, and should be removed by the analysis client.

getCalleesFlows

public abstract Collection<MethodFlowsGraph> getCalleesFlows(BigBang bb)

Returns the context sensitive method flows for the callees resolved for the invoke type flow. That means that for each callee only those method flows corresponding to contexts reached from this invoke are returned.