com.oracle.graal.replacements.nodes.arithmetic

Class UnsignedMulHighNode

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.replacements.nodes.arithmetic.UnsignedMulHighNode

All Implemented Interfaces:

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

public final class UnsignedMulHighNode
extends BinaryNode
implements ArithmeticLIRLowerable

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

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
UnsignedMulHighNode(IntegerStamp stamp, ValueNode x, ValueNode y)
UnsignedMulHighNode(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.
void	generate(NodeValueMap nodeValueMap, ArithmeticLIRGenerator gen)
boolean	inferStamp() This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change.
static int	multiplyHighUnsigned(int x, int y)
static long	multiplyHighUnsigned(long x, long y)
private <T> T	processExtremes(ValueNode forX, ValueNode forY, BiFunction<Long,Long,T> op) Determines the minimum and maximum result of this node for the given inputs and returns the result of the given BiFunction on the minimum and maximum values.

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.graph.spi.Canonicalizable.Binary

canonical

Field Detail

TYPE

public static final NodeClass<UnsignedMulHighNode> TYPE

Constructor Detail

UnsignedMulHighNode

public UnsignedMulHighNode(ValueNode x,
                           ValueNode y)

UnsignedMulHighNode

public UnsignedMulHighNode(IntegerStamp stamp,
                           ValueNode x,
                           ValueNode y)

Method Detail

processExtremes

private <T> T processExtremes(ValueNode forX,
                              ValueNode forY,
                              BiFunction<Long,Long,T> op)

Determines the minimum and maximum result of this node for the given inputs and returns the result of the given BiFunction on the minimum and maximum values. Note that the minima and maxima are calculated using signed min/max functions, while the values themselves are unsigned.

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 ValueNode

Returns:

true if the stamp has changed, false otherwise.

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>

generate

public void generate(NodeValueMap nodeValueMap,
                     ArithmeticLIRGenerator gen)

Specified by:

generate in interface ArithmeticLIRLowerable

multiplyHighUnsigned

public static int multiplyHighUnsigned(int x,
                                       int y)

multiplyHighUnsigned

public static long multiplyHighUnsigned(long x,
                                        long y)