org.graalvm.compiler.nodes.java

Class LoadFieldNode

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.java.AccessFieldNode

org.graalvm.compiler.nodes.java.LoadFieldNode

All Implemented Interfaces:

Cloneable, Formattable, MemoryKillMarker, CanonicalizableMarker, FixedNodeInterface, FixedWithNextNodeInterface, MemoryAccess, MemoryKill, OrderedMemoryAccess, SingleMemoryKill, Canonicalizable, Canonicalizable.Unary<ValueNode>, Lowerable, UncheckedInterfaceProvider, Virtualizable, ValueNodeInterface

public final class LoadFieldNode
extends AccessFieldNode
implements Canonicalizable.Unary<ValueNode>, Virtualizable, UncheckedInterfaceProvider, SingleMemoryKill

The LoadFieldNode represents a read of a static or instance field.

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

MemoryKill.NoLocation

Field Summary

Fields

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

Fields inherited from class org.graalvm.compiler.nodes.java.AccessFieldNode

field, location, memoryOrder

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

Modifier	Constructor and Description
protected	LoadFieldNode(StampPair stamp, ValueNode object, ResolvedJavaField field)
protected	LoadFieldNode(StampPair stamp, ValueNode object, ResolvedJavaField field, MemoryOrderMode memoryOrder)

Method Summary

Modifier and Type	Method and Description
ConstantNode	asConstant(CanonicalizerTool tool, JavaConstant constant)
ConstantNode	asConstant(CanonicalizerTool tool, ValueNode forObject) Gets a constant value for this load if possible.
ValueNode	canonical(CanonicalizerTool tool, ValueNode forObject) Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.
static LoadFieldNode	create(Assumptions assumptions, ValueNode object, ResolvedJavaField field)
static LoadFieldNode	create(Assumptions assumptions, ValueNode object, ResolvedJavaField field, MemoryOrderMode memoryOrder)
static ValueNode	create(ConstantFieldProvider constantFields, ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, Assumptions assumptions, ValueNode object, ResolvedJavaField field, boolean canonicalizeReads, boolean allUsagesAvailable)
static ValueNode	createOverrideStamp(ConstantFieldProvider constantFields, ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, StampPair stamp, ValueNode object, ResolvedJavaField field, boolean canonicalizeReads, boolean allUsagesAvailable)
static LoadFieldNode	createOverrideStamp(StampPair stamp, ValueNode object, ResolvedJavaField field)
NodeCycles	estimatedNodeCycles()
org.graalvm.word.LocationIdentity	getKilledLocationIdentity() This method is used to determine which memory location is killed by this node.
ValueNode	getValue() Gets the current value of the input, so that calling Canonicalizable.Unary.canonical(CanonicalizerTool, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
void	setObject(ValueNode newObject)
Stamp	uncheckedStamp() Returns a stamp containing information about interface types that has not been verified or null if no such stamp is available.
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 org.graalvm.compiler.nodes.java.AccessFieldNode

dynamicNodeSizeEstimate, field, getLocationIdentity, getMemoryOrder, isStatic, object, toString, verify

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

asFixedWithNextNode, next, setNext

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

asFixedNode

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

canonical

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

asMultiMemoryKill, asSingleMemoryKill, isMemoryKill, isMultiMemoryKill, isSingleMemoryKill

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

asNode

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

lower

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

ordersMemoryAccesses

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

getLastLocationAccess, setLastLocationAccess

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

asFixedNode

Field Detail

TYPE

public static final NodeClass<LoadFieldNode> TYPE

Constructor Detail

LoadFieldNode

protected LoadFieldNode(StampPair stamp,
                        ValueNode object,
                        ResolvedJavaField field)

LoadFieldNode

protected LoadFieldNode(StampPair stamp,
                        ValueNode object,
                        ResolvedJavaField field,
                        MemoryOrderMode memoryOrder)

Method Detail

create

public static LoadFieldNode create(Assumptions assumptions,
                                   ValueNode object,
                                   ResolvedJavaField field)

create

public static LoadFieldNode create(Assumptions assumptions,
                                   ValueNode object,
                                   ResolvedJavaField field,
                                   MemoryOrderMode memoryOrder)

create

public static ValueNode create(ConstantFieldProvider constantFields,
                               ConstantReflectionProvider constantReflection,
                               MetaAccessProvider metaAccess,
                               OptionValues options,
                               Assumptions assumptions,
                               ValueNode object,
                               ResolvedJavaField field,
                               boolean canonicalizeReads,
                               boolean allUsagesAvailable)

createOverrideStamp

public static LoadFieldNode createOverrideStamp(StampPair stamp,
                                                ValueNode object,
                                                ResolvedJavaField field)

createOverrideStamp

public static ValueNode createOverrideStamp(ConstantFieldProvider constantFields,
                                            ConstantReflectionProvider constantReflection,
                                            MetaAccessProvider metaAccess,
                                            OptionValues options,
                                            StampPair stamp,
                                            ValueNode object,
                                            ResolvedJavaField field,
                                            boolean canonicalizeReads,
                                            boolean allUsagesAvailable)

getKilledLocationIdentity

public org.graalvm.word.LocationIdentity getKilledLocationIdentity()

Description copied from interface: SingleMemoryKill

This method is used to determine which memory location is killed by this node. Returning the special value LocationIdentity.any() will kill all memory locations.

Specified by:

getKilledLocationIdentity in interface SingleMemoryKill

Returns:

the identity of the location killed by this node.

getValue

public ValueNode getValue()

Description copied from interface: Canonicalizable.Unary

Gets the current value of the input, so that calling Canonicalizable.Unary.canonical(CanonicalizerTool, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).

Specified by:

getValue in interface Canonicalizable.Unary<ValueNode>

canonical

public ValueNode canonical(CanonicalizerTool tool,
                           ValueNode forObject)

Description copied from interface: Canonicalizable.Unary

Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.

Specified by:

canonical in interface Canonicalizable.Unary<ValueNode>

asConstant

public ConstantNode asConstant(CanonicalizerTool tool,
                               ValueNode forObject)

Gets a constant value for this load if possible.

asConstant

public ConstantNode asConstant(CanonicalizerTool tool,
                               JavaConstant constant)

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

uncheckedStamp

public Stamp uncheckedStamp()

Description copied from interface: UncheckedInterfaceProvider

Returns a stamp containing information about interface types that has not been verified or null if no such stamp is available. A type check is needed before using informations from this stamp.

Specified by:

uncheckedStamp in interface UncheckedInterfaceProvider

setObject

public void setObject(ValueNode newObject)

estimatedNodeCycles

public NodeCycles estimatedNodeCycles()

Overrides:

estimatedNodeCycles in class Node