org.graalvm.compiler.nodes

Class LogicNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.LogicNode

All Implemented Interfaces:

Cloneable, Formattable, Node.IndirectCanonicalization, Node.ValueNumberable, ValueNodeInterface

Direct Known Subclasses:

BinaryOpLogicNode, ClassIsArrayNode, IntegerExactOverflowNode, IntegerNegExactOverflowNode, LogicConstantNode, LogicNegationNode, OpaqueLogicNode, ShortCircuitOrNode, UnaryOpLogicNode

public abstract class LogicNode
extends FloatingNode
implements Node.IndirectCanonicalization

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

Field Summary

Fields

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

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
LogicNode(NodeClass<? extends LogicNode> c)

Method Summary

Modifier and Type	Method and Description
static LogicNode	and(LogicNode a, boolean negateA, LogicNode b, boolean negateB, ProfileData.BranchProbabilityData shortCircuitProbability)
static LogicNode	and(LogicNode a, LogicNode b, ProfileData.BranchProbabilityData shortCircuitProbability)
TriState	implies(boolean thisNegated, LogicNode other) Determines what this condition implies about the other.
boolean	isContradiction()
boolean	isTautology()
static LogicNode	or(LogicNode a, boolean negateA, LogicNode b, boolean negateB, ProfileData.BranchProbabilityData shortCircuitProbability)
static LogicNode	or(LogicNode a, LogicNode b, ProfileData.BranchProbabilityData shortCircuitProbability)

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

Field Detail

TYPE

public static final NodeClass<LogicNode> TYPE

Constructor Detail

LogicNode

public LogicNode(NodeClass<? extends LogicNode> c)

Method Detail

and

public static LogicNode and(LogicNode a,
                            LogicNode b,
                            ProfileData.BranchProbabilityData shortCircuitProbability)

and

public static LogicNode and(LogicNode a,
                            boolean negateA,
                            LogicNode b,
                            boolean negateB,
                            ProfileData.BranchProbabilityData shortCircuitProbability)

or

public static LogicNode or(LogicNode a,
                           LogicNode b,
                           ProfileData.BranchProbabilityData shortCircuitProbability)

or

public static LogicNode or(LogicNode a,
                           boolean negateA,
                           LogicNode b,
                           boolean negateB,
                           ProfileData.BranchProbabilityData shortCircuitProbability)

isTautology

public final boolean isTautology()

isContradiction

public final boolean isContradiction()

implies

public TriState implies(boolean thisNegated,
                        LogicNode other)

Determines what this condition implies about the other.

• If negate(this, thisNegated) => other, returns TriState.TRUE
• If negate(this, thisNegated) => !other, returns TriState.FALSE

Parameters:

thisNegated - whether this condition should be considered as false.

other - the other condition.