org.graalvm.compiler.phases.common

Class ConditionalEliminationUtil

java.lang.Object

org.graalvm.compiler.phases.common.ConditionalEliminationUtil

public class ConditionalEliminationUtil
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ConditionalEliminationUtil.GuardedCondition
static interface	ConditionalEliminationUtil.GuardFolding
static interface	ConditionalEliminationUtil.GuardRewirer
static class	ConditionalEliminationUtil.InfoElement
static interface	ConditionalEliminationUtil.InfoElementProvider
static class	ConditionalEliminationUtil.InputFilter Checks for safe nodes when moving pending tests up.
static class	ConditionalEliminationUtil.Marks

Constructor Summary

Constructors

Constructor and Description
ConditionalEliminationUtil()

Method Summary

Modifier and Type	Method and Description
static Stamp	getOtherSafeStamp(ValueNode x) We can only use the stamp of a second value involved in the condition if we are sure that we are not implicitly creating a dependency on a pi node that is responsible for that stamp.
static Stamp	getSafeStamp(ValueNode x) Get the stamp that may be used for the value for which we are registering the condition.
static org.graalvm.collections.Pair<ConditionalEliminationUtil.InfoElement,Stamp>	recursiveFoldStamp(ConditionalEliminationUtil.InfoElementProvider infoElementProvider, Node node)
static org.graalvm.collections.Pair<ConditionalEliminationUtil.InfoElement,Stamp>	recursiveFoldStampFromInfo(ConditionalEliminationUtil.InfoElementProvider infoElementProvider, Node node) Recursively try to fold stamps within this expression using information from ConditionalEliminationUtil.InfoElementProvider.infoElements(ValueNode).
static boolean	rewireGuards(GuardingNode guard, boolean result, ValueNode proxifiedInput, Stamp guardedValueStamp, ConditionalEliminationUtil.GuardRewirer rewireGuardFunction)
static boolean	tryProveGuardCondition(ConditionalEliminationUtil.InfoElementProvider infoElementProvider, ArrayDeque<ConditionalEliminationUtil.GuardedCondition> conditions, ConditionalEliminationUtil.GuardFolding guardFolding, DeoptimizingGuard thisGuard, LogicNode node, ConditionalEliminationUtil.GuardRewirer rewireGuardFunction)

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConditionalEliminationUtil

public ConditionalEliminationUtil()

Method Detail

getSafeStamp

public static Stamp getSafeStamp(ValueNode x)

Get the stamp that may be used for the value for which we are registering the condition. We may directly use the stamp here without restriction, because any later lookup of the registered info elements is in the same chain of pi nodes.

getOtherSafeStamp

public static Stamp getOtherSafeStamp(ValueNode x)

We can only use the stamp of a second value involved in the condition if we are sure that we are not implicitly creating a dependency on a pi node that is responsible for that stamp. For now, we are conservatively only using the stamps of constants. Under certain circumstances, we may also be able to use the stamp of the value after skipping pi nodes (e.g., the stamp of a parameter after inlining, or the stamp of a fixed node that can never be replaced with a pi node via canonicalization).

recursiveFoldStamp

public static org.graalvm.collections.Pair<ConditionalEliminationUtil.InfoElement,Stamp> recursiveFoldStamp(ConditionalEliminationUtil.InfoElementProvider infoElementProvider,
                                                                                                            Node node)

recursiveFoldStampFromInfo

public static org.graalvm.collections.Pair<ConditionalEliminationUtil.InfoElement,Stamp> recursiveFoldStampFromInfo(ConditionalEliminationUtil.InfoElementProvider infoElementProvider,
                                                                                                                    Node node)

Recursively try to fold stamps within this expression using information from ConditionalEliminationUtil.InfoElementProvider.infoElements(ValueNode). It's only safe to use constants and one ConditionalEliminationUtil.InfoElement otherwise more than one guard would be required.

Parameters:

node -

Returns:

the pair of the @{link InfoElement} used and the stamp produced for the whole expression

rewireGuards

public static boolean rewireGuards(GuardingNode guard,
                                   boolean result,
                                   ValueNode proxifiedInput,
                                   Stamp guardedValueStamp,
                                   ConditionalEliminationUtil.GuardRewirer rewireGuardFunction)

tryProveGuardCondition

public static boolean tryProveGuardCondition(ConditionalEliminationUtil.InfoElementProvider infoElementProvider,
                                             ArrayDeque<ConditionalEliminationUtil.GuardedCondition> conditions,
                                             ConditionalEliminationUtil.GuardFolding guardFolding,
                                             DeoptimizingGuard thisGuard,
                                             LogicNode node,
                                             ConditionalEliminationUtil.GuardRewirer rewireGuardFunction)