com.oracle.graal.nodes.extended

Class BranchProbabilityNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.calc.FloatingNode

com.oracle.graal.nodes.extended.BranchProbabilityNode

All Implemented Interfaces:

Node.ValueNumberable, NodeInterface, Simplifiable, Lowerable, Cloneable, Formattable, KindProvider

public final class BranchProbabilityNode
extends FloatingNode
implements Simplifiable, Lowerable

Instances of this node class will look for a preceding if node and put the given probability into the if node's taken probability. Then the branch probability node will be removed. This node is intended primarily for snippets, so that they can define their fast and slow paths.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.graph.Node

Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ValueNode	condition
static double	FAST_PATH_PROBABILITY
static double	FREQUENT_PROBABILITY
static double	LIKELY_PROBABILITY
static double	NOT_FREQUENT_PROBABILITY
static double	NOT_LIKELY_PROBABILITY
(package private) ValueNode	probability
static double	SLOW_PATH_PROBABILITY
static NodeClass<BranchProbabilityNode>	TYPE
static double	VERY_FAST_PATH_PROBABILITY
static double	VERY_SLOW_PATH_PROBABILITY

Fields inherited from class com.oracle.graal.nodes.ValueNode

stamp

Fields inherited from class com.oracle.graal.graph.Node

NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Constructor and Description
BranchProbabilityNode(ValueNode probability, ValueNode condition)

Method Summary

Modifier and Type	Method and Description
ValueNode	getCondition()
ValueNode	getProbability()
private boolean	isSubstitutionGraph()
void	lower(LoweringTool tool) Expand this node into lower level nodes expressing the same semantics.
static boolean	probability(double probability, boolean condition) This intrinsic should only be used for the condition of an if statement.
void	simplify(SimplifierTool tool) Must be overridden by subclasses that implement Simplifiable.

Methods inherited from class com.oracle.graal.nodes.calc.FloatingNode

asNode

Methods inherited from class com.oracle.graal.nodes.ValueNode

asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp

Methods inherited from class com.oracle.graal.graph.Node

acceptInputs, acceptSuccessors, afterClone, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearSuccessors, copyWithInputs, copyWithInputs, equals, fail, formatTo, getDebugProperties, getDebugProperties, getId, getNodeClass, getUsageAt, getUsageCount, hashCode, hasNoUsages, hasUsages, inputs, isAlive, isDeleted, markDeleted, modCount, newIdentityMap, newIdentityMap, newIdentityMap, newMap, newMap, newMap, newSet, newSet, predecessor, pushInputs, removeUsage, replaceAndDelete, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceFirstInput, replaceFirstSuccessor, safeDelete, successors, toString, toString, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verify, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.nodes.spi.Lowerable

asNode

Field Detail

TYPE

public static final NodeClass<BranchProbabilityNode> TYPE

LIKELY_PROBABILITY

public static final double LIKELY_PROBABILITY

See Also:

Constant Field Values

NOT_LIKELY_PROBABILITY

public static final double NOT_LIKELY_PROBABILITY

See Also:

Constant Field Values

FREQUENT_PROBABILITY

public static final double FREQUENT_PROBABILITY

See Also:

Constant Field Values

NOT_FREQUENT_PROBABILITY

public static final double NOT_FREQUENT_PROBABILITY

See Also:

Constant Field Values

FAST_PATH_PROBABILITY

public static final double FAST_PATH_PROBABILITY

See Also:

Constant Field Values

SLOW_PATH_PROBABILITY

public static final double SLOW_PATH_PROBABILITY

See Also:

Constant Field Values

VERY_FAST_PATH_PROBABILITY

public static final double VERY_FAST_PATH_PROBABILITY

See Also:

Constant Field Values

VERY_SLOW_PATH_PROBABILITY

public static final double VERY_SLOW_PATH_PROBABILITY

See Also:

Constant Field Values

probability

ValueNode probability

condition

ValueNode condition

Constructor Detail

BranchProbabilityNode

public BranchProbabilityNode(ValueNode probability,
                             ValueNode condition)

Method Detail

getProbability

public ValueNode getProbability()

getCondition

public ValueNode getCondition()

simplify

public void simplify(SimplifierTool tool)

Description copied from class: Node

Must be overridden by subclasses that implement Simplifiable. The implementation in Node exists to obviate the need to cast a node before invoking Simplifiable.simplify(SimplifierTool).

Specified by:

simplify in interface Simplifiable

Overrides:

simplify in class Node

isSubstitutionGraph

private boolean isSubstitutionGraph()

probability

public static boolean probability(double probability,
                                  boolean condition)

This intrinsic should only be used for the condition of an if statement. The parameter condition should also only denote a simple condition and not a combined condition involving && or || operators. It injects the probability of the condition into the if statement.

Parameters:

probability - the probability that the given condition is true as a double value between 0.0 and 1.0.

condition - the simple condition without any && or || operators

Returns:

the condition

lower

public void lower(LoweringTool tool)

Description copied from interface: Lowerable

Expand this node into lower level nodes expressing the same semantics. If the introduced nodes are themselves lowerable, they should be recursively lowered as part of this call.

Specified by:

lower in interface Lowerable