com.oracle.graal.pointsto.flow

Class OffsetLoadTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<org.graalvm.compiler.nodes.ValueNode>

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow

Direct Known Subclasses:

OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow, OffsetLoadTypeFlow.LoadIndexedTypeFlow

public abstract class OffsetLoadTypeFlow
extends TypeFlow<org.graalvm.compiler.nodes.ValueNode>

The abstract class for offset load flows (i.e. indexed loads, unsafe loads at offset, java read loads).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow
static class	OffsetLoadTypeFlow.AtomicReadTypeFlow
static class	OffsetLoadTypeFlow.JavaReadTypeFlow
static class	OffsetLoadTypeFlow.LoadIndexedTypeFlow Implements an indexed load operation type flow.
static class	OffsetLoadTypeFlow.UnsafeLoadTypeFlow
static class	OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow

Field Summary

Fields

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

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
OffsetLoadTypeFlow(BigBang bb, MethodFlowsGraph methodFlows, OffsetLoadTypeFlow original)
OffsetLoadTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType componentType, TypeFlow<?> objectFlow, MethodTypeFlow methodFlow)

Method Summary

Modifier and Type	Method and Description
boolean	addState(BigBang bb, TypeState add)
TypeState	getObjectState()
abstract void	onObservedUpdate(BigBang bb) Notify the observer that the observed type flow state has changed.
TypeFlow<?>	receiver() Some flow have a reciver (e.g., loads, store and invokes).

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, clearUses, context, copy, doAddObserver, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, removeInput, removeObservee, removeObserver, removeUse, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, toString, update

Methods inherited from class java.lang.Object

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

Field Detail

objectFlow

protected final TypeFlow<?> objectFlow

The type flow of the receiver object of the load operation.

Constructor Detail

OffsetLoadTypeFlow

public OffsetLoadTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                          AnalysisType componentType,
                          TypeFlow<?> objectFlow,
                          MethodTypeFlow methodFlow)

OffsetLoadTypeFlow

public OffsetLoadTypeFlow(BigBang bb,
                          MethodFlowsGraph methodFlows,
                          OffsetLoadTypeFlow original)

Method Detail

addState

public boolean addState(BigBang bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<org.graalvm.compiler.nodes.ValueNode>

onObservedUpdate

public abstract void onObservedUpdate(BigBang bb)

Description copied from class: TypeFlow

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

Overrides:

onObservedUpdate in class TypeFlow<org.graalvm.compiler.nodes.ValueNode>

receiver

public TypeFlow<?> receiver()

Description copied from class: TypeFlow

Some flow have a reciver (e.g., loads, store and invokes).

Overrides:

receiver in class TypeFlow<org.graalvm.compiler.nodes.ValueNode>

getObjectState

public TypeState getObjectState()