com.oracle.graal.phases.common

Class ConvertDeoptimizeToGuardPhase

java.lang.Object

com.oracle.graal.phases.BasePhase<PhaseContext>

com.oracle.graal.phases.common.ConvertDeoptimizeToGuardPhase

public class ConvertDeoptimizeToGuardPhase
extends BasePhase<PhaseContext>

This phase will find branches which always end with a DeoptimizeNode and replace their ControlSplitNodes with FixedGuardNodes. This is useful because FixedGuardNodes will be lowered to GuardNodes which can later be optimized more aggressively than control-flow constructs. This is currently only done for branches that start from a IfNode. If it encounters a branch starting at an other kind of ControlSplitNode, it will only bring the DeoptimizeNode as close to the ControlSplitNode as possible.

Field Summary

Fields

Modifier and Type	Field and Description
private SimplifierTool	simplifierTool

Fields inherited from class com.oracle.graal.phases.BasePhase

BEFORE_PHASE_DUMP_LEVEL, PHASE_DUMP_LEVEL

Constructor Summary

Constructors

Constructor and Description
ConvertDeoptimizeToGuardPhase()

Method Summary

Modifier and Type	Method and Description
private static AbstractBeginNode	findBeginNode(FixedNode startNode)
private void	processFixedGuardAndMerge(FixedGuardNode fixedGuard, PhaseContext context, CompareNode compare, ValueNode x, ValuePhiNode xPhi, ValueNode y, ValuePhiNode yPhi, AbstractMergeNode merge)
private void	processFixedGuardAndPhis(FixedGuardNode fixedGuard, PhaseContext context, CompareNode compare, ValueNode x, ValuePhiNode xPhi, ValueNode y, ValuePhiNode yPhi)
protected void	run(StructuredGraph graph, PhaseContext context)
private void	trySplitFixedGuard(FixedGuardNode fixedGuard, PhaseContext context)
private void	visitDeoptBegin(AbstractBeginNode deoptBegin, DeoptimizationAction deoptAction, DeoptimizationReason deoptReason, JavaConstant speculation, StructuredGraph graph)

Methods inherited from class com.oracle.graal.phases.BasePhase

apply, apply, createName, getName

Methods inherited from class java.lang.Object

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

Field Detail

simplifierTool

private SimplifierTool simplifierTool

Constructor Detail

ConvertDeoptimizeToGuardPhase

public ConvertDeoptimizeToGuardPhase()

Method Detail

findBeginNode

private static AbstractBeginNode findBeginNode(FixedNode startNode)

run

protected void run(StructuredGraph graph,
                   PhaseContext context)

Specified by:

run in class BasePhase<PhaseContext>

trySplitFixedGuard

private void trySplitFixedGuard(FixedGuardNode fixedGuard,
                                PhaseContext context)

processFixedGuardAndPhis

private void processFixedGuardAndPhis(FixedGuardNode fixedGuard,
                                      PhaseContext context,
                                      CompareNode compare,
                                      ValueNode x,
                                      ValuePhiNode xPhi,
                                      ValueNode y,
                                      ValuePhiNode yPhi)

processFixedGuardAndMerge

private void processFixedGuardAndMerge(FixedGuardNode fixedGuard,
                                       PhaseContext context,
                                       CompareNode compare,
                                       ValueNode x,
                                       ValuePhiNode xPhi,
                                       ValueNode y,
                                       ValuePhiNode yPhi,
                                       AbstractMergeNode merge)

visitDeoptBegin

private void visitDeoptBegin(AbstractBeginNode deoptBegin,
                             DeoptimizationAction deoptAction,
                             DeoptimizationReason deoptReason,
                             JavaConstant speculation,
                             StructuredGraph graph)