org.graalvm.compiler.lir.aarch64

Class AArch64ControlFlow.RangeTableSwitchOp

java.lang.Object

org.graalvm.compiler.lir.LIRInstruction

org.graalvm.compiler.lir.aarch64.AArch64BlockEndOp

org.graalvm.compiler.lir.aarch64.AArch64ControlFlow.RangeTableSwitchOp

All Implemented Interfaces:

StandardOp.BlockEndOp

Enclosing class:

AArch64ControlFlow

public static final class AArch64ControlFlow.RangeTableSwitchOp
extends AArch64BlockEndOp

This operation jumps to the appropriate destination as specified within a JumpTable, or to the default condition if there is no match within the JumpTable.

The JumpTable contains a series of target offsets, relative to the start of the jump table, for a contiguous series of indexes in the range [lowKey, highKey]. Finding the appropriate index within the jump table is accomplished in two steps:

1. Determine whether the index is within the JumpTable. This is accomplished by first normalizing the index (normalizedIdx == index - lowKey), and then checking whether (unsigned(normalizedIdx) <= highKey - lowKey). If not, then one must jump to the defaultTarget.
2. If normalizedIdx is within the JumpTable, then jump to JumpTableStart + JumpTable[normalizedIdx].

Nested Class Summary

Nested classes/interfaces inherited from class org.graalvm.compiler.lir.LIRInstruction

LIRInstruction.Alive, LIRInstruction.Def, LIRInstruction.OperandFlag, LIRInstruction.OperandMode, LIRInstruction.State, LIRInstruction.Temp, LIRInstruction.Use

Field Summary

Fields

Modifier and Type	Field and Description
protected AllocatableValue	index
static LIRInstructionClass<AArch64ControlFlow.RangeTableSwitchOp>	TYPE

Fields inherited from class org.graalvm.compiler.lir.LIRInstruction

ADDRESS_FLAGS, ALLOWED_FLAGS

Constructor Summary

Constructors

Constructor and Description
RangeTableSwitchOp(int lowKey, LabelRef defaultTarget, LabelRef[] targets, AllocatableValue index)

Method Summary

Modifier and Type	Method and Description
void	emitCode(CompilationResultBuilder crb, AArch64MacroAssembler masm)

Methods inherited from class org.graalvm.compiler.lir.aarch64.AArch64BlockEndOp

emitCode

Methods inherited from class org.graalvm.compiler.lir.LIRInstruction

addStackSlotsToTemporaries, destroysCallerSavedRegisters, forEachAlive, forEachAlive, forEachInput, forEachInput, forEachOutput, forEachOutput, forEachRegisterHint, forEachRegisterHint, forEachState, forEachState, forEachState, forEachState, forEachTemp, forEachTemp, getComment, getLIRInstructionClass, getPosition, hashCode, hasOperands, hasState, id, isLoadConstantOp, isMoveOp, isValueMoveOp, name, needsClearUpperVectorRegisters, setComment, setId, setPosition, toString, toString, toStringWithIdPrefix, verify, visitEachAlive, visitEachAlive, visitEachInput, visitEachInput, visitEachOutput, visitEachOutput, visitEachState, visitEachState, visitEachTemp, visitEachTemp

Methods inherited from class java.lang.Object

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

Field Detail

TYPE

public static final LIRInstructionClass<AArch64ControlFlow.RangeTableSwitchOp> TYPE

index

protected AllocatableValue index

Constructor Detail

RangeTableSwitchOp

public RangeTableSwitchOp(int lowKey,
                          LabelRef defaultTarget,
                          LabelRef[] targets,
                          AllocatableValue index)

Method Detail

emitCode

public void emitCode(CompilationResultBuilder crb,
                     AArch64MacroAssembler masm)

Specified by:

emitCode in class AArch64BlockEndOp