org.graalvm.compiler.nodes.loop

Class DefaultLoopPolicies

java.lang.Object

org.graalvm.compiler.nodes.loop.DefaultLoopPolicies

All Implemented Interfaces:

LoopPolicies

public class DefaultLoopPolicies
extends Object
implements LoopPolicies

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DefaultLoopPolicies.FullUnrollability This enum represents the result of analyzing a loop for full unrolling.
static class	DefaultLoopPolicies.Options

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.loop.LoopPolicies

LoopPolicies.UnswitchingDecision

Constructor Summary

Constructors

Constructor and Description
DefaultLoopPolicies()

Method Summary

Modifier and Type	Method and Description
DefaultLoopPolicies.FullUnrollability	canFullUnroll(LoopEx loop) Determine whether the loop should be fully unrolled.
boolean	shouldFullUnroll(LoopEx loop)
boolean	shouldPartiallyUnroll(LoopEx loop, CoreProviders providers)
boolean	shouldPeel(LoopEx loop, ControlFlowGraph cfg, CoreProviders providers, int peelingIteration)
boolean	shouldTryUnswitch(LoopEx loop)
LoopPolicies.UnswitchingDecision	shouldUnswitch(LoopEx loop, org.graalvm.collections.EconomicMap<ValueNode,List<ControlSplitNode>> controlSplits) Decide which control split invariant should be unswitched in the given loop.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultLoopPolicies

public DefaultLoopPolicies()

Method Detail

shouldPeel

public boolean shouldPeel(LoopEx loop,
                          ControlFlowGraph cfg,
                          CoreProviders providers,
                          int peelingIteration)

Specified by:

shouldPeel in interface LoopPolicies

canFullUnroll

public DefaultLoopPolicies.FullUnrollability canFullUnroll(LoopEx loop)

Determine whether the loop should be fully unrolled. Returns DefaultLoopPolicies.FullUnrollability.SHOULD_FULL_UNROLL if the loop should be fully unrolled. Otherwise, returns some other member of DefaultLoopPolicies.FullUnrollability describing why the loop cannot or should not be fully unrolled.

shouldFullUnroll

public boolean shouldFullUnroll(LoopEx loop)

Specified by:

shouldFullUnroll in interface LoopPolicies

shouldPartiallyUnroll

public boolean shouldPartiallyUnroll(LoopEx loop,
                                     CoreProviders providers)

Specified by:

shouldPartiallyUnroll in interface LoopPolicies

shouldTryUnswitch

public boolean shouldTryUnswitch(LoopEx loop)

Specified by:

shouldTryUnswitch in interface LoopPolicies

shouldUnswitch

public LoopPolicies.UnswitchingDecision shouldUnswitch(LoopEx loop,
                                                       org.graalvm.collections.EconomicMap<ValueNode,List<ControlSplitNode>> controlSplits)

Description copied from interface: LoopPolicies

Decide which control split invariant should be unswitched in the given loop.

Specified by:

shouldUnswitch in interface LoopPolicies

Parameters:

loop - the loop to unswitch.

controlSplits - the invariant grouped by their condition.

Returns:

the decision to unswitch or not.