com.oracle.graal.pointsto.flow

Class ArrayCopyTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.ArrayCopyTypeFlow

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

Models the flow transfer of an BasicArrayCopyNode node which intrinsifies calls to System.arraycopy(). This flow registers itself as an observer for both the source and the destination. When either the source or the destination elements change the element flows from source are passed to destination.

Field Summary

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
ArrayCopyTypeFlow(PointsToAnalysis bb, ArrayCopyTypeFlow original, MethodFlowsGraph methodFlows)
ArrayCopyTypeFlow(org.graalvm.compiler.nodes.ValueNode source, AnalysisType declaredType, TypeFlow<?> srcArrayFlow, TypeFlow<?> dstArrayFlow)

Method Summary

Modifier and Type	Method and Description
TypeFlow<jdk.vm.ci.code.BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeFlow<?>	destination()
void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
TypeFlow<?>	source()
String	toString()

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, 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, onObservedSaturated, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, 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

ArrayCopyTypeFlow

public ArrayCopyTypeFlow(org.graalvm.compiler.nodes.ValueNode source,
                         AnalysisType declaredType,
                         TypeFlow<?> srcArrayFlow,
                         TypeFlow<?> dstArrayFlow)

ArrayCopyTypeFlow

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

Method Detail

copy

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

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>

source

public TypeFlow<?> source()

destination

public TypeFlow<?> destination()

toString

public String toString()

Overrides:

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