com.oracle.graal.replacements.nodes.arithmetic

Class IntegerAddExactNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.calc.FloatingNode

com.oracle.graal.nodes.calc.BinaryNode

com.oracle.graal.nodes.calc.BinaryArithmeticNode<ArithmeticOpTable.BinaryOp.Add>

com.oracle.graal.nodes.calc.AddNode

com.oracle.graal.replacements.nodes.arithmetic.IntegerAddExactNode

All Implemented Interfaces:

Node.ValueNumberable, NodeInterface, Canonicalizable, Canonicalizable.Binary<ValueNode>, Canonicalizable.BinaryCommutative<ValueNode>, ArithmeticOperation, NarrowableArithmeticNode, ArithmeticLIRLowerable, Lowerable, IntegerExactArithmeticNode, Cloneable, Formattable, KindProvider

public final class IntegerAddExactNode
extends AddNode
implements IntegerExactArithmeticNode

Node representing an exact integer addition that will throw an ArithmeticException in case the addition would overflow the 32 bit range.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.nodes.calc.BinaryArithmeticNode

BinaryArithmeticNode.SerializableBinaryFunction<T>

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<IntegerAddExactNode>	TYPE

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

getOp

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

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
IntegerAddExactNode(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.
private static ConstantNode	canonicalXconstant(ValueNode forX, ValueNode forY)
IntegerExactArithmeticSplitNode	createSplit(AbstractBeginNode next, AbstractBeginNode deopt)
private static ValueNode	findSynonym(ValueNode forX, ValueNode forY)
private static Stamp	foldStamp(Stamp stamp1, Stamp stamp2)
boolean	inferStamp() This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change.
void	lower(LoweringTool tool) Expand this node into lower level nodes expressing the same semantics.

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

create, generate

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

add, add, getOp, isAssociative, livesLonger, maybeCommuteInputs, mul, mul, reassociate, sub, sub, tryConstantFold

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

getX, getY, setX, setY

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

asNode

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

asConstant, asJavaConstant, getKind, graph, 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, verify, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.nodes.spi.Lowerable

asNode

Methods inherited from interface com.oracle.graal.nodes.calc.NarrowableArithmeticNode

isNarrowable

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<IntegerAddExactNode> TYPE

Constructor Detail

IntegerAddExactNode

public IntegerAddExactNode(ValueNode x,
                           ValueNode y)

Method Detail

inferStamp

public boolean inferStamp()

Description copied from class: ValueNode

This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change. A typical implementation will compute the stamp and pass it to ValueNode.updateStamp(Stamp), whose return value can be used as the result of this method.

Overrides:

inferStamp in class BinaryArithmeticNode<ArithmeticOpTable.BinaryOp.Add>

Returns:

true if the stamp has changed, false otherwise.

foldStamp

private static Stamp foldStamp(Stamp stamp1,
                               Stamp stamp2)

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 AddNode

findSynonym

private static ValueNode findSynonym(ValueNode forX,
                                     ValueNode forY)

canonicalXconstant

private static ConstantNode canonicalXconstant(ValueNode forX,
                                               ValueNode forY)

createSplit

public IntegerExactArithmeticSplitNode createSplit(AbstractBeginNode next,
                                                   AbstractBeginNode deopt)

Specified by:

createSplit in interface IntegerExactArithmeticNode

lower

public void lower(LoweringTool tool)

Description copied from interface: Lowerable

Expand this node into lower level nodes expressing the same semantics. If the introduced nodes are themselves lowerable, they should be recursively lowered as part of this call.

Specified by:

lower in interface Lowerable