com.oracle.graal.pointsto.flow

Class OffsetStoreTypeFlow.CompareAndSwapTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow.CompareAndSwapTypeFlow

Enclosing class:

OffsetStoreTypeFlow

public static class OffsetStoreTypeFlow.CompareAndSwapTypeFlow
extends OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

Implements an unsafe compare and swap operation type flow.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow

OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow, OffsetStoreTypeFlow.AtomicWriteTypeFlow, OffsetStoreTypeFlow.CompareAndSwapTypeFlow, OffsetStoreTypeFlow.JavaWriteTypeFlow, OffsetStoreTypeFlow.StoreIndexedTypeFlow, OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow, OffsetStoreTypeFlow.UnsafeStoreTypeFlow

Field Summary

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

objectFlow

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

Method Summary

Modifier and Type	Method and Description
OffsetStoreTypeFlow.CompareAndSwapTypeFlow	makeCopy(PointsToAnalysis bb, MethodFlowsGraph methodFlows)
String	toString()

Methods inherited from class com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

addState, copy, initClone, onObservedUpdate

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

getObjectState, onObservedSaturated, receiver, setObserved

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, 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, update

Methods inherited from class java.lang.Object

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

Constructor Detail

CompareAndSwapTypeFlow

public CompareAndSwapTypeFlow(org.graalvm.compiler.nodes.java.UnsafeCompareAndSwapNode node,
                              AnalysisType objectType,
                              AnalysisType componentType,
                              TypeFlow<?> objectFlow,
                              TypeFlow<?> valueFlow)

CompareAndSwapTypeFlow

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

Method Detail

makeCopy

public OffsetStoreTypeFlow.CompareAndSwapTypeFlow makeCopy(PointsToAnalysis bb,
                                                           MethodFlowsGraph methodFlows)

Specified by:

makeCopy in class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

toString

public String toString()

Overrides:

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