org.graalvm.compiler.phases.schedule

Class ScheduleVerification

java.lang.Object

org.graalvm.compiler.phases.graph.ReentrantBlockIterator.BlockIteratorClosure<org.graalvm.collections.EconomicSet<FloatingReadNode>>

org.graalvm.compiler.phases.schedule.ScheduleVerification

public final class ScheduleVerification
extends ReentrantBlockIterator.BlockIteratorClosure<org.graalvm.collections.EconomicSet<FloatingReadNode>>

Verifies that the schedule of the graph is correct. Checks that floating reads are not killed between definition and usage. Also checks that there are no usages spanning loop exits without a proper proxy node.

Method Summary

Modifier and Type	Method and Description
static boolean	check(Block startBlock, BlockMap<List<Node>> blockToNodesMap, NodeMap<Block> nodeMap)
protected org.graalvm.collections.EconomicSet<FloatingReadNode>	cloneState(org.graalvm.collections.EconomicSet<FloatingReadNode> oldState)
protected org.graalvm.collections.EconomicSet<FloatingReadNode>	getInitialState()
protected org.graalvm.collections.EconomicSet<FloatingReadNode>	merge(Block merge, List<org.graalvm.collections.EconomicSet<FloatingReadNode>> states)
protected org.graalvm.collections.EconomicSet<FloatingReadNode>	processBlock(Block block, org.graalvm.collections.EconomicSet<FloatingReadNode> currentState)
protected List<org.graalvm.collections.EconomicSet<FloatingReadNode>>	processLoop(Loop<Block> loop, org.graalvm.collections.EconomicSet<FloatingReadNode> initialState)

Methods inherited from class java.lang.Object

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

Method Detail

check

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

getInitialState

protected org.graalvm.collections.EconomicSet<FloatingReadNode> getInitialState()

Specified by:

getInitialState in class ReentrantBlockIterator.BlockIteratorClosure<org.graalvm.collections.EconomicSet<FloatingReadNode>>

processBlock

protected org.graalvm.collections.EconomicSet<FloatingReadNode> processBlock(Block block,
                                                                             org.graalvm.collections.EconomicSet<FloatingReadNode> currentState)

Specified by:

processBlock in class ReentrantBlockIterator.BlockIteratorClosure<org.graalvm.collections.EconomicSet<FloatingReadNode>>

merge

protected org.graalvm.collections.EconomicSet<FloatingReadNode> merge(Block merge,
                                                                      List<org.graalvm.collections.EconomicSet<FloatingReadNode>> states)

Specified by:

merge in class ReentrantBlockIterator.BlockIteratorClosure<org.graalvm.collections.EconomicSet<FloatingReadNode>>

cloneState

protected org.graalvm.collections.EconomicSet<FloatingReadNode> cloneState(org.graalvm.collections.EconomicSet<FloatingReadNode> oldState)

Specified by:

cloneState in class ReentrantBlockIterator.BlockIteratorClosure<org.graalvm.collections.EconomicSet<FloatingReadNode>>

processLoop

protected List<org.graalvm.collections.EconomicSet<FloatingReadNode>> processLoop(Loop<Block> loop,
                                                                                  org.graalvm.collections.EconomicSet<FloatingReadNode> initialState)

Specified by:

processLoop in class ReentrantBlockIterator.BlockIteratorClosure<org.graalvm.collections.EconomicSet<FloatingReadNode>>