com.oracle.graal.pointsto.flow

Class CallSiteSensitiveMethodTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.MethodTypeFlow

com.oracle.graal.pointsto.flow.CallSiteSensitiveMethodTypeFlow

public class CallSiteSensitiveMethodTypeFlow
extends MethodTypeFlow

Field Summary

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

flowsGraph, method

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

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

Constructor Summary

Constructors

Constructor and Description
CallSiteSensitiveMethodTypeFlow(org.graalvm.compiler.options.OptionValues options, PointsToAnalysisMethod method)

Method Summary

Modifier and Type	Method and Description
MethodFlowsGraphInfo	addContext(PointsToAnalysis bb, AnalysisContext calleeContext, InvokeTypeFlow reason) Add the context, if not already added, and return the method flows clone from that context.
TypeState	foldTypeFlow(PointsToAnalysis bb, TypeFlow<?> originalTypeFlow) Get a type state containing the union of states over all the clones of the original flow.
Collection<MethodFlowsGraph>	getFlows()
int	getLocalCallingContextDepth()
protected void	initFlowsGraph(PointsToAnalysis bb, List<TypeFlow<?>> postInitFlows) Run type flow initialization.
boolean	isSaturated(PointsToAnalysis bb, TypeFlow<?> originalTypeFlow) Check if the type flow is saturated, i.e., any of its clones is saturated.
void	setAsStubFlow() Signals that a STUB graphkind should be generated upon creation.
String	toString()
boolean	updateFlowsGraph(PointsToAnalysis bb, MethodFlowsGraph.GraphKind newGraphKind, InvokeTypeFlow newParsingReason, boolean forceReparse) Updates the kind of flow graph of associated with the type flow.

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

ensureFlowsGraphCreated, ensureFlowsGraphSealed, flowsGraphCreated, getInvokes, getMethod, getMethodFlowsGraph, getMethodFlowsGraphInfo, getOrCreateMethodFlowsGraphInfo, getParameter, getParsingReason, getReturnedParameterIndex, update

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, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut

Methods inherited from class java.lang.Object

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

Constructor Detail

CallSiteSensitiveMethodTypeFlow

public CallSiteSensitiveMethodTypeFlow(org.graalvm.compiler.options.OptionValues options,
                                       PointsToAnalysisMethod method)

Method Detail

addContext

public MethodFlowsGraphInfo addContext(PointsToAnalysis bb,
                                       AnalysisContext calleeContext,
                                       InvokeTypeFlow reason)

Add the context, if not already added, and return the method flows clone from that context.

initFlowsGraph

protected void initFlowsGraph(PointsToAnalysis bb,
                              List<TypeFlow<?>> postInitFlows)

Description copied from class: MethodTypeFlow

Run type flow initialization. This will trigger state propagation from source flows, link static load/store field flows, publish unsafe load/store flows, etc. The flows that need initialization are collected by TypeFlowGraphBuilder.build(). Their initialization needs to be triggered only after the graph is fully materialized such that lazily constructed type flows (like InovkeTypeFlow.actualReturn) can observe the type state that other flows may generate on initialization.

Overrides:

initFlowsGraph in class MethodTypeFlow

getLocalCallingContextDepth

public int getLocalCallingContextDepth()

getFlows

public Collection<MethodFlowsGraph> getFlows()

Overrides:

getFlows in class MethodTypeFlow

foldTypeFlow

public TypeState foldTypeFlow(PointsToAnalysis bb,
                              TypeFlow<?> originalTypeFlow)

Get a type state containing the union of states over all the clones of the original flow.

Overrides:

foldTypeFlow in class MethodTypeFlow

Parameters:

originalTypeFlow - the original type flow

Returns:

the resulting type state object

isSaturated

public boolean isSaturated(PointsToAnalysis bb,
                           TypeFlow<?> originalTypeFlow)

Check if the type flow is saturated, i.e., any of its clones is saturated.

Overrides:

isSaturated in class MethodTypeFlow

setAsStubFlow

public void setAsStubFlow()

Description copied from class: MethodTypeFlow

Signals that a STUB graphkind should be generated upon creation.

Overrides:

setAsStubFlow in class MethodTypeFlow

updateFlowsGraph

public boolean updateFlowsGraph(PointsToAnalysis bb,
                                MethodFlowsGraph.GraphKind newGraphKind,
                                InvokeTypeFlow newParsingReason,
                                boolean forceReparse)

Description copied from class: MethodTypeFlow

Updates the kind of flow graph of associated with the type flow. If the graph has not yet been created, the type lazily created will be the new kind. Otherwise, a new graph is created and the prior flow information is incorporated into the new graph. When updating the flows graph, the expectation is for the new flowGraph to be a superset of the prior graph. This means that if the graphkind is currently FULL, then it cannot be set as a STUB. Further, when forcing reparsing, the newly generated graph should be a superset of the previous graph.

Overrides:

updateFlowsGraph in class MethodTypeFlow

Returns:

whether a new graph was created

toString

public String toString()

Overrides:

toString in class MethodTypeFlow