com.oracle.graal.phases.schedule

Class MemoryScheduleVerification

java.lang.Object

com.oracle.graal.phases.graph.ReentrantBlockIterator.BlockIteratorClosure<Set<FloatingReadNode>>

com.oracle.graal.phases.schedule.MemoryScheduleVerification

public final class MemoryScheduleVerification
extends ReentrantBlockIterator.BlockIteratorClosure<Set<FloatingReadNode>>

Field Summary

Fields

Modifier and Type	Field and Description
private BlockMap<List<Node>>	blockToNodesMap

Constructor Summary

Constructors

Modifier	Constructor and Description
private	MemoryScheduleVerification(BlockMap<List<Node>> blockToNodesMap)

Method Summary

Modifier and Type	Method and Description
private static void	addFloatingReadUsages(Set<FloatingReadNode> currentState, Node n)
static boolean	check(Block startBlock, BlockMap<List<Node>> blockToNodesMap)
protected Set<FloatingReadNode>	cloneState(Set<FloatingReadNode> oldState)
protected Set<FloatingReadNode>	getInitialState()
protected Set<FloatingReadNode>	merge(Block merge, List<Set<FloatingReadNode>> states)
protected Set<FloatingReadNode>	processBlock(Block block, Set<FloatingReadNode> currentState)
private void	processLocation(Node n, LocationIdentity location, Set<FloatingReadNode> currentState)
protected List<Set<FloatingReadNode>>	processLoop(Loop<Block> loop, Set<FloatingReadNode> initialState)

Methods inherited from class java.lang.Object

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

Field Detail

blockToNodesMap

private final BlockMap<List<Node>> blockToNodesMap

Constructor Detail

MemoryScheduleVerification

private MemoryScheduleVerification(BlockMap<List<Node>> blockToNodesMap)

Method Detail

check

public static boolean check(Block startBlock,
                            BlockMap<List<Node>> blockToNodesMap)

getInitialState

protected Set<FloatingReadNode> getInitialState()

Specified by:

getInitialState in class ReentrantBlockIterator.BlockIteratorClosure<Set<FloatingReadNode>>

processBlock

protected Set<FloatingReadNode> processBlock(Block block,
                                             Set<FloatingReadNode> currentState)

Specified by:

processBlock in class ReentrantBlockIterator.BlockIteratorClosure<Set<FloatingReadNode>>

addFloatingReadUsages

private static void addFloatingReadUsages(Set<FloatingReadNode> currentState,
                                          Node n)

processLocation

private void processLocation(Node n,
                             LocationIdentity location,
                             Set<FloatingReadNode> currentState)

merge

protected Set<FloatingReadNode> merge(Block merge,
                                      List<Set<FloatingReadNode>> states)

Specified by:

merge in class ReentrantBlockIterator.BlockIteratorClosure<Set<FloatingReadNode>>

cloneState

protected Set<FloatingReadNode> cloneState(Set<FloatingReadNode> oldState)

Specified by:

cloneState in class ReentrantBlockIterator.BlockIteratorClosure<Set<FloatingReadNode>>

processLoop

protected List<Set<FloatingReadNode>> processLoop(Loop<Block> loop,
                                                  Set<FloatingReadNode> initialState)

Specified by:

processLoop in class ReentrantBlockIterator.BlockIteratorClosure<Set<FloatingReadNode>>