org.graalvm.compiler.lir

Class LIR

java.lang.Object

org.graalvm.compiler.lir.gen.LIRGenerator.VariableProvider

org.graalvm.compiler.lir.LIR

public final class LIR
extends LIRGenerator.VariableProvider

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
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.

Constructor Summary

Constructors

Constructor and Description
LIR(AbstractControlFlowGraph<?> cfg, AbstractBlockBase<?>[] linearScanOrder, OptionValues options, DebugContext debug) Creates a new LIR instance for the specified compilation.

Method Summary

Modifier and Type	Method and Description
AbstractBlockBase<?>[]	codeEmittingOrder() Gets the code emitting ordering of blocks as an array.
boolean	codeEmittingOrderAvailable() Checks whether the code emitting order has been computed.
AbstractBlockBase<?>[]	getBlocks() Gets an array of all the blocks in this LIR.
AbstractControlFlowGraph<?>	getControlFlowGraph()
DebugContext	getDebug()
static LabelRef	getExceptionEdge(LIRInstruction op) Gets the exception edge (if any) originating at a given operation.
ArrayList<LIRInstruction>	getLIRforBlock(AbstractBlockBase<?> block)
static AbstractBlockBase<?>	getNextBlock(AbstractBlockBase<?>[] blocks, int blockIndex) Gets the next non-null block in a list.
OptionValues	getOptions()
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.
AbstractBlockBase<?>[]	linearScanOrder() Gets the linear scan ordering of blocks as an array.
void	resetLabels()
void	setCodeEmittingOrder(AbstractBlockBase<?>[] codeEmittingOrder)
void	setHasArgInCallerFrame()
void	setLIRforBlock(AbstractBlockBase<?> block, ArrayList<LIRInstruction> list)
static boolean	verifyBlock(LIR lir, AbstractBlockBase<?> block)
static boolean	verifyBlocks(LIR lir, AbstractBlockBase<?>[] blocks)

Methods inherited from class org.graalvm.compiler.lir.gen.LIRGenerator.VariableProvider

numVariables

Methods inherited from class java.lang.Object

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

Field Detail

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,
           AbstractBlockBase<?>[] linearScanOrder,
           OptionValues options,
           DebugContext debug)

Creates a new LIR instance for the specified compilation.

Method Detail

getControlFlowGraph

public AbstractControlFlowGraph<?> getControlFlowGraph()

getOptions

public OptionValues getOptions()

getDebug

public DebugContext getDebug()

hasDebugInfo

public boolean hasDebugInfo()

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

getLIRforBlock

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

setLIRforBlock

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

linearScanOrder

public AbstractBlockBase<?>[] linearScanOrder()

Gets the linear scan ordering of blocks as an array. After control flow optimizations this can contain null entries for blocks that have been optimized away.

Returns:

the blocks in linear scan order

codeEmittingOrder

public AbstractBlockBase<?>[] codeEmittingOrder()

Gets the code emitting ordering of blocks as an array. Code that does not care about visiting blocks in a particular order should use LIR.getBlocks() instead. The code emitting order is computed late in the LIR pipeline; LIR.codeEmittingOrderAvailable() can be used to check whether it has been computed. This method will throw an exception if the code emitting order is not available.

Returns:

the blocks in code emitting order

Throws:

IllegalStateException - if the code emitting order is not available

setCodeEmittingOrder

public void setCodeEmittingOrder(AbstractBlockBase<?>[] codeEmittingOrder)

codeEmittingOrderAvailable

public boolean codeEmittingOrderAvailable()

Checks whether the code emitting order has been computed.

getBlocks

public AbstractBlockBase<?>[] getBlocks()

Gets an array of all the blocks in this LIR. This should be used by all code that wants to iterate over the blocks but does not care about a particular order. The array returned here is in the LIR.codeEmittingOrder() if available, otherwise it is in LIR.linearScanOrder(). In either case it can contain null entries for blocks that have been optimized away. The start block will always be at index 0.

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.

getNextBlock

public static AbstractBlockBase<?> getNextBlock(AbstractBlockBase<?>[] blocks,
                                                int blockIndex)

Gets the next non-null block in a list.

Parameters:

blocks - list of blocks

blockIndex - index of the current block

Returns:

the next block in the list that is none null or null if there is no such block

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,
                                   AbstractBlockBase<?>[] blocks)

resetLabels

public void resetLabels()