org.graalvm.compiler.phases.common

Class SnippetFrameStateAssignment.SnippetFrameStateAssignmentClosure

java.lang.Object

org.graalvm.compiler.phases.graph.ReentrantNodeIterator.NodeIteratorClosure<SnippetFrameStateAssignment.NodeStateAssignment>

org.graalvm.compiler.phases.common.SnippetFrameStateAssignment.SnippetFrameStateAssignmentClosure

Enclosing class:

SnippetFrameStateAssignment

public static class SnippetFrameStateAssignment.SnippetFrameStateAssignmentClosure
extends ReentrantNodeIterator.NodeIteratorClosure<SnippetFrameStateAssignment.NodeStateAssignment>

The iterator below visits a compiler graph in reverse post order and, based on the side-effecting nodes, decides which state can be used after snippet lowering for a merge or loop exit node.

Constructor Summary

Constructors

Constructor and Description
SnippetFrameStateAssignmentClosure(StructuredGraph graph)
SnippetFrameStateAssignmentClosure(StructuredGraph graph, boolean logOnInvalid)

Method Summary

Modifier and Type	Method and Description
protected SnippetFrameStateAssignment.NodeStateAssignment	afterSplit(AbstractBeginNode node, SnippetFrameStateAssignment.NodeStateAssignment oldState)
NodeMap<SnippetFrameStateAssignment.NodeStateAssignment>	getStateMapping()
protected SnippetFrameStateAssignment.NodeStateAssignment	merge(AbstractMergeNode merge, List<SnippetFrameStateAssignment.NodeStateAssignment> states)
protected org.graalvm.collections.EconomicMap<LoopExitNode,SnippetFrameStateAssignment.NodeStateAssignment>	processLoop(LoopBeginNode loop, SnippetFrameStateAssignment.NodeStateAssignment initialState)
protected SnippetFrameStateAssignment.NodeStateAssignment	processNode(FixedNode node, SnippetFrameStateAssignment.NodeStateAssignment stateAssignment)
boolean	verify()

Methods inherited from class org.graalvm.compiler.phases.graph.ReentrantNodeIterator.NodeIteratorClosure

continueIteration

Methods inherited from class java.lang.Object

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

Constructor Detail

SnippetFrameStateAssignmentClosure

public SnippetFrameStateAssignmentClosure(StructuredGraph graph)

SnippetFrameStateAssignmentClosure

public SnippetFrameStateAssignmentClosure(StructuredGraph graph,
                                          boolean logOnInvalid)

Method Detail

getStateMapping

public NodeMap<SnippetFrameStateAssignment.NodeStateAssignment> getStateMapping()

verify

public boolean verify()

processNode

protected SnippetFrameStateAssignment.NodeStateAssignment processNode(FixedNode node,
                                                                      SnippetFrameStateAssignment.NodeStateAssignment stateAssignment)

Specified by:

processNode in class ReentrantNodeIterator.NodeIteratorClosure<SnippetFrameStateAssignment.NodeStateAssignment>

merge

protected SnippetFrameStateAssignment.NodeStateAssignment merge(AbstractMergeNode merge,
                                                                List<SnippetFrameStateAssignment.NodeStateAssignment> states)

Specified by:

merge in class ReentrantNodeIterator.NodeIteratorClosure<SnippetFrameStateAssignment.NodeStateAssignment>

afterSplit

protected SnippetFrameStateAssignment.NodeStateAssignment afterSplit(AbstractBeginNode node,
                                                                     SnippetFrameStateAssignment.NodeStateAssignment oldState)

Specified by:

afterSplit in class ReentrantNodeIterator.NodeIteratorClosure<SnippetFrameStateAssignment.NodeStateAssignment>

processLoop

protected org.graalvm.collections.EconomicMap<LoopExitNode,SnippetFrameStateAssignment.NodeStateAssignment> processLoop(LoopBeginNode loop,
                                                                                                                        SnippetFrameStateAssignment.NodeStateAssignment initialState)

Specified by:

processLoop in class ReentrantNodeIterator.NodeIteratorClosure<SnippetFrameStateAssignment.NodeStateAssignment>