com.oracle.graal.pointsto.flow

Class OffsetStoreTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow

Direct Known Subclasses:

OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow, OffsetStoreTypeFlow.StoreIndexedTypeFlow

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

The abstract class for offset store flows (i.e. indexed stores, unsafe stores at offset, java writes). The type state of the offset store reflects the that of the stored value. The offset store observes the type state changes in the receiver object, it implements TypeFlowObserver.When the state of the receiver object changes the offset store type flow is notified and it propagates its state, i.e., the one of the stored value, to the corresponding array elements flows (in case of indexed stores) or field flows (in case of unsafe stores).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow
static class	OffsetStoreTypeFlow.AtomicWriteTypeFlow Implements an atomic read and write operation type flow.
static class	OffsetStoreTypeFlow.CompareAndSwapTypeFlow Implements an unsafe compare and swap operation type flow.
static class	OffsetStoreTypeFlow.JavaWriteTypeFlow Implements the raw memory store operation type flow.
static class	OffsetStoreTypeFlow.StoreIndexedTypeFlow Implements the type flow of an indexed store operation.
static class	OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow
static class	OffsetStoreTypeFlow.UnsafeStoreTypeFlow Implements an unsafe store operation type flow.

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeFlow<?>	objectFlow The flow of the receiver object.

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
OffsetStoreTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, OffsetStoreTypeFlow original)
OffsetStoreTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType objectType, AnalysisType componentType, TypeFlow<?> objectFlow, TypeFlow<?> valueFlow)

Method Summary

Modifier and Type	Method and Description
abstract boolean	addState(PointsToAnalysis bb, TypeState add)
abstract TypeFlow<jdk.vm.ci.code.BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	getObjectState() Return the state of the receiver object.
void	onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed) Notified by an observed flow that it is saturated.
abstract void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
TypeFlow<?>	receiver() Some flows have a receiver (e.g., loads, store and invokes).
void	setObserved(TypeFlow<?> newObjectFlow) Set the type flow that this flow is observing.

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, canSaturate, context, 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, onSaturated, 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

Field Detail

objectFlow

protected TypeFlow<?> objectFlow

The flow of the receiver object.

Constructor Detail

OffsetStoreTypeFlow

public OffsetStoreTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                           AnalysisType objectType,
                           AnalysisType componentType,
                           TypeFlow<?> objectFlow,
                           TypeFlow<?> valueFlow)

OffsetStoreTypeFlow

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

Method Detail

receiver

public TypeFlow<?> receiver()

Description copied from class: TypeFlow

Some flows have a receiver (e.g., loads, store and invokes).

Overrides:

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

getObjectState

public TypeState getObjectState()

Return the state of the receiver object.

copy

public abstract TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(PointsToAnalysis bb,
                                                               MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

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

addState

public abstract boolean addState(PointsToAnalysis bb,
                                 TypeState add)

Overrides:

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

setObserved

public void setObserved(TypeFlow<?> newObjectFlow)

Description copied from class: TypeFlow

Set the type flow that this flow is observing.

Overrides:

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

onObservedUpdate

public abstract 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>