org.graalvm.compiler.lir

Class SwitchStrategy.BaseSwitchClosure

java.lang.Object

org.graalvm.compiler.lir.SwitchStrategy.BaseSwitchClosure

Direct Known Subclasses:

AArch64ControlFlow.StrategySwitchOp.SwitchClosure, AMD64ControlFlow.StrategySwitchOp.SwitchClosure

Enclosing class:

SwitchStrategy

public abstract static class SwitchStrategy.BaseSwitchClosure
extends Object

Backends can subclass this abstract class and generate code for switch strategies by implementing the SwitchStrategy.BaseSwitchClosure.conditionalJump(int, Condition, Label) method.

Constructor Summary

Constructors

Constructor and Description
BaseSwitchClosure(CompilationResultBuilder crb, Assembler masm, LabelRef[] keyTargets, LabelRef defaultTarget)

Method Summary

Modifier and Type	Method and Description
void	bind(Label label) Binds a label returned by conditionalJump(int, Condition).
Label	conditionalJump(int index, Condition condition) Create a new label and generate a conditional jump to it.
void	conditionalJump(int index, Condition condition, boolean targetDefault) Generates a conditional or unconditional jump.
protected abstract void	conditionalJump(int index, Condition condition, Label target) This method generates code for a comparison between the actual value and the constant at the given index and a condition jump to target.
void	conditionalJumpOrDefault(int index, Condition condition, boolean canFallThrough) Generates a conditional jump to the target with the specified index.
boolean	isSameTarget(int index1, int index2) Return true iff the target of both indexes is the same.

Methods inherited from class java.lang.Object

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

Constructor Detail

BaseSwitchClosure

public BaseSwitchClosure(CompilationResultBuilder crb,
                         Assembler masm,
                         LabelRef[] keyTargets,
                         LabelRef defaultTarget)

Method Detail

conditionalJump

protected abstract void conditionalJump(int index,
                                        Condition condition,
                                        Label target)

This method generates code for a comparison between the actual value and the constant at the given index and a condition jump to target.

conditionalJump

public void conditionalJump(int index,
                            Condition condition,
                            boolean targetDefault)

Generates a conditional or unconditional jump. The jump will be unconditional if condition is null. If defaultTarget is true, then the jump will go the default.

Parameters:

index - Index of the value and the jump target (only used if defaultTarget == false)

condition - The condition on which to jump (can be null)

targetDefault - true if the jump should go to the default target, false if index should be used.

conditionalJumpOrDefault

public void conditionalJumpOrDefault(int index,
                                     Condition condition,
                                     boolean canFallThrough)

Generates a conditional jump to the target with the specified index. The fall through should go to the default target.

Parameters:

index - Index of the value and the jump target

condition - The condition on which to jump

canFallThrough - true if this is the last instruction in the switch statement, to allow for fall-through optimizations.

conditionalJump

public Label conditionalJump(int index,
                             Condition condition)

Create a new label and generate a conditional jump to it.

Parameters:

index - Index of the value and the jump target

condition - The condition on which to jump

Returns:

a new Label

bind

public void bind(Label label)

Binds a label returned by conditionalJump(int, Condition).

isSameTarget

public boolean isSameTarget(int index1,
                            int index2)

Return true iff the target of both indexes is the same.