com.oracle.graal.lir

Class LIR

java.lang.Object

com.oracle.graal.lir.LIR

public class LIR
extends Object

This class implements the overall container for the LIR graph and directs its construction, optimization, and finalization.

Field Summary

Fields

Modifier and Type	Field and Description
private AbstractControlFlowGraph<?>	cfg
private List<? extends AbstractBlockBase<?>>	codeEmittingOrder The order in which the code is emitted.
private int	firstVariableNumber
private boolean	hasArgInCallerFrame
private List<? extends AbstractBlockBase<?>>	linearScanOrder The linear-scan ordered list of blocks.
private BlockMap<List<LIRInstruction>>	lirInstructions
static int	MAX_EXCEPTION_EDGE_OP_DISTANCE_FROM_END The maximum distance an operation with an exception edge can be from the last instruction of a LIR block.
private int	numVariables

Constructor Summary

Constructors

Constructor and Description
LIR(AbstractControlFlowGraph<?> cfg, List<? extends AbstractBlockBase<?>> linearScanOrder, List<? extends AbstractBlockBase<?>> codeEmittingOrder) Creates a new LIR instance for the specified compilation.

Method Summary

Modifier and Type	Method and Description
List<? extends AbstractBlockBase<?>>	codeEmittingOrder()
AbstractControlFlowGraph<?>	getControlFlowGraph()
static LabelRef	getExceptionEdge(LIRInstruction op) Gets the exception edge (if any) originating at a given operation.
List<LIRInstruction>	getLIRforBlock(AbstractBlockBase<?> block)
boolean	hasArgInCallerFrame() Determines if any of the parameters to the method are passed via the stack where the parameters are located in the caller's frame.
boolean	hasDebugInfo() Determines if any instruction in the LIR has debug info associated with it.
List<? extends AbstractBlockBase<?>>	linearScanOrder() Gets the linear scan ordering of blocks as a list.
int	nextVariable()
int	numVariables()
void	resetLabels()
void	setFirstVariableNumber(int num)
void	setHasArgInCallerFrame()
void	setLIRforBlock(AbstractBlockBase<?> block, List<LIRInstruction> list)
static boolean	verifyBlock(LIR lir, AbstractBlockBase<?> block)
static boolean	verifyBlocks(LIR lir, List<? extends AbstractBlockBase<?>> blocks)

Methods inherited from class java.lang.Object

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

Field Detail

cfg

private final AbstractControlFlowGraph<?> cfg

linearScanOrder

private final List<? extends AbstractBlockBase<?>> linearScanOrder

The linear-scan ordered list of blocks.

codeEmittingOrder

private final List<? extends AbstractBlockBase<?>> codeEmittingOrder

The order in which the code is emitted.

firstVariableNumber

private int firstVariableNumber

numVariables

private int numVariables

lirInstructions

private final BlockMap<List<LIRInstruction>> lirInstructions

hasArgInCallerFrame

private boolean hasArgInCallerFrame

MAX_EXCEPTION_EDGE_OP_DISTANCE_FROM_END

public static final int MAX_EXCEPTION_EDGE_OP_DISTANCE_FROM_END

The maximum distance an operation with an exception edge can be from the last instruction of a LIR block. The value of 3 is based on a non-void call operation that has an exception edge. Such a call may move the result to another register and then spill it.

The rationale for such a constant is to limit the search for an insertion point when adding move operations at the end of a block. Such moves must be inserted before all control flow instructions.

See Also:

Constant Field Values

Constructor Detail

LIR

public LIR(AbstractControlFlowGraph<?> cfg,
           List<? extends AbstractBlockBase<?>> linearScanOrder,
           List<? extends AbstractBlockBase<?>> codeEmittingOrder)

Creates a new LIR instance for the specified compilation.

Method Detail

getControlFlowGraph

public AbstractControlFlowGraph<?> getControlFlowGraph()

hasDebugInfo

public boolean hasDebugInfo()

Determines if any instruction in the LIR has debug info associated with it.

getLIRforBlock

public List<LIRInstruction> getLIRforBlock(AbstractBlockBase<?> block)

setLIRforBlock

public void setLIRforBlock(AbstractBlockBase<?> block,
                           List<LIRInstruction> list)

linearScanOrder

public List<? extends AbstractBlockBase<?>> linearScanOrder()

Gets the linear scan ordering of blocks as a list.

Returns:

the blocks in linear scan order

codeEmittingOrder

public List<? extends AbstractBlockBase<?>> codeEmittingOrder()

numVariables

public int numVariables()

nextVariable

public int nextVariable()

setFirstVariableNumber

public void setFirstVariableNumber(int num)

setHasArgInCallerFrame

public void setHasArgInCallerFrame()

hasArgInCallerFrame

public boolean hasArgInCallerFrame()

Determines if any of the parameters to the method are passed via the stack where the parameters are located in the caller's frame.

getExceptionEdge

public static LabelRef getExceptionEdge(LIRInstruction op)

Gets the exception edge (if any) originating at a given operation.

verifyBlock

public static boolean verifyBlock(LIR lir,
                                  AbstractBlockBase<?> block)

verifyBlocks

public static boolean verifyBlocks(LIR lir,
                                   List<? extends AbstractBlockBase<?>> blocks)

resetLabels

public void resetLabels()