org.graalvm.compiler.virtual.phases.ea

Class EffectsClosure<BlockT extends EffectsBlockState<BlockT>>

java.lang.Object

org.graalvm.compiler.phases.graph.ReentrantBlockIterator.BlockIteratorClosure<T>

org.graalvm.compiler.virtual.phases.ea.EffectsPhase.Closure<BlockT>

org.graalvm.compiler.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 static class	EffectsClosure.LoopKillCache
protected class	EffectsClosure.MergeProcessor The main workhorse for merging states, both for loops and for normal merges.

Field Summary

Fields

Modifier and Type	Field and Description
protected NodeMap<ValueNode>	aliases If a node has an alias, this means that it was replaced with another node during analysis.
protected BlockMap<GraphEffectList>	blockEffects The effects accumulated during analysis of nodes.
protected ControlFlowGraph	cfg
protected boolean	changed
protected org.graalvm.compiler.virtual.phases.ea.EffectsClosure.EffectsClosureMode	currentMode The current execution mode: once we reach a maximum loop nest we stop further effects and only perform the minimal necessary operations.
protected DebugContext	debug
protected org.graalvm.collections.EconomicMap<Loop<Block>,EffectsClosure.LoopKillCache>	loopLocationKillCache
protected org.graalvm.collections.EconomicMap<Loop<Block>,GraphEffectList>	loopMergeEffects Effects that can only be applied after the effects from within the loop have been applied and that must be applied before any effect from after the loop is applied.
protected StructuredGraph.ScheduleResult	schedule

Constructor Summary

Constructors

Constructor and Description
EffectsClosure(StructuredGraph.ScheduleResult schedule, ControlFlowGraph cfg)

Method Summary

Modifier and Type	Method and Description
void	addScalarAlias(ValueNode node, ValueNode alias)
protected BlockT	afterSplit(Block successor, BlockT oldState) Hook for subclasses to apply additional operations after ReentrantBlockIterator.BlockIteratorClosure.cloneState(Object) for successor blocks.
void	applyEffects()
protected abstract EffectsClosure.MergeProcessor	createMergeProcessor(Block merge)
ValueNode	getScalarAlias(ValueNode node)
boolean	hasChanged()
protected boolean	hasScalarReplacedInputs(Node node)
protected BlockT	merge(Block merge, List<BlockT> states) Merge multiple states when processing Block starting with a AbstractMergeNode.
boolean	needsApplyEffects()
protected BlockT	processBlock(Block block, BlockT state) Process the current block with the current state during reverse post order iteration.
protected void	processInitialLoopState(Loop<Block> loop, BlockT initialState)
protected void	processKilledLoopLocations(Loop<Block> loop, BlockT initialState, BlockT mergedStates)
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.
protected void	processStateBeforeLoopOnOverflow(BlockT initialState, FixedNode materializeBefore, GraphEffectList effects)
protected BlockT	stripKilledLoopLocations(Loop<Block> loop, BlockT initialState)

Methods inherited from class org.graalvm.compiler.phases.graph.ReentrantBlockIterator.BlockIteratorClosure

cloneState, getInitialState

Methods inherited from class java.lang.Object

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

Field Detail

cfg

protected final ControlFlowGraph cfg

schedule

protected final StructuredGraph.ScheduleResult schedule

aliases

protected NodeMap<ValueNode> aliases

If a node has an alias, this means that it was replaced with another node during analysis. Nodes can be replaced by normal ("scalar") nodes, e.g., a LoadIndexedNode with a ConstantNode, or by virtual nodes, e.g., a NewInstanceNode with a VirtualInstanceNode. A node was replaced with a virtual value iff the alias is a subclass of VirtualObjectNode. This alias map exists only once and is not part of the block state, so that during iterative loop processing the alias of a node may be changed to another value.

blockEffects

protected BlockMap<GraphEffectList> blockEffects

The effects accumulated during analysis of nodes. They may be cleared and re-filled during iterative loop processing.

loopMergeEffects

protected org.graalvm.collections.EconomicMap<Loop<Block>,GraphEffectList> loopMergeEffects

Effects that can only be applied after the effects from within the loop have been applied and that must be applied before any effect from after the loop is applied. E.g., updating phis.

loopLocationKillCache

protected org.graalvm.collections.EconomicMap<Loop<Block>,EffectsClosure.LoopKillCache> loopLocationKillCache

changed

protected boolean changed

debug

protected final DebugContext debug

currentMode

protected org.graalvm.compiler.virtual.phases.ea.EffectsClosure.EffectsClosureMode currentMode

The current execution mode: once we reach a maximum loop nest we stop further effects and only perform the minimal necessary operations.

Constructor Detail

EffectsClosure

public EffectsClosure(StructuredGraph.ScheduleResult schedule,
                      ControlFlowGraph cfg)

Method Detail

hasChanged

public boolean hasChanged()

Specified by:

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

needsApplyEffects

public boolean needsApplyEffects()

Specified by:

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

applyEffects

public void applyEffects()

Specified by:

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

processBlock

protected BlockT processBlock(Block block,
                              BlockT state)

Description copied from class: ReentrantBlockIterator.BlockIteratorClosure

Process the current block with the current state during reverse post order iteration.

Specified by:

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

afterSplit

protected BlockT afterSplit(Block successor,
                            BlockT oldState)

Description copied from class: ReentrantBlockIterator.BlockIteratorClosure

Hook for subclasses to apply additional operations after ReentrantBlockIterator.BlockIteratorClosure.cloneState(Object) for successor blocks.

Overrides:

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

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)

Description copied from class: ReentrantBlockIterator.BlockIteratorClosure

Merge multiple states when processing Block starting with a AbstractMergeNode.

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>>

processStateBeforeLoopOnOverflow

protected void processStateBeforeLoopOnOverflow(BlockT initialState,
                                                FixedNode materializeBefore,
                                                GraphEffectList effects)

stripKilledLoopLocations

protected BlockT stripKilledLoopLocations(Loop<Block> loop,
                                          BlockT initialState)

processKilledLoopLocations

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

processInitialLoopState

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

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)