final class SSAVerifier extends Object
Modifier and Type | Class and Description |
---|---|
private static class |
SSAVerifier.Entry |
Modifier and Type | Field and Description |
---|---|
private AbstractBlockBase<?> |
currentBlock |
private HashMap<jdk.internal.jvmci.meta.Value,SSAVerifier.Entry> |
defined |
private LIR |
lir |
private BitSet |
visited |
Constructor and Description |
---|
SSAVerifier(LIR lir) |
Modifier and Type | Method and Description |
---|---|
private void |
defConsumer(LIRInstruction inst,
jdk.internal.jvmci.meta.Value value,
LIRInstruction.OperandMode mode,
EnumSet<LIRInstruction.OperandFlag> flags) |
private void |
doBlock(AbstractBlockBase<?> b) |
private static boolean |
shouldProcess(jdk.internal.jvmci.meta.Value value) |
private void |
useConsumer(LIRInstruction inst,
jdk.internal.jvmci.meta.Value value,
LIRInstruction.OperandMode mode,
EnumSet<LIRInstruction.OperandFlag> flags) |
boolean |
verify() |
private boolean |
verifyBlock(AbstractBlockBase<?> block) |
private final HashMap<jdk.internal.jvmci.meta.Value,SSAVerifier.Entry> defined
private AbstractBlockBase<?> currentBlock
SSAVerifier(LIR lir)
public boolean verify()
private void doBlock(AbstractBlockBase<?> b)
private boolean verifyBlock(AbstractBlockBase<?> block)
private void useConsumer(LIRInstruction inst, jdk.internal.jvmci.meta.Value value, LIRInstruction.OperandMode mode, EnumSet<LIRInstruction.OperandFlag> flags)
mode
- flags
- InstructionValueConsumer
private void defConsumer(LIRInstruction inst, jdk.internal.jvmci.meta.Value value, LIRInstruction.OperandMode mode, EnumSet<LIRInstruction.OperandFlag> flags)
mode
- flags
- InstructionValueConsumer
private static boolean shouldProcess(jdk.internal.jvmci.meta.Value value)