public class org.graalvm.compiler.core.test.CheckGraalInvariants extends org.graalvm.compiler.core.test.GraalCompilerTest
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: org.graalvm.compiler.core.test.CheckGraalInvariants
  super_class: org.graalvm.compiler.core.test.GraalCompilerTest
{
  public void <init>();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.core.test.CheckGraalInvariants this
         0: .line 106
            aload 0 /* this */
            invokespecial org.graalvm.compiler.core.test.GraalCompilerTest.<init>:()V
            return
        end local 0 // org.graalvm.compiler.core.test.CheckGraalInvariants this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/core/test/CheckGraalInvariants;

  private static boolean shouldVerifyEquals(jdk.vm.ci.meta.ResolvedJavaMethod);
    descriptor: (Ljdk/vm/ci/meta/ResolvedJavaMethod;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=2, args_size=1
        start local 0 // jdk.vm.ci.meta.ResolvedJavaMethod m
         0: .line 109
            aload 0 /* m */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getName:()Ljava/lang/String;
            ldc "identityEquals"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifeq 4
         1: .line 110
            aload 0 /* m */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 1 /* c */
        start local 1 // jdk.vm.ci.meta.ResolvedJavaType c
         2: .line 111
            aload 1 /* c */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getName:()Ljava/lang/String;
            ldc "Ljdk/vm/ci/meta/AbstractValue;"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifne 3
            aload 1 /* c */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getName:()Ljava/lang/String;
            ldc "jdk/vm/ci/meta/Value"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifeq 4
         3: .line 112
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            iconst_0
            ireturn
        end local 1 // jdk.vm.ci.meta.ResolvedJavaType c
         4: .line 116
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 0 // jdk.vm.ci.meta.ResolvedJavaMethod m
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    5     0     m  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            2    4     1     c  Ljdk/vm/ci/meta/ResolvedJavaType;
    MethodParameters:
      Name  Flags
      m     

  public static java.lang.String relativeFileName(java.lang.String);
    descriptor: (Ljava/lang/String;)Ljava/lang/String;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=2, args_size=1
        start local 0 // java.lang.String absolutePath
         0: .line 120
            aload 0 /* absolutePath */
            getstatic java.io.File.separator:Ljava/lang/String;
            invokevirtual java.lang.String.lastIndexOf:(Ljava/lang/String;)I
            istore 1 /* lastFileSeparatorIndex */
        start local 1 // int lastFileSeparatorIndex
         1: .line 121
            aload 0 /* absolutePath */
            iload 1 /* lastFileSeparatorIndex */
            iflt 2
            iload 1 /* lastFileSeparatorIndex */
            goto 3
      StackMap locals: java.lang.String int
      StackMap stack: java.lang.String
         2: iconst_0
      StackMap locals: java.lang.String int
      StackMap stack: java.lang.String int
         3: invokevirtual java.lang.String.substring:(I)Ljava/lang/String;
            areturn
        end local 1 // int lastFileSeparatorIndex
        end local 0 // java.lang.String absolutePath
      LocalVariableTable:
        Start  End  Slot                    Name  Signature
            0    4     0            absolutePath  Ljava/lang/String;
            1    4     1  lastFileSeparatorIndex  I
    MethodParameters:
              Name  Flags
      absolutePath  

  public void test();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.core.test.CheckGraalInvariants this
         0: .line 157
            new java.lang.Error
            dup
            ldc "Unresolved compilation problem: \n\tTest cannot be resolved to a type\n"
            invokespecial java.lang.Error.<init>:(Ljava/lang/String;)V
            athrow
        end local 0 // org.graalvm.compiler.core.test.CheckGraalInvariants this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/core/test/CheckGraalInvariants;
    RuntimeInvisibleAnnotations: 
      Test()

  public static void runTest(org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool);
    descriptor: (Lorg/graalvm/compiler/core/test/CheckGraalInvariants$InvariantsTool;)V
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=3, locals=1, args_size=1
         0: .line 175
            new java.lang.Error
            dup
            ldc "Unresolved compilation problems: \n\tAssume cannot be resolved\n\tAssert cannot be resolved\n\tAssert cannot be resolved\n\tAssert cannot be resolved\n\tAssert cannot be resolved\n"
            invokespecial java.lang.Error.<init>:(Ljava/lang/String;)V
            athrow
      LocalVariableTable:
        Start  End  Slot  Name  Signature
    MethodParameters:
      Name  Flags
      tool  

  private static boolean isInNativeImage(java.lang.String);
    descriptor: (Ljava/lang/String;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // java.lang.String className
         0: .line 308
            aload 0 /* className */
            ldc "org.graalvm.nativeimage"
            invokevirtual java.lang.String.startsWith:(Ljava/lang/String;)Z
            ireturn
        end local 0 // java.lang.String className
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    1     0  className  Ljava/lang/String;
    MethodParameters:
           Name  Flags
      className  

  private static java.util.List<java.lang.Class<?>> initializeClasses(org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool, java.util.List<java.lang.String>);
    descriptor: (Lorg/graalvm/compiler/core/test/CheckGraalInvariants$InvariantsTool;Ljava/util/List;)Ljava/util/List;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=3, locals=6, args_size=2
        start local 0 // org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool tool
        start local 1 // java.util.List classNames
         0: .line 312
            new java.util.ArrayList
            dup
            aload 1 /* classNames */
            invokeinterface java.util.List.size:()I
            invokespecial java.util.ArrayList.<init>:(I)V
            astore 2 /* classes */
        start local 2 // java.util.List classes
         1: .line 313
            aload 1 /* classNames */
            invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
            astore 4
            goto 10
      StackMap locals: org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool java.util.List java.util.List top java.util.Iterator
      StackMap stack:
         2: aload 4
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast java.lang.String
            astore 3 /* className */
        start local 3 // java.lang.String className
         3: .line 314
            aload 0 /* tool */
            aload 3 /* className */
            invokevirtual org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool.shouldLoadClass:(Ljava/lang/String;)Z
            ifne 5
         4: .line 315
            goto 10
         5: .line 318
      StackMap locals: org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool java.util.List java.util.List java.lang.String java.util.Iterator
      StackMap stack:
            aload 3 /* className */
            iconst_1
            ldc Lorg/graalvm/compiler/core/test/CheckGraalInvariants;
            invokevirtual java.lang.Class.getClassLoader:()Ljava/lang/ClassLoader;
            invokestatic java.lang.Class.forName:(Ljava/lang/String;ZLjava/lang/ClassLoader;)Ljava/lang/Class;
            astore 5 /* c */
        start local 5 // java.lang.Class c
         6: .line 319
            aload 2 /* classes */
            aload 5 /* c */
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 5 // java.lang.Class c
         7: .line 320
            goto 10
      StackMap locals:
      StackMap stack: java.lang.Throwable
         8: astore 5 /* t */
        start local 5 // java.lang.Throwable t
         9: .line 321
            aload 0 /* tool */
            aload 5 /* t */
            invokevirtual org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool.handleClassLoadingException:(Ljava/lang/Throwable;)V
        end local 5 // java.lang.Throwable t
        end local 3 // java.lang.String className
        10: .line 313
      StackMap locals: org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool java.util.List java.util.List top java.util.Iterator
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 2
        11: .line 324
            aload 2 /* classes */
            areturn
        end local 2 // java.util.List classes
        end local 1 // java.util.List classNames
        end local 0 // org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool tool
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0   12     0        tool  Lorg/graalvm/compiler/core/test/CheckGraalInvariants$InvariantsTool;
            0   12     1  classNames  Ljava/util/List<Ljava/lang/String;>;
            1   12     2     classes  Ljava/util/List<Ljava/lang/Class<*>;>;
            3   10     3   className  Ljava/lang/String;
            6    7     5           c  Ljava/lang/Class<*>;
            9   10     5           t  Ljava/lang/Throwable;
      Exception table:
        from    to  target  type
           5     7       8  Class java.lang.Throwable
    Signature: (Lorg/graalvm/compiler/core/test/CheckGraalInvariants$InvariantsTool;Ljava/util/List<Ljava/lang/String;>;)Ljava/util/List<Ljava/lang/Class<*>;>;
    MethodParameters:
            Name  Flags
      tool        
      classNames  

  private static void checkClass(java.lang.Class<?>, jdk.vm.ci.meta.MetaAccessProvider);
    descriptor: (Ljava/lang/Class;Ljdk/vm/ci/meta/MetaAccessProvider;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=7, locals=2, args_size=2
        start local 0 // java.lang.Class c
        start local 1 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
         0: .line 331
            ldc Lorg/graalvm/compiler/graph/Node;
            aload 0 /* c */
            invokevirtual java.lang.Class.isAssignableFrom:(Ljava/lang/Class;)Z
            ifeq 4
         1: .line 332
            aload 0 /* c */
            ldc Lorg/graalvm/compiler/nodeinfo/NodeInfo;
            invokevirtual java.lang.Class.getAnnotation:(Ljava/lang/Class;)Ljava/lang/annotation/Annotation;
            ifnonnull 3
         2: .line 333
            new java.lang.AssertionError
            dup
            ldc "Node subclass %s requires %s annotation"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* c */
            invokevirtual java.lang.Class.getName:()Ljava/lang/String;
            aastore
            dup
            iconst_1
            ldc Lorg/graalvm/compiler/graph/NodeClass;
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         3: .line 335
      StackMap locals:
      StackMap stack:
            aload 0 /* c */
            invokestatic org.graalvm.compiler.phases.contract.VerifyNodeCosts.verifyNodeClass:(Ljava/lang/Class;)V
         4: .line 337
      StackMap locals:
      StackMap stack:
            return
        end local 1 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        end local 0 // java.lang.Class c
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    5     0           c  Ljava/lang/Class<*>;
            0    5     1  metaAccess  Ljdk/vm/ci/meta/MetaAccessProvider;
    Signature: (Ljava/lang/Class<*>;Ljdk/vm/ci/meta/MetaAccessProvider;)V
    MethodParameters:
            Name  Flags
      c           
      metaAccess  

  private static void checkMethod(jdk.vm.ci.meta.ResolvedJavaMethod);
    descriptor: (Ljdk/vm/ci/meta/ResolvedJavaMethod;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=7, locals=9, args_size=1
        start local 0 // jdk.vm.ci.meta.ResolvedJavaMethod method
         0: .line 340
            aload 0 /* method */
            ldc Lorg/graalvm/compiler/api/replacements/Snippet;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getAnnotation:(Ljava/lang/Class;)Ljava/lang/annotation/Annotation;
            ifnonnull 17
         1: .line 341
            aload 0 /* method */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getParameterAnnotations:()[[Ljava/lang/annotation/Annotation;
            astore 1 /* parameterAnnotations */
        start local 1 // java.lang.annotation.Annotation[][] parameterAnnotations
         2: .line 342
            iconst_0
            istore 2 /* i */
        start local 2 // int i
         3: goto 16
         4: .line 343
      StackMap locals: java.lang.annotation.Annotation[][] int
      StackMap stack:
            aload 1 /* parameterAnnotations */
            iload 2 /* i */
            aaload
            dup
            astore 6
            arraylength
            istore 5
            iconst_0
            istore 4
            goto 14
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaMethod java.lang.annotation.Annotation[][] int top int int java.lang.annotation.Annotation[]
      StackMap stack:
         5: aload 6
            iload 4
            aaload
            astore 3 /* a */
        start local 3 // java.lang.annotation.Annotation a
         6: .line 344
            aload 3 /* a */
            invokeinterface java.lang.annotation.Annotation.annotationType:()Ljava/lang/Class;
            astore 7 /* annotationType */
        start local 7 // java.lang.Class annotationType
         7: .line 345
            aload 7 /* annotationType */
            ldc Lorg/graalvm/compiler/api/replacements/Snippet$ConstantParameter;
            if_acmpeq 8
            aload 7 /* annotationType */
            ldc Lorg/graalvm/compiler/api/replacements/Snippet$VarargsParameter;
            if_acmpeq 8
            aload 7 /* annotationType */
            ldc Lorg/graalvm/compiler/api/replacements/Snippet$NonNullParameter;
            if_acmpne 13
         8: .line 346
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaMethod java.lang.annotation.Annotation[][] int java.lang.annotation.Annotation int int java.lang.annotation.Annotation[] java.lang.Class
      StackMap stack:
            new org.graalvm.compiler.phases.VerifyPhase$VerificationError
            dup
            ldc "Parameter %d of %s is annotated with %s but the method is not annotated with %s"
            iconst_4
            anewarray java.lang.Object
            dup
            iconst_0
            iload 2 /* i */
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
            aastore
            dup
            iconst_1
            aload 0 /* method */
            aastore
            dup
            iconst_2
         9: .line 347
            aload 7 /* annotationType */
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
            aastore
            dup
            iconst_3
        10: .line 348
            ldc Lorg/graalvm/compiler/api/replacements/Snippet;
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
        11: .line 346
            aastore
            invokespecial org.graalvm.compiler.phases.VerifyPhase$VerificationError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
            astore 8 /* verificationError */
        start local 8 // org.graalvm.compiler.phases.VerifyPhase$VerificationError verificationError
        12: .line 349
            aload 8 /* verificationError */
            athrow
        end local 8 // org.graalvm.compiler.phases.VerifyPhase$VerificationError verificationError
        end local 7 // java.lang.Class annotationType
        end local 3 // java.lang.annotation.Annotation a
        13: .line 343
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaMethod java.lang.annotation.Annotation[][] int top int int java.lang.annotation.Annotation[]
      StackMap stack:
            iinc 4 1
      StackMap locals:
      StackMap stack:
        14: iload 4
            iload 5
            if_icmplt 5
        15: .line 342
            iinc 2 /* i */ 1
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaMethod java.lang.annotation.Annotation[][] int
      StackMap stack:
        16: iload 2 /* i */
            aload 1 /* parameterAnnotations */
            arraylength
            if_icmplt 4
        end local 2 // int i
        end local 1 // java.lang.annotation.Annotation[][] parameterAnnotations
        17: .line 354
      StackMap locals:
      StackMap stack:
            return
        end local 0 // jdk.vm.ci.meta.ResolvedJavaMethod method
      LocalVariableTable:
        Start  End  Slot                  Name  Signature
            0   18     0                method  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            2   17     1  parameterAnnotations  [[Ljava/lang/annotation/Annotation;
            3   17     2                     i  I
            6   13     3                     a  Ljava/lang/annotation/Annotation;
            7   13     7        annotationType  Ljava/lang/Class<+Ljava/lang/annotation/Annotation;>;
           12   13     8     verificationError  Lorg/graalvm/compiler/phases/VerifyPhase$VerificationError;
    MethodParameters:
        Name  Flags
      method  

  private static void checkGraph(org.graalvm.compiler.phases.tiers.HighTierContext, org.graalvm.compiler.nodes.StructuredGraph);
    descriptor: (Lorg/graalvm/compiler/phases/tiers/HighTierContext;Lorg/graalvm/compiler/nodes/StructuredGraph;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=3, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.phases.tiers.HighTierContext context
        start local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
         0: .line 360
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            invokestatic org.graalvm.compiler.core.test.CheckGraalInvariants.shouldVerifyEquals:(Ljdk/vm/ci/meta/ResolvedJavaMethod;)Z
            ifeq 11
         1: .line 363
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Ljdk/vm/ci/meta/Value;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         2: .line 364
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Ljdk/vm/ci/code/Register;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         3: .line 365
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Ljdk/vm/ci/code/Register$RegisterCategory;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         4: .line 366
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Ljdk/vm/ci/meta/JavaType;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         5: .line 367
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Ljdk/vm/ci/meta/JavaMethod;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         6: .line 368
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Ljdk/vm/ci/meta/JavaField;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         7: .line 369
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Ljdk/internal/vm/compiler/word/LocationIdentity;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         8: .line 370
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Lorg/graalvm/compiler/core/common/LIRKind;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         9: .line 371
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Lorg/graalvm/compiler/core/common/type/ArithmeticOpTable;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        10: .line 372
            new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
            dup
            ldc Lorg/graalvm/compiler/core/common/type/ArithmeticOpTable$Op;
            invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        11: .line 374
      StackMap locals:
      StackMap stack:
            new org.graalvm.compiler.phases.verify.VerifyDebugUsage
            dup
            invokespecial org.graalvm.compiler.phases.verify.VerifyDebugUsage.<init>:()V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyDebugUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        12: .line 375
            new org.graalvm.compiler.phases.verify.VerifyCallerSensitiveMethods
            dup
            invokespecial org.graalvm.compiler.phases.verify.VerifyCallerSensitiveMethods.<init>:()V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyCallerSensitiveMethods.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        13: .line 376
            new org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage
            dup
            invokespecial org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage.<init>:()V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        14: .line 377
            new org.graalvm.compiler.phases.verify.VerifyUpdateUsages
            dup
            invokespecial org.graalvm.compiler.phases.verify.VerifyUpdateUsages.<init>:()V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyUpdateUsages.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        15: .line 378
            new org.graalvm.compiler.phases.verify.VerifyBailoutUsage
            dup
            invokespecial org.graalvm.compiler.phases.verify.VerifyBailoutUsage.<init>:()V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyBailoutUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        16: .line 379
            new org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage
            dup
            invokespecial org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage.<init>:()V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        17: .line 380
            new org.graalvm.compiler.phases.verify.VerifyGraphAddUsage
            dup
            invokespecial org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.<init>:()V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        18: .line 381
            new org.graalvm.compiler.phases.verify.VerifyGetOptionsUsage
            dup
            invokespecial org.graalvm.compiler.phases.verify.VerifyGetOptionsUsage.<init>:()V
            aload 1 /* graph */
            aload 0 /* context */
            invokevirtual org.graalvm.compiler.phases.verify.VerifyGetOptionsUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        19: .line 382
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.isBridge:()Z
            ifeq 21
        20: .line 383
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            invokestatic org.graalvm.compiler.bytecode.BridgeMethodUtils.getBridgedMethod:(Ljdk/vm/ci/meta/ResolvedJavaMethod;)Ljdk/vm/ci/meta/ResolvedJavaMethod;
            pop
        21: .line 385
      StackMap locals:
      StackMap stack:
            return
        end local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 0 // org.graalvm.compiler.phases.tiers.HighTierContext context
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0   22     0  context  Lorg/graalvm/compiler/phases/tiers/HighTierContext;
            0   22     1    graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
    MethodParameters:
         Name  Flags
      context  
      graph    

  private static boolean matches(java.lang.String[], java.lang.String);
    descriptor: ([Ljava/lang/String;Ljava/lang/String;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=6, args_size=2
        start local 0 // java.lang.String[] filters
        start local 1 // java.lang.String s
         0: .line 388
            aload 0 /* filters */
            ifnull 1
            aload 0 /* filters */
            arraylength
            ifne 2
         1: .line 389
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
         2: .line 391
      StackMap locals:
      StackMap stack:
            aload 0 /* filters */
            dup
            astore 5
            arraylength
            istore 4
            iconst_0
            istore 3
            goto 7
      StackMap locals: java.lang.String[] java.lang.String top int int java.lang.String[]
      StackMap stack:
         3: aload 5
            iload 3
            aaload
            astore 2 /* filter */
        start local 2 // java.lang.String filter
         4: .line 392
            aload 1 /* s */
            aload 2 /* filter */
            invokevirtual java.lang.String.contains:(Ljava/lang/CharSequence;)Z
            ifeq 6
         5: .line 393
            iconst_1
            ireturn
        end local 2 // java.lang.String filter
         6: .line 391
      StackMap locals:
      StackMap stack:
            iinc 3 1
      StackMap locals:
      StackMap stack:
         7: iload 3
            iload 4
            if_icmplt 3
         8: .line 396
            iconst_0
            ireturn
        end local 1 // java.lang.String s
        end local 0 // java.lang.String[] filters
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    9     0  filters  [Ljava/lang/String;
            0    9     1        s  Ljava/lang/String;
            4    6     2   filter  Ljava/lang/String;
    MethodParameters:
         Name  Flags
      filters  
      s        

  private static java.lang.String printStackTraceToString(java.lang.Throwable);
    descriptor: (Ljava/lang/Throwable;)Ljava/lang/String;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=4, locals=2, args_size=1
        start local 0 // java.lang.Throwable t
         0: .line 400
            new java.io.StringWriter
            dup
            invokespecial java.io.StringWriter.<init>:()V
            astore 1 /* sw */
        start local 1 // java.io.StringWriter sw
         1: .line 401
            aload 0 /* t */
            new java.io.PrintWriter
            dup
            aload 1 /* sw */
            invokespecial java.io.PrintWriter.<init>:(Ljava/io/Writer;)V
            invokevirtual java.lang.Throwable.printStackTrace:(Ljava/io/PrintWriter;)V
         2: .line 402
            aload 1 /* sw */
            invokevirtual java.io.StringWriter.toString:()Ljava/lang/String;
            areturn
        end local 1 // java.io.StringWriter sw
        end local 0 // java.lang.Throwable t
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0     t  Ljava/lang/Throwable;
            1    3     1    sw  Ljava/io/StringWriter;
    MethodParameters:
      Name  Flags
      t     
}
SourceFile: "CheckGraalInvariants.java"
NestMembers:
  org.graalvm.compiler.core.test.CheckGraalInvariants$BadUsageWithEquals  org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool
InnerClasses:
  public RegisterCategory = jdk.vm.ci.code.Register$RegisterCategory of jdk.vm.ci.code.Register
  public abstract ConstantParameter = org.graalvm.compiler.api.replacements.Snippet$ConstantParameter of org.graalvm.compiler.api.replacements.Snippet
  public abstract NonNullParameter = org.graalvm.compiler.api.replacements.Snippet$NonNullParameter of org.graalvm.compiler.api.replacements.Snippet
  public abstract VarargsParameter = org.graalvm.compiler.api.replacements.Snippet$VarargsParameter of org.graalvm.compiler.api.replacements.Snippet
  public abstract Op = org.graalvm.compiler.core.common.type.ArithmeticOpTable$Op of org.graalvm.compiler.core.common.type.ArithmeticOpTable
  BadUsageWithEquals = org.graalvm.compiler.core.test.CheckGraalInvariants$BadUsageWithEquals of org.graalvm.compiler.core.test.CheckGraalInvariants
  public InvariantsTool = org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool of org.graalvm.compiler.core.test.CheckGraalInvariants
  public VerificationError = org.graalvm.compiler.phases.VerifyPhase$VerificationError of org.graalvm.compiler.phases.VerifyPhase