com.oracle.graal.java

Class LocalLiveness

java.lang.Object

com.oracle.graal.java.LocalLiveness

Direct Known Subclasses:

LargeLocalLiveness, SmallLocalLiveness

public abstract class LocalLiveness
extends Object

Encapsulates the liveness calculation, so that subclasses for locals ≤ 64 and locals > 64 can be implemented.

Field Summary

Fields

Modifier and Type	Field and Description
protected BciBlockMapping.BciBlock[]	blocks

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LocalLiveness(BciBlockMapping.BciBlock[] blocks)

Method Summary

Modifier and Type	Method and Description
static LocalLiveness	compute(BytecodeStream stream, BciBlockMapping.BciBlock[] blocks, int maxLocals, int loopCount)
(package private) void	computeLiveness(BytecodeStream stream)
private void	computeLocalLiveness(BytecodeStream stream, BciBlockMapping.BciBlock block)
protected abstract String	debugLiveGen(int blockID) Returns a string representation of the liveGen values of the given block.
protected abstract String	debugLiveIn(int blockID) Returns a string representation of the liveIn values of the given block.
protected abstract String	debugLiveKill(int blockID) Returns a string representation of the liveKill values of the given block.
protected abstract String	debugLiveOut(int blockID) Returns a string representation of the liveOut values of the given block.
protected abstract int	liveOutCardinality(int blockID) Returns the number of live locals at the end of the given block.
protected abstract void	loadOne(int blockID, int local) Adds the local to liveGen if it wasn't already killed in this block.
private void	loadTwo(int blockID, int local)
abstract boolean	localIsChangedInLoop(int loopId, int local) Returns whether the local is set in the given loop.
abstract boolean	localIsLiveIn(BciBlockMapping.BciBlock block, int local) Returns whether the local is live at the beginning of the given block.
abstract boolean	localIsLiveOut(BciBlockMapping.BciBlock block, int local) Returns whether the local is live at the end of the given block.
protected abstract void	propagateLiveness(int blockID, int successorID) Adds all locals the are in the liveIn of the successor to the liveOut of the block.
protected abstract void	storeOne(int blockID, int local) Add this local to liveKill if it wasn't already generated in this block.
private void	storeTwo(int blockID, int local)
private boolean	traceEnd(BciBlockMapping.BciBlock block, int blockID)
private static boolean	traceIteration(int iteration)
private boolean	traceStart(BciBlockMapping.BciBlock block, int blockID)
private boolean	traceSuccessor(BciBlockMapping.BciBlock sux)
protected abstract void	updateLiveness(int blockID) Calculates a new liveIn for the given block from liveOut, liveKill and liveGen.

Methods inherited from class java.lang.Object

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

Field Detail

blocks

protected final BciBlockMapping.BciBlock[] blocks

Constructor Detail

LocalLiveness

protected LocalLiveness(BciBlockMapping.BciBlock[] blocks)

Method Detail

compute

public static LocalLiveness compute(BytecodeStream stream,
                                    BciBlockMapping.BciBlock[] blocks,
                                    int maxLocals,
                                    int loopCount)

computeLiveness

void computeLiveness(BytecodeStream stream)

traceIteration

private static boolean traceIteration(int iteration)

traceEnd

private boolean traceEnd(BciBlockMapping.BciBlock block,
                         int blockID)

traceSuccessor

private boolean traceSuccessor(BciBlockMapping.BciBlock sux)

traceStart

private boolean traceStart(BciBlockMapping.BciBlock block,
                           int blockID)

localIsLiveIn

public abstract boolean localIsLiveIn(BciBlockMapping.BciBlock block,
                                      int local)

Returns whether the local is live at the beginning of the given block.

localIsChangedInLoop

public abstract boolean localIsChangedInLoop(int loopId,
                                             int local)

Returns whether the local is set in the given loop.

localIsLiveOut

public abstract boolean localIsLiveOut(BciBlockMapping.BciBlock block,
                                       int local)

Returns whether the local is live at the end of the given block.

debugLiveIn

protected abstract String debugLiveIn(int blockID)

Returns a string representation of the liveIn values of the given block.

debugLiveOut

protected abstract String debugLiveOut(int blockID)

Returns a string representation of the liveOut values of the given block.

debugLiveGen

protected abstract String debugLiveGen(int blockID)

Returns a string representation of the liveGen values of the given block.

debugLiveKill

protected abstract String debugLiveKill(int blockID)

Returns a string representation of the liveKill values of the given block.

liveOutCardinality

protected abstract int liveOutCardinality(int blockID)

Returns the number of live locals at the end of the given block.

propagateLiveness

protected abstract void propagateLiveness(int blockID,
                                          int successorID)

Adds all locals the are in the liveIn of the successor to the liveOut of the block.

updateLiveness

protected abstract void updateLiveness(int blockID)

Calculates a new liveIn for the given block from liveOut, liveKill and liveGen.

loadOne

protected abstract void loadOne(int blockID,
                                int local)

Adds the local to liveGen if it wasn't already killed in this block.

storeOne

protected abstract void storeOne(int blockID,
                                 int local)

Add this local to liveKill if it wasn't already generated in this block.

computeLocalLiveness

private void computeLocalLiveness(BytecodeStream stream,
                                  BciBlockMapping.BciBlock block)

loadTwo

private void loadTwo(int blockID,
                     int local)

storeTwo

private void storeTwo(int blockID,
                      int local)