com.oracle.graal.lir.alloc.trace

Class TraceGlobalMoveResolver

java.lang.Object

com.oracle.graal.lir.alloc.trace.TraceGlobalMoveResolver

class TraceGlobalMoveResolver
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private int	firstVirtualStackIndex
private FrameMapBuilder	frameMapBuilder
private int	insertIdx
private LIRInsertionBuffer	insertionBuffer
private List<Value>	mappingFrom
private List<AllocatableValue>	mappingTo
private int[]	registerBlocked
private LIRGeneratorTool.SpillMoveFactory	spillMoveFactory
private static int	STACK_SLOT_IN_CALLER_FRAME_IDX
private int[]	stackBlocked

Constructor Summary

Constructors

Constructor and Description
TraceGlobalMoveResolver(LIRGenerationResult res, LIRGeneratorTool.SpillMoveFactory spillMoveFactory, Architecture arch)

Method Summary

Modifier and Type	Method and Description
void	addMapping(Value from, AllocatableValue to)
private void	appendInsertionBuffer()
private static boolean	areMultipleReadsAllowed()
private void	block(Value location)
private void	breakCycle(int spillCandidate)
private boolean	checkEmpty()
private void	createInsertionBuffer(List<LIRInstruction> list)
private LIRInstruction	createMove(Value fromOpr, AllocatableValue toOpr)
private Register[]	getRegisters()
private LIRGeneratorTool.SpillMoveFactory	getSpillMoveFactory()
private int	getStackArrayIndex(StackSlot stackSlot)
private int	getStackArrayIndex(StackSlotValue stackSlotValue)
private int	getStackArrayIndex(VirtualStackSlot virtualStackSlot)
private boolean	hasMappings()
private void	insertMove(Value fromOperand, AllocatableValue toOperand)
static boolean	isMoveToSelf(Value from, Value to)
private static boolean	mightBeBlocked(Value location)
private void	printMapping()
void	resolveAndAppendMoves()
private void	resolveMappings()
private boolean	safeToProcessMove(Value fromLocation, Value toLocation) Checks if the location of to is not blocked or is only blocked by from.
void	setInsertPosition(List<LIRInstruction> insertList, int insertIdx)
private void	setValueBlocked(Value location, int direction)
private void	unblock(Value location)
private int	valueBlocked(Value location)
private boolean	verifyBeforeResolve()

Methods inherited from class java.lang.Object

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

Field Detail

insertIdx

private int insertIdx

insertionBuffer

private LIRInsertionBuffer insertionBuffer

mappingFrom

private final List<Value> mappingFrom

mappingTo

private final List<AllocatableValue> mappingTo

registerBlocked

private final int[] registerBlocked

STACK_SLOT_IN_CALLER_FRAME_IDX

private static final int STACK_SLOT_IN_CALLER_FRAME_IDX

See Also:

Constant Field Values

stackBlocked

private int[] stackBlocked

firstVirtualStackIndex

private final int firstVirtualStackIndex

spillMoveFactory

private final LIRGeneratorTool.SpillMoveFactory spillMoveFactory

frameMapBuilder

private final FrameMapBuilder frameMapBuilder

Constructor Detail

TraceGlobalMoveResolver

public TraceGlobalMoveResolver(LIRGenerationResult res,
                               LIRGeneratorTool.SpillMoveFactory spillMoveFactory,
                               Architecture arch)

Method Detail

setValueBlocked

private void setValueBlocked(Value location,
                             int direction)

valueBlocked

private int valueBlocked(Value location)

areMultipleReadsAllowed

private static boolean areMultipleReadsAllowed()

hasMappings

private boolean hasMappings()

getSpillMoveFactory

private LIRGeneratorTool.SpillMoveFactory getSpillMoveFactory()

getRegisters

private Register[] getRegisters()

checkEmpty

private boolean checkEmpty()

verifyBeforeResolve

private boolean verifyBeforeResolve()

block

private void block(Value location)

unblock

private void unblock(Value location)

safeToProcessMove

private boolean safeToProcessMove(Value fromLocation,
                                  Value toLocation)

Checks if the location of to is not blocked or is only blocked by from.

isMoveToSelf

public static boolean isMoveToSelf(Value from,
                                   Value to)

mightBeBlocked

private static boolean mightBeBlocked(Value location)

createInsertionBuffer

private void createInsertionBuffer(List<LIRInstruction> list)

appendInsertionBuffer

private void appendInsertionBuffer()

insertMove

private void insertMove(Value fromOperand,
                        AllocatableValue toOperand)

createMove

private LIRInstruction createMove(Value fromOpr,
                                  AllocatableValue toOpr)

Parameters:

fromOpr - operand of the from interval

toOpr - operand of the to interval

resolveMappings

private void resolveMappings()

breakCycle

private void breakCycle(int spillCandidate)

printMapping

private void printMapping()

setInsertPosition

public void setInsertPosition(List<LIRInstruction> insertList,
                              int insertIdx)

addMapping

public void addMapping(Value from,
                       AllocatableValue to)

resolveAndAppendMoves

public void resolveAndAppendMoves()

getStackArrayIndex

private int getStackArrayIndex(StackSlotValue stackSlotValue)

getStackArrayIndex

private int getStackArrayIndex(StackSlot stackSlot)

getStackArrayIndex

private int getStackArrayIndex(VirtualStackSlot virtualStackSlot)