com.oracle.graal.nodes.memory

Class AbstractWriteNode

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.DeoptimizingFixedWithNextNode

com.oracle.graal.nodes.memory.FixedAccessNode

com.oracle.graal.nodes.memory.AbstractWriteNode

All Implemented Interfaces:

NodeInterface, DeoptimizingNode, DeoptimizingNode.DeoptBefore, GuardedNode, GuardingNode, Access, HeapAccess, MemoryAccess, MemoryCheckpoint, MemoryCheckpoint.Single, MemoryNode, NodeWithState, StateSplit, Cloneable, Formattable, KindProvider

Direct Known Subclasses:

JavaWriteNode, WriteNode

public abstract class AbstractWriteNode
extends FixedAccessNode
implements StateSplit, MemoryCheckpoint.Single, MemoryAccess, GuardingNode

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.nodes.memory.HeapAccess

HeapAccess.BarrierType

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

DeoptimizingNode.DeoptAfter, DeoptimizingNode.DeoptBefore, DeoptimizingNode.DeoptDuring

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	initialization
(package private) Node	lastLocationAccess
(package private) FrameState	stateAfter
static NodeClass<AbstractWriteNode>	TYPE
(package private) ValueNode	value

Fields inherited from class com.oracle.graal.nodes.memory.FixedAccessNode

address, barrierType, guard, location, nullCheck

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

stateBefore

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

Modifier	Constructor and Description
protected	AbstractWriteNode(NodeClass<? extends AbstractWriteNode> c, AddressNode address, LocationIdentity location, ValueNode value, HeapAccess.BarrierType barrierType)
protected	AbstractWriteNode(NodeClass<? extends AbstractWriteNode> c, AddressNode address, LocationIdentity location, ValueNode value, HeapAccess.BarrierType barrierType, boolean initialization)
protected	AbstractWriteNode(NodeClass<? extends AbstractWriteNode> c, AddressNode address, LocationIdentity location, ValueNode value, HeapAccess.BarrierType barrierType, GuardingNode guard, boolean initialization)

Method Summary

Modifier and Type	Method and Description
MemoryNode	getLastLocationAccess()
boolean	hasSideEffect() Determines if this node has a side-effect.
boolean	isAllowedUsageType(InputType type)
boolean	isInitialization() Returns whether this write is the initialization of the written location.
void	setLastLocationAccess(MemoryNode lla)
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()

Methods inherited from class com.oracle.graal.nodes.memory.FixedAccessNode

canDeoptimize, getAddress, getBarrierType, getGuard, getLocationIdentity, getNullCheck, setAddress, setGuard, setNullCheck

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

setStateBefore, stateBefore

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, 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.memory.MemoryCheckpoint.Single

getLocationIdentity

Methods inherited from interface com.oracle.graal.nodes.memory.MemoryAccess

getLocationIdentity

Methods inherited from interface com.oracle.graal.nodes.extended.GuardingNode

asNode

Methods inherited from interface com.oracle.graal.nodes.memory.Access

canNullCheck

Methods inherited from interface com.oracle.graal.nodes.extended.GuardedNode

asNode

Field Detail

TYPE

public static final NodeClass<AbstractWriteNode> TYPE

value

ValueNode value

stateAfter

FrameState stateAfter

lastLocationAccess

Node lastLocationAccess

initialization

protected final boolean initialization

Constructor Detail

AbstractWriteNode

protected AbstractWriteNode(NodeClass<? extends AbstractWriteNode> c,
                            AddressNode address,
                            LocationIdentity location,
                            ValueNode value,
                            HeapAccess.BarrierType barrierType)

AbstractWriteNode

protected AbstractWriteNode(NodeClass<? extends AbstractWriteNode> c,
                            AddressNode address,
                            LocationIdentity location,
                            ValueNode value,
                            HeapAccess.BarrierType barrierType,
                            boolean initialization)

AbstractWriteNode

protected AbstractWriteNode(NodeClass<? extends AbstractWriteNode> c,
                            AddressNode address,
                            LocationIdentity location,
                            ValueNode value,
                            HeapAccess.BarrierType barrierType,
                            GuardingNode guard,
                            boolean initialization)

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()

isInitialization

public boolean isInitialization()

Returns whether this write is the initialization of the written location. If it is true, the old value of the memory location is either uninitialized or zero. If it is false, the memory location is guaranteed to contain a valid value or zero.

isAllowedUsageType

public boolean isAllowedUsageType(InputType type)

Overrides:

isAllowedUsageType in class ValueNode

getLastLocationAccess

public MemoryNode getLastLocationAccess()

Specified by:

getLastLocationAccess in interface MemoryAccess

setLastLocationAccess

public void setLastLocationAccess(MemoryNode lla)

Specified by:

setLastLocationAccess in interface MemoryAccess

Parameters:

lla - the MemoryNode that represents the last kill of the location