org.graalvm.compiler.nodes

Class ValuePhiNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.PhiNode

org.graalvm.compiler.nodes.ValuePhiNode

All Implemented Interfaces:

Cloneable, Formattable, Node.ValueNumberable, CanonicalizableMarker, Canonicalizable, ValueNodeInterface

public class ValuePhiNode
extends PhiNode

Value PhiNodes merge data flow values at control flow merges.

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 NodeClass<ValuePhiNode>	TYPE
protected NodeInputList<ValueNode>	values

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

merge

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

Modifier	Constructor and Description
protected	ValuePhiNode(NodeClass<? extends ValuePhiNode> c, Stamp stamp, AbstractMergeNode merge)
	ValuePhiNode(Stamp stamp, AbstractMergeNode merge)
	ValuePhiNode(Stamp stamp, AbstractMergeNode merge, ValueNode[] values)

Method Summary

Modifier and Type	Method and Description
ValueNode	canonical(CanonicalizerTool tool) Implementations of this method can provide local optimizations like constant folding and strength reduction.
ProxyNode	createProxyFor(LoopExitNode lex)
PhiNode	duplicateOn(AbstractMergeNode newMerge) Create a phi of the same kind on the given merge.
Map<Object,Object>	getDebugProperties(Map<Object,Object> map) Fills a Map with properties of this for use in debugging (e.g., to view in the ideal graph visualizer).
boolean	inferStamp() This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change.
protected String	valueDescription() String describing the kind of value this Phi merges.
NodeInputList<ValueNode>	values()
boolean	verify()

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

addInput, backValues, clearValues, firstValue, initializeValueAt, isDegenerated, isLoopPhi, merge, removeInput, setMerge, setValueAt, setValueAt, singleBackValueOrThis, singleValueOrThis, toString, valueAt, valueAt, valueCount

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

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

Field Detail

TYPE

public static final NodeClass<ValuePhiNode> TYPE

values

protected NodeInputList<ValueNode> values

Constructor Detail

ValuePhiNode

public ValuePhiNode(Stamp stamp,
                    AbstractMergeNode merge)

ValuePhiNode

protected ValuePhiNode(NodeClass<? extends ValuePhiNode> c,
                       Stamp stamp,
                       AbstractMergeNode merge)

ValuePhiNode

public ValuePhiNode(Stamp stamp,
                    AbstractMergeNode merge,
                    ValueNode[] values)

Method Detail

values

public NodeInputList<ValueNode> values()

Specified by:

values in class PhiNode

inferStamp

public boolean inferStamp()

Description copied from class: ValueNode

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 ValueNode.updateStamp(Stamp), whose return value can be used as the result of this method.

Overrides:

inferStamp in class ValueNode

Returns:

true if the stamp has changed, false otherwise.

verify

public boolean verify()

Overrides:

verify in class PhiNode

valueDescription

protected String valueDescription()

Description copied from class: PhiNode

String describing the kind of value this Phi merges. Used by PhiNode.toString(Verbosity) and dumping.

Overrides:

valueDescription in class PhiNode

getDebugProperties

public Map<Object,Object> getDebugProperties(Map<Object,Object> map)

Description copied from class: Node

Fills a Map with properties of this for use in debugging (e.g., to view in the ideal graph visualizer). Subclasses overriding this method should also fill the map using their superclass.

Overrides:

getDebugProperties in class Node

duplicateOn

public PhiNode duplicateOn(AbstractMergeNode newMerge)

Description copied from class: PhiNode

Create a phi of the same kind on the given merge.

Specified by:

duplicateOn in class PhiNode

Parameters:

newMerge - the merge to use for the newly created phi

createProxyFor

public ProxyNode createProxyFor(LoopExitNode lex)

Specified by:

createProxyFor in class PhiNode

canonical

public ValueNode 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

Overrides:

canonical in class PhiNode

Parameters:

tool - provides access to runtime interfaces like MetaAccessProvider