com.oracle.graal.nodes.calc

Class ConditionalNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.calc.FloatingNode

com.oracle.graal.nodes.calc.ConditionalNode

All Implemented Interfaces:

Node.ValueNumberable, Canonicalizable, LIRLowerable, Cloneable, Formattable, KindProvider

public final class ConditionalNode
extends FloatingNode
implements Canonicalizable, LIRLowerable

The ConditionalNode class represents a comparison that yields one of two values. Note that these nodes are not built directly from the bytecode but are introduced by canonicalization.

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

Nested classes/interfaces inherited from interface com.oracle.graal.graph.spi.Canonicalizable

Canonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Unary<T extends Node>

Field Summary

Fields

Modifier and Type	Field and Description
(package private) LogicNode	condition
(package private) ValueNode	falseValue
(package private) ValueNode	trueValue
static NodeClass<ConditionalNode>	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

Constructor and Description
ConditionalNode(LogicNode condition)
ConditionalNode(LogicNode condition, ValueNode trueValue, ValueNode falseValue)
ConditionalNode(StructuredGraph graph, Condition condition, ValueNode x, ValueNode y)

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.
LogicNode	condition()
static ValueNode	create(LogicNode condition)
static ValueNode	create(LogicNode condition, ValueNode trueValue, ValueNode falseValue)
ValueNode	falseValue()
private static ValueNode	findSynonym(ValueNode condition, ValueNode trueValue, ValueNode falseValue)
void	generate(NodeLIRBuilderTool generator)
boolean	inferStamp() This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change.
ValueNode	trueValue()

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

asNode

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

asConstant, asJavaConstant, getKind, graph, 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, 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<ConditionalNode> TYPE

condition

LogicNode condition

trueValue

ValueNode trueValue

falseValue

ValueNode falseValue

Constructor Detail

ConditionalNode

public ConditionalNode(LogicNode condition)

ConditionalNode

public ConditionalNode(LogicNode condition,
                       ValueNode trueValue,
                       ValueNode falseValue)

ConditionalNode

public ConditionalNode(StructuredGraph graph,
                       Condition condition,
                       ValueNode x,
                       ValueNode y)

Method Detail

condition

public LogicNode condition()

create

public static ValueNode create(LogicNode condition)

create

public static ValueNode create(LogicNode condition,
                               ValueNode trueValue,
                               ValueNode falseValue)

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.

trueValue

public ValueNode trueValue()

falseValue

public ValueNode falseValue()

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

Parameters:

tool - provides access to runtime interfaces like MetaAccessProvider

findSynonym

private static ValueNode findSynonym(ValueNode condition,
                                     ValueNode trueValue,
                                     ValueNode falseValue)

generate

public void generate(NodeLIRBuilderTool generator)

Specified by:

generate in interface LIRLowerable