org.graalvm.compiler.nodes.calc

Class CompareNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.LogicNode

org.graalvm.compiler.nodes.BinaryOpLogicNode

org.graalvm.compiler.nodes.calc.CompareNode

All Implemented Interfaces:

Cloneable, Formattable, Node.IndirectCanonicalization, Node.ValueNumberable, CanonicalizableMarker, Canonicalizable, Canonicalizable.Binary<ValueNode>, LIRLowerable, ValueNodeInterface

Direct Known Subclasses:

FloatEqualsNode, FloatLessThanNode, IntegerEqualsNode, IntegerLowerThanNode, PointerEqualsNode

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CompareNode.CompareOp

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

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

x, y

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

Method Summary

Modifier and Type	Method and Description
CanonicalCondition	condition() Gets the condition (comparison operation) for this instruction.
static LogicNode	createAnyCompareNode(Condition condition, ValueNode x, ValueNode y, ConstantReflectionProvider constantReflection)
static LogicNode	createCompareNode(CanonicalCondition condition, ValueNode x, ValueNode y, ConstantReflectionProvider constantReflection, NodeView view)
static LogicNode	createCompareNode(ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, Integer smallestCompareWidth, CanonicalCondition condition, ValueNode x, ValueNode y, NodeView view)
static LogicNode	createCompareNode(StructuredGraph graph, CanonicalCondition condition, ValueNode x, ValueNode y, ConstantReflectionProvider constantReflection, NodeView view)
static LogicNode	createCompareNode(StructuredGraph graph, ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, Integer smallestCompareWidth, CanonicalCondition condition, ValueNode x, ValueNode y, NodeView view)
static LogicNode	createFloatCompareNode(CanonicalCondition condition, ValueNode x, ValueNode y, boolean unorderedIsTrue, NodeView view)
static LogicNode	createFloatCompareNode(StructuredGraph graph, CanonicalCondition condition, ValueNode x, ValueNode y, boolean unorderedIsTrue, NodeView view)
boolean	implies(CompareNode otherCompare, boolean otherNegated, boolean thisNegated)
boolean	implies(LogicNode otherLogicNode, boolean thisNegated)
boolean	isIdentityComparison() Does this operation represent an identity check such that for x == y, x is exactly the same thing as y.
static LogicNode	tryConstantFold(CanonicalCondition condition, ValueNode forX, ValueNode forY, ConstantReflectionProvider constantReflection, boolean unorderedIsTrue)
static LogicNode	tryConstantFoldPrimitive(CanonicalCondition condition, ValueNode forX, ValueNode forY, boolean unorderedIsTrue, NodeView view)
boolean	unorderedIsTrue() Checks whether unordered inputs mean true or false (only applies to float operations).

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

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

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

and, and, implies, isContradiction, isTautology, or, or

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

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

Methods inherited from interface org.graalvm.compiler.nodes.spi.Canonicalizable.Binary

canonical, canonical, getX, getY

Field Detail

TYPE

public static final NodeClass<CompareNode> TYPE

condition

protected final CanonicalCondition condition

unorderedIsTrue

protected final boolean unorderedIsTrue

Constructor Detail

CompareNode

protected CompareNode(NodeClass<? extends CompareNode> c,
                      CanonicalCondition 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 CanonicalCondition 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

tryConstantFold

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

tryConstantFoldPrimitive

public static LogicNode tryConstantFoldPrimitive(CanonicalCondition condition,
                                                 ValueNode forX,
                                                 ValueNode forY,
                                                 boolean unorderedIsTrue,
                                                 NodeView view)

isIdentityComparison

public boolean isIdentityComparison()

Does this operation represent an identity check such that for x == y, x is exactly the same thing as y. This is generally true except for some floating point comparisons.

Returns:

true for identity comparisons

createCompareNode

public static LogicNode createCompareNode(StructuredGraph graph,
                                          CanonicalCondition condition,
                                          ValueNode x,
                                          ValueNode y,
                                          ConstantReflectionProvider constantReflection,
                                          NodeView view)

createCompareNode

public static LogicNode createCompareNode(CanonicalCondition condition,
                                          ValueNode x,
                                          ValueNode y,
                                          ConstantReflectionProvider constantReflection,
                                          NodeView view)

createCompareNode

public static LogicNode createCompareNode(StructuredGraph graph,
                                          ConstantReflectionProvider constantReflection,
                                          MetaAccessProvider metaAccess,
                                          OptionValues options,
                                          Integer smallestCompareWidth,
                                          CanonicalCondition condition,
                                          ValueNode x,
                                          ValueNode y,
                                          NodeView view)

createAnyCompareNode

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

implies

public boolean implies(LogicNode otherLogicNode,
                       boolean thisNegated)

implies

public boolean implies(CompareNode otherCompare,
                       boolean otherNegated,
                       boolean thisNegated)

createCompareNode

public static LogicNode createCompareNode(ConstantReflectionProvider constantReflection,
                                          MetaAccessProvider metaAccess,
                                          OptionValues options,
                                          Integer smallestCompareWidth,
                                          CanonicalCondition condition,
                                          ValueNode x,
                                          ValueNode y,
                                          NodeView view)

createFloatCompareNode

public static LogicNode createFloatCompareNode(StructuredGraph graph,
                                               CanonicalCondition condition,
                                               ValueNode x,
                                               ValueNode y,
                                               boolean unorderedIsTrue,
                                               NodeView view)

createFloatCompareNode

public static LogicNode createFloatCompareNode(CanonicalCondition condition,
                                               ValueNode x,
                                               ValueNode y,
                                               boolean unorderedIsTrue,
                                               NodeView view)