com.oracle.graal.nodes.calc

Class IntegerEqualsNode

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

com.oracle.graal.nodes.calc.IntegerEqualsNode

All Implemented Interfaces:

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

public final class IntegerEqualsNode
extends CompareNode
implements Canonicalizable.BinaryCommutative<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
static NodeClass<IntegerEqualsNode>	TYPE

Fields inherited from class com.oracle.graal.nodes.calc.CompareNode

condition, 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

Constructor and Description
IntegerEqualsNode(ValueNode x, ValueNode y)

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.
protected ValueNode	canonicalizeSymmetricConstant(CanonicalizerTool tool, Constant constant, ValueNode nonConstant, boolean mirrored)
static LogicNode	create(ValueNode x, ValueNode y, ConstantReflectionProvider constantReflection)
protected CompareNode	duplicateModified(ValueNode newX, ValueNode newY)
Stamp	getSucceedingStampForX(boolean negated)
Stamp	getSucceedingStampForY(boolean negated)
protected ValueNode	optimizeNormalizeCmp(Constant constant, NormalizeCompareNode normalizeNode, boolean mirrored)
TriState	tryFold(Stamp xStampGeneric, Stamp yStampGeneric)

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

condition, createCompareNode, createCompareNode, tryConstantFold, unorderedIsTrue

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

generate, getX, getY, maybeCommuteInputs, 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.BinaryCommutative

maybeCommuteInputs

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

canonical, getX, getY

Field Detail

TYPE

public static final NodeClass<IntegerEqualsNode> TYPE

Constructor Detail

IntegerEqualsNode

public IntegerEqualsNode(ValueNode x,
                         ValueNode y)

Method Detail

create

public static LogicNode create(ValueNode x,
                               ValueNode y,
                               ConstantReflectionProvider constantReflection)

optimizeNormalizeCmp

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

Overrides:

optimizeNormalizeCmp in class CompareNode

duplicateModified

protected CompareNode duplicateModified(ValueNode newX,
                                        ValueNode newY)

Specified by:

duplicateModified in class CompareNode

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>

Overrides:

canonical in class CompareNode

canonicalizeSymmetricConstant

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

Overrides:

canonicalizeSymmetricConstant in class CompareNode

getSucceedingStampForX

public Stamp getSucceedingStampForX(boolean negated)

Specified by:

getSucceedingStampForX in class BinaryOpLogicNode

getSucceedingStampForY

public Stamp getSucceedingStampForY(boolean negated)

Specified by:

getSucceedingStampForY in class BinaryOpLogicNode

tryFold

public TriState tryFold(Stamp xStampGeneric,
                        Stamp yStampGeneric)

Specified by:

tryFold in class BinaryOpLogicNode