com.oracle.graal.phases.graph

Class ReentrantBlockIterator

java.lang.Object

com.oracle.graal.phases.graph.ReentrantBlockIterator

public final class ReentrantBlockIterator
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ReentrantBlockIterator.BlockIteratorClosure<StateT>
static class	ReentrantBlockIterator.LoopInfo<StateT>

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ReentrantBlockIterator()

Method Summary

Modifier and Type	Method and Description
private static <StateT> boolean	allEndsVisited(Map<FixedNode,StateT> states, Block current, AbstractMergeNode merge)
static <StateT> void	apply(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure, Block start)
static <StateT> Map<FixedNode,StateT>	apply(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure, Block start, StateT initialState, Predicate<Block> stopAtBlock)
private static <StateT> ArrayList<StateT>	mergeStates(Map<FixedNode,StateT> states, StateT state, Block current, Block successor, AbstractMergeNode merge)
static <StateT> ReentrantBlockIterator.LoopInfo<StateT>	processLoop(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure, Loop<Block> loop, StateT initialState)
private static <StateT> Block	processMultipleSuccessors(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure, Deque<Block> blockQueue, Map<FixedNode,StateT> states, StateT state, List<Block> successors)
private static <StateT> void	recurseIntoLoop(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure, Deque<Block> blockQueue, Map<FixedNode,StateT> states, StateT state, Block successor)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReentrantBlockIterator

private ReentrantBlockIterator()

Method Detail

processLoop

public static <StateT> ReentrantBlockIterator.LoopInfo<StateT> processLoop(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure,
                                                                           Loop<Block> loop,
                                                                           StateT initialState)

apply

public static <StateT> void apply(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure,
                                  Block start)

apply

public static <StateT> Map<FixedNode,StateT> apply(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure,
                                                   Block start,
                                                   StateT initialState,
                                                   Predicate<Block> stopAtBlock)

allEndsVisited

private static <StateT> boolean allEndsVisited(Map<FixedNode,StateT> states,
                                               Block current,
                                               AbstractMergeNode merge)

processMultipleSuccessors

private static <StateT> Block processMultipleSuccessors(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure,
                                                        Deque<Block> blockQueue,
                                                        Map<FixedNode,StateT> states,
                                                        StateT state,
                                                        List<Block> successors)

mergeStates

private static <StateT> ArrayList<StateT> mergeStates(Map<FixedNode,StateT> states,
                                                      StateT state,
                                                      Block current,
                                                      Block successor,
                                                      AbstractMergeNode merge)

recurseIntoLoop

private static <StateT> void recurseIntoLoop(ReentrantBlockIterator.BlockIteratorClosure<StateT> closure,
                                             Deque<Block> blockQueue,
                                             Map<FixedNode,StateT> states,
                                             StateT state,
                                             Block successor)