SSIVerifier (Graal OpenJDK Project Documentation)

public final class SSIVerifier
extends Object

Fields
Modifier and Type	Field and Description
`private LIR`	`lir`

Constructors
Modifier	Constructor and Description
`private`	`SSIVerifier(LIR lir)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private static boolean`	`checkUsage(Value value)`
`private void`	`doBlock(AbstractBlockBase<?> block)`
`private static boolean`	`trackDefinition(Value value)`
`private boolean`	`verify()`
`static boolean`	`verify(LIR lir)`
`private void`	`verifyEdge(AbstractBlockBase<?> from, AbstractBlockBase<?> to)`
`private void`	`verifyInstructions(AbstractBlockBase<?> block)`

public static boolean verify(LIR lir)

private void doBlock(AbstractBlockBase<?> block)

private void verifyEdge(AbstractBlockBase<?> from,
                        AbstractBlockBase<?> to)

private void verifyInstructions(AbstractBlockBase<?> block)

private static boolean trackDefinition(Value value)

private static boolean checkUsage(Value value)

Class SSIVerifier