com.oracle.graal.pointsto.flow

Class InvokeTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<BytecodePosition>

com.oracle.graal.pointsto.flow.InvokeTypeFlow

All Implemented Interfaces:

InvokeInfo

Direct Known Subclasses:

AbstractVirtualInvokeTypeFlow, DirectInvokeTypeFlow

public abstract class InvokeTypeFlow
extends TypeFlow<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 boolean	allOriginalCallees Flag to monitor whether all callees are original or not.
protected com.oracle.svm.common.meta.MultiMethod.MultiMethodKey	callerMultiMethodKey The multi-method key for the method which contains this invoke type flow.
protected boolean	isContextInsensitive
protected InvokeTypeFlow	originalInvoke
protected AnalysisType	receiverType
protected PointsToAnalysisMethod	targetMethod

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

declaredType, graphRef, id, inQueue, nextId, source, state

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)
protected	InvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, InvokeTypeFlow original)

Method Summary

Modifier and Type	Method and Description
int	actualParametersCount()
boolean	canBeStaticallyBound() Checks if this invoke can be statically bound.
protected TypeState	filterReceiverState(PointsToAnalysis bb, TypeState receiverState) 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>	getAllCallees() Retrieves list of all callees.
protected abstract Collection<MethodFlowsGraph>	getAllCalleesFlows(PointsToAnalysis bb) Returns the context sensitive method flows for the callees resolved for the invoke type flow.
abstract Collection<AnalysisMethod>	getAllComputedCallees() Returns all callees which have been computed for this method.
com.oracle.svm.common.meta.MultiMethod.MultiMethodKey	getCallerMultiMethodKey()
Collection<AnalysisMethod>	getOriginalCallees() Returns the callees that were linked at this invoke.
Collection<MethodFlowsGraph>	getOriginalCalleesFlows(PointsToAnalysis bb) Same as InvokeTypeFlow.getAllCalleesFlows(com.oracle.graal.pointsto.PointsToAnalysis), except that this method only returns calleesFlows whose multimethodkey is MultiMethod.ORIGINAL_METHOD and also are guaranteed to be AnalysisMethod.isImplementationInvoked().
InvokeTypeFlow	getOriginalInvoke()
BytecodePosition	getPosition()
TypeFlow<?>	getReceiver()
AnalysisType	getReceiverType()
TypeFlow<?>	getResult()
PointsToAnalysisMethod	getTargetMethod()
boolean	isContextInsensitive()
static boolean	isContextInsensitiveVirtualInvoke(InvokeTypeFlow invoke)
protected void	linkCallee(PointsToAnalysis bb, boolean isStatic, MethodFlowsGraphInfo calleeFlows)
void	linkReturn(PointsToAnalysis bb, boolean isStatic, MethodFlowsGraphInfo calleeFlows)
void	markAsContextInsensitive()
void	setActualReturn(PointsToAnalysis bb, boolean isStatic, ActualReturnTypeFlow actualReturn)
void	setObserved(TypeFlow<?> newReceiver) Set the type flow that this flow is observing.
protected void	updateReceiver(PointsToAnalysis bb, MethodFlowsGraphInfo calleeFlows, AnalysisObject receiverObject)
protected void	updateReceiver(PointsToAnalysis bb, MethodFlowsGraphInfo calleeFlows, TypeState receiverTypeState)

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, copy, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filter, filterUncheckedInterface, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, toString, update

Methods inherited from class java.lang.Object

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

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

isDeoptInvokeTypeFlow, isDirectInvoke

Field Detail

actualParameters

protected final TypeFlow<?>[] actualParameters

Actual parameters passed to the callee.

actualReturn

protected volatile ActualReturnTypeFlow actualReturn

Result type flow returned by the callee.

originalInvoke

protected final InvokeTypeFlow originalInvoke

receiverType

protected final AnalysisType receiverType

targetMethod

protected final PointsToAnalysisMethod targetMethod

isContextInsensitive

protected boolean isContextInsensitive

callerMultiMethodKey

protected final com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey

The multi-method key for the method which contains this invoke type flow.

allOriginalCallees

protected volatile boolean allOriginalCallees

Flag to monitor whether all callees are original or not. This is used to optimize InvokeTypeFlow.getOriginalCallees().

Constructor Detail

InvokeTypeFlow

protected InvokeTypeFlow(BytecodePosition invokeLocation,
                         AnalysisType receiverType,
                         PointsToAnalysisMethod targetMethod,
                         TypeFlow<?>[] actualParameters,
                         ActualReturnTypeFlow actualReturn,
                         com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)

InvokeTypeFlow

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

Method Detail

markAsContextInsensitive

public void markAsContextInsensitive()

isContextInsensitive

public boolean isContextInsensitive()

Overrides:

isContextInsensitive in class TypeFlow<BytecodePosition>

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()

getOriginalInvoke

public InvokeTypeFlow getOriginalInvoke()

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<BytecodePosition>

getActualParameter

public TypeFlow<?> getActualParameter(int index)

getActualReturn

public TypeFlow<?> getActualReturn()

setActualReturn

public void setActualReturn(PointsToAnalysis bb,
                            boolean isStatic,
                            ActualReturnTypeFlow actualReturn)

getResult

public TypeFlow<?> getResult()

filterReceiverState

protected TypeState filterReceiverState(PointsToAnalysis bb,
                                        TypeState receiverState)

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. With saturation enabled, types not part of the hierarchy may always reach the receiver because:

• FilterTypeFlows saturate to the type of the filter.
• Instanceof checks can create FilterTypeFlows which are not assignable to the receiver type.
• A receiver type can be attached to different inputs (and FilterTypeFlows) based on the optimizations performed on the graph.

Therefore, under no circumstances can this filtering be removed.

updateReceiver

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

updateReceiver

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

linkCallee

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

linkReturn

public void linkReturn(PointsToAnalysis bb,
                       boolean isStatic,
                       MethodFlowsGraphInfo calleeFlows)

isContextInsensitiveVirtualInvoke

public static boolean isContextInsensitiveVirtualInvoke(InvokeTypeFlow invoke)

getOriginalCallees

public Collection<AnalysisMethod> getOriginalCallees()

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:

getOriginalCallees in interface InvokeInfo

getAllCallees

public abstract Collection<AnalysisMethod> getAllCallees()

Description copied from interface: InvokeInfo

Retrieves list of all callees. Note that callees in this list can have a MultiMethodKey different from ORIGINAL_METHOD and also may not be AnalysisMethod.isImplementationInvoked().

Specified by:

getAllCallees in interface InvokeInfo

getAllComputedCallees

public abstract Collection<AnalysisMethod> getAllComputedCallees()

Returns all callees which have been computed for this method. It is possible that these callees have yet to have their typeflow created and also they may not be fully linked.

getPosition

public 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

getAllCalleesFlows

protected abstract Collection<MethodFlowsGraph> getAllCalleesFlows(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. Note that callee flows in this list can have a MultiMethodKey different from MultiMethod.ORIGINAL_METHOD and also may not be AnalysisMethod.isImplementationInvoked().

getOriginalCalleesFlows

public final Collection<MethodFlowsGraph> getOriginalCalleesFlows(PointsToAnalysis bb)

Same as InvokeTypeFlow.getAllCalleesFlows(com.oracle.graal.pointsto.PointsToAnalysis), except that this method only returns calleesFlows whose multimethodkey is MultiMethod.ORIGINAL_METHOD and also are guaranteed to be AnalysisMethod.isImplementationInvoked().

getCallerMultiMethodKey

public com.oracle.svm.common.meta.MultiMethod.MultiMethodKey getCallerMultiMethodKey()