org.graalvm.compiler.lir.alloc.lsra

Class LinearScan

java.lang.Object

org.graalvm.compiler.lir.alloc.lsra.LinearScan

Direct Known Subclasses:

SSALinearScan

public class LinearScan
extends Object

An implementation of the linear scan register allocator algorithm described in "Optimized Interval Splitting in a Linear Scan Register Allocator" by Christian Wimmer and Hanspeter Moessenboeck.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LinearScan.BlockData
static class	LinearScan.Options

Field Summary

Fields

Modifier and Type	Field and Description
protected DebugContext	debug
boolean	detailedAsserts
static int	DOMINATOR_SPILL_MOVE_ID
protected Interval	intervalEndMarker Sentinel interval to denote the end of an interval list.
Range	rangeEndMarker

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LinearScan(TargetDescription target, LIRGenerationResult res, MoveFactory spillMoveFactory, RegisterAllocationConfig regAllocConfig, AbstractBlockBase<?>[] sortedBlocks, boolean neverSpillConstants)

Method Summary

Modifier and Type	Method and Description
protected void	allocate(TargetDescription target, LIRGenerationResult lirGenRes, AllocationPhase.AllocationContext context)
RegisterAttributes	attributes(Register reg) Gets an object describing the attributes of a given register according to this register configuration.
protected void	beforeSpillMoveElimination()
AbstractBlockBase<?>	blockAt(int index)
int	blockCount()
AbstractBlockBase<?>	blockForId(int opId) Gets the block containing a given instruction.
boolean	callKillsRegisters()
protected LinearScanAssignLocationsPhase	createAssignLocationsPhase()
protected LinearScanLifetimeAnalysisPhase	createLifetimeAnalysisPhase()
protected MoveResolver	createMoveResolver()
protected LinearScanOptimizeSpillPositionPhase	createOptimizeSpillPositionPhase()
protected LinearScanRegisterAllocationPhase	createRegisterAllocationPhase()
protected LinearScanResolveDataFlowPhase	createResolveDataFlowPhase()
protected LinearScanEliminateSpillMovePhase	createSpillMoveEliminationPhase()
LinearScan.BlockData	getBlockData(AbstractBlockBase<?> block)
DebugContext	getDebug()
int	getFirstLirInstructionId(AbstractBlockBase<?> block)
FrameMapBuilder	getFrameMapBuilder()
int	getLastLirInstructionId(AbstractBlockBase<?> block)
LIR	getLIR()
LIRGenerationResult	getLIRGenerationResult()
OptionValues	getOptions()
Interval	getOrCreateInterval(AllocatableValue operand)
RegisterAllocationConfig	getRegisterAllocationConfig()
RegisterArray	getRegisters()
MoveFactory	getSpillMoveFactory()
int	getVariableNumber(int operand) Compute the variable number of the given operand.
LIRInstruction	instructionForId(int opId) Retrieves the LIRInstruction based on its id.
Interval	intervalEndMarker()
Interval	intervalFor(Value operand)
Interval[]	intervals() Map from operand numbers to intervals.
boolean	isProcessed(Value operand)
static boolean	isVariableOrRegister(Value value)
int	liveSetSize() Gets the size of the LinearScan.BlockData.liveIn and LinearScan.BlockData.liveOut sets for a basic block.
void	printIntervals(String label)
AbstractBlockBase<?>[]	sortedBlocks()
protected void	sortIntervalsBeforeAllocation()
Interval	splitChildAtOpId(Interval interval, int opId, LIRInstruction.OperandMode mode)
protected void	verifyIntervals()

Methods inherited from class java.lang.Object

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

Field Detail

DOMINATOR_SPILL_MOVE_ID

public static final int DOMINATOR_SPILL_MOVE_ID

See Also:

Constant Field Values

debug

protected final DebugContext debug

intervalEndMarker

protected final Interval intervalEndMarker

Sentinel interval to denote the end of an interval list.

rangeEndMarker

public final Range rangeEndMarker

detailedAsserts

public final boolean detailedAsserts

Constructor Detail

LinearScan

protected LinearScan(TargetDescription target,
                     LIRGenerationResult res,
                     MoveFactory spillMoveFactory,
                     RegisterAllocationConfig regAllocConfig,
                     AbstractBlockBase<?>[] sortedBlocks,
                     boolean neverSpillConstants)

Method Detail

getVariableNumber

public int getVariableNumber(int operand)

Compute the variable number of the given operand.

Parameters:

operand -

Returns:

the variable number of the supplied operand or -1 if the supplied operand describes a register

getLIRGenerationResult

public LIRGenerationResult getLIRGenerationResult()

intervalEndMarker

public Interval intervalEndMarker()

getOptions

public OptionValues getOptions()

getDebug

public DebugContext getDebug()

getFirstLirInstructionId

public int getFirstLirInstructionId(AbstractBlockBase<?> block)

getLastLirInstructionId

public int getLastLirInstructionId(AbstractBlockBase<?> block)

getSpillMoveFactory

public MoveFactory getSpillMoveFactory()

createMoveResolver

protected MoveResolver createMoveResolver()

isVariableOrRegister

public static boolean isVariableOrRegister(Value value)

getBlockData

public LinearScan.BlockData getBlockData(AbstractBlockBase<?> block)

attributes

public RegisterAttributes attributes(Register reg)

Gets an object describing the attributes of a given register according to this register configuration.

intervals

public Interval[] intervals()

Map from operand numbers to intervals.

blockCount

public int blockCount()

blockAt

public AbstractBlockBase<?> blockAt(int index)

liveSetSize

public int liveSetSize()

Gets the size of the LinearScan.BlockData.liveIn and LinearScan.BlockData.liveOut sets for a basic block. These sets do not include any operands allocated as a result of creating derived intervals.

intervalFor

public Interval intervalFor(Value operand)

getOrCreateInterval

public Interval getOrCreateInterval(AllocatableValue operand)

instructionForId

public LIRInstruction instructionForId(int opId)

Retrieves the LIRInstruction based on its id.

Parameters:

opId - an instruction id

Returns:

the instruction whose LIRInstruction.id == id

blockForId

public AbstractBlockBase<?> blockForId(int opId)

Gets the block containing a given instruction.

Parameters:

opId - an instruction id

Returns:

the block containing the instruction denoted by opId

isProcessed

public boolean isProcessed(Value operand)

sortIntervalsBeforeAllocation

protected void sortIntervalsBeforeAllocation()

splitChildAtOpId

public Interval splitChildAtOpId(Interval interval,
                                 int opId,
                                 LIRInstruction.OperandMode mode)

allocate

protected void allocate(TargetDescription target,
                        LIRGenerationResult lirGenRes,
                        AllocationPhase.AllocationContext context)

beforeSpillMoveElimination

protected void beforeSpillMoveElimination()

createLifetimeAnalysisPhase

protected LinearScanLifetimeAnalysisPhase createLifetimeAnalysisPhase()

createRegisterAllocationPhase

protected LinearScanRegisterAllocationPhase createRegisterAllocationPhase()

createOptimizeSpillPositionPhase

protected LinearScanOptimizeSpillPositionPhase createOptimizeSpillPositionPhase()

createResolveDataFlowPhase

protected LinearScanResolveDataFlowPhase createResolveDataFlowPhase()

createSpillMoveEliminationPhase

protected LinearScanEliminateSpillMovePhase createSpillMoveEliminationPhase()

createAssignLocationsPhase

protected LinearScanAssignLocationsPhase createAssignLocationsPhase()

printIntervals

public void printIntervals(String label)

verifyIntervals

protected void verifyIntervals()

getLIR

public LIR getLIR()

getFrameMapBuilder

public FrameMapBuilder getFrameMapBuilder()

sortedBlocks

public AbstractBlockBase<?>[] sortedBlocks()

getRegisters

public RegisterArray getRegisters()

getRegisterAllocationConfig

public RegisterAllocationConfig getRegisterAllocationConfig()

callKillsRegisters

public boolean callKillsRegisters()