org.graalvm.compiler.nodes.memory

Class FloatingReadNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.FloatingGuardedNode

org.graalvm.compiler.nodes.memory.FloatingAccessNode

org.graalvm.compiler.nodes.memory.FloatingReadNode

All Implemented Interfaces:

Cloneable, Formattable, Node.ValueNumberable, CanonicalizableMarker, GuardedNode, AddressableMemoryAccess, GuardedMemoryAccess, LIRLowerableAccess, MemoryAccess, OnHeapMemoryAccess, Canonicalizable, LIRLowerable, ValueNodeInterface

public final class FloatingReadNode
extends FloatingAccessNode
implements LIRLowerableAccess, Canonicalizable

A floating read of a value from memory specified in terms of an object base and an object relative location. This node does not null check the object.

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.spi.Canonicalizable

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

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

OnHeapMemoryAccess.BarrierType

Field Summary

Fields

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

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

barrierType, location

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

guard

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

Constructor Summary

Constructors

Constructor and Description
FloatingReadNode(AddressNode address, org.graalvm.word.LocationIdentity location, MemoryKill lastLocationAccess, Stamp stamp)
FloatingReadNode(AddressNode address, org.graalvm.word.LocationIdentity location, MemoryKill lastLocationAccess, Stamp stamp, GuardingNode guard)
FloatingReadNode(AddressNode address, org.graalvm.word.LocationIdentity location, MemoryKill lastLocationAccess, Stamp stamp, GuardingNode guard, OnHeapMemoryAccess.BarrierType barrierType)

Method Summary

Modifier and Type	Method and Description
FixedAccessNode	asFixedNode()
Node	canonical(CanonicalizerTool tool) Implementations of this method can provide local optimizations like constant folding and strength reduction.
void	generate(NodeLIRBuilderTool gen)
Stamp	getAccessStamp(NodeView view)
MemoryKill	getLastLocationAccess()
void	setLastLocationAccess(MemoryKill newlla)
boolean	verify()

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

canNullCheck, getAddress, getBarrierType, getLocationIdentity, setAddress

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

getGuard, setGuard

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

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, inferStamp, isAllowedUsageType, 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

canNullCheck, getAddress, setAddress

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

getLocationIdentity

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

asNode

Methods inherited from interface org.graalvm.compiler.nodes.extended.GuardedNode

getGuard, setGuard

Field Detail

TYPE

public static final NodeClass<FloatingReadNode> TYPE

Constructor Detail

FloatingReadNode

public FloatingReadNode(AddressNode address,
                        org.graalvm.word.LocationIdentity location,
                        MemoryKill lastLocationAccess,
                        Stamp stamp)

FloatingReadNode

public FloatingReadNode(AddressNode address,
                        org.graalvm.word.LocationIdentity location,
                        MemoryKill lastLocationAccess,
                        Stamp stamp,
                        GuardingNode guard)

FloatingReadNode

public FloatingReadNode(AddressNode address,
                        org.graalvm.word.LocationIdentity location,
                        MemoryKill lastLocationAccess,
                        Stamp stamp,
                        GuardingNode guard,
                        OnHeapMemoryAccess.BarrierType barrierType)

Method Detail

getLastLocationAccess

public MemoryKill getLastLocationAccess()

Specified by:

getLastLocationAccess in interface MemoryAccess

Returns:

a MemoryKill that represents the last memory state in the memory graph for the LocationIdentity returned by MemoryAccess.getLocationIdentity()

setLastLocationAccess

public void setLastLocationAccess(MemoryKill newlla)

Specified by:

setLastLocationAccess in interface MemoryAccess

Parameters:

newlla - the MemoryKill that represents the last kill of the LocationIdentity returned by MemoryAccess.getLocationIdentity()

generate

public void generate(NodeLIRBuilderTool gen)

Specified by:

generate in interface LIRLowerable

canonical

public Node canonical(CanonicalizerTool tool)

Description copied from interface: Canonicalizable

Implementations of this method can provide local optimizations like constant folding and strength reduction. Implementations should look at the properties and inputs of the current node and determine if there is a more optimal and always semantically correct replacement.
The return value determines the effect that the canonicalization will have:

• Returning an pre-existing node will replace the current node with the given one.
• Returning a newly created node (that was not yet added to the graph) will replace the current node with the given one, after adding it to the graph. If both the replacement and the replacee are anchored in control flow (fixed nodes), the replacement will be added to the control flow. It is invalid to replace a non-fixed node with a newly created fixed node (because its placement in the control flow cannot be determined without scheduling).
• Returning null will delete the current node and replace it with null at all usages. Note that it is not necessary to delete floating nodes that have no more usages this way - they will be deleted automatically.

Specified by:

canonical in interface Canonicalizable

Parameters:

tool - provides access to runtime interfaces like MetaAccessProvider

asFixedNode

public FixedAccessNode asFixedNode()

Specified by:

asFixedNode in class FloatingAccessNode

verify

public boolean verify()

Overrides:

verify in class Node

getAccessStamp

public Stamp getAccessStamp(NodeView view)

Specified by:

getAccessStamp in interface LIRLowerableAccess