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) Clone a state for a successor invocation of ReentrantBlockIterator.BlockIteratorClosure.processBlock(Block, Object).
protected org.graalvm.collections.EconomicSet<FloatingReadNode>	getInitialState() Create the initial state for the reverse post order iteration over the ControlFlowGraph.
protected org.graalvm.collections.EconomicSet<FloatingReadNode>	merge(Block merge, List<org.graalvm.collections.EconomicSet<FloatingReadNode>> states) Merge multiple states when processing Block starting with a AbstractMergeNode.
protected org.graalvm.collections.EconomicSet<FloatingReadNode>	processBlock(Block block, org.graalvm.collections.EconomicSet<FloatingReadNode> currentState) Process the current block with the current state during reverse post order iteration.
protected List<org.graalvm.collections.EconomicSet<FloatingReadNode>>	processLoop(Loop<Block> loop, org.graalvm.collections.EconomicSet<FloatingReadNode> initialState)

Methods inherited from class org.graalvm.compiler.phases.graph.ReentrantBlockIterator.BlockIteratorClosure

afterSplit

Methods inherited from class java.lang.Object

clone, equals, 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()

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<org.graalvm.collections.EconomicSet<FloatingReadNode>>

processBlock

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

Description copied from class: ReentrantBlockIterator.BlockIteratorClosure

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

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)

Description copied from class: ReentrantBlockIterator.BlockIteratorClosure

Merge multiple states when processing Block starting with a AbstractMergeNode.

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)

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