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 static final java.lang.String JRT_CLASS_PATH_ENTRY;
    descriptor: Ljava/lang/String;
    flags: (0x0019) ACC_PUBLIC, ACC_STATIC, ACC_FINAL
    ConstantValue: "<jrt>"

  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 104
            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 113
            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 114
            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 115
            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 116
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            iconst_0
            ireturn
        end local 1 // jdk.vm.ci.meta.ResolvedJavaType c
         4: .line 120
      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 124
            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 125
            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 202
            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 221
            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 428
            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 boolean isGSON(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 432
            aload 0 /* className */
            ldc "com.google.gson"
            invokevirtual java.lang.String.contains:(Ljava/lang/CharSequence;)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 436
            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 437
            aload 1 /* classNames */
            invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
            astore 4
            goto 14
      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 438
            aload 0 /* tool */
            aload 3 /* className */
            invokevirtual org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool.shouldLoadClass:(Ljava/lang/String;)Z
            ifne 5
         4: .line 439
            goto 14
         5: .line 442
      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 443
            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 444
            goto 14
      StackMap locals:
      StackMap stack: java.lang.UnsupportedClassVersionError
         8: pop
            goto 14
         9: .line 446
      StackMap locals:
      StackMap stack: java.lang.NoClassDefFoundError
            astore 5 /* e */
        start local 5 // java.lang.NoClassDefFoundError e
        10: .line 447
            aload 5 /* e */
            invokevirtual java.lang.NoClassDefFoundError.getMessage:()Ljava/lang/String;
            ldc "Could not initialize class"
            invokevirtual java.lang.String.contains:(Ljava/lang/CharSequence;)Z
            ifne 14
        11: .line 448
            aload 5 /* e */
            athrow
        end local 5 // java.lang.NoClassDefFoundError e
        12: .line 454
      StackMap locals:
      StackMap stack: java.lang.Throwable
            astore 5 /* t */
        start local 5 // java.lang.Throwable t
        13: .line 455
            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
        14: .line 437
      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
        15: .line 458
            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   16     0        tool  Lorg/graalvm/compiler/core/test/CheckGraalInvariants$InvariantsTool;
            0   16     1  classNames  Ljava/util/List<Ljava/lang/String;>;
            1   16     2     classes  Ljava/util/List<Ljava/lang/Class<*>;>;
            3   14     3   className  Ljava/lang/String;
            6    7     5           c  Ljava/lang/Class<*>;
           10   12     5           e  Ljava/lang/NoClassDefFoundError;
           13   14     5           t  Ljava/lang/Throwable;
      Exception table:
        from    to  target  type
           5     7       8  Class java.lang.UnsupportedClassVersionError
           5     7       9  Class java.lang.NoClassDefFoundError
           5     7      12  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, java.util.List<org.graalvm.compiler.phases.VerifyPhase<org.graalvm.compiler.nodes.spi.CoreProviders>>);
    descriptor: (Ljava/lang/Class;Ljdk/vm/ci/meta/MetaAccessProvider;Ljava/util/List;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=7, locals=5, args_size=3
        start local 0 // java.lang.Class c
        start local 1 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        start local 2 // java.util.List verifiers
         0: .line 466
            ldc Lorg/graalvm/compiler/graph/Node;
            aload 0 /* c */
            invokevirtual java.lang.Class.isAssignableFrom:(Ljava/lang/Class;)Z
            ifeq 4
         1: .line 467
            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 468
            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 470
      StackMap locals:
      StackMap stack:
            aload 0 /* c */
            invokestatic org.graalvm.compiler.phases.contract.VerifyNodeCosts.verifyNodeClass:(Ljava/lang/Class;)V
         4: .line 472
      StackMap locals:
      StackMap stack:
            aload 2 /* verifiers */
            invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
            astore 4
            goto 7
      StackMap locals: java.lang.Class jdk.vm.ci.meta.MetaAccessProvider java.util.List top java.util.Iterator
      StackMap stack:
         5: aload 4
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.phases.VerifyPhase
            astore 3 /* verifier */
        start local 3 // org.graalvm.compiler.phases.VerifyPhase verifier
         6: .line 473
            aload 3 /* verifier */
            aload 0 /* c */
            aload 1 /* metaAccess */
            invokevirtual org.graalvm.compiler.phases.VerifyPhase.verifyClass:(Ljava/lang/Class;Ljdk/vm/ci/meta/MetaAccessProvider;)V
        end local 3 // org.graalvm.compiler.phases.VerifyPhase verifier
         7: .line 472
      StackMap locals:
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 5
         8: .line 475
            return
        end local 2 // java.util.List verifiers
        end local 1 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        end local 0 // java.lang.Class c
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    9     0           c  Ljava/lang/Class<*>;
            0    9     1  metaAccess  Ljdk/vm/ci/meta/MetaAccessProvider;
            0    9     2   verifiers  Ljava/util/List<Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/nodes/spi/CoreProviders;>;>;
            6    7     3    verifier  Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/nodes/spi/CoreProviders;>;
    Signature: (Ljava/lang/Class<*>;Ljdk/vm/ci/meta/MetaAccessProvider;Ljava/util/List<Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/nodes/spi/CoreProviders;>;>;)V
    MethodParameters:
            Name  Flags
      c           
      metaAccess  
      verifiers   

  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 478
            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 479
            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 480
            iconst_0
            istore 2 /* i */
        start local 2 // int i
         3: goto 16
         4: .line 481
      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 482
            aload 3 /* a */
            invokeinterface java.lang.annotation.Annotation.annotationType:()Ljava/lang/Class;
            astore 7 /* annotationType */
        start local 7 // java.lang.Class annotationType
         7: .line 483
            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 484
      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 485
            aload 7 /* annotationType */
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
            aastore
            dup
            iconst_3
        10: .line 486
            ldc Lorg/graalvm/compiler/api/replacements/Snippet;
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
        11: .line 484
            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 487
            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 481
      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 480
            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 492
      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(java.util.List<org.graalvm.compiler.phases.VerifyPhase<org.graalvm.compiler.nodes.spi.CoreProviders>>, org.graalvm.compiler.phases.tiers.HighTierContext, org.graalvm.compiler.nodes.StructuredGraph);
    descriptor: (Ljava/util/List;Lorg/graalvm/compiler/phases/tiers/HighTierContext;Lorg/graalvm/compiler/nodes/StructuredGraph;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=3, locals=5, args_size=3
        start local 0 // java.util.List verifiers
        start local 1 // org.graalvm.compiler.phases.tiers.HighTierContext context
        start local 2 // org.graalvm.compiler.nodes.StructuredGraph graph
         0: .line 498
            aload 0 /* verifiers */
            invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
            astore 4
            goto 6
      StackMap locals: java.util.List org.graalvm.compiler.phases.tiers.HighTierContext org.graalvm.compiler.nodes.StructuredGraph top java.util.Iterator
      StackMap stack:
         1: aload 4
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.phases.VerifyPhase
            astore 3 /* verifier */
        start local 3 // org.graalvm.compiler.phases.VerifyPhase verifier
         2: .line 499
            aload 3 /* verifier */
            instanceof org.graalvm.compiler.core.test.VerifyUsageWithEquals
            ifeq 3
            aload 2 /* 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 5
         3: .line 500
      StackMap locals: java.util.List org.graalvm.compiler.phases.tiers.HighTierContext org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.VerifyPhase java.util.Iterator
      StackMap stack:
            aload 3 /* verifier */
            aload 2 /* graph */
            aload 1 /* context */
            invokevirtual org.graalvm.compiler.phases.VerifyPhase.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
         4: .line 501
            goto 6
         5: .line 502
      StackMap locals:
      StackMap stack:
            aload 3 /* verifier */
            aload 2 /* graph */
            aload 1 /* context */
            invokevirtual org.graalvm.compiler.phases.VerifyPhase.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
        end local 3 // org.graalvm.compiler.phases.VerifyPhase verifier
         6: .line 498
      StackMap locals: java.util.List org.graalvm.compiler.phases.tiers.HighTierContext org.graalvm.compiler.nodes.StructuredGraph top java.util.Iterator
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
         7: .line 505
            aload 2 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.isBridge:()Z
            ifeq 9
         8: .line 506
            aload 2 /* 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
         9: .line 508
      StackMap locals: java.util.List org.graalvm.compiler.phases.tiers.HighTierContext org.graalvm.compiler.nodes.StructuredGraph
      StackMap stack:
            return
        end local 2 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 1 // org.graalvm.compiler.phases.tiers.HighTierContext context
        end local 0 // java.util.List verifiers
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0   10     0  verifiers  Ljava/util/List<Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/nodes/spi/CoreProviders;>;>;
            0   10     1    context  Lorg/graalvm/compiler/phases/tiers/HighTierContext;
            0   10     2      graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            2    6     3   verifier  Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/nodes/spi/CoreProviders;>;
    Signature: (Ljava/util/List<Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/nodes/spi/CoreProviders;>;>;Lorg/graalvm/compiler/phases/tiers/HighTierContext;Lorg/graalvm/compiler/nodes/StructuredGraph;)V
    MethodParameters:
           Name  Flags
      verifiers  
      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 511
            aload 0 /* filters */
            ifnull 1
            aload 0 /* filters */
            arraylength
            ifne 2
         1: .line 512
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
         2: .line 514
      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 515
            aload 1 /* s */
            aload 2 /* filter */
            invokevirtual java.lang.String.contains:(Ljava/lang/CharSequence;)Z
            ifeq 6
         5: .line 516
            iconst_1
            ireturn
        end local 2 // java.lang.String filter
         6: .line 514
      StackMap locals:
      StackMap stack:
            iinc 3 1
      StackMap locals:
      StackMap stack:
         7: iload 3
            iload 4
            if_icmplt 3
         8: .line 519
            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 523
            new java.io.StringWriter
            dup
            invokespecial java.io.StringWriter.<init>:()V
            astore 1 /* sw */
        start local 1 // java.io.StringWriter sw
         1: .line 524
            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 525
            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 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
  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
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.test.AddExports(value = {"jdk.internal.vm.ci/*=jdk.aot"})