com.oracle.graal.phases.common

Class DominatorConditionalEliminationPhase.Instance

java.lang.Object

com.oracle.graal.phases.common.DominatorConditionalEliminationPhase.Instance

Enclosing class:

DominatorConditionalEliminationPhase

private static class DominatorConditionalEliminationPhase.Instance
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static interface	DominatorConditionalEliminationPhase.Instance.GuardRewirer
class	DominatorConditionalEliminationPhase.Instance.InstanceFrame

Field Summary

Fields

Modifier and Type	Field and Description
private Function<Block,Iterable<? extends Node>>	blockToNodes
private Deque<LoopExitNode>	loopExits
private NodeMap<DominatorConditionalEliminationPhase.Info>	map
private Function<Node,Block>	nodeToBlock

Constructor Summary

Constructors

Constructor and Description
Instance(StructuredGraph graph, Function<Block,Iterable<? extends Node>> blockToNodes, Function<Node,Block> nodeToBlock)

Method Summary

Modifier and Type	Method and Description
private Iterable<DominatorConditionalEliminationPhase.InfoElement>	getInfoElements(ValueNode proxiedValue)
private static void	postprocess(List<Runnable> undoOperations)
private void	preprocess(Block block, List<Runnable> undoOperations)
private void	processAbstractBegin(AbstractBeginNode beginNode, List<Runnable> undoOperations)
void	processBlock(Block startBlock)
private void	processCheckCast(CheckCastNode node)
private void	processConditionAnchor(ConditionAnchorNode node)
private void	processFixedGuard(FixedGuardNode node, List<Runnable> undoOperations)
private void	processGuard(GuardNode node, List<Runnable> undoOperations)
private void	processIf(IfNode node, List<Runnable> undoOperations)
private void	processIntegerSwitch(AbstractBeginNode beginNode, List<Runnable> undoOperations, Node predecessor, IntegerSwitchNode integerSwitchNode)
private void	processNode(Node node, List<Runnable> undoOperations)
private void	processTypeSwitch(AbstractBeginNode beginNode, List<Runnable> undoOperations, Node predecessor, TypeSwitchNode typeSwitch)
private ValueNode	proxyGuard(ValueNode guard)
private void	registerCondition(LogicNode condition, boolean negated, ValueNode guard, List<Runnable> undoOperations)
private void	registerNewCondition(LogicNode condition, boolean negated, ValueNode guard, List<Runnable> undoOperations)
private void	registerNewStamp(ValueNode proxiedValue, Stamp newStamp, ValueNode guard, List<Runnable> undoOperations)
private boolean	rewireGuards(ValueNode guard, boolean result, DominatorConditionalEliminationPhase.Instance.GuardRewirer rewireGuardFunction)
private boolean	tryProofCondition(LogicNode node, DominatorConditionalEliminationPhase.Instance.GuardRewirer rewireGuardFunction)

Methods inherited from class java.lang.Object

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

Field Detail

map

private NodeMap<DominatorConditionalEliminationPhase.Info> map

loopExits

private Deque<LoopExitNode> loopExits

blockToNodes

private final Function<Block,Iterable<? extends Node>> blockToNodes

nodeToBlock

private final Function<Node,Block> nodeToBlock

Constructor Detail

Instance

public Instance(StructuredGraph graph,
                Function<Block,Iterable<? extends Node>> blockToNodes,
                Function<Node,Block> nodeToBlock)

Method Detail

processBlock

public void processBlock(Block startBlock)

postprocess

private static void postprocess(List<Runnable> undoOperations)

preprocess

private void preprocess(Block block,
                        List<Runnable> undoOperations)

processNode

private void processNode(Node node,
                         List<Runnable> undoOperations)

processCheckCast

private void processCheckCast(CheckCastNode node)

processIf

private void processIf(IfNode node,
                       List<Runnable> undoOperations)

registerNewCondition

private void registerNewCondition(LogicNode condition,
                                  boolean negated,
                                  ValueNode guard,
                                  List<Runnable> undoOperations)

registerCondition

private void registerCondition(LogicNode condition,
                               boolean negated,
                               ValueNode guard,
                               List<Runnable> undoOperations)

getInfoElements

private Iterable<DominatorConditionalEliminationPhase.InfoElement> getInfoElements(ValueNode proxiedValue)

rewireGuards

private boolean rewireGuards(ValueNode guard,
                             boolean result,
                             DominatorConditionalEliminationPhase.Instance.GuardRewirer rewireGuardFunction)

proxyGuard

private ValueNode proxyGuard(ValueNode guard)

tryProofCondition

private boolean tryProofCondition(LogicNode node,
                                  DominatorConditionalEliminationPhase.Instance.GuardRewirer rewireGuardFunction)

registerNewStamp

private void registerNewStamp(ValueNode proxiedValue,
                              Stamp newStamp,
                              ValueNode guard,
                              List<Runnable> undoOperations)

processConditionAnchor

private void processConditionAnchor(ConditionAnchorNode node)

processGuard

private void processGuard(GuardNode node,
                          List<Runnable> undoOperations)

processFixedGuard

private void processFixedGuard(FixedGuardNode node,
                               List<Runnable> undoOperations)

processAbstractBegin

private void processAbstractBegin(AbstractBeginNode beginNode,
                                  List<Runnable> undoOperations)

processIntegerSwitch

private void processIntegerSwitch(AbstractBeginNode beginNode,
                                  List<Runnable> undoOperations,
                                  Node predecessor,
                                  IntegerSwitchNode integerSwitchNode)

processTypeSwitch

private void processTypeSwitch(AbstractBeginNode beginNode,
                               List<Runnable> undoOperations,
                               Node predecessor,
                               TypeSwitchNode typeSwitch)