com.oracle.graal.virtual.phases.ea

Class EffectsClosure<BlockT extends EffectsBlockState<BlockT>>

java.lang.Object

com.oracle.graal.phases.graph.ReentrantBlockIterator.BlockIteratorClosure<T>

com.oracle.graal.virtual.phases.ea.EffectsPhase.Closure<BlockT>

com.oracle.graal.virtual.phases.ea.EffectsClosure<BlockT>

Direct Known Subclasses:

PartialEscapeClosure, ReadEliminationClosure

public abstract class EffectsClosure<BlockT extends EffectsBlockState<BlockT>>
extends EffectsPhase.Closure<BlockT>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	EffectsClosure.MergeProcessor

Field Summary

Fields

Modifier and Type	Field and Description
protected NodeMap<ValueNode>	aliases
protected BlockMap<GraphEffectList>	blockEffects
protected ControlFlowGraph	cfg
protected boolean	changed
private NodeBitMap	hasScalarReplacedInputs
private Map<LoopBeginNode,BlockT>	loopEntryStates
private Map<Loop<Block>,GraphEffectList>	loopMergeEffects
protected SchedulePhase	schedule

Constructor Summary

Constructors

Constructor and Description
EffectsClosure(SchedulePhase schedule, ControlFlowGraph cfg)

Method Summary

Modifier and Type	Method and Description
void	addScalarAlias(ValueNode node, ValueNode alias)
void	applyEffects()
private boolean	assertExitStatesNonEmpty(Loop<Block> loop, ReentrantBlockIterator.LoopInfo<BlockT> info)
protected abstract EffectsClosure.MergeProcessor	createMergeProcessor(Block merge)
private void	doMergeWithoutDead(EffectsClosure.MergeProcessor mergeProcessor, List<BlockT> states)
ValueNode	getScalarAlias(ValueNode node)
boolean	hasChanged()
protected boolean	hasScalarReplacedInputs(Node node)
private static boolean	isSignificantNode(Node node)
protected BlockT	merge(Block merge, List<BlockT> states)
protected BlockT	processBlock(Block block, BlockT state)
protected void	processInitialLoopState(Loop<Block> loop, BlockT initialState)
protected List<BlockT>	processLoop(Loop<Block> loop, BlockT initialState)
protected abstract void	processLoopExit(LoopExitNode exitNode, BlockT initialState, BlockT exitState, GraphEffectList effects)
protected abstract boolean	processNode(Node node, BlockT state, GraphEffectList effects, FixedWithNextNode lastFixedNode) Collects the effects of virtualizing the given node.

Methods inherited from class com.oracle.graal.phases.graph.ReentrantBlockIterator.BlockIteratorClosure

cloneState, getInitialState

Methods inherited from class java.lang.Object

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

Field Detail

cfg

protected final ControlFlowGraph cfg

schedule

protected final SchedulePhase schedule

aliases

protected final NodeMap<ValueNode> aliases

blockEffects

protected final BlockMap<GraphEffectList> blockEffects

loopMergeEffects

private final Map<Loop<Block>,GraphEffectList> loopMergeEffects

loopEntryStates

private final Map<LoopBeginNode,BlockT extends EffectsBlockState<BlockT>> loopEntryStates

hasScalarReplacedInputs

private final NodeBitMap hasScalarReplacedInputs

changed

protected boolean changed

Constructor Detail

EffectsClosure

public EffectsClosure(SchedulePhase schedule,
                      ControlFlowGraph cfg)

Method Detail

hasChanged

public boolean hasChanged()

Specified by:

hasChanged in class EffectsPhase.Closure<BlockT extends EffectsBlockState<BlockT>>

applyEffects

public final void applyEffects()

Specified by:

applyEffects in class EffectsPhase.Closure<BlockT extends EffectsBlockState<BlockT>>

processBlock

protected BlockT processBlock(Block block,
                              BlockT state)

Specified by:

processBlock in class ReentrantBlockIterator.BlockIteratorClosure<BlockT extends EffectsBlockState<BlockT>>

isSignificantNode

private static boolean isSignificantNode(Node node)

processNode

protected abstract boolean processNode(Node node,
                                       BlockT state,
                                       GraphEffectList effects,
                                       FixedWithNextNode lastFixedNode)

Collects the effects of virtualizing the given node.

Returns:

true if the effects include removing the node, false otherwise.

merge

protected BlockT merge(Block merge,
                       List<BlockT> states)

Specified by:

merge in class ReentrantBlockIterator.BlockIteratorClosure<BlockT extends EffectsBlockState<BlockT>>

processLoop

protected final List<BlockT> processLoop(Loop<Block> loop,
                                         BlockT initialState)

Specified by:

processLoop in class ReentrantBlockIterator.BlockIteratorClosure<BlockT extends EffectsBlockState<BlockT>>

processInitialLoopState

protected void processInitialLoopState(Loop<Block> loop,
                                       BlockT initialState)

doMergeWithoutDead

private void doMergeWithoutDead(EffectsClosure.MergeProcessor mergeProcessor,
                                List<BlockT> states)

assertExitStatesNonEmpty

private boolean assertExitStatesNonEmpty(Loop<Block> loop,
                                         ReentrantBlockIterator.LoopInfo<BlockT> info)

processLoopExit

protected abstract void processLoopExit(LoopExitNode exitNode,
                                        BlockT initialState,
                                        BlockT exitState,
                                        GraphEffectList effects)

createMergeProcessor

protected abstract EffectsClosure.MergeProcessor createMergeProcessor(Block merge)

addScalarAlias

public void addScalarAlias(ValueNode node,
                           ValueNode alias)

hasScalarReplacedInputs

protected final boolean hasScalarReplacedInputs(Node node)

getScalarAlias

public ValueNode getScalarAlias(ValueNode node)