com.oracle.graal.pointsto.flow

Class InvokeTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition>

com.oracle.graal.pointsto.flow.InvokeTypeFlow

All Implemented Interfaces:

InvokeInfo

Direct Known Subclasses:

AbstractSpecialInvokeTypeFlow, AbstractVirtualInvokeTypeFlow

public abstract class InvokeTypeFlow
extends TypeFlow<jdk.vm.ci.code.BytecodePosition>
implements InvokeInfo

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 BytecodeLocation	location
protected InvokeTypeFlow	originalInvoke
protected AnalysisType	receiverType
protected PointsToAnalysisMethod	targetMethod

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(jdk.vm.ci.code.BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location)
protected	InvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, InvokeTypeFlow original)

Method Summary

Modifier and Type	Method and Description
int	actualParametersCount()
boolean	addState(PointsToAnalysis bb, TypeState add)
boolean	canBeStaticallyBound() Checks if this invoke can be statically bound.
static AbstractVirtualInvokeTypeFlow	createContextInsensitiveInvoke(PointsToAnalysis bb, PointsToAnalysisMethod method, jdk.vm.ci.code.BytecodePosition originalLocation) Create an unique, per method, context insensitive invoke.
protected TypeState	filterReceiverState(PointsToAnalysis bb, TypeState invokeState) When the type flow constraints are relaxed the receiver object state can contain types that are not part of the receiver's type hierarchy.
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(PointsToAnalysis bb) Returns the context sensitive method flows for the callees resolved for the invoke type flow.
jdk.vm.ci.code.BytecodePosition	getPosition()
TypeFlow<?>	getReceiver()
AnalysisType	getReceiverType()
TypeFlow<?>	getResult()
PointsToAnalysisMethod	getTargetMethod()
static void	initContextInsensitiveInvoke(PointsToAnalysis bb, AnalysisMethod method, InvokeTypeFlow invoke) Register the context insensitive invoke flow as an observer of its receiver type, i.e., the declaring class of its target method.
static boolean	isContextInsensitiveVirtualInvoke(InvokeTypeFlow invoke)
protected void	linkCallee(PointsToAnalysis bb, boolean isStatic, MethodFlowsGraph calleeFlows)
void	setActualReturn(ActualReturnTypeFlow actualReturn)
void	setObserved(TypeFlow<?> newReceiver) Set the type flow that this flow is observing.
protected void	updateReceiver(PointsToAnalysis bb, MethodFlowsGraph calleeFlows, AnalysisObject receiverObject)
protected void	updateReceiver(PointsToAnalysis bb, MethodFlowsGraph calleeFlows, TypeState receiverTypeState)

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, canSaturate, context, copy, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, toString, update

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.pointsto.meta.InvokeInfo

isDirectInvoke

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.

originalInvoke

protected final InvokeTypeFlow originalInvoke

receiverType

protected final AnalysisType receiverType

targetMethod

protected final PointsToAnalysisMethod targetMethod

Constructor Detail

InvokeTypeFlow

protected InvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation,
                         AnalysisType receiverType,
                         PointsToAnalysisMethod targetMethod,
                         TypeFlow<?>[] actualParameters,
                         ActualReturnTypeFlow actualReturn,
                         BytecodeLocation location)

InvokeTypeFlow

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

Method Detail

getReceiverType

public AnalysisType getReceiverType()

getTargetMethod

public PointsToAnalysisMethod getTargetMethod()

Specified by:

getTargetMethod in interface InvokeInfo

actualParametersCount

public int actualParametersCount()

getActualParameters

public TypeFlow<?>[] getActualParameters()

getReceiver

public TypeFlow<?> getReceiver()

setObserved

public void setObserved(TypeFlow<?> newReceiver)

Description copied from class: TypeFlow

Set the type flow that this flow is observing.

Overrides:

setObserved in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

getActualParameter

public TypeFlow<?> getActualParameter(int index)

getActualReturn

public TypeFlow<?> getActualReturn()

setActualReturn

public void setActualReturn(ActualReturnTypeFlow actualReturn)

getResult

public TypeFlow<?> getResult()

addState

public boolean addState(PointsToAnalysis bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

filterReceiverState

protected TypeState filterReceiverState(PointsToAnalysis bb,
                                        TypeState invokeState)

When the type flow constraints are relaxed the receiver object state can contain types that are not part of the receiver's type hierarchy. We filter those out.

updateReceiver

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

updateReceiver

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

linkCallee

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

isContextInsensitiveVirtualInvoke

public static boolean isContextInsensitiveVirtualInvoke(InvokeTypeFlow invoke)

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.

Specified by:

getCallees in interface InvokeInfo

getPosition

public jdk.vm.ci.code.BytecodePosition getPosition()

Specified by:

getPosition in interface InvokeInfo

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.

Specified by:

canBeStaticallyBound in interface InvokeInfo

getCalleesFlows

public abstract Collection<MethodFlowsGraph> getCalleesFlows(PointsToAnalysis 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.

createContextInsensitiveInvoke

public static AbstractVirtualInvokeTypeFlow createContextInsensitiveInvoke(PointsToAnalysis bb,
                                                                           PointsToAnalysisMethod method,
                                                                           jdk.vm.ci.code.BytecodePosition originalLocation)

Create an unique, per method, context insensitive invoke. The context insensitive invoke uses the receiver type of the method, i.e., its declaring class. Therefore this invoke will link with all possible callees.

initContextInsensitiveInvoke

public static void initContextInsensitiveInvoke(PointsToAnalysis bb,
                                                AnalysisMethod method,
                                                InvokeTypeFlow invoke)

Register the context insensitive invoke flow as an observer of its receiver type, i.e., the declaring class of its target method. This also triggers an update of the context insensitive invoke, linking all callees.