org.graalvm.compiler.truffle.compiler.nodes.frame

Class NewFrameNode

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.truffle.compiler.nodes.frame.NewFrameNode

All Implemented Interfaces:

Cloneable, Formattable, IterableNodeType, CanonicalizableMarker, FixedNodeInterface, FixedWithNextNodeInterface, Canonicalizable, Virtualizable, VirtualizableAllocation, ValueNodeInterface

public final class NewFrameNode
extends FixedWithNextNode
implements IterableNodeType, VirtualizableAllocation, Canonicalizable

Intrinsic node representing the call for creating a frame.

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>

Field Summary

Fields

Modifier and Type	Field and Description
static byte	FrameSlotKindIllegalTag
static byte	FrameSlotKindLongTag
static byte	FrameSlotKindObjectTag
static byte	FrameSlotKindStaticTag
static byte	INITIAL_TYPE_MARKER
static byte	NO_TYPE_MARKER
static NodeClass<NewFrameNode>	TYPE

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

Constructor Summary

Constructors

Constructor and Description
NewFrameNode(GraphBuilderContext b, ValueNode frameDescriptorNode, ValueNode arguments, KnownTruffleTypes types)

Method Summary

Modifier and Type	Method and Description
static JavaKind	asJavaKind(byte tag)
static byte	asStackTag(byte tag)
Node	canonical(CanonicalizerTool tool) Implementations of this method can provide local optimizations like constant folding and strength reduction.
ValueNode	getArguments()
ValueNode	getDescriptor()
int	getFrameSize()
byte[]	getFrameSlotKinds()
int	getIndexedFrameSize()
byte[]	getIndexedFrameSlotKinds()
boolean	getIntrinsifyAccessors()
SpeculationReason	getIntrinsifyAccessorsSpeculation()
VirtualArrayNode	getObjectArray(VirtualFrameAccessType type)
VirtualArrayNode	getPrimitiveArray(VirtualFrameAccessType type)
VirtualArrayNode	getTagArray(VirtualFrameAccessType type)
boolean	isValidIndexedSlotIndex(int index)
boolean	isValidSlotIndex(int index)
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.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, 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.FixedNodeInterface

asFixedNode

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

asNode

Field Detail

NO_TYPE_MARKER

public static final byte NO_TYPE_MARKER

See Also:

Constant Field Values

INITIAL_TYPE_MARKER

public static final byte INITIAL_TYPE_MARKER

See Also:

Constant Field Values

FrameSlotKindObjectTag

public static final byte FrameSlotKindObjectTag

See Also:

Constant Field Values

FrameSlotKindLongTag

public static final byte FrameSlotKindLongTag

See Also:

Constant Field Values

FrameSlotKindIllegalTag

public static final byte FrameSlotKindIllegalTag

See Also:

Constant Field Values

FrameSlotKindStaticTag

public static final byte FrameSlotKindStaticTag

See Also:

Constant Field Values

TYPE

public static final NodeClass<NewFrameNode> TYPE

Constructor Detail

NewFrameNode

public NewFrameNode(GraphBuilderContext b,
                    ValueNode frameDescriptorNode,
                    ValueNode arguments,
                    KnownTruffleTypes types)

Method Detail

asStackTag

public static byte asStackTag(byte tag)

asJavaKind

public static JavaKind asJavaKind(byte tag)

getFrameSlotKinds

public byte[] getFrameSlotKinds()

getIndexedFrameSlotKinds

public byte[] getIndexedFrameSlotKinds()

getDescriptor

public ValueNode getDescriptor()

getArguments

public ValueNode getArguments()

getIntrinsifyAccessors

public boolean getIntrinsifyAccessors()

getIntrinsifyAccessorsSpeculation

public SpeculationReason getIntrinsifyAccessorsSpeculation()

isValidSlotIndex

public boolean isValidSlotIndex(int index)

isValidIndexedSlotIndex

public boolean isValidIndexedSlotIndex(int index)

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

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

getTagArray

public VirtualArrayNode getTagArray(VirtualFrameAccessType type)

getObjectArray

public VirtualArrayNode getObjectArray(VirtualFrameAccessType type)

getPrimitiveArray

public VirtualArrayNode getPrimitiveArray(VirtualFrameAccessType type)

getFrameSize

public int getFrameSize()

getIndexedFrameSize

public int getIndexedFrameSize()