com.oracle.graal.lir.alloc.lsra

Class RegisterVerifier

java.lang.Object

com.oracle.graal.lir.alloc.lsra.RegisterVerifier

final class RegisterVerifier
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) LinearScan	allocator
(package private) ArrayMap<Interval[]>	savedStates
(package private) List<AbstractBlockBase<?>>	workList

Constructor Summary

Constructors

Constructor and Description
RegisterVerifier(LinearScan allocator)

Method Summary

Modifier and Type	Method and Description
(package private) void	addToWorkList(AbstractBlockBase<?> block)
(package private) static boolean	checkState(AbstractBlockBase<?> block, LIRInstruction op, Interval[] inputState, Value operand, Value reg, Interval interval)
(package private) static Interval[]	copy(Interval[] inputState)
(package private) Interval	intervalAt(Value operand)
protected void	printState(Interval[] inputState)
private void	processBlock(AbstractBlockBase<?> block)
(package private) void	processOperations(AbstractBlockBase<?> block, Interval[] inputState)
private void	processSuccessor(AbstractBlockBase<?> block, Interval[] inputState)
(package private) void	setStateForBlock(AbstractBlockBase<?> block, Interval[] savedState)
(package private) Interval[]	stateForBlock(AbstractBlockBase<?> block)
(package private) static void	statePut(Interval[] inputState, Value location, Interval interval)
(package private) int	stateSize()
(package private) void	verify(AbstractBlockBase<?> start)

Methods inherited from class java.lang.Object

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

Field Detail

allocator

LinearScan allocator

workList

List<AbstractBlockBase<?>> workList

savedStates

ArrayMap<Interval[]> savedStates

Constructor Detail

RegisterVerifier

RegisterVerifier(LinearScan allocator)

Method Detail

intervalAt

Interval intervalAt(Value operand)

stateSize

int stateSize()

stateForBlock

Interval[] stateForBlock(AbstractBlockBase<?> block)

setStateForBlock

void setStateForBlock(AbstractBlockBase<?> block,
                      Interval[] savedState)

addToWorkList

void addToWorkList(AbstractBlockBase<?> block)

verify

void verify(AbstractBlockBase<?> start)

processBlock

private void processBlock(AbstractBlockBase<?> block)

printState

protected void printState(Interval[] inputState)

processSuccessor

private void processSuccessor(AbstractBlockBase<?> block,
                              Interval[] inputState)

copy

static Interval[] copy(Interval[] inputState)

statePut

static void statePut(Interval[] inputState,
                     Value location,
                     Interval interval)

checkState

static boolean checkState(AbstractBlockBase<?> block,
                          LIRInstruction op,
                          Interval[] inputState,
                          Value operand,
                          Value reg,
                          Interval interval)

processOperations

void processOperations(AbstractBlockBase<?> block,
                       Interval[] inputState)