com.oracle.graal.lir

Class LIRVerifier

java.lang.Object

com.oracle.graal.lir.LIRVerifier

public final class LIRVerifier
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	beforeRegisterAllocation
private BitSet[]	blockLiveOut
private AbstractBlockBase<?>	curBlock
private Object	curInstruction
private BitSet	curRegistersDefined
private Value[]	curRegistersLive
private BitSet	curVariablesLive
private FrameMap	frameMap
private LIR	lir
private Object[]	variableDefinitions

Constructor Summary

Constructors

Modifier	Constructor and Description
private	LIRVerifier(boolean beforeRegisterAllocation, LIR lir, FrameMap frameMap)

Method Summary

Modifier and Type	Method and Description
private static void	allowed(Object op, Value value, LIRInstruction.OperandMode mode, EnumSet<LIRInstruction.OperandFlag> flags)
private void	def(Value value, LIRInstruction.OperandMode mode, EnumSet<LIRInstruction.OperandFlag> flags)
private boolean	isAllocatableRegister(Value value)
private BitSet	liveOutFor(AbstractBlockBase<?> block)
private int	maxRegisterNum()
private void	setLiveOutFor(AbstractBlockBase<?> block, BitSet liveOut)
private void	use(Value value, LIRInstruction.OperandMode mode, EnumSet<LIRInstruction.OperandFlag> flags)
private void	verify()
static boolean	verify(boolean beforeRegisterAllocation, LIR lir, FrameMap frameMap)
static boolean	verify(LIRInstruction op)

Methods inherited from class java.lang.Object

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

Field Detail

lir

private final LIR lir

frameMap

private final FrameMap frameMap

beforeRegisterAllocation

private final boolean beforeRegisterAllocation

blockLiveOut

private final BitSet[] blockLiveOut

variableDefinitions

private final Object[] variableDefinitions

curVariablesLive

private BitSet curVariablesLive

curRegistersLive

private Value[] curRegistersLive

curBlock

private AbstractBlockBase<?> curBlock

curInstruction

private Object curInstruction

curRegistersDefined

private BitSet curRegistersDefined

Constructor Detail

LIRVerifier

private LIRVerifier(boolean beforeRegisterAllocation,
                    LIR lir,
                    FrameMap frameMap)

Method Detail

liveOutFor

private BitSet liveOutFor(AbstractBlockBase<?> block)

setLiveOutFor

private void setLiveOutFor(AbstractBlockBase<?> block,
                           BitSet liveOut)

maxRegisterNum

private int maxRegisterNum()

isAllocatableRegister

private boolean isAllocatableRegister(Value value)

verify

public static boolean verify(LIRInstruction op)

verify

public static boolean verify(boolean beforeRegisterAllocation,
                             LIR lir,
                             FrameMap frameMap)

verify

private void verify()

use

private void use(Value value,
                 LIRInstruction.OperandMode mode,
                 EnumSet<LIRInstruction.OperandFlag> flags)

def

private void def(Value value,
                 LIRInstruction.OperandMode mode,
                 EnumSet<LIRInstruction.OperandFlag> flags)

allowed

private static void allowed(Object op,
                            Value value,
                            LIRInstruction.OperandMode mode,
                            EnumSet<LIRInstruction.OperandFlag> flags)