com.oracle.graal.java

Class LargeLocalLiveness

java.lang.Object

com.oracle.graal.java.LocalLiveness

com.oracle.graal.java.LargeLocalLiveness

public final class LargeLocalLiveness
extends LocalLiveness

Field Summary

Fields

Modifier and Type	Field and Description
private BitSet[]	localsChangedInLoop
private BitSet[]	localsLiveGen
private BitSet[]	localsLiveIn
private BitSet[]	localsLiveKill
private BitSet[]	localsLiveOut

Fields inherited from class com.oracle.graal.java.LocalLiveness

blocks

Constructor Summary

Constructors

Constructor and Description
LargeLocalLiveness(BciBlockMapping.BciBlock[] blocks, int maxLocals, int loopCount)

Method Summary

Modifier and Type	Method and Description
protected String	debugLiveGen(int blockID) Returns a string representation of the liveGen values of the given block.
protected String	debugLiveIn(int blockID) Returns a string representation of the liveIn values of the given block.
protected String	debugLiveKill(int blockID) Returns a string representation of the liveKill values of the given block.
protected String	debugLiveOut(int blockID) Returns a string representation of the liveOut values of the given block.
protected int	liveOutCardinality(int blockID) Returns the number of live locals at the end of the given block.
protected void	loadOne(int blockID, int local) Adds the local to liveGen if it wasn't already killed in this block.
boolean	localIsChangedInLoop(int loopId, int local) Returns whether the local is set in the given loop.
boolean	localIsLiveIn(BciBlockMapping.BciBlock block, int local) Returns whether the local is live at the beginning of the given block.
boolean	localIsLiveOut(BciBlockMapping.BciBlock block, int local) Returns whether the local is live at the end of the given block.
protected void	propagateLiveness(int blockID, int successorID) Adds all locals the are in the liveIn of the successor to the liveOut of the block.
protected void	storeOne(int blockID, int local) Add this local to liveKill if it wasn't already generated in this block.
protected void	updateLiveness(int blockID) Calculates a new liveIn for the given block from liveOut, liveKill and liveGen.

Methods inherited from class com.oracle.graal.java.LocalLiveness

compute, computeLiveness

Methods inherited from class java.lang.Object

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

Field Detail

localsLiveIn

private BitSet[] localsLiveIn

localsLiveOut

private BitSet[] localsLiveOut

localsLiveGen

private BitSet[] localsLiveGen

localsLiveKill

private BitSet[] localsLiveKill

localsChangedInLoop

private BitSet[] localsChangedInLoop

Constructor Detail

LargeLocalLiveness

public LargeLocalLiveness(BciBlockMapping.BciBlock[] blocks,
                          int maxLocals,
                          int loopCount)

Method Detail

debugLiveIn

protected String debugLiveIn(int blockID)

Description copied from class: LocalLiveness

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

Specified by:

debugLiveIn in class LocalLiveness

debugLiveOut

protected String debugLiveOut(int blockID)

Description copied from class: LocalLiveness

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

Specified by:

debugLiveOut in class LocalLiveness

debugLiveGen

protected String debugLiveGen(int blockID)

Description copied from class: LocalLiveness

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

Specified by:

debugLiveGen in class LocalLiveness

debugLiveKill

protected String debugLiveKill(int blockID)

Description copied from class: LocalLiveness

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

Specified by:

debugLiveKill in class LocalLiveness

liveOutCardinality

protected int liveOutCardinality(int blockID)

Description copied from class: LocalLiveness

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

Specified by:

liveOutCardinality in class LocalLiveness

propagateLiveness

protected void propagateLiveness(int blockID,
                                 int successorID)

Description copied from class: LocalLiveness

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

Specified by:

propagateLiveness in class LocalLiveness

updateLiveness

protected void updateLiveness(int blockID)

Description copied from class: LocalLiveness

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

Specified by:

updateLiveness in class LocalLiveness

loadOne

protected void loadOne(int blockID,
                       int local)

Description copied from class: LocalLiveness

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

Specified by:

loadOne in class LocalLiveness

storeOne

protected void storeOne(int blockID,
                        int local)

Description copied from class: LocalLiveness

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

Specified by:

storeOne in class LocalLiveness

localIsLiveIn

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

Description copied from class: LocalLiveness

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

Specified by:

localIsLiveIn in class LocalLiveness

localIsLiveOut

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

Description copied from class: LocalLiveness

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

Specified by:

localIsLiveOut in class LocalLiveness

localIsChangedInLoop

public boolean localIsChangedInLoop(int loopId,
                                    int local)

Description copied from class: LocalLiveness

Returns whether the local is set in the given loop.

Specified by:

localIsChangedInLoop in class LocalLiveness