org.graalvm.compiler.nodes

Class GraphDecoder.LoopScope

java.lang.Object

org.graalvm.compiler.nodes.GraphDecoder.LoopScope

Enclosing class:

GraphDecoder

protected static class GraphDecoder.LoopScope
extends Object

Decoding state maintained for each loop in the encoded graph.

Field Summary

Fields

Modifier and Type	Field and Description
Node[]	createdNodes Nodes that have been created, indexed by the orderId.
Node[]	initialCreatedNodes Nodes that have been created in outer loop scopes and existed before starting to process this loop, indexed by the orderId.
org.graalvm.collections.EconomicMap<GraphDecoder.LoopExplosionState,GraphDecoder.LoopExplosionState>	iterationStates Information about already processed loop iterations for state merging during loop explosion.
int	loopBeginOrderId
int	loopDepth
int	loopIteration
GraphDecoder.MethodScope	methodScope
Deque<GraphDecoder.LoopScope>	nextIterationFromLoopEndDuplication Same as GraphDecoder.LoopScope.nextIterationFromLoopExitDuplication except that upcoming iterations have been created because the duplication of loop ends LoopExplosionPlugin.LoopExplosionKind.duplicateLoopEnds() is enabled.
Deque<GraphDecoder.LoopScope>	nextIterationFromLoopExitDuplication Upcoming, not yet processed, loop iterations created in the context of code duplication along loop exits.
Deque<GraphDecoder.LoopScope>	nextIterationsFromUnrolling Same as GraphDecoder.LoopScope.nextIterationFromLoopExitDuplication except that upcoming iterations have been created because the unrolling of a loop with constant iteration count LoopExplosionPlugin.LoopExplosionKind.unrollLoops() is enabled.
BitSet	nodesToProcess The worklist of fixed nodes to process.
GraphDecoder.LoopScope	outer

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LoopScope(GraphDecoder.MethodScope methodScope)
protected	LoopScope(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope outer, int loopDepth, int loopIteration, int loopBeginOrderId, GraphDecoder.LoopScopeTrigger trigger, Node[] initialCreatedNodes, Node[] createdNodes, Deque<GraphDecoder.LoopScope> nextIterationFromLoopExitDuplication, Deque<GraphDecoder.LoopScope> nextIterationFromLoopEndDuplication, Deque<GraphDecoder.LoopScope> nextIterationsFromUnrolling, org.graalvm.collections.EconomicMap<GraphDecoder.LoopExplosionState,GraphDecoder.LoopExplosionState> iterationStates)

Method Summary

Modifier and Type	Method and Description
GraphDecoder.LoopScope	getNextIterationToProcess(boolean remove) Return the next iteration yet to be processed that has been created in the context of decoding this loop scope.
boolean	hasIterationsToProcess() Determines if iterations generated when decoding this loop have yet to be processed.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

methodScope

public final GraphDecoder.MethodScope methodScope

outer

public final GraphDecoder.LoopScope outer

loopDepth

public final int loopDepth

loopIteration

public final int loopIteration

nextIterationFromLoopExitDuplication

public Deque<GraphDecoder.LoopScope> nextIterationFromLoopExitDuplication

Upcoming, not yet processed, loop iterations created in the context of code duplication along loop exits. Only used when GraphDecoder.MethodScope.loopExplosion has LoopExplosionPlugin.LoopExplosionKind.duplicateLoopExits() enabled.

nextIterationFromLoopEndDuplication

public Deque<GraphDecoder.LoopScope> nextIterationFromLoopEndDuplication

Same as GraphDecoder.LoopScope.nextIterationFromLoopExitDuplication except that upcoming iterations have been created because the duplication of loop ends LoopExplosionPlugin.LoopExplosionKind.duplicateLoopEnds() is enabled.

nextIterationsFromUnrolling

public Deque<GraphDecoder.LoopScope> nextIterationsFromUnrolling

Same as GraphDecoder.LoopScope.nextIterationFromLoopExitDuplication except that upcoming iterations have been created because the unrolling of a loop with constant iteration count LoopExplosionPlugin.LoopExplosionKind.unrollLoops() is enabled.

iterationStates

public final org.graalvm.collections.EconomicMap<GraphDecoder.LoopExplosionState,GraphDecoder.LoopExplosionState> iterationStates

Information about already processed loop iterations for state merging during loop explosion. Only used when GraphDecoder.MethodScope.loopExplosion is LoopExplosionPlugin.LoopExplosionKind.MERGE_EXPLODE.

loopBeginOrderId

public final int loopBeginOrderId

nodesToProcess

public final BitSet nodesToProcess

The worklist of fixed nodes to process. Since we already the correct processing order from the orderId, we just set the orderId bit in the bitset when a node is ready for processing. The lowest set bit is the next node to process.

createdNodes

public final Node[] createdNodes

Nodes that have been created, indexed by the orderId.

initialCreatedNodes

public final Node[] initialCreatedNodes

Nodes that have been created in outer loop scopes and existed before starting to process this loop, indexed by the orderId. Only used when GraphDecoder.MethodScope.loopExplosion is not LoopExplosionPlugin.LoopExplosionKind.NONE.

Constructor Detail

LoopScope

protected LoopScope(GraphDecoder.MethodScope methodScope)

LoopScope

protected LoopScope(GraphDecoder.MethodScope methodScope,
                    GraphDecoder.LoopScope outer,
                    int loopDepth,
                    int loopIteration,
                    int loopBeginOrderId,
                    GraphDecoder.LoopScopeTrigger trigger,
                    Node[] initialCreatedNodes,
                    Node[] createdNodes,
                    Deque<GraphDecoder.LoopScope> nextIterationFromLoopExitDuplication,
                    Deque<GraphDecoder.LoopScope> nextIterationFromLoopEndDuplication,
                    Deque<GraphDecoder.LoopScope> nextIterationsFromUnrolling,
                    org.graalvm.collections.EconomicMap<GraphDecoder.LoopExplosionState,GraphDecoder.LoopExplosionState> iterationStates)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

hasIterationsToProcess

public boolean hasIterationsToProcess()

Determines if iterations generated when decoding this loop have yet to be processed.

Returns:

true if there are iterations to be decoded, false else

getNextIterationToProcess

public GraphDecoder.LoopScope getNextIterationToProcess(boolean remove)

Return the next iteration yet to be processed that has been created in the context of decoding this loop scope.

Parameters:

remove - determines if the query of the next iteration should remove it from the list of iterations to be processed

Returns:

the next GraphDecoder.LoopScope to be processed that has been created in the context of decoding this loop scope. Note that the order is not necessarily reflecting the number of loop iterations.