com.oracle.graal.lir.alloc.lsra

Class LinearScanLifetimeAnalysisPhase

java.lang.Object

com.oracle.graal.lir.phases.LIRPhase<AllocationPhase.AllocationContext>

com.oracle.graal.lir.phases.AllocationPhase

com.oracle.graal.lir.alloc.lsra.LinearScanLifetimeAnalysisPhase

Direct Known Subclasses:

SSALinearScanLifetimeAnalysisPhase, SSILinearScanLifetimeAnalysisPhase, TraceLinearScanLifetimeAnalysisPhase

public class LinearScanLifetimeAnalysisPhase
extends AllocationPhase

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.lir.phases.AllocationPhase

AllocationPhase.AllocationContext

Nested classes/interfaces inherited from class com.oracle.graal.lir.phases.LIRPhase

LIRPhase.Options

Field Summary

Fields

Modifier and Type	Field and Description
protected LinearScan	allocator
private BitMap2D	intervalInLoop Bit set for each variable that is contained in each loop.

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, LIRKind kind)
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, LIRKind kind)
protected void	addUse(AllocatableValue operand, int from, int to, Interval.RegisterPriority registerPriority, LIRKind kind)
protected void	buildIntervals()
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.
(package private) void	computeLocalLiveSets() Computes local live sets (i.e.
protected static JavaConstant	getMaterializedValue(LIRInstruction op, Value operand, Interval interval) Returns a value for a interval definition, which can be used for re-materialization.
protected void	handleMethodArguments(LIRInstruction op) Optimizes moves related to incoming stack based arguments.
(package private) boolean	isIntervalInLoop(int interval, int loop)
protected void	numberInstructions() Numbers all instructions in all blocks.
private static boolean	optimizeMethodArgument(Value value)
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 <B extends AbstractBlockBase<B>> void	run(TargetDescription target, LIRGenerationResult lirGenRes, List<B> codeEmittingOrder, List<B> linearScanOrder, LIRGeneratorTool.SpillMoveFactory spillMoveFactory, RegisterAllocationConfig registerAllocationConfig)
private void	verifyInput(AbstractBlockBase<?> block, BitSet liveKill, Value operand)
protected void	verifyLiveness()
private void	verifyTemp(BitSet liveKill, Value operand)

Methods inherited from class com.oracle.graal.lir.phases.AllocationPhase

run

Methods inherited from class com.oracle.graal.lir.phases.LIRPhase

apply, apply, createName, getName

Methods inherited from class java.lang.Object

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

Field Detail

allocator

protected final LinearScan allocator

intervalInLoop

private BitMap2D intervalInLoop

Bit set for each variable that is contained in each loop.

Constructor Detail

LinearScanLifetimeAnalysisPhase

protected LinearScanLifetimeAnalysisPhase(LinearScan linearScan)

Parameters:

linearScan -

Method Detail

run

protected <B extends AbstractBlockBase<B>> void run(TargetDescription target,
                                                    LIRGenerationResult lirGenRes,
                                                    List<B> codeEmittingOrder,
                                                    List<B> linearScanOrder,
                                                    LIRGeneratorTool.SpillMoveFactory spillMoveFactory,
                                                    RegisterAllocationConfig registerAllocationConfig)

Specified by:

run in class AllocationPhase

isIntervalInLoop

boolean isIntervalInLoop(int interval,
                         int loop)

numberInstructions

protected void numberInstructions()

Numbers all instructions in all blocks. The numbering follows the linear scan order.

computeLocalLiveSets

void computeLocalLiveSets()

Computes local live sets (i.e. LinearScan.BlockData.liveGen and LinearScan.BlockData.liveKill) separately for each block.

verifyTemp

private void verifyTemp(BitSet liveKill,
                        Value operand)

verifyInput

private void verifyInput(AbstractBlockBase<?> block,
                         BitSet liveKill,
                         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,
                      LIRKind kind)

addTemp

protected void addTemp(AllocatableValue operand,
                       int tempPos,
                       Interval.RegisterPriority registerPriority,
                       LIRKind kind)

addDef

protected void addDef(AllocatableValue operand,
                      LIRInstruction op,
                      Interval.RegisterPriority registerPriority,
                      LIRKind kind)

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 -

optimizeMethodArgument

private static boolean optimizeMethodArgument(Value value)

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()

getMaterializedValue

protected static JavaConstant 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. Currently this can only be a JavaConstant.