org.graalvm.compiler.core.common.type

Class ArithmeticOpTable.BinaryOp<T>

java.lang.Object

org.graalvm.compiler.core.common.type.ArithmeticOpTable.Op

org.graalvm.compiler.core.common.type.ArithmeticOpTable.BinaryOp<T>

Direct Known Subclasses:

ArithmeticOpTable.BinaryOp.Add, ArithmeticOpTable.BinaryOp.And, ArithmeticOpTable.BinaryOp.Div, ArithmeticOpTable.BinaryOp.Max, ArithmeticOpTable.BinaryOp.Min, ArithmeticOpTable.BinaryOp.Mul, ArithmeticOpTable.BinaryOp.MulHigh, ArithmeticOpTable.BinaryOp.Or, ArithmeticOpTable.BinaryOp.Rem, ArithmeticOpTable.BinaryOp.Sub, ArithmeticOpTable.BinaryOp.UMulHigh, ArithmeticOpTable.BinaryOp.Xor

Enclosing class:

ArithmeticOpTable

public abstract static class ArithmeticOpTable.BinaryOp<T>
extends ArithmeticOpTable.Op

Describes a binary arithmetic operation.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ArithmeticOpTable.BinaryOp.Add
static class	ArithmeticOpTable.BinaryOp.And
static class	ArithmeticOpTable.BinaryOp.Div
static class	ArithmeticOpTable.BinaryOp.Max
static class	ArithmeticOpTable.BinaryOp.Min
static class	ArithmeticOpTable.BinaryOp.Mul
static class	ArithmeticOpTable.BinaryOp.MulHigh
static class	ArithmeticOpTable.BinaryOp.Or
static class	ArithmeticOpTable.BinaryOp.Rem
static class	ArithmeticOpTable.BinaryOp.Sub
static class	ArithmeticOpTable.BinaryOp.UMulHigh
static class	ArithmeticOpTable.BinaryOp.Xor

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BinaryOp(String operation, boolean associative, boolean commutative)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
abstract Constant	foldConstant(Constant a, Constant b) Applies this operation to a and b.
abstract Stamp	foldStamp(Stamp a, Stamp b) Apply the operation to two Stamps.
Constant	getZero(Stamp stamp) Check whether this operation has a zero {@code z == a .
int	hashCode()
boolean	isAssociative() Checks whether this operation is associative.
boolean	isCommutative() Checks whether this operation is commutative.
boolean	isNeutral(Constant n) Check whether a Constant is a neutral element for this operation.
String	toString()
ArithmeticOpTable.BinaryOp<T>	unwrap()

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryOp

protected BinaryOp(String operation,
                   boolean associative,
                   boolean commutative)

Method Detail

foldConstant

public abstract Constant foldConstant(Constant a,
                                      Constant b)

Applies this operation to a and b.

Returns:

the result of applying this operation or null if applying it would raise an exception (e.g., ArithmeticException for dividing by 0)

foldStamp

public abstract Stamp foldStamp(Stamp a,
                                Stamp b)

Apply the operation to two Stamps.

isAssociative

public final boolean isAssociative()

Checks whether this operation is associative. An operation is associative when (a . b) . c == a . (b . c) for all a, b, c. Note that you still have to be careful with inverses. For example the integer subtraction operation will report true here, since you can still reassociate as long as the correct negations are inserted.

isCommutative

public final boolean isCommutative()

Checks whether this operation is commutative. An operation is commutative when a . b == b . a for all a, b.

isNeutral

public boolean isNeutral(Constant n)

Check whether a Constant is a neutral element for this operation. A neutral element is any element n where a . n == a for all a.

Parameters:

n - the Constant that should be tested

Returns:

true iff for all a: a . n == a

getZero

public Constant getZero(Stamp stamp)

Check whether this operation has a zero z == a . a for each a. Examples of operations having such an element are subtraction and exclusive-or. Note that this may be different from the numbers tested by ArithmeticOpTable.BinaryOp.isNeutral(Constant).

Parameters:

stamp - a Stamp

Returns:

a unique z such that z == a . a for each a in stamp if it exists, otherwise null

unwrap

public ArithmeticOpTable.BinaryOp<T> unwrap()

hashCode

public int hashCode()

Overrides:

hashCode in class ArithmeticOpTable.Op

equals

public boolean equals(Object obj)

Overrides:

equals in class ArithmeticOpTable.Op

toString

public String toString()

Overrides:

toString in class ArithmeticOpTable.Op