com.oracle.graal.nodes

Class BinaryOpLogicNode

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

All Implemented Interfaces:

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

Direct Known Subclasses:

CompareNode, IntegerTestNode

public abstract class BinaryOpLogicNode
extends LogicNode
implements LIRLowerable, 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
static NodeClass<BinaryOpLogicNode>	TYPE
protected ValueNode	x
protected ValueNode	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
BinaryOpLogicNode(NodeClass<? extends BinaryOpLogicNode> c, ValueNode x, ValueNode y)

Method Summary

Modifier and Type	Method and Description
void	generate(NodeLIRBuilderTool gen)
abstract Stamp	getSucceedingStampForX(boolean negated)
abstract Stamp	getSucceedingStampForY(boolean negated)
ValueNode	getX() Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
ValueNode	getY() Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
LogicNode	maybeCommuteInputs() Ensure a canonical ordering of inputs for commutative nodes to improve GVN results.
abstract TriState	tryFold(Stamp xStamp, Stamp yStamp)
boolean	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, canonical

Field Detail

TYPE

public static final NodeClass<BinaryOpLogicNode> TYPE

x

protected ValueNode x

y

protected ValueNode y

Constructor Detail

BinaryOpLogicNode

public BinaryOpLogicNode(NodeClass<? extends BinaryOpLogicNode> c,
                         ValueNode x,
                         ValueNode y)

Method Detail

getX

public ValueNode getX()

Description copied from interface: Canonicalizable.Binary

Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).

Specified by:

getX in interface Canonicalizable.Binary<ValueNode>

getY

public ValueNode getY()

Description copied from interface: Canonicalizable.Binary

Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).

Specified by:

getY in interface Canonicalizable.Binary<ValueNode>

verify

public boolean verify()

Overrides:

verify in class Node

generate

public void generate(NodeLIRBuilderTool gen)

Specified by:

generate in interface LIRLowerable

maybeCommuteInputs

public LogicNode maybeCommuteInputs()

Ensure a canonical ordering of inputs for commutative nodes to improve GVN results. Order the inputs by increasing Node.id and call Graph.findDuplicate(Node) on the node if it's currently in a graph.

Returns:

the original node or another node with the same inputs, ignoring ordering.

getSucceedingStampForX

public abstract Stamp getSucceedingStampForX(boolean negated)

getSucceedingStampForY

public abstract Stamp getSucceedingStampForY(boolean negated)

tryFold

public abstract TriState tryFold(Stamp xStamp,
                                 Stamp yStamp)