org.graalvm.compiler.lir.alloc.lsra

Class LinearScanLifetimeAnalysisPhase

java.lang.Object

org.graalvm.compiler.lir.alloc.lsra.LinearScanLifetimeAnalysisPhase

Direct Known Subclasses:

SSALinearScanLifetimeAnalysisPhase

public class LinearScanLifetimeAnalysisPhase
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected LinearScan	allocator
protected DebugContext	debug

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LinearScanLifetimeAnalysisPhase(LinearScan linearScan)

Method Summary

Modifier and Type	Method and Description
protected void	addDef(AllocatableValue operand, LIRInstruction op, Interval.RegisterPriority registerPriority, <any> kind, boolean detailedAsserts)
protected void	addRegisterHint(LIRInstruction op, Value targetValue, LIRInstruction.OperandMode mode, EnumSet<LIRInstruction.OperandFlag> flags, boolean hintAtDef)
protected void	addTemp(AllocatableValue operand, int tempPos, Interval.RegisterPriority registerPriority, <any> kind, boolean detailedAsserts)
protected void	addUse(AllocatableValue operand, int from, int to, Interval.RegisterPriority registerPriority, <any> kind, boolean detailedAsserts)
void	apply(TargetDescription target, LIRGenerationResult lirGenRes, AllocationPhase.AllocationContext context)
void	apply(TargetDescription target, LIRGenerationResult lirGenRes, AllocationPhase.AllocationContext context, boolean dumpLIR)
protected void	buildIntervals(boolean detailedAsserts)
protected void	changeSpillDefinitionPos(LIRInstruction op, AllocatableValue operand, Interval interval, int defPos) Eliminates moves from register to stack if the stack slot is known to be correct.
protected void	computeGlobalLiveSets() Performs a backward dataflow analysis to compute global live sets (i.e.
protected Constant	getMaterializedValue(LIRInstruction op, Value operand, Interval interval) Returns a value for a interval definition, which can be used for re-materialization.
protected int	getOperandNumber(Value operand)
protected void	handleMethodArguments(LIRInstruction op) Optimizes moves related to incoming stack based arguments.
protected void	numberInstructions() Numbers all instructions in all blocks.
protected static Interval.RegisterPriority	registerPriorityOfInputOperand(EnumSet<LIRInstruction.OperandFlag> flags) Determines the priority which with an instruction's input operand will be allocated a register.
protected Interval.RegisterPriority	registerPriorityOfOutputOperand(LIRInstruction op) Determines the register priority for an instruction's output/result operand.
protected void	reportFailure(int numBlocks)
protected void	run(TargetDescription target, LIRGenerationResult lirGenRes, AllocationPhase.AllocationContext context)
String	toString()
protected void	verifyLiveness()

Methods inherited from class java.lang.Object

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

Field Detail

allocator

protected final LinearScan allocator

debug

protected final DebugContext debug

Constructor Detail

LinearScanLifetimeAnalysisPhase

protected LinearScanLifetimeAnalysisPhase(LinearScan linearScan)

Parameters:

linearScan -

Method Detail

run

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

numberInstructions

protected void numberInstructions()

Numbers all instructions in all blocks.

getOperandNumber

protected int getOperandNumber(Value operand)

computeGlobalLiveSets

protected void computeGlobalLiveSets()

Performs a backward dataflow analysis to compute global live sets (i.e. LinearScan.BlockData.liveIn and LinearScan.BlockData.liveOut) for each block.

reportFailure

protected void reportFailure(int numBlocks)

verifyLiveness

protected void verifyLiveness()

addUse

protected void addUse(AllocatableValue operand,
                      int from,
                      int to,
                      Interval.RegisterPriority registerPriority,
                      <any> kind,
                      boolean detailedAsserts)

addTemp

protected void addTemp(AllocatableValue operand,
                       int tempPos,
                       Interval.RegisterPriority registerPriority,
                       <any> kind,
                       boolean detailedAsserts)

addDef

protected void addDef(AllocatableValue operand,
                      LIRInstruction op,
                      Interval.RegisterPriority registerPriority,
                      <any> kind,
                      boolean detailedAsserts)

handleMethodArguments

protected void handleMethodArguments(LIRInstruction op)

Optimizes moves related to incoming stack based arguments. The interval for the destination of such moves is assigned the stack slot (which is in the caller's frame) as its spill slot.

addRegisterHint

protected void addRegisterHint(LIRInstruction op,
                               Value targetValue,
                               LIRInstruction.OperandMode mode,
                               EnumSet<LIRInstruction.OperandFlag> flags,
                               boolean hintAtDef)

changeSpillDefinitionPos

protected void changeSpillDefinitionPos(LIRInstruction op,
                                        AllocatableValue operand,
                                        Interval interval,
                                        int defPos)

Eliminates moves from register to stack if the stack slot is known to be correct.

Parameters:

op -

operand -

registerPriorityOfOutputOperand

protected Interval.RegisterPriority registerPriorityOfOutputOperand(LIRInstruction op)

Determines the register priority for an instruction's output/result operand.

registerPriorityOfInputOperand

protected static Interval.RegisterPriority registerPriorityOfInputOperand(EnumSet<LIRInstruction.OperandFlag> flags)

Determines the priority which with an instruction's input operand will be allocated a register.

buildIntervals

protected void buildIntervals(boolean detailedAsserts)

getMaterializedValue

protected Constant getMaterializedValue(LIRInstruction op,
                                        Value operand,
                                        Interval interval)

Returns a value for a interval definition, which can be used for re-materialization.

Parameters:

op - An instruction which defines a value

operand - The destination operand of the instruction

interval - The interval for this defined value.

Returns:

Returns the value which is moved to the instruction and which can be reused at all reload-locations in case the interval of this instruction is spilled.

toString

public final String toString()

Overrides:

toString in class Object

apply

public final void apply(TargetDescription target,
                        LIRGenerationResult lirGenRes,
                        AllocationPhase.AllocationContext context)

apply

public final void apply(TargetDescription target,
                        LIRGenerationResult lirGenRes,
                        AllocationPhase.AllocationContext context,
                        boolean dumpLIR)