org.graalvm.compiler.loop.phases

Class LoopTransformations

java.lang.Object

org.graalvm.compiler.loop.phases.LoopTransformations

public abstract class LoopTransformations
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LoopTransformations.PreMainPostResult

Method Summary

Modifier and Type	Method and Description
static void	adaptCountedLoopExitProbability(AbstractBeginNode lex, double newFrequency) Inject a new frequency for the condition dominating the given loop exit path.
static void	ensureExitsHaveUniqueStates(LoopEx loop) Create unique framestates for the loop exits of this loop: unique states ensure that virtual instance nodes of this framestate are not shared with other framestates.
static org.graalvm.collections.EconomicMap<ValueNode,List<ControlSplitNode>>	findUnswitchable(LoopEx loop) Find all unswichable control split nodes in the given loop.
static void	fullUnroll(LoopEx loop, CoreProviders context, CanonicalizerPhase canonicalizer)
static LoopTransformations.PreMainPostResult	insertPrePostLoops(LoopEx loop)
static boolean	isUnrollableLoop(LoopEx loop)
static void	partialUnroll(LoopEx loop, org.graalvm.collections.EconomicMap<LoopBeginNode,OpaqueNode> opaqueUnrolledStrides)
static LoopFragmentInside	peel(LoopEx loop)
static void	unswitch(LoopEx loop, List<ControlSplitNode> controlSplitNodeSet, boolean isTrivialUnswitch)

Methods inherited from class java.lang.Object

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

Method Detail

peel

public static LoopFragmentInside peel(LoopEx loop)

fullUnroll

public static void fullUnroll(LoopEx loop,
                              CoreProviders context,
                              CanonicalizerPhase canonicalizer)

unswitch

public static void unswitch(LoopEx loop,
                            List<ControlSplitNode> controlSplitNodeSet,
                            boolean isTrivialUnswitch)

partialUnroll

public static void partialUnroll(LoopEx loop,
                                 org.graalvm.collections.EconomicMap<LoopBeginNode,OpaqueNode> opaqueUnrolledStrides)

ensureExitsHaveUniqueStates

public static void ensureExitsHaveUniqueStates(LoopEx loop)

Create unique framestates for the loop exits of this loop: unique states ensure that virtual instance nodes of this framestate are not shared with other framestates. Loop exit states and virtual object state inputs: The loop exit state can have a (transitive) virtual object state input that is shared with other states outside the loop. Without a dedicated state (with virtual object state inputs) for the loop exit state we can no longer answer the question what is inside the loop (which virtual object state) and which is outside given that we create new loop exits after existing ones. Thus, we create a dedicated state for the exit that can later be duplicated cleanly.

insertPrePostLoops

public static LoopTransformations.PreMainPostResult insertPrePostLoops(LoopEx loop)

adaptCountedLoopExitProbability

public static void adaptCountedLoopExitProbability(AbstractBeginNode lex,
                                                   double newFrequency)

Inject a new frequency for the condition dominating the given loop exit path. This calculation will act as if the given loop exit is the only exit of the loop.

findUnswitchable

public static org.graalvm.collections.EconomicMap<ValueNode,List<ControlSplitNode>> findUnswitchable(LoopEx loop)

Find all unswichable control split nodes in the given loop. When multiple control split nodes have the same invariant condition, group them together.

Parameters:

loop - search control split nodes in this loop.

Returns:

the unswitchable control split nodes grouped by condition meaning that every control split node within the same inner list share the same condition (the key for the map).

isUnrollableLoop

public static boolean isUnrollableLoop(LoopEx loop)