com.oracle.graal.pointsto.flow

Class SourceTypeFlowBase

java.lang.Object

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

com.oracle.graal.pointsto.flow.SourceTypeFlowBase

Direct Known Subclasses:

ConstantTypeFlow, NewInstanceTypeFlow, SourceTypeFlow

public abstract class SourceTypeFlowBase
extends TypeFlow<jdk.vm.ci.code.BytecodePosition>

The all-instantiated type state is defined as the maximum state that is allowed. If our type was just discovered as instantiated, it is not yet part of the "all instantiated" flow (so that updates to the all-instantiated flow can be batched together). Therefore, the type state of this source is "empty" until the "all instantiated" type state gets updated. We discover that by registering ourself as an observer of the all-instantiated type flow, and de-registering ourselves as soon as we change our type from "empty" to the actual exact type. To temporarily suspend updates containing the type that is not in all-instantiated yet we save the state in a temporary, sourceState, which is copied in the type state of the source flow when all-instantiated is updated. After the source state type is added to the all-instantiated state this.state and this.sourceState point to the same state object (due to TypeState.addState() union operation special case optimization). If the type is really never instantiated, i.e., AnalysisType.isInstantiated() is still false at the end of the static analysis, then the rewrite never happens. That is correct, because in this case that type can never be returned by this flow (and the only possible value is null, which is set regardless of the type update).

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeState	sourceState The source state is a temporary buffer for this flow's type state.

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

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

Constructor Summary

Constructors

Constructor and Description
SourceTypeFlowBase(PointsToAnalysis bb, SourceTypeFlowBase original, MethodFlowsGraph methodFlows)
SourceTypeFlowBase(PointsToAnalysis bb, SourceTypeFlowBase original, MethodFlowsGraph methodFlows, TypeState state)
SourceTypeFlowBase(org.graalvm.compiler.nodes.ValueNode node, AnalysisType declaredType, TypeState state)
SourceTypeFlowBase(org.graalvm.compiler.nodes.ValueNode node, TypeState state)

Method Summary

Modifier and Type	Method and Description
boolean	addState(PointsToAnalysis bb, TypeState add)
boolean	canSaturate() Can this type flow saturate? By default all type flows can saturate, with the exception of a few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.
void	initClone(PointsToAnalysis bb) Initialization code for some clone corner case type flows.
protected void	onInputSaturated(PointsToAnalysis bb, TypeFlow<?> input) Notified by an input that it is saturated and it will stop sending updates.
void	onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed) Notified by an observed flow that it is saturated.
void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
protected void	onSaturated(PointsToAnalysis bb) Called when this type flow becomes saturated.

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, context, copy, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, 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

Field Detail

sourceState

protected final TypeState sourceState

The source state is a temporary buffer for this flow's type state. The source state is added to the flow, and propagated to its uses, only when its exact type is added to the all-instantiated type state.

Constructor Detail

SourceTypeFlowBase

public SourceTypeFlowBase(org.graalvm.compiler.nodes.ValueNode node,
                          TypeState state)

SourceTypeFlowBase

public SourceTypeFlowBase(org.graalvm.compiler.nodes.ValueNode node,
                          AnalysisType declaredType,
                          TypeState state)

SourceTypeFlowBase

public SourceTypeFlowBase(PointsToAnalysis bb,
                          SourceTypeFlowBase original,
                          MethodFlowsGraph methodFlows)

SourceTypeFlowBase

public SourceTypeFlowBase(PointsToAnalysis bb,
                          SourceTypeFlowBase original,
                          MethodFlowsGraph methodFlows,
                          TypeState state)

Method Detail

initClone

public void initClone(PointsToAnalysis bb)

Description copied from class: TypeFlow

Initialization code for some clone corner case type flows.

Overrides:

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

onObservedUpdate

public void onObservedUpdate(PointsToAnalysis bb)

Description copied from class: TypeFlow

Notify the observer that the observed type flow state has changed.

Overrides:

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

onObservedSaturated

public void onObservedSaturated(PointsToAnalysis bb,
                                TypeFlow<?> observed)

Description copied from class: TypeFlow

Notified by an observed flow that it is saturated.

Overrides:

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

onInputSaturated

protected void onInputSaturated(PointsToAnalysis bb,
                                TypeFlow<?> input)

Description copied from class: TypeFlow

Notified by an input that it is saturated and it will stop sending updates.

Overrides:

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

onSaturated

protected void onSaturated(PointsToAnalysis bb)

Description copied from class: TypeFlow

Called when this type flow becomes saturated.

Overrides:

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

canSaturate

public boolean canSaturate()

Description copied from class: TypeFlow

Can this type flow saturate? By default all type flows can saturate, with the exception of a few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.

Overrides:

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

addState

public boolean addState(PointsToAnalysis bb,
                        TypeState add)

Overrides:

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