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, NodeInterface, ValueNodeInterface

Direct Known Subclasses:

BinaryOpLogicNode, ClassIsArrayNode, IntegerExactOverflowNode, LogicConstantNode, LogicNegationNode, 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

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, double shortCircuitProbability)
static LogicNode	and(LogicNode a, LogicNode b, double shortCircuitProbability)
jdk.vm.ci.meta.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, double shortCircuitProbability)
static LogicNode	or(LogicNode a, LogicNode b, double shortCircuitProbability)

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

asNode

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

asConstant, asJavaConstant, asSerializableConstant, getStackKind, graph, hasUsagesOtherThan, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isDefaultConstant, isIllegalConstant, isJavaConstant, isNullConstant, isSerializableConstant, replaceAtAllUsages, replaceAtUsages, setStamp, stamp, updateStamp

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, 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,
                            double shortCircuitProbability)

and

public static LogicNode and(LogicNode a,
                            boolean negateA,
                            LogicNode b,
                            boolean negateB,
                            double shortCircuitProbability)

or

public static LogicNode or(LogicNode a,
                           LogicNode b,
                           double shortCircuitProbability)

or

public static LogicNode or(LogicNode a,
                           boolean negateA,
                           LogicNode b,
                           boolean negateB,
                           double shortCircuitProbability)

isTautology

public final boolean isTautology()

isContradiction

public final boolean isContradiction()

implies

public jdk.vm.ci.meta.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.