com.oracle.graal.lir.alloc.lsra

Class IntervalWalker

java.lang.Object

com.oracle.graal.lir.alloc.lsra.IntervalWalker

Direct Known Subclasses:

LinearScanWalker

public class IntervalWalker
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected Interval.RegisterBindingLists	activeLists Sorted list of intervals, live at the current position.
protected LinearScan	allocator
protected Interval.RegisterBinding	currentBinding The binding of the current interval being processed.
protected int	currentPosition The current position (intercept point through the intervals).
protected Interval.RegisterBindingLists	inactiveLists Sorted list of intervals in a life time hole at the current position.
protected Interval.RegisterBindingLists	unhandledLists Sorted list of intervals, not live before the current position.

Constructor Summary

Constructors

Constructor and Description
IntervalWalker(LinearScan allocator, Interval unhandledFixed, Interval unhandledAny) Creates a new interval walker.

Method Summary

Modifier and Type	Method and Description
protected boolean	activateCurrent(Interval currentInterval) Processes the currentInterval interval in an attempt to allocate a physical register to it and thus allow it to be moved to a list of active intervals.
private void	intervalMoved(Interval interval, Interval.State from, Interval.State to)
private Interval	nextInterval(int toOpId) Get the next interval from unhandledLists which starts before or at toOpId.
protected void	removeFromList(Interval interval)
private void	updateUnhandledStackIntervals(int opId) Move unhandled stack intervals to #activeLists active.
(package private) void	walk()
(package private) void	walkBefore(int lirOpId)
protected void	walkTo(int toOpId) Walk up to toOpId.
private void	walkTo(Interval.State state, int from)
private void	walkTo(Interval.State state, int from, Interval.RegisterBinding binding)

Methods inherited from class java.lang.Object

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

Field Detail

allocator

protected final LinearScan allocator

unhandledLists

protected Interval.RegisterBindingLists unhandledLists

Sorted list of intervals, not live before the current position.

activeLists

protected Interval.RegisterBindingLists activeLists

Sorted list of intervals, live at the current position.

inactiveLists

protected Interval.RegisterBindingLists inactiveLists

Sorted list of intervals in a life time hole at the current position.

currentPosition

protected int currentPosition

The current position (intercept point through the intervals).

currentBinding

protected Interval.RegisterBinding currentBinding

The binding of the current interval being processed.

Constructor Detail

IntervalWalker

IntervalWalker(LinearScan allocator,
               Interval unhandledFixed,
               Interval unhandledAny)

Creates a new interval walker.

Parameters:

allocator - the register allocator context

unhandledFixed - the list of unhandled fixed intervals

unhandledAny - the list of unhandled non-fixed intervals

Method Detail

activateCurrent

protected boolean activateCurrent(Interval currentInterval)

Processes the currentInterval interval in an attempt to allocate a physical register to it and thus allow it to be moved to a list of active intervals.

Returns:

true if a register was allocated to the currentInterval interval

walkBefore

void walkBefore(int lirOpId)

walk

void walk()

removeFromList

protected void removeFromList(Interval interval)

walkTo

private void walkTo(Interval.State state,
                    int from)

walkTo

private void walkTo(Interval.State state,
                    int from,
                    Interval.RegisterBinding binding)

nextInterval

private Interval nextInterval(int toOpId)

Get the next interval from unhandledLists which starts before or at toOpId. The returned interval is removed and currentBinding is set.

Returns:

The next interval or null if there is no unhandled interval at position toOpId.

walkTo

protected void walkTo(int toOpId)

Walk up to toOpId.

intervalMoved

private void intervalMoved(Interval interval,
                           Interval.State from,
                           Interval.State to)

updateUnhandledStackIntervals

private void updateUnhandledStackIntervals(int opId)

Move unhandled stack intervals to #activeLists active. Note that for fixed and any intervals this is done in nextInterval(int).