com.oracle.graal.nodes.calc

Class CompareNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.calc.FloatingNode

com.oracle.graal.nodes.LogicNode

com.oracle.graal.nodes.BinaryOpLogicNode

com.oracle.graal.nodes.calc.CompareNode

All Implemented Interfaces:

Node.ValueNumberable, Canonicalizable, Canonicalizable.Binary<ValueNode>, LIRLowerable, Cloneable, Formattable, KindProvider

Direct Known Subclasses:

FloatEqualsNode, FloatLessThanNode, IntegerBelowNode, IntegerEqualsNode, IntegerLessThanNode, PointerEqualsNode

public abstract class CompareNode
extends BinaryOpLogicNode
implements Canonicalizable.Binary<ValueNode>

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
protected Condition	condition
static NodeClass<CompareNode>	TYPE
protected boolean	unorderedIsTrue

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

x, y

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	CompareNode(NodeClass<? extends CompareNode> c, Condition condition, boolean unorderedIsTrue, ValueNode x, ValueNode y) Constructs a new Compare instruction.

Method Summary

Modifier and Type	Method and Description
ValueNode	canonical(CanonicalizerTool tool, ValueNode forX, ValueNode forY) Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.
private ConstantNode	canonicalConvertConstant(CanonicalizerTool tool, ConvertNode convert, Constant constant)
protected ValueNode	canonicalizeSymmetricConstant(CanonicalizerTool tool, Constant constant, ValueNode nonConstant, boolean mirrored)
Condition	condition() Gets the condition (comparison operation) for this instruction.
static LogicNode	createCompareNode(Condition condition, ValueNode x, ValueNode y, ConstantReflectionProvider constantReflection)
static LogicNode	createCompareNode(StructuredGraph graph, Condition condition, ValueNode x, ValueNode y, ConstantReflectionProvider constantReflection)
protected abstract LogicNode	duplicateModified(ValueNode newX, ValueNode newY)
private ValueNode	optimizeConditional(Constant constant, ConditionalNode conditionalNode, ConstantReflectionProvider constantReflection, Condition cond)
protected ValueNode	optimizeNormalizeCmp(Constant constant, NormalizeCompareNode normalizeNode, boolean mirrored)
static LogicNode	tryConstantFold(Condition condition, ValueNode forX, ValueNode forY, ConstantReflectionProvider constantReflection, boolean unorderedIsTrue)
boolean	unorderedIsTrue() Checks whether unordered inputs mean true or false (only applies to float operations).

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

generate, getSucceedingStampForX, getSucceedingStampForY, getX, getY, maybeCommuteInputs, tryFold, verify

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

and, and, isContradiction, isTautology, or, or

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.graph.spi.Canonicalizable.Binary

canonical, getX, getY

Field Detail

TYPE

public static final NodeClass<CompareNode> TYPE

condition

protected final Condition condition

unorderedIsTrue

protected final boolean unorderedIsTrue

Constructor Detail

CompareNode

protected CompareNode(NodeClass<? extends CompareNode> c,
                      Condition condition,
                      boolean unorderedIsTrue,
                      ValueNode x,
                      ValueNode y)

Constructs a new Compare instruction.

Parameters:

x - the instruction producing the first input to the instruction

y - the instruction that produces the second input to this instruction

Method Detail

condition

public final Condition condition()

Gets the condition (comparison operation) for this instruction.

Returns:

the condition

unorderedIsTrue

public final boolean unorderedIsTrue()

Checks whether unordered inputs mean true or false (only applies to float operations).

Returns:

true if unordered inputs produce true

optimizeConditional

private ValueNode optimizeConditional(Constant constant,
                                      ConditionalNode conditionalNode,
                                      ConstantReflectionProvider constantReflection,
                                      Condition cond)

optimizeNormalizeCmp

protected ValueNode optimizeNormalizeCmp(Constant constant,
                                         NormalizeCompareNode normalizeNode,
                                         boolean mirrored)

canonical

public ValueNode canonical(CanonicalizerTool tool,
                           ValueNode forX,
                           ValueNode forY)

Description copied from interface: Canonicalizable.Binary

Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.

Specified by:

canonical in interface Canonicalizable.Binary<ValueNode>

tryConstantFold

public static LogicNode tryConstantFold(Condition condition,
                                        ValueNode forX,
                                        ValueNode forY,
                                        ConstantReflectionProvider constantReflection,
                                        boolean unorderedIsTrue)

duplicateModified

protected abstract LogicNode duplicateModified(ValueNode newX,
                                               ValueNode newY)

canonicalizeSymmetricConstant

protected ValueNode canonicalizeSymmetricConstant(CanonicalizerTool tool,
                                                  Constant constant,
                                                  ValueNode nonConstant,
                                                  boolean mirrored)

canonicalConvertConstant

private ConstantNode canonicalConvertConstant(CanonicalizerTool tool,
                                              ConvertNode convert,
                                              Constant constant)

createCompareNode

public static LogicNode createCompareNode(StructuredGraph graph,
                                          Condition condition,
                                          ValueNode x,
                                          ValueNode y,
                                          ConstantReflectionProvider constantReflection)

createCompareNode

public static LogicNode createCompareNode(Condition condition,
                                          ValueNode x,
                                          ValueNode y,
                                          ConstantReflectionProvider constantReflection)