com.oracle.graal.nodes.extended

Class UnsafeStoreNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.FixedNode

com.oracle.graal.nodes.FixedWithNextNode

com.oracle.graal.nodes.extended.UnsafeAccessNode

com.oracle.graal.nodes.extended.UnsafeStoreNode

All Implemented Interfaces:

NodeInterface, Canonicalizable, MemoryCheckpoint, MemoryCheckpoint.Single, MemoryNode, Lowerable, NodeWithState, Virtualizable, StateSplit, Cloneable, Formattable, KindProvider

public final class UnsafeStoreNode
extends UnsafeAccessNode
implements StateSplit, Lowerable, Virtualizable, MemoryCheckpoint.Single

Store of a value at a location specified as an offset relative to an object. No null check is performed before the store.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.graph.Node

Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Nested classes/interfaces inherited from interface com.oracle.graal.nodes.memory.MemoryCheckpoint

MemoryCheckpoint.Multi, MemoryCheckpoint.Single, MemoryCheckpoint.TypeAssertion

Nested classes/interfaces inherited from interface com.oracle.graal.graph.spi.Canonicalizable

Canonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Unary<T extends Node>

Field Summary

Fields

Modifier and Type	Field and Description
(package private) FrameState	stateAfter
static NodeClass<UnsafeStoreNode>	TYPE
(package private) ValueNode	value

Fields inherited from class com.oracle.graal.nodes.extended.UnsafeAccessNode

accessKind, locationIdentity, object, offset

Fields inherited from class com.oracle.graal.nodes.FixedWithNextNode

next

Fields inherited from class com.oracle.graal.nodes.ValueNode

stamp

Fields inherited from class com.oracle.graal.graph.Node

NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Constructor and Description
UnsafeStoreNode(ValueNode object, ValueNode offset, ValueNode value, Kind accessKind, LocationIdentity locationIdentity)
UnsafeStoreNode(ValueNode object, ValueNode offset, ValueNode value, Kind accessKind, LocationIdentity locationIdentity, FrameState stateAfter)

Method Summary

Modifier and Type	Method and Description
protected ValueNode	cloneAsArrayAccess(ValueNode location, LocationIdentity identity)
protected ValueNode	cloneAsFieldAccess(ResolvedJavaField field)
FrameState	getState()
boolean	hasSideEffect() Determines if this node has a side-effect.
void	lower(LoweringTool tool) Expand this node into lower level nodes expressing the same semantics.
void	setStateAfter(FrameState x) Sets the FrameState corresponding to the state of the JVM after execution of this node.
FrameState	stateAfter() Gets the FrameState corresponding to the state of the JVM after execution of this node.
ValueNode	value()
void	virtualize(VirtualizerTool tool) A node class can implement this method to convey information about what its effect would be if some of its inputs were virtualized.

Methods inherited from class com.oracle.graal.nodes.extended.UnsafeAccessNode

accessKind, canonical, getLocationIdentity, object, offset

Methods inherited from class com.oracle.graal.nodes.FixedWithNextNode

asNode, next, setNext

Methods inherited from class com.oracle.graal.nodes.FixedNode

verify

Methods inherited from class com.oracle.graal.nodes.ValueNode

asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp

Methods inherited from class com.oracle.graal.graph.Node

acceptInputs, acceptSuccessors, afterClone, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearSuccessors, copyWithInputs, copyWithInputs, equals, fail, formatTo, getDebugProperties, getDebugProperties, getId, getNodeClass, getUsageAt, getUsageCount, hashCode, hasNoUsages, hasUsages, inputs, isAlive, isDeleted, markDeleted, modCount, newIdentityMap, newIdentityMap, newIdentityMap, newMap, newMap, newMap, newSet, newSet, predecessor, pushInputs, removeUsage, replaceAndDelete, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceFirstInput, replaceFirstSuccessor, safeDelete, simplify, successors, toString, toString, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.nodes.StateSplit

asNode

Methods inherited from interface com.oracle.graal.nodes.spi.NodeWithState

states

Methods inherited from interface com.oracle.graal.nodes.spi.Lowerable

asNode

Methods inherited from interface com.oracle.graal.nodes.memory.MemoryCheckpoint.Single

getLocationIdentity

Field Detail

TYPE

public static final NodeClass<UnsafeStoreNode> TYPE

value

ValueNode value

stateAfter

FrameState stateAfter

Constructor Detail

UnsafeStoreNode

public UnsafeStoreNode(ValueNode object,
                       ValueNode offset,
                       ValueNode value,
                       Kind accessKind,
                       LocationIdentity locationIdentity)

UnsafeStoreNode

public UnsafeStoreNode(ValueNode object,
                       ValueNode offset,
                       ValueNode value,
                       Kind accessKind,
                       LocationIdentity locationIdentity,
                       FrameState stateAfter)

Method Detail

stateAfter

public FrameState stateAfter()

Description copied from interface: StateSplit

Gets the FrameState corresponding to the state of the JVM after execution of this node.

Specified by:

stateAfter in interface StateSplit

setStateAfter

public void setStateAfter(FrameState x)

Description copied from interface: StateSplit

Sets the FrameState corresponding to the state of the JVM after execution of this node.

Specified by:

setStateAfter in interface StateSplit

hasSideEffect

public boolean hasSideEffect()

Description copied from interface: StateSplit

Determines if this node has a side-effect. Such nodes cannot be safely re-executed because they modify state which is visible to other threads or modify state beyond what is captured in FrameState nodes.

Specified by:

hasSideEffect in interface StateSplit

value

public ValueNode value()

lower

public void lower(LoweringTool tool)

Description copied from interface: Lowerable

Expand this node into lower level nodes expressing the same semantics. If the introduced nodes are themselves lowerable, they should be recursively lowered as part of this call.

Specified by:

lower in interface Lowerable

virtualize

public void virtualize(VirtualizerTool tool)

Description copied from interface: Virtualizable

A node class can implement this method to convey information about what its effect would be if some of its inputs were virtualized. All modifications must be made through the supplied tool, and not directly on the node, because by the time this method is called the virtualized/non-virtualized state is still speculative and might not hold because of loops, etc.

Specified by:

virtualize in interface Virtualizable

Parameters:

tool - the tool used to describe the effects of this node

cloneAsFieldAccess

protected ValueNode cloneAsFieldAccess(ResolvedJavaField field)

Specified by:

cloneAsFieldAccess in class UnsafeAccessNode

cloneAsArrayAccess

protected ValueNode cloneAsArrayAccess(ValueNode location,
                                       LocationIdentity identity)

Specified by:

cloneAsArrayAccess in class UnsafeAccessNode

getState

public FrameState getState()