org.graalvm.compiler.phases.graph

Class ReentrantBlockIterator.BlockIteratorClosure<StateT>

java.lang.Object

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

Direct Known Subclasses:

EffectsPhase.Closure, ScheduleVerification

Enclosing class:

ReentrantBlockIterator

public abstract static class ReentrantBlockIterator.BlockIteratorClosure<StateT>
extends Object

Abstract base class for reverse post order iteration over the ControlFlowGraph.

Constructor Summary

Constructors

Constructor and Description
BlockIteratorClosure()

Method Summary

Modifier and Type	Method and Description
protected StateT	afterSplit(Block successor, StateT oldState) Hook for subclasses to apply additional operations after ReentrantBlockIterator.BlockIteratorClosure.cloneState(Object) for successor blocks.
protected abstract StateT	cloneState(StateT oldState) Clone a state for a successor invocation of ReentrantBlockIterator.BlockIteratorClosure.processBlock(Block, Object).
protected abstract StateT	getInitialState() Create the initial state for the reverse post order iteration over the ControlFlowGraph.
protected abstract StateT	merge(Block merge, List<StateT> states) Merge multiple states when processing Block starting with a AbstractMergeNode.
protected abstract StateT	processBlock(Block block, StateT currentState) Process the current block with the current state during reverse post order iteration.
protected abstract List<StateT>	processLoop(Loop<Block> loop, StateT initialState)

Methods inherited from class java.lang.Object

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

Constructor Detail

BlockIteratorClosure

public BlockIteratorClosure()

Method Detail

getInitialState

protected abstract StateT getInitialState()

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

processBlock

protected abstract StateT processBlock(Block block,
                                       StateT currentState)

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

merge

protected abstract StateT merge(Block merge,
                                List<StateT> states)

Merge multiple states when processing Block starting with a AbstractMergeNode.

cloneState

protected abstract StateT cloneState(StateT oldState)

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

afterSplit

protected StateT afterSplit(Block successor,
                            StateT oldState)

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

processLoop

protected abstract List<StateT> processLoop(Loop<Block> loop,
                                            StateT initialState)