com.oracle.graal.nodes

Class PhiNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.calc.FloatingNode

com.oracle.graal.nodes.PhiNode

All Implemented Interfaces:

Node.ValueNumberable, Simplifiable, Cloneable, Formattable, KindProvider

Direct Known Subclasses:

GuardPhiNode, MemoryPhiNode, ValuePhiNode

public abstract class PhiNode
extends FloatingNode
implements Simplifiable

PhiNodes represent the merging of edges at a control flow merges ( AbstractMergeNode or LoopBeginNode). For a AbstractMergeNode, the order of the values corresponds to the order of the ends. For LoopBeginNodes, the first value corresponds to the loop's predecessor, while the rest of the values correspond to the LoopEndNodes.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	PhiNode.MultipleValuesNode

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
protected AbstractMergeNode	merge
static ValueNode	MULTIPLE_VALUES
static NodeClass<PhiNode>	TYPE

Fields inherited from class com.oracle.graal.nodes.ValueNode

stamp

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

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PhiNode(NodeClass<? extends PhiNode> c, Stamp stamp, AbstractMergeNode merge)

Method Summary

Modifier and Type	Method and Description
void	addInput(ValueNode x)
void	clearValues()
ValueNode	firstValue()
void	initializeValueAt(int i, ValueNode x) Sets the value at the given index and makes sure that the values list is large enough.
boolean	isLoopPhi()
AbstractMergeNode	merge()
void	removeInput(int index)
void	setMerge(AbstractMergeNode x)
void	setValueAt(AbstractEndNode end, ValueNode x)
void	setValueAt(int i, ValueNode x)
void	simplify(SimplifierTool tool) Must be overridden by subclasses that implement Simplifiable.
ValueNode	singleBackValue() If all inputs (but the first one) are the same value, this value is returned, otherwise MULTIPLE_VALUES.
ValueNode	singleValue() If all inputs are the same value, this value is returned, otherwise MULTIPLE_VALUES.
String	toString(Verbosity verbosity) Creates a String representation for this node with a given Verbosity.
ValueNode	valueAt(AbstractEndNode pred)
ValueNode	valueAt(int i) Get the instruction that produces the value associated with the i'th predecessor of the merge.
int	valueCount() Get the number of inputs to this phi (i.e.
abstract NodeInputList<ValueNode>	values()
boolean	verify()

Methods inherited from class com.oracle.graal.nodes.calc.FloatingNode

asNode

Methods inherited from class com.oracle.graal.nodes.ValueNode

asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp

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, successors, toString, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

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

Field Detail

TYPE

public static final NodeClass<PhiNode> TYPE

merge

protected AbstractMergeNode merge

MULTIPLE_VALUES

public static final ValueNode MULTIPLE_VALUES

Constructor Detail

PhiNode

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

Method Detail

values

public abstract NodeInputList<ValueNode> values()

merge

public AbstractMergeNode merge()

setMerge

public void setMerge(AbstractMergeNode x)

verify

public boolean verify()

Overrides:

verify in class Node

valueAt

public ValueNode valueAt(int i)

Get the instruction that produces the value associated with the i'th predecessor of the merge.

Parameters:

i - the index of the predecessor

Returns:

the instruction that produced the value in the i'th predecessor

initializeValueAt

public void initializeValueAt(int i,
                              ValueNode x)

Sets the value at the given index and makes sure that the values list is large enough.

Parameters:

i - the index at which to set the value

x - the new phi input value for the given location

setValueAt

public void setValueAt(int i,
                       ValueNode x)

setValueAt

public void setValueAt(AbstractEndNode end,
                       ValueNode x)

valueAt

public ValueNode valueAt(AbstractEndNode pred)

valueCount

public int valueCount()

Get the number of inputs to this phi (i.e. the number of predecessors to the merge).

Returns:

the number of inputs in this phi

clearValues

public void clearValues()

toString

public String toString(Verbosity verbosity)

Description copied from class: Node

Creates a String representation for this node with a given Verbosity.

Overrides:

toString in class Node

addInput

public void addInput(ValueNode x)

removeInput

public void removeInput(int index)

singleValue

public ValueNode singleValue()

If all inputs are the same value, this value is returned, otherwise MULTIPLE_VALUES. Note that null is a valid return value, since GuardPhiNodes can have null inputs.

singleBackValue

public ValueNode singleBackValue()

If all inputs (but the first one) are the same value, this value is returned, otherwise MULTIPLE_VALUES. Note that null is a valid return value, since GuardPhiNodes can have null inputs.

simplify

public void simplify(SimplifierTool tool)

Description copied from class: Node

Must be overridden by subclasses that implement Simplifiable. The implementation in Node exists to obviate the need to cast a node before invoking Simplifiable.simplify(SimplifierTool).

Specified by:

simplify in interface Simplifiable

Overrides:

simplify in class Node

firstValue

public ValueNode firstValue()

isLoopPhi

public boolean isLoopPhi()