java/17 : jdk.internal.vm.compiler/org/graalvm/compiler/core/test/CheckGraalInvariants.class

CheckGraalInvariants
https://openjdk.java.net/
GPLv2 + Classpath Exception
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 116
            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 125
            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 126
            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 127
            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 128
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            iconst_0
            ireturn
        end local 1 // jdk.vm.ci.meta.ResolvedJavaType c
         4: .line 132
      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 136
            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 137
            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 253
            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 271
            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 void loadVerifiers(java.util.List<org.graalvm.compiler.phases.VerifyPhase<org.graalvm.compiler.nodes.spi.CoreProviders>>);
    descriptor: (Ljava/util/List;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=3, args_size=1
        start local 0 // java.util.List verifiers
         0: .line 489
            ldc Lorg/graalvm/compiler/phases/VerifyPhase;
            invokestatic java.util.ServiceLoader.load:(Ljava/lang/Class;)Ljava/util/ServiceLoader;
            invokevirtual java.util.ServiceLoader.iterator:()Ljava/util/Iterator;
            astore 2
            goto 3
      StackMap locals: java.util.List top java.util.Iterator
      StackMap stack:
         1: aload 2
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.phases.VerifyPhase
            astore 1 /* verifier */
        start local 1 // org.graalvm.compiler.phases.VerifyPhase verifier
         2: .line 490
            aload 0 /* verifiers */
            aload 1 /* verifier */
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 1 // org.graalvm.compiler.phases.VerifyPhase verifier
         3: .line 489
      StackMap locals:
      StackMap stack:
            aload 2
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
         4: .line 492
            return
        end local 0 // java.util.List verifiers
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    5     0  verifiers  Ljava/util/List<Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/nodes/spi/CoreProviders;>;>;
            2    3     1   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;>;>;)V
    MethodParameters:
           Name  Flags
      verifiers  

  private static java.util.Map<jdk.vm.ci.meta.ResolvedJavaField, java.util.Set<jdk.vm.ci.meta.ResolvedJavaMethod>> initOptionFieldUsagesMap(org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool, jdk.vm.ci.meta.MetaAccessProvider, java.util.List<java.lang.String>);
    descriptor: (Lorg/graalvm/compiler/core/test/CheckGraalInvariants$InvariantsTool;Ljdk/vm/ci/meta/MetaAccessProvider;Ljava/util/List;)Ljava/util/Map;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=4, locals=10, args_size=3
        start local 0 // org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool tool
        start local 1 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        start local 2 // java.util.List errors
         0: .line 501
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            astore 3 /* optionFields */
        start local 3 // java.util.Map optionFields
         1: .line 502
            invokestatic org.graalvm.compiler.options.OptionsParser.getOptionsLoader:()Ljava/lang/Iterable;
            invokeinterface java.lang.Iterable.iterator:()Ljava/util/Iterator;
            astore 5
            goto 13
      StackMap locals: org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool jdk.vm.ci.meta.MetaAccessProvider java.util.List java.util.Map top java.util.Iterator
      StackMap stack:
         2: aload 5
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.options.OptionDescriptors
            astore 4 /* set */
        start local 4 // org.graalvm.compiler.options.OptionDescriptors set
         3: .line 503
            aload 4 /* set */
            invokeinterface org.graalvm.compiler.options.OptionDescriptors.iterator:()Ljava/util/Iterator;
            astore 7
            goto 12
      StackMap locals: org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool jdk.vm.ci.meta.MetaAccessProvider java.util.List java.util.Map org.graalvm.compiler.options.OptionDescriptors java.util.Iterator top java.util.Iterator
      StackMap stack:
         4: aload 7
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.options.OptionDescriptor
            astore 6 /* option */
        start local 6 // org.graalvm.compiler.options.OptionDescriptor option
         5: .line 504
            aload 0 /* tool */
            aload 6 /* option */
            invokevirtual org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool.shouldCheckUsage:(Lorg/graalvm/compiler/options/OptionDescriptor;)Z
            ifeq 12
         6: .line 505
            aload 6 /* option */
            invokevirtual org.graalvm.compiler.options.OptionDescriptor.getDeclaringClass:()Ljava/lang/Class;
            astore 8 /* declaringClass */
        start local 8 // java.lang.Class declaringClass
         7: .line 507
            aload 8 /* declaringClass */
            aload 6 /* option */
            invokevirtual org.graalvm.compiler.options.OptionDescriptor.getFieldName:()Ljava/lang/String;
            invokevirtual java.lang.Class.getDeclaredField:(Ljava/lang/String;)Ljava/lang/reflect/Field;
            astore 9 /* javaField */
        start local 9 // java.lang.reflect.Field javaField
         8: .line 508
            aload 3 /* optionFields */
            aload 1 /* metaAccess */
            aload 9 /* javaField */
            invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaField:(Ljava/lang/reflect/Field;)Ljdk/vm/ci/meta/ResolvedJavaField;
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
        end local 9 // java.lang.reflect.Field javaField
         9: .line 509
            goto 12
      StackMap locals: org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool jdk.vm.ci.meta.MetaAccessProvider java.util.List java.util.Map org.graalvm.compiler.options.OptionDescriptors java.util.Iterator org.graalvm.compiler.options.OptionDescriptor java.util.Iterator java.lang.Class
      StackMap stack: java.lang.NoSuchFieldException
        10: astore 9 /* e */
        start local 9 // java.lang.NoSuchFieldException e
        11: .line 510
            aload 2 /* errors */
            aload 9 /* e */
            invokevirtual java.lang.NoSuchFieldException.toString:()Ljava/lang/String;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 9 // java.lang.NoSuchFieldException e
        end local 8 // java.lang.Class declaringClass
        end local 6 // org.graalvm.compiler.options.OptionDescriptor option
        12: .line 503
      StackMap locals: org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool jdk.vm.ci.meta.MetaAccessProvider java.util.List java.util.Map org.graalvm.compiler.options.OptionDescriptors java.util.Iterator top java.util.Iterator
      StackMap stack:
            aload 7
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 4
        end local 4 // org.graalvm.compiler.options.OptionDescriptors set
        13: .line 502
      StackMap locals: org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool jdk.vm.ci.meta.MetaAccessProvider java.util.List java.util.Map top java.util.Iterator
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 2
        14: .line 515
            aload 3 /* optionFields */
            areturn
        end local 3 // java.util.Map optionFields
        end local 2 // java.util.List errors
        end local 1 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        end local 0 // org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool tool
      LocalVariableTable:
        Start  End  Slot            Name  Signature
            0   15     0            tool  Lorg/graalvm/compiler/core/test/CheckGraalInvariants$InvariantsTool;
            0   15     1      metaAccess  Ljdk/vm/ci/meta/MetaAccessProvider;
            0   15     2          errors  Ljava/util/List<Ljava/lang/String;>;
            1   15     3    optionFields  Ljava/util/Map<Ljdk/vm/ci/meta/ResolvedJavaField;Ljava/util/Set<Ljdk/vm/ci/meta/ResolvedJavaMethod;>;>;
            3   13     4             set  Lorg/graalvm/compiler/options/OptionDescriptors;
            5   12     6          option  Lorg/graalvm/compiler/options/OptionDescriptor;
            7   12     8  declaringClass  Ljava/lang/Class<*>;
            8    9     9       javaField  Ljava/lang/reflect/Field;
           11   12     9               e  Ljava/lang/NoSuchFieldException;
      Exception table:
        from    to  target  type
           7     9      10  Class java.lang.NoSuchFieldException
    Signature: (Lorg/graalvm/compiler/core/test/CheckGraalInvariants$InvariantsTool;Ljdk/vm/ci/meta/MetaAccessProvider;Ljava/util/List<Ljava/lang/String;>;)Ljava/util/Map<Ljdk/vm/ci/meta/ResolvedJavaField;Ljava/util/Set<Ljdk/vm/ci/meta/ResolvedJavaMethod;>;>;
    MethodParameters:
            Name  Flags
      tool        
      metaAccess  
      errors      

  private static void collectOptionFieldUsages(java.util.Map<jdk.vm.ci.meta.ResolvedJavaField, java.util.Set<jdk.vm.ci.meta.ResolvedJavaMethod>>, jdk.vm.ci.meta.ResolvedJavaType, jdk.vm.ci.meta.ResolvedJavaMethod, org.graalvm.compiler.nodes.StructuredGraph);
    descriptor: (Ljava/util/Map;Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/ResolvedJavaMethod;Lorg/graalvm/compiler/nodes/StructuredGraph;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=8, args_size=4
        start local 0 // java.util.Map optionFields
        start local 1 // jdk.vm.ci.meta.ResolvedJavaType optionDescriptorsType
        start local 2 // jdk.vm.ci.meta.ResolvedJavaMethod method
        start local 3 // org.graalvm.compiler.nodes.StructuredGraph graph
         0: .line 520
            aload 1 /* optionDescriptorsType */
            aload 2 /* method */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isAssignableFrom:(Ljdk/vm/ci/meta/ResolvedJavaType;)Z
            ifne 8
         1: .line 521
            aload 3 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.getNodes:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            ldc Lorg/graalvm/compiler/nodes/java/LoadFieldNode;
            invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.filter:(Ljava/lang/Class;)Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.iterator:()Ljava/util/Iterator;
            astore 5
            goto 7
      StackMap locals: java.util.Map jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaMethod org.graalvm.compiler.nodes.StructuredGraph top java.util.Iterator
      StackMap stack:
         2: aload 5
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.nodes.java.LoadFieldNode
            astore 4 /* lfn */
        start local 4 // org.graalvm.compiler.nodes.java.LoadFieldNode lfn
         3: .line 523
            aload 4 /* lfn */
            invokevirtual org.graalvm.compiler.nodes.java.LoadFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
            astore 6 /* field */
        start local 6 // jdk.vm.ci.meta.ResolvedJavaField field
         4: .line 524
            aload 0 /* optionFields */
            aload 6 /* field */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast java.util.Set
            astore 7 /* loads */
        start local 7 // java.util.Set loads
         5: .line 525
            aload 7 /* loads */
            ifnull 7
         6: .line 526
            aload 7 /* loads */
            aload 3 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            invokeinterface java.util.Set.add:(Ljava/lang/Object;)Z
            pop
        end local 7 // java.util.Set loads
        end local 6 // jdk.vm.ci.meta.ResolvedJavaField field
        end local 4 // org.graalvm.compiler.nodes.java.LoadFieldNode lfn
         7: .line 521
      StackMap locals:
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 2
         8: .line 530
      StackMap locals: java.util.Map jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaMethod org.graalvm.compiler.nodes.StructuredGraph
      StackMap stack:
            return
        end local 3 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 2 // jdk.vm.ci.meta.ResolvedJavaMethod method
        end local 1 // jdk.vm.ci.meta.ResolvedJavaType optionDescriptorsType
        end local 0 // java.util.Map optionFields
      LocalVariableTable:
        Start  End  Slot                   Name  Signature
            0    9     0           optionFields  Ljava/util/Map<Ljdk/vm/ci/meta/ResolvedJavaField;Ljava/util/Set<Ljdk/vm/ci/meta/ResolvedJavaMethod;>;>;
            0    9     1  optionDescriptorsType  Ljdk/vm/ci/meta/ResolvedJavaType;
            0    9     2                 method  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            0    9     3                  graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            3    7     4                    lfn  Lorg/graalvm/compiler/nodes/java/LoadFieldNode;
            4    7     6                  field  Ljdk/vm/ci/meta/ResolvedJavaField;
            5    7     7                  loads  Ljava/util/Set<Ljdk/vm/ci/meta/ResolvedJavaMethod;>;
    Signature: (Ljava/util/Map<Ljdk/vm/ci/meta/ResolvedJavaField;Ljava/util/Set<Ljdk/vm/ci/meta/ResolvedJavaMethod;>;>;Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/ResolvedJavaMethod;Lorg/graalvm/compiler/nodes/StructuredGraph;)V
    MethodParameters:
                       Name  Flags
      optionFields           
      optionDescriptorsType  
      method                 
      graph                  

  private static void checkOptionFieldUsages(java.util.List<java.lang.String>, java.util.Map<jdk.vm.ci.meta.ResolvedJavaField, java.util.Set<jdk.vm.ci.meta.ResolvedJavaMethod>>);
    descriptor: (Ljava/util/List;Ljava/util/Map;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=4, locals=4, args_size=2
        start local 0 // java.util.List errors
        start local 1 // java.util.Map optionFieldUsages
         0: .line 533
            aload 1 /* optionFieldUsages */
            invokeinterface java.util.Map.entrySet:()Ljava/util/Set;
            invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
            astore 3
            goto 4
      StackMap locals: java.util.List java.util.Map top java.util.Iterator
      StackMap stack:
         1: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast java.util.Map$Entry
            astore 2 /* e */
        start local 2 // java.util.Map$Entry e
         2: .line 534
            aload 2 /* e */
            invokeinterface java.util.Map$Entry.getValue:()Ljava/lang/Object;
            checkcast java.util.Set
            invokeinterface java.util.Set.isEmpty:()Z
            ifeq 4
         3: .line 535
            aload 0 /* errors */
            new java.lang.StringBuilder
            dup
            ldc "No uses found for "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 2 /* e */
            invokeinterface java.util.Map$Entry.getKey:()Ljava/lang/Object;
            checkcast jdk.vm.ci.meta.ResolvedJavaField
            ldc "%H.%n"
            invokeinterface jdk.vm.ci.meta.ResolvedJavaField.format:(Ljava/lang/String;)Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 2 // java.util.Map$Entry e
         4: .line 533
      StackMap locals:
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
         5: .line 538
            return
        end local 1 // java.util.Map optionFieldUsages
        end local 0 // java.util.List errors
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0    6     0             errors  Ljava/util/List<Ljava/lang/String;>;
            0    6     1  optionFieldUsages  Ljava/util/Map<Ljdk/vm/ci/meta/ResolvedJavaField;Ljava/util/Set<Ljdk/vm/ci/meta/ResolvedJavaMethod;>;>;
            2    4     2                  e  Ljava/util/Map$Entry<Ljdk/vm/ci/meta/ResolvedJavaField;Ljava/util/Set<Ljdk/vm/ci/meta/ResolvedJavaMethod;>;>;
    Signature: (Ljava/util/List<Ljava/lang/String;>;Ljava/util/Map<Ljdk/vm/ci/meta/ResolvedJavaField;Ljava/util/Set<Ljdk/vm/ci/meta/ResolvedJavaMethod;>;>;)V
    MethodParameters:
                   Name  Flags
      errors             
      optionFieldUsages  

  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 541
            aload 0 /* className */
            ldc "jdk.internal.vm.compiler.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 545
            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 549
            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 550
            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 551
            aload 0 /* tool */
            aload 3 /* className */
            invokevirtual org.graalvm.compiler.core.test.CheckGraalInvariants$InvariantsTool.shouldLoadClass:(Ljava/lang/String;)Z
            ifne 5
         4: .line 552
            goto 14
         5: .line 555
      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 556
            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 557
            goto 14
      StackMap locals:
      StackMap stack: java.lang.UnsupportedClassVersionError
         8: pop
            goto 14
         9: .line 559
      StackMap locals:
      StackMap stack: java.lang.NoClassDefFoundError
            astore 5 /* e */
        start local 5 // java.lang.NoClassDefFoundError e
        10: .line 560
            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 561
            aload 5 /* e */
            athrow
        end local 5 // java.lang.NoClassDefFoundError e
        12: .line 567
      StackMap locals:
      StackMap stack: java.lang.Throwable
            astore 5 /* t */
        start local 5 // java.lang.Throwable t
        13: .line 568
            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 550
      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 571
            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 579
            ldc Lorg/graalvm/compiler/graph/Node;
            aload 0 /* c */
            invokevirtual java.lang.Class.isAssignableFrom:(Ljava/lang/Class;)Z
            ifeq 4
         1: .line 580
            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 581
            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 583
      StackMap locals:
      StackMap stack:
            aload 0 /* c */
            invokestatic org.graalvm.compiler.phases.contract.VerifyNodeCosts.verifyNodeClass:(Ljava/lang/Class;)V
         4: .line 585
      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 586
            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 585
      StackMap locals:
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 5
         8: .line 588
            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 591
            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 592
            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 593
            iconst_0
            istore 2 /* i */
        start local 2 // int i
         3: goto 16
         4: .line 594
      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 595
            aload 3 /* a */
            invokeinterface java.lang.annotation.Annotation.annotationType:()Ljava/lang/Class;
            astore 7 /* annotationType */
        start local 7 // java.lang.Class annotationType
         7: .line 596
            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 597
      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 598
            aload 7 /* annotationType */
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
            aastore
            dup
            iconst_3
        10: .line 599
            ldc Lorg/graalvm/compiler/api/replacements/Snippet;
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
        11: .line 597
            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 600
            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 594
      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 593
            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 605
      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 611
            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 612
            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 613
      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 614
            goto 6
         5: .line 615
      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 611
      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 618
            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 619
            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 621
      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 624
            aload 0 /* filters */
            ifnull 1
            aload 0 /* filters */
            arraylength
            ifne 2
         1: .line 625
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
         2: .line 627
      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 628
            aload 1 /* s */
            aload 2 /* filter */
            invokevirtual java.lang.String.contains:(Ljava/lang/CharSequence;)Z
            ifeq 6
         5: .line 629
            iconst_1
            ireturn
        end local 2 // java.lang.String filter
         6: .line 627
      StackMap locals:
      StackMap stack:
            iinc 3 1
      StackMap locals:
      StackMap stack:
         7: iload 3
            iload 4
            if_icmplt 3
         8: .line 632
            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 636
            new java.io.StringWriter
            dup
            invokespecial java.io.StringWriter.<init>:()V
            astore 1 /* sw */
        start local 1 // java.io.StringWriter sw
         1: .line 637
            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 638
            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 Entry = java.util.Map$Entry of java.util.Map
  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"})
/

java/ 17/ jdk.internal.vm.compiler/org/graalvm/compiler/core/test/CheckGraalInvariants.class
