com.oracle.graal.lir.stackslotalloc

Class FixPointIntervalBuilder

java.lang.Object

com.oracle.graal.lir.stackslotalloc.FixPointIntervalBuilder

final class FixPointIntervalBuilder
extends Object

Calculates the stack intervals using a worklist-based backwards data-flow analysis.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	FixPointIntervalBuilder.BlockClosure

Field Summary

Fields

Modifier and Type	Field and Description
private LIR	lir
private BlockMap<BitSet>	liveInMap
private BlockMap<BitSet>	liveOutMap
private int	maxOpId
private StackInterval[]	stackSlotMap
private static DebugMetric	uninitializedSlots The number of allocated stack slots.
private HashSet<LIRInstruction>	usePos

Constructor Summary

Constructors

Constructor and Description
FixPointIntervalBuilder(LIR lir, StackInterval[] stackSlotMap, int maxOpId)

Method Summary

Modifier and Type	Method and Description
(package private) Set<LIRInstruction>	build() Builds the lifetime intervals for virtual stack slots, sets up stackSlotMap and returns a set of use positions, i.e.
private StackInterval	get(VirtualStackSlot stackSlot)
private static int	getBlockBegin(List<LIRInstruction> instructions)
private static int	getBlockEnd(List<LIRInstruction> instructions)
private StackInterval	getIntervalFromStackId(int id)
private StackInterval	getOrCreateInterval(VirtualStackSlot stackSlot)
private String	liveSetToString(BitSet liveSet)
private void	markInInterval(BitSet inSet, int blockFirstOpId)
private void	markOutInterval(BitSet outSet, int blockEndOpId)
private void	printLiveSet(String label, BitSet liveSet)
private void	processBlock(AbstractBlockBase<?> block, Deque<AbstractBlockBase<?>> worklist)
private void	put(VirtualStackSlot stackSlot, StackInterval interval)
private boolean	updateOutBlock(AbstractBlockBase<?> block) Merge outSet with in-set of successors.

Methods inherited from class java.lang.Object

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

Field Detail

liveInMap

private final BlockMap<BitSet> liveInMap

liveOutMap

private final BlockMap<BitSet> liveOutMap

lir

private final LIR lir

maxOpId

private final int maxOpId

stackSlotMap

private final StackInterval[] stackSlotMap

usePos

private final HashSet<LIRInstruction> usePos

uninitializedSlots

private static final DebugMetric uninitializedSlots

The number of allocated stack slots.

Constructor Detail

FixPointIntervalBuilder

FixPointIntervalBuilder(LIR lir,
                        StackInterval[] stackSlotMap,
                        int maxOpId)

Method Detail

build

Set<LIRInstruction> build()

Builds the lifetime intervals for virtual stack slots, sets up stackSlotMap and returns a set of use positions, i.e. instructions that contain virtual stack slots.

updateOutBlock

private boolean updateOutBlock(AbstractBlockBase<?> block)

Merge outSet with in-set of successors.

processBlock

private void processBlock(AbstractBlockBase<?> block,
                          Deque<AbstractBlockBase<?>> worklist)

printLiveSet

private void printLiveSet(String label,
                          BitSet liveSet)

liveSetToString

private String liveSetToString(BitSet liveSet)

markOutInterval

private void markOutInterval(BitSet outSet,
                             int blockEndOpId)

markInInterval

private void markInInterval(BitSet inSet,
                            int blockFirstOpId)

get

private StackInterval get(VirtualStackSlot stackSlot)

put

private void put(VirtualStackSlot stackSlot,
                 StackInterval interval)

getOrCreateInterval

private StackInterval getOrCreateInterval(VirtualStackSlot stackSlot)

getIntervalFromStackId

private StackInterval getIntervalFromStackId(int id)

getBlockBegin

private static int getBlockBegin(List<LIRInstruction> instructions)

getBlockEnd

private static int getBlockEnd(List<LIRInstruction> instructions)