org.graalvm.compiler.nodes

Class ShortCircuitOrNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.LogicNode

org.graalvm.compiler.nodes.ShortCircuitOrNode

All Implemented Interfaces:

Cloneable, Formattable, IterableNodeType, Node.IndirectCanonicalization, Node.ValueNumberable, CanonicalizableMarker, Canonicalizable, Canonicalizable.Binary<LogicNode>, ValueNodeInterface

public final class ShortCircuitOrNode
extends LogicNode
implements IterableNodeType, Canonicalizable.Binary<LogicNode>

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
protected ProfileData.BranchProbabilityData	shortCircuitProbability
static NodeClass<ShortCircuitOrNode>	TYPE
protected boolean	xNegated
protected boolean	yNegated

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
ShortCircuitOrNode(LogicNode x, boolean xNegated, LogicNode y, boolean yNegated, ProfileData.BranchProbabilityData shortCircuitProbability)

Method Summary

Modifier and Type	Method and Description
LogicNode	canonical(CanonicalizerTool tool, LogicNode forX, LogicNode 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.
protected ShortCircuitOrNode	canonicalizeNegation(LogicNode forX, LogicNode forY)
static LogicNode	create(LogicNode x, boolean xNegated, LogicNode y, boolean yNegated, ProfileData.BranchProbabilityData shortCircuitProbability)
ProfileData.BranchProbabilityData	getShortCircuitProbability() Gets the probability that the y part of this binary node is not evaluated.
LogicNode	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).
LogicNode	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).
boolean	isXNegated()
boolean	isYNegated()

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

and, and, implies, isContradiction, isTautology, or, or

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

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, inferStamp, 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, 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.spi.Canonicalizable.Binary

canonical

Field Detail

TYPE

public static final NodeClass<ShortCircuitOrNode> TYPE

xNegated

protected boolean xNegated

yNegated

protected boolean yNegated

shortCircuitProbability

protected ProfileData.BranchProbabilityData shortCircuitProbability

Constructor Detail

ShortCircuitOrNode

public ShortCircuitOrNode(LogicNode x,
                          boolean xNegated,
                          LogicNode y,
                          boolean yNegated,
                          ProfileData.BranchProbabilityData shortCircuitProbability)

Method Detail

create

public static LogicNode create(LogicNode x,
                               boolean xNegated,
                               LogicNode y,
                               boolean yNegated,
                               ProfileData.BranchProbabilityData shortCircuitProbability)

getX

public LogicNode 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<LogicNode>

getY

public LogicNode 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<LogicNode>

isXNegated

public boolean isXNegated()

isYNegated

public boolean isYNegated()

getShortCircuitProbability

public ProfileData.BranchProbabilityData getShortCircuitProbability()

Gets the probability that the y part of this binary node is not evaluated. This is the probability that this operator will short-circuit its execution.

canonicalizeNegation

protected ShortCircuitOrNode canonicalizeNegation(LogicNode forX,
                                                  LogicNode forY)

canonical

public LogicNode canonical(CanonicalizerTool tool,
                           LogicNode forX,
                           LogicNode 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<LogicNode>