org.graalvm.compiler.nodes.loop

Interface LoopPolicies

All Known Implementing Classes:

DefaultLoopPolicies

public interface LoopPolicies

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	LoopPolicies.Options
static class	LoopPolicies.UnswitchingDecision Models the decision of LoopPolicies::shouldUnswitch.

Method Summary

Modifier and Type	Method and Description
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.

Method Detail

shouldPeel

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

shouldFullUnroll

boolean shouldFullUnroll(LoopEx loop)

shouldPartiallyUnroll

boolean shouldPartiallyUnroll(LoopEx loop,
                              CoreProviders providers)

shouldTryUnswitch

boolean shouldTryUnswitch(LoopEx loop)

shouldUnswitch

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.

Parameters:

loop - the loop to unswitch.

controlSplits - the invariant grouped by their condition.

Returns:

the decision to unswitch or not.