com.oracle.graal.lir.ssa

Class SSAVerifier

java.lang.Object

com.oracle.graal.lir.ssa.SSAVerifier

final class SSAVerifier
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	SSAVerifier.Entry

Field Summary

Fields

Modifier and Type	Field and Description
private AbstractBlockBase<?>	currentBlock
private HashMap<Value,SSAVerifier.Entry>	defined
private LIR	lir
private BitSet	visited

Constructor Summary

Constructors

Constructor and Description
SSAVerifier(LIR lir)

Method Summary

Modifier and Type	Method and Description
private void	defConsumer(LIRInstruction inst, Value value, LIRInstruction.OperandMode mode, EnumSet<LIRInstruction.OperandFlag> flags)
private void	doBlock(AbstractBlockBase<?> b)
private static boolean	shouldProcess(Value value)
private void	useConsumer(LIRInstruction inst, Value value, LIRInstruction.OperandMode mode, EnumSet<LIRInstruction.OperandFlag> flags)
boolean	verify()
private boolean	verifyBlock(AbstractBlockBase<?> block)

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

visited

private final BitSet visited

defined

private final HashMap<Value,SSAVerifier.Entry> defined

currentBlock

private AbstractBlockBase<?> currentBlock

Constructor Detail

SSAVerifier

SSAVerifier(LIR lir)

Method Detail

verify

public boolean verify()

doBlock

private void doBlock(AbstractBlockBase<?> b)

verifyBlock

private boolean verifyBlock(AbstractBlockBase<?> block)

useConsumer

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

Parameters:

mode -

flags -

See Also:

InstructionValueConsumer

defConsumer

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

Parameters:

mode -

flags -

See Also:

InstructionValueConsumer

shouldProcess

private static boolean shouldProcess(Value value)