com.oracle.graal.phases.common

Class ConditionalEliminationPhase.ConditionalElimination

java.lang.Object

com.oracle.graal.phases.graph.SinglePassNodeIterator<ConditionalEliminationPhase.State>

com.oracle.graal.phases.common.ConditionalEliminationPhase.ConditionalElimination

Enclosing class:

ConditionalEliminationPhase

public class ConditionalEliminationPhase.ConditionalElimination
extends SinglePassNodeIterator<ConditionalEliminationPhase.State>

Field Summary

Fields

Modifier and Type	Field and Description
private LogicNode	falseConstant
private LogicNode	trueConstant

Fields inherited from class com.oracle.graal.phases.graph.SinglePassNodeIterator

state

Constructor Summary

Constructors

Constructor and Description
ConditionalElimination(StartNode start, ConditionalEliminationPhase.State initialState)

Method Summary

Modifier and Type	Method and Description
private boolean	assertImpliedGuard(Set<GuardNode> provers)
private ConditionalEliminationPhase.GuardedStamp	computeGuardedStamp(GuardNode guard)
private void	eliminateGuard(GuardNode guard, GuardingNode anchor) Replace guard with anchor .
private boolean	eliminateTrivialGuardOrRegisterStamp(GuardNode guard)
private <T extends ValueNode> T	evaluateCondition(LogicNode condition, T trueValue, T falseValue) Determines if, at the current point in the control flow, the condition is known to be true, false or unknown.
void	finished() The lifecycle that single-pass node iterators go through is described in SinglePassNodeIterator.apply()
protected void	node(FixedNode node)
private void	processAbstractBegin(AbstractBeginNode begin)
private void	processAbstractEnd(AbstractEndNode endNode)
private void	processCheckCast(CheckCastNode checkCast)
private void	processConditionAnchor(ConditionAnchorNode conditionAnchorNode)
private void	processFixedGuard(FixedGuardNode guard)
private void	processIf(IfNode ifNode)
private void	processInvoke(Invoke invoke)
private void	registerCondition(boolean isTrue, LogicNode condition, GuardingNode anchor)
private void	registerConditionalStamp(GuardNode guard)
private void	registerControlSplitInfo(Node pred, AbstractBeginNode begin)
private GuardingNode	searchAnchor(ValueNode value, ResolvedJavaType type)
private boolean	testImpliedGuard(GuardNode guard) See if a conditional type constraint can prove this guard.
private boolean	tryReplaceWithExistingGuard(GuardNode guard)
private void	trySimplify(IfNode ifNode, LogicNode compare, LogicNode replacement, GuardingNode replacementAnchor, AbstractBeginNode survivingSuccessor)

Methods inherited from class com.oracle.graal.phases.graph.SinglePassNodeIterator

apply, controlSplit, end, invoke, loopBegin, loopEnd, merge

Methods inherited from class java.lang.Object

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

Field Detail

trueConstant

private final LogicNode trueConstant

falseConstant

private final LogicNode falseConstant

Constructor Detail

ConditionalElimination

public ConditionalElimination(StartNode start,
                              ConditionalEliminationPhase.State initialState)

Method Detail

finished

public void finished()

Description copied from class: SinglePassNodeIterator

The lifecycle that single-pass node iterators go through is described in SinglePassNodeIterator.apply()

When overriding this method don't forget to invoke this implementation, otherwise the assertions will be skipped.

Overrides:

finished in class SinglePassNodeIterator<ConditionalEliminationPhase.State>

registerCondition

private void registerCondition(boolean isTrue,
                               LogicNode condition,
                               GuardingNode anchor)

registerControlSplitInfo

private void registerControlSplitInfo(Node pred,
                                      AbstractBeginNode begin)

computeGuardedStamp

private ConditionalEliminationPhase.GuardedStamp computeGuardedStamp(GuardNode guard)

eliminateTrivialGuardOrRegisterStamp

private boolean eliminateTrivialGuardOrRegisterStamp(GuardNode guard)

eliminateGuard

private void eliminateGuard(GuardNode guard,
                            GuardingNode anchor)

Replace guard with anchor .

Parameters:

guard - The guard to eliminate.

anchor - Node to replace the guard.

testImpliedGuard

private boolean testImpliedGuard(GuardNode guard)

See if a conditional type constraint can prove this guard.

Parameters:

guard -

Returns:

true if the guard was eliminated.

tryReplaceWithExistingGuard

private boolean tryReplaceWithExistingGuard(GuardNode guard)

registerConditionalStamp

private void registerConditionalStamp(GuardNode guard)

evaluateCondition

private <T extends ValueNode> T evaluateCondition(LogicNode condition,
                                                  T trueValue,
                                                  T falseValue)

Determines if, at the current point in the control flow, the condition is known to be true, false or unknown. In case of true or false the corresponding value is returned, otherwise null.

node

protected void node(FixedNode node)

Specified by:

node in class SinglePassNodeIterator<ConditionalEliminationPhase.State>

processIf

private void processIf(IfNode ifNode)

trySimplify

private void trySimplify(IfNode ifNode,
                         LogicNode compare,
                         LogicNode replacement,
                         GuardingNode replacementAnchor,
                         AbstractBeginNode survivingSuccessor)

processInvoke

private void processInvoke(Invoke invoke)

processAbstractEnd

private void processAbstractEnd(AbstractEndNode endNode)

processConditionAnchor

private void processConditionAnchor(ConditionAnchorNode conditionAnchorNode)

processCheckCast

private void processCheckCast(CheckCastNode checkCast)

processFixedGuard

private void processFixedGuard(FixedGuardNode guard)

processAbstractBegin

private void processAbstractBegin(AbstractBeginNode begin)

assertImpliedGuard

private boolean assertImpliedGuard(Set<GuardNode> provers)

searchAnchor

private GuardingNode searchAnchor(ValueNode value,
                                  ResolvedJavaType type)