com.oracle.graal.nodes

Class ValueNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

All Implemented Interfaces:

Cloneable, Formattable, KindProvider

Direct Known Subclasses:

CallTargetNode, FixedNode, FloatingNode, FrameState.TwoSlotMarker, LoweringPhase.DummyGuardHandle, MonitorIdNode, PEGraphDecoder.ExceptionPlaceholderNode, PhiNode.MultipleValuesNode, VirtualObjectNode

public abstract class ValueNode
extends Node
implements KindProvider

This class represents a value within the graph, including local variables, phis, and all other instructions.

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

Field Summary

Fields

Modifier and Type	Field and Description
private static NodePredicate	IS_CONSTANT
protected Stamp	stamp The kind of this value.
static NodeClass<ValueNode>	TYPE

Fields inherited from class com.oracle.graal.graph.Node

NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Constructor and Description
ValueNode(NodeClass<? extends ValueNode> c, Stamp stamp)

Method Summary

Modifier and Type	Method and Description
Constant	asConstant() Convert this value to a constant if it is a constant, otherwise return null.
JavaConstant	asJavaConstant()
ValueNode	asNode()
Kind	getKind()
StructuredGraph	graph() Gets the graph context of this node.
boolean	inferStamp() This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change.
boolean	isAllowedUsageType(InputType type)
boolean	isConstant() Checks whether this value is a constant (i.e.
static NodePredicate	isConstantPredicate()
boolean	isNullConstant() Checks whether this value represents the null constant.
void	setStamp(Stamp stamp)
Stamp	stamp()
protected boolean	updateStamp(Stamp newStamp) Checks if the given stamp is different than the current one ( newStamp.equals(oldStamp) == false).

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, verify, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TYPE

public static final NodeClass<ValueNode> TYPE

stamp

protected Stamp stamp

The kind of this value. This is Kind.Void for instructions that produce no value. This kind is guaranteed to be a stack kind.

IS_CONSTANT

private static final NodePredicate IS_CONSTANT

Constructor Detail

ValueNode

public ValueNode(NodeClass<? extends ValueNode> c,
                 Stamp stamp)

Method Detail

stamp

public final Stamp stamp()

setStamp

public final void setStamp(Stamp stamp)

graph

public final StructuredGraph graph()

Description copied from class: Node

Gets the graph context of this node.

Overrides:

graph in class Node

updateStamp

protected final boolean updateStamp(Stamp newStamp)

Checks if the given stamp is different than the current one ( newStamp.equals(oldStamp) == false). If it is different then the new stamp will become the current stamp for this node.

Returns:

true if the stamp has changed, false otherwise.

inferStamp

public boolean inferStamp()

This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change. A typical implementation will compute the stamp and pass it to updateStamp(Stamp), whose return value can be used as the result of this method.

Returns:

true if the stamp has changed, false otherwise.

getKind

public final Kind getKind()

Specified by:

getKind in interface KindProvider

isConstant

public final boolean isConstant()

Checks whether this value is a constant (i.e. it is of type ConstantNode.

Returns:

true if this value is a constant

isConstantPredicate

public static NodePredicate isConstantPredicate()

isNullConstant

public final boolean isNullConstant()

Checks whether this value represents the null constant.

Returns:

true if this value represents the null constant

asConstant

public final Constant asConstant()

Convert this value to a constant if it is a constant, otherwise return null.

Returns:

the JavaConstant represented by this value if it is a constant; null otherwise

asJavaConstant

public final JavaConstant asJavaConstant()

asNode

public ValueNode asNode()

isAllowedUsageType

public boolean isAllowedUsageType(InputType type)

Overrides:

isAllowedUsageType in class Node