org.graalvm.compiler.nodes.memory

Class SideEffectFreeWrite

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.FixedNode

org.graalvm.compiler.nodes.FixedWithNextNode

org.graalvm.compiler.nodes.DeoptimizingFixedWithNextNode

org.graalvm.compiler.nodes.ImplicitNullCheckNode

org.graalvm.compiler.nodes.memory.FixedAccessNode

org.graalvm.compiler.nodes.memory.AbstractWriteNode

org.graalvm.compiler.nodes.memory.WriteNode

org.graalvm.compiler.nodes.memory.SideEffectFreeWrite

All Implemented Interfaces:

Cloneable, Formattable, IterableNodeType, MemoryKillMarker, SimplifiableMarker, DeoptimizingNode, DeoptimizingNode.DeoptBefore, GuardedNode, GuardingNode, FixedNodeInterface, FixedWithNextNodeInterface, AddressableMemoryAccess, GuardedMemoryAccess, LIRLowerableAccess, MemoryAccess, MemoryKill, OnHeapMemoryAccess, OrderedMemoryAccess, SingleMemoryKill, LIRLowerable, NodeWithState, Simplifiable, StateSplit, ValueNodeInterface

public class SideEffectFreeWrite
extends WriteNode

This is a special form of write node that does not have a side effect to the interpreter, i.e., it does not modify memory that is visible to other threads or modifies state beyond what is captured in FrameState nodes. Thus is should only be used with caution in suitable scenarios.

Nested Class Summary

Nested classes/interfaces inherited from class org.graalvm.compiler.graph.Node

Node.ConstantNodeParameter, Node.EdgeVisitor, Node.IndirectCanonicalization, Node.InjectedNodeParameter, Node.Input, Node.NodeInsertionStackTrace, Node.NodeIntrinsic, Node.NodeIntrinsicFactory, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.memory.MemoryKill

MemoryKill.NoLocation

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.memory.OnHeapMemoryAccess

OnHeapMemoryAccess.BarrierType

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.DeoptimizingNode

DeoptimizingNode.DeoptAfter, DeoptimizingNode.DeoptBefore, DeoptimizingNode.DeoptDuring

Field Summary

Fields

Modifier and Type	Field and Description
static NodeClass<SideEffectFreeWrite>	TYPE

Fields inherited from class org.graalvm.compiler.nodes.memory.FixedAccessNode

barrierType, guard, location, usedAsNullCheck

Fields inherited from class org.graalvm.compiler.nodes.ImplicitNullCheckNode

deoptReasonAndAction, deoptSpeculation

Fields inherited from class org.graalvm.compiler.nodes.DeoptimizingFixedWithNextNode

stateBefore

Fields inherited from class org.graalvm.compiler.nodes.FixedWithNextNode

next

Fields inherited from class org.graalvm.compiler.nodes.ValueNode

EMPTY_ARRAY, stamp

Fields inherited from class org.graalvm.compiler.graph.Node

NODE_LIST, NOT_ITERABLE, TRACK_CREATION_POSITION, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Fields inherited from interface org.graalvm.compiler.nodes.memory.MemoryKill

MULTI_KILL_NO_LOCATION, NO_LOCATION

Constructor Summary

Constructors

Constructor and Description
SideEffectFreeWrite(AddressNode address, org.graalvm.word.LocationIdentity location, ValueNode value, OnHeapMemoryAccess.BarrierType barrierType)

Method Summary

Modifier and Type	Method and Description
static WriteNode	createWithoutSideEffect(AddressNode address, org.graalvm.word.LocationIdentity location, ValueNode value)
boolean	hasSideEffect() Determines if this node has a side-effect.

Methods inherited from class org.graalvm.compiler.nodes.memory.WriteNode

canNullCheck, generate, getAccessStamp, getKilledLocationIdentity, getMemoryOrder, simplify

Methods inherited from class org.graalvm.compiler.nodes.memory.AbstractWriteNode

isAllowedUsageType, setStateAfter, setValue, stateAfter, value

Methods inherited from class org.graalvm.compiler.nodes.memory.FixedAccessNode

canDeoptimize, getAddress, getBarrierType, getGuard, getLastLocationAccess, getLocationIdentity, getUsedAsNullCheck, setAddress, setGuard, setLastLocationAccess, setUsedAsNullCheck

Methods inherited from class org.graalvm.compiler.nodes.ImplicitNullCheckNode

getDeoptReasonAndAction, getDeoptSpeculation, setImplicitDeoptimization

Methods inherited from class org.graalvm.compiler.nodes.DeoptimizingFixedWithNextNode

setStateBefore, stateBefore

Methods inherited from class org.graalvm.compiler.nodes.FixedWithNextNode

asFixedWithNextNode, next, setNext

Methods inherited from class org.graalvm.compiler.nodes.FixedNode

asFixedNode, verify

Methods inherited from class org.graalvm.compiler.nodes.ValueNode

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, inferStamp, isConstant, isConstantPredicate, isDefaultConstant, isIllegalConstant, isJavaConstant, isNullConstant, isSerializableConstant, recursivelyDataFlowEqualsUpTo, setStamp, stamp, updateStamp, updateUsagesInterface

Methods inherited from class org.graalvm.compiler.graph.Node

afterClone, applyInputs, applySuccessors, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearNodeSourcePosition, clearSuccessors, copyWithInputs, copyWithInputs, dataFlowEquals, dynamicNodeSizeEstimate, estimatedNodeCycles, estimatedNodeSize, fail, formatTo, getCreationPosition, getDebug, getDebugProperties, getDebugProperties, getInsertionPosition, getNodeClass, getNodeSourcePosition, getOptions, getUsageCount, hasExactlyOneUsage, hashCode, hasMoreThanOneUsage, hasNoUsages, hasOnlyUsagesOfType, hasUsages, hasUsagesOfType, inputPositions, inputs, isAlive, isDeleted, isUnregistered, markDeleted, maybeNotifyZeroUsages, modCount, predecessor, pushInputs, removeUsage, replaceAllInputs, replaceAndDelete, replaceAtAllUsages, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsagesAndDelete, replaceAtUsagesAndDelete, replaceFirstInput, replaceFirstSuccessor, safeDelete, setCreationPosition, setInsertionPosition, setNodeSourcePosition, singleUsage, successorPositions, successors, toString, toString, updateNodeSourcePosition, updatePredecessor, updateUsages, usages, valueEquals, verifyEdges, verifyInputs, verifySourcePosition, withNodeSourcePosition

Methods inherited from class java.lang.Object

clone, equals, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.graalvm.compiler.nodes.memory.AddressableMemoryAccess

getAddress, setAddress

Methods inherited from interface org.graalvm.compiler.nodes.memory.MemoryAccess

getLastLocationAccess, getLocationIdentity, setLastLocationAccess

Methods inherited from interface org.graalvm.compiler.nodes.ValueNodeInterface

asNode

Methods inherited from interface org.graalvm.compiler.nodes.spi.NodeWithState

states

Methods inherited from interface org.graalvm.compiler.nodes.FixedNodeInterface

asFixedNode

Methods inherited from interface org.graalvm.compiler.nodes.memory.MemoryKill

asMultiMemoryKill, asSingleMemoryKill, isMemoryKill, isMultiMemoryKill, isSingleMemoryKill

Methods inherited from interface org.graalvm.compiler.nodes.memory.OrderedMemoryAccess

ordersMemoryAccesses

Methods inherited from interface org.graalvm.compiler.nodes.DeoptimizingNode.DeoptBefore

canUseAsStateDuring

Field Detail

TYPE

public static final NodeClass<SideEffectFreeWrite> TYPE

Constructor Detail

SideEffectFreeWrite

public SideEffectFreeWrite(AddressNode address,
                           org.graalvm.word.LocationIdentity location,
                           ValueNode value,
                           OnHeapMemoryAccess.BarrierType barrierType)

Method Detail

createWithoutSideEffect

public static WriteNode createWithoutSideEffect(AddressNode address,
                                                org.graalvm.word.LocationIdentity location,
                                                ValueNode value)

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

Overrides:

hasSideEffect in class WriteNode