public final class IntegerEqualsNode extends CompareNode implements Canonicalizable.BinaryCommutative<ValueNode>
Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable
Canonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Unary<T extends Node>
Modifier and Type | Field and Description |
---|---|
static NodeClass<IntegerEqualsNode> |
TYPE |
condition, unorderedIsTrue
x, y
NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges
Constructor and Description |
---|
IntegerEqualsNode(ValueNode x,
ValueNode y) |
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) |
condition, createCompareNode, createCompareNode, tryConstantFold, unorderedIsTrue
generate, getX, getY, maybeCommuteInputs, verify
and, and, isContradiction, isTautology, or, or
asNode
asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp
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
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
maybeCommuteInputs
canonical, getX, getY
public static final NodeClass<IntegerEqualsNode> TYPE
public IntegerEqualsNode(ValueNode x, ValueNode y)
public static LogicNode create(ValueNode x, ValueNode y, ConstantReflectionProvider constantReflection)
protected ValueNode optimizeNormalizeCmp(Constant constant, NormalizeCompareNode normalizeNode, boolean mirrored)
optimizeNormalizeCmp
in class CompareNode
protected CompareNode duplicateModified(ValueNode newX, ValueNode newY)
duplicateModified
in class CompareNode
public ValueNode canonical(CanonicalizerTool tool, ValueNode forX, ValueNode forY)
Canonicalizable.Binary
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.canonical
in interface Canonicalizable.Binary<ValueNode>
canonical
in class CompareNode
protected ValueNode canonicalizeSymmetricConstant(CanonicalizerTool tool, Constant constant, ValueNode nonConstant, boolean mirrored)
canonicalizeSymmetricConstant
in class CompareNode
public Stamp getSucceedingStampForX(boolean negated)
getSucceedingStampForX
in class BinaryOpLogicNode
public Stamp getSucceedingStampForY(boolean negated)
getSucceedingStampForY
in class BinaryOpLogicNode