org.graalvm.compiler.virtual.phases.ea

Class ReadEliminationClosure

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

org.graalvm.compiler.virtual.phases.ea.ReadEliminationClosure

public class ReadEliminationClosure
extends EffectsClosure<ReadEliminationBlockState>

This closure initially handled a set of nodes that is disjunct from PEReadEliminationClosure, but over time both have evolved so that there's a significant overlap.

Nested Class Summary

Nested classes/interfaces inherited from class org.graalvm.compiler.virtual.phases.ea.EffectsClosure

EffectsClosure.LoopKillCache, EffectsClosure.MergeProcessor

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	considerGuards

Fields inherited from class org.graalvm.compiler.virtual.phases.ea.EffectsClosure

aliases, blockEffects, cfg, changed, currentMode, debug, loopLocationKillCache, loopMergeEffects, schedule

Constructor Summary

Constructors

Constructor and Description
ReadEliminationClosure(ControlFlowGraph cfg, boolean considerGuards)

Method Summary

Modifier and Type	Method and Description
protected static boolean	areValuesReplaceable(ValueNode originalValue, ValueNode replacementValue, boolean considerGuards)
protected ReadEliminationBlockState	cloneState(ReadEliminationBlockState other) Clone a state for a successor invocation of ReentrantBlockIterator.BlockIteratorClosure.processBlock(Block, Object).
protected EffectsClosure.MergeProcessor	createMergeProcessor(Block merge)
protected ReadEliminationBlockState	getInitialState() Create the initial state for the reverse post order iteration over the ControlFlowGraph.
protected void	processKilledLoopLocations(Loop<Block> loop, ReadEliminationBlockState initialState, ReadEliminationBlockState mergedStates)
protected void	processLoopExit(LoopExitNode exitNode, ReadEliminationBlockState initialState, ReadEliminationBlockState exitState, GraphEffectList effects)
protected boolean	processNode(Node node, ReadEliminationBlockState state, GraphEffectList effects, FixedWithNextNode lastFixedNode) Collects the effects of virtualizing the given node.
protected ReadEliminationBlockState	stripKilledLoopLocations(Loop<Block> loop, ReadEliminationBlockState originalInitialState)

Methods inherited from class org.graalvm.compiler.virtual.phases.ea.EffectsClosure

addScalarAlias, afterSplit, applyEffects, getScalarAlias, hasChanged, hasScalarReplacedInputs, merge, needsApplyEffects, processBlock, processInitialLoopState, processLoop, processStateBeforeLoopOnOverflow

Methods inherited from class java.lang.Object

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

Field Detail

considerGuards

protected final boolean considerGuards

Constructor Detail

ReadEliminationClosure

public ReadEliminationClosure(ControlFlowGraph cfg,
                              boolean considerGuards)

Method Detail

getInitialState

protected ReadEliminationBlockState getInitialState()

Description copied from class: ReentrantBlockIterator.BlockIteratorClosure

Create the initial state for the reverse post order iteration over the ControlFlowGraph.

Specified by:

getInitialState in class ReentrantBlockIterator.BlockIteratorClosure<ReadEliminationBlockState>

processNode

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

Description copied from class: EffectsClosure

Collects the effects of virtualizing the given node.

Specified by:

processNode in class EffectsClosure<ReadEliminationBlockState>

Returns:

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

areValuesReplaceable

protected static boolean areValuesReplaceable(ValueNode originalValue,
                                              ValueNode replacementValue,
                                              boolean considerGuards)

processLoopExit

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

Specified by:

processLoopExit in class EffectsClosure<ReadEliminationBlockState>

cloneState

protected ReadEliminationBlockState cloneState(ReadEliminationBlockState other)

Description copied from class: ReentrantBlockIterator.BlockIteratorClosure

Clone a state for a successor invocation of ReentrantBlockIterator.BlockIteratorClosure.processBlock(Block, Object).

Specified by:

cloneState in class ReentrantBlockIterator.BlockIteratorClosure<ReadEliminationBlockState>

createMergeProcessor

protected EffectsClosure.MergeProcessor createMergeProcessor(Block merge)

Specified by:

createMergeProcessor in class EffectsClosure<ReadEliminationBlockState>

processKilledLoopLocations

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

Overrides:

processKilledLoopLocations in class EffectsClosure<ReadEliminationBlockState>

stripKilledLoopLocations

protected ReadEliminationBlockState stripKilledLoopLocations(Loop<Block> loop,
                                                             ReadEliminationBlockState originalInitialState)

Overrides:

stripKilledLoopLocations in class EffectsClosure<ReadEliminationBlockState>