org.graalvm.compiler.nodes.calc

Class AndNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.calc.BinaryNode

org.graalvm.compiler.nodes.calc.BinaryArithmeticNode<ArithmeticOpTable.BinaryOp.And>

org.graalvm.compiler.nodes.calc.AndNode

All Implemented Interfaces:

Cloneable, Formattable, Node.IndirectCanonicalization, Node.ValueNumberable, BinaryCommutativeMarker, CanonicalizableMarker, ArithmeticOperation, NarrowableArithmeticNode, ArithmeticLIRLowerable, Canonicalizable, Canonicalizable.Binary<ValueNode>, Canonicalizable.BinaryCommutative<ValueNode>, LIRLowerable, ValueNodeInterface

public final class AndNode
extends BinaryArithmeticNode<ArithmeticOpTable.BinaryOp.And>
implements NarrowableArithmeticNode, Canonicalizable.BinaryCommutative<ValueNode>

Nested Class Summary

Nested classes/interfaces inherited from class org.graalvm.compiler.graph.Node

Node.ConstantNodeParameter, Node.EdgeVisitor, Node.IndirectCanonicalization, Node.InjectedNodeParameter, Node.Input, Node.NodeInsertionStackTrace, Node.NodeIntrinsic, Node.NodeIntrinsicFactory, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.spi.Canonicalizable

Canonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Ternary<T extends Node>, Canonicalizable.Unary<T extends Node>

Field Summary

Fields

Modifier and Type	Field and Description
static NodeClass<AndNode>	TYPE

Fields inherited from class org.graalvm.compiler.nodes.calc.BinaryNode

x, y

Fields inherited from class org.graalvm.compiler.nodes.ValueNode

EMPTY_ARRAY, stamp

Fields inherited from class org.graalvm.compiler.graph.Node

NODE_LIST, NOT_ITERABLE, TRACK_CREATION_POSITION, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Constructor and Description
AndNode(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.
static ValueNode	create(ValueNode x, ValueNode y, NodeView view)
static ValueNode	eliminateRedundantBinaryArithmeticOp(ValueNode usingAndInput, IntegerStamp usingAndOtherStamp) Given a value which is an input to an AndNode and an IntegerStamp for the other input determine if the input can be simplified by folding away an AddNode or an OrNode.
void	generate(NodeLIRBuilderTool nodeValueMap, ArithmeticLIRGeneratorTool gen)
protected ArithmeticOpTable.BinaryOp<ArithmeticOpTable.BinaryOp.And>	getOp(ArithmeticOpTable table)

Methods inherited from class org.graalvm.compiler.nodes.calc.BinaryArithmeticNode

add, add, add, branchlessMax, branchlessMin, foldStamp, getArithmeticOp, getArithmeticOpTable, getOp, isAssociative, maybeCommuteInputs, mul, mul, mul, reassociateMatchedValues, reassociateUnmatchedValues, shouldSwapInputs, sub, sub, sub, tryConstantFold

Methods inherited from class org.graalvm.compiler.nodes.calc.BinaryNode

getX, getY, inferStamp, setX, setY

Methods inherited from class org.graalvm.compiler.nodes.ValueNode

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, isAllowedUsageType, isConstant, isConstantPredicate, isDefaultConstant, isIllegalConstant, isJavaConstant, isNullConstant, isSerializableConstant, recursivelyDataFlowEqualsUpTo, setStamp, stamp, updateStamp, updateUsagesInterface

Methods inherited from class org.graalvm.compiler.graph.Node

afterClone, applyInputs, applySuccessors, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearNodeSourcePosition, clearSuccessors, copyWithInputs, copyWithInputs, dataFlowEquals, dynamicNodeSizeEstimate, estimatedNodeCycles, estimatedNodeSize, fail, formatTo, getCreationPosition, getDebug, getDebugProperties, getDebugProperties, getInsertionPosition, getNodeClass, getNodeSourcePosition, getOptions, getUsageCount, hasExactlyOneUsage, hasExactlyOneUsageOfType, hashCode, hasMoreThanOneUsage, hasNoUsages, hasOnlyUsagesOfType, hasUsages, hasUsagesOfType, inputPositions, inputs, isAlive, isDeleted, isUnregistered, markDeleted, maybeNotifyZeroUsages, modCount, predecessor, pushInputs, removeUsage, replaceAllInputs, replaceAndDelete, replaceAtAllUsages, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsagesAndDelete, replaceAtUsagesAndDelete, replaceFirstInput, replaceFirstSuccessor, safeDelete, setCreationPosition, setInsertionPosition, setNodeSourcePosition, singleUsage, successorPositions, successors, toString, toString, updateNodeSourcePosition, updatePredecessor, updateUsages, usages, valueEquals, verify, verifyEdges, verifyInputs, verifySourcePosition, withNodeSourcePosition

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.graalvm.compiler.nodes.calc.NarrowableArithmeticNode

isNarrowable

Methods inherited from interface org.graalvm.compiler.nodes.ArithmeticOperation

getArithmeticOp

Methods inherited from interface org.graalvm.compiler.nodes.spi.Canonicalizable.BinaryCommutative

maybeCommuteInputs

Methods inherited from interface org.graalvm.compiler.nodes.spi.Canonicalizable.Binary

canonical, getX, getY

Methods inherited from interface org.graalvm.compiler.nodes.spi.ArithmeticLIRLowerable

generate

Field Detail

TYPE

public static final NodeClass<AndNode> TYPE

Constructor Detail

AndNode

public AndNode(ValueNode x,
               ValueNode y)

Method Detail

create

public static ValueNode create(ValueNode x,
                               ValueNode y,
                               NodeView view)

getOp

protected ArithmeticOpTable.BinaryOp<ArithmeticOpTable.BinaryOp.And> getOp(ArithmeticOpTable table)

Specified by:

getOp in class BinaryArithmeticNode<ArithmeticOpTable.BinaryOp.And>

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 BinaryArithmeticNode<ArithmeticOpTable.BinaryOp.And>

eliminateRedundantBinaryArithmeticOp

public static ValueNode eliminateRedundantBinaryArithmeticOp(ValueNode usingAndInput,
                                                             IntegerStamp usingAndOtherStamp)

Given a value which is an input to an AndNode and an IntegerStamp for the other input determine if the input can be simplified by folding away an AddNode or an OrNode.

Parameters:

usingAndInput - the AndNode ValueNode input

usingAndOtherStamp - the stamp of the other input

Returns:

A ValueNode to use as a replacement input in place of the usingAndInput input, null otherwise

generate

public void generate(NodeLIRBuilderTool nodeValueMap,
                     ArithmeticLIRGeneratorTool gen)

Specified by:

generate in interface ArithmeticLIRLowerable