Examples with VerifyInstanceOfUsage org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage used on opensource projects

Example 1 with VerifyInstanceOfUsage

use of org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage in project graal by oracle.

the class CheckGraalInvariants method checkGraph.

/**
 * Checks the invariants for a single graph.
 */
private static void checkGraph(HighTierContext context, StructuredGraph graph) {
    if (shouldVerifyEquals(graph.method())) {
        // If you add a new type to test here, be sure to add appropriate
        // methods to the BadUsageWithEquals class below
        new VerifyUsageWithEquals(Value.class).apply(graph, context);
        new VerifyUsageWithEquals(Register.class).apply(graph, context);
        new VerifyUsageWithEquals(RegisterCategory.class).apply(graph, context);
        new VerifyUsageWithEquals(JavaType.class).apply(graph, context);
        new VerifyUsageWithEquals(JavaMethod.class).apply(graph, context);
        new VerifyUsageWithEquals(JavaField.class).apply(graph, context);
        new VerifyUsageWithEquals(LocationIdentity.class).apply(graph, context);
        new VerifyUsageWithEquals(LIRKind.class).apply(graph, context);
        new VerifyUsageWithEquals(ArithmeticOpTable.class).apply(graph, context);
        new VerifyUsageWithEquals(ArithmeticOpTable.Op.class).apply(graph, context);
    }
    new VerifyDebugUsage().apply(graph, context);
    new VerifyCallerSensitiveMethods().apply(graph, context);
    new VerifyVirtualizableUsage().apply(graph, context);
    new VerifyUpdateUsages().apply(graph, context);
    new VerifyBailoutUsage().apply(graph, context);
    new VerifyInstanceOfUsage().apply(graph, context);
    new VerifyGraphAddUsage().apply(graph, context);
    new VerifyGetOptionsUsage().apply(graph, context);
    if (graph.method().isBridge()) {
        BridgeMethodUtils.getBridgedMethod(graph.method());
    }
}