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

  public boolean checkContract();
    descriptor: ()Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage this
         0: .line 51
            iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/phases/verify/VerifyVirtualizableUsage;

  protected boolean verify(org.graalvm.compiler.nodes.StructuredGraph, org.graalvm.compiler.phases.tiers.PhaseContext);
    descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/compiler/phases/tiers/PhaseContext;)Z
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=6, locals=11, args_size=3
        start local 0 // org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage this
        start local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        start local 2 // org.graalvm.compiler.phases.tiers.PhaseContext context
         0: .line 56
            aload 2 /* context */
            invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
            ldc Lorg/graalvm/compiler/graph/Graph;
            invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 3 /* graphType */
        start local 3 // jdk.vm.ci.meta.ResolvedJavaType graphType
         1: .line 57
            aload 2 /* context */
            invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
            ldc Lorg/graalvm/compiler/nodes/spi/Virtualizable;
            invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 4 /* virtualizableType */
        start local 4 // jdk.vm.ci.meta.ResolvedJavaType virtualizableType
         2: .line 58
            aload 2 /* context */
            invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
            ldc Lorg/graalvm/compiler/nodes/ConstantNode;
            invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 5 /* constantNodeType */
        start local 5 // jdk.vm.ci.meta.ResolvedJavaType constantNodeType
         3: .line 59
            aload 4 /* virtualizableType */
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            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
            ifeq 14
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getName:()Ljava/lang/String;
            ldc "virtualize"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifeq 14
         4: .line 60
            aload 1 /* graph */
            getstatic org.graalvm.compiler.nodes.java.MethodCallTargetNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.getNodes:(Lorg/graalvm/compiler/graph/NodeClass;)Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.iterator:()Ljava/util/Iterator;
            astore 7
            goto 13
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType top java.util.Iterator
      StackMap stack:
         5: aload 7
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.nodes.java.MethodCallTargetNode
            astore 6 /* t */
        start local 6 // org.graalvm.compiler.nodes.java.MethodCallTargetNode t
         6: .line 61
            aload 6 /* t */
            invokevirtual org.graalvm.compiler.nodes.java.MethodCallTargetNode.invoke:()Lorg/graalvm/compiler/nodes/Invoke;
            invokeinterface org.graalvm.compiler.nodes.Invoke.bci:()I
            istore 8 /* bci */
        start local 8 // int bci
         7: .line 62
            aload 6 /* t */
            invokevirtual org.graalvm.compiler.nodes.java.MethodCallTargetNode.targetMethod:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            astore 9 /* callee */
        start local 9 // jdk.vm.ci.meta.ResolvedJavaMethod callee
         8: .line 63
            aload 9 /* callee */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getName:()Ljava/lang/String;
            astore 10 /* calleeName */
        start local 10 // java.lang.String calleeName
         9: .line 64
            aload 9 /* callee */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
            aload 3 /* graphType */
            invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
            ifeq 13
        10: .line 65
            aload 10 /* calleeName */
            ldc "add"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifne 12
            aload 10 /* calleeName */
            ldc "addWithoutUnique"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifne 12
            aload 10 /* calleeName */
            ldc "addOrUnique"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifne 12
            aload 10 /* calleeName */
            ldc "addWithoutUniqueWithInputs"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifne 12
        11: .line 66
            aload 10 /* calleeName */
            ldc "addOrUniqueWithInputs"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifeq 13
        12: .line 67
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.MethodCallTargetNode java.util.Iterator int jdk.vm.ci.meta.ResolvedJavaMethod java.lang.String
      StackMap stack:
            aload 5 /* constantNodeType */
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            aload 9 /* callee */
            iload 8 /* bci */
            aload 6 /* t */
            invokevirtual org.graalvm.compiler.nodes.java.MethodCallTargetNode.arguments:()Lorg/graalvm/compiler/graph/NodeInputList;
            iconst_1
            invokestatic org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage.verifyVirtualizableEffectArguments:(Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/ResolvedJavaMethod;Ljdk/vm/ci/meta/ResolvedJavaMethod;ILorg/graalvm/compiler/graph/NodeInputList;I)V
        end local 10 // java.lang.String calleeName
        end local 9 // jdk.vm.ci.meta.ResolvedJavaMethod callee
        end local 8 // int bci
        end local 6 // org.graalvm.compiler.nodes.java.MethodCallTargetNode t
        13: .line 60
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType top java.util.Iterator
      StackMap stack:
            aload 7
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 5
        14: .line 72
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            iconst_1
            ireturn
        end local 5 // jdk.vm.ci.meta.ResolvedJavaType constantNodeType
        end local 4 // jdk.vm.ci.meta.ResolvedJavaType virtualizableType
        end local 3 // jdk.vm.ci.meta.ResolvedJavaType graphType
        end local 2 // org.graalvm.compiler.phases.tiers.PhaseContext context
        end local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 0 // org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0   15     0               this  Lorg/graalvm/compiler/phases/verify/VerifyVirtualizableUsage;
            0   15     1              graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            0   15     2            context  Lorg/graalvm/compiler/phases/tiers/PhaseContext;
            1   15     3          graphType  Ljdk/vm/ci/meta/ResolvedJavaType;
            2   15     4  virtualizableType  Ljdk/vm/ci/meta/ResolvedJavaType;
            3   15     5   constantNodeType  Ljdk/vm/ci/meta/ResolvedJavaType;
            6   13     6                  t  Lorg/graalvm/compiler/nodes/java/MethodCallTargetNode;
            7   13     8                bci  I
            8   13     9             callee  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            9   13    10         calleeName  Ljava/lang/String;
    MethodParameters:
         Name  Flags
      graph    
      context  

  private static void verifyVirtualizableEffectArguments(jdk.vm.ci.meta.ResolvedJavaType, jdk.vm.ci.meta.ResolvedJavaMethod, jdk.vm.ci.meta.ResolvedJavaMethod, int, org.graalvm.compiler.graph.NodeInputList<? extends org.graalvm.compiler.graph.Node>, );
    descriptor: (Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/ResolvedJavaMethod;Ljdk/vm/ci/meta/ResolvedJavaMethod;ILorg/graalvm/compiler/graph/NodeInputList;I)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=8, locals=13, args_size=6
        start local 0 // jdk.vm.ci.meta.ResolvedJavaType constantNodeType
        start local 1 // jdk.vm.ci.meta.ResolvedJavaMethod caller
        start local 2 // jdk.vm.ci.meta.ResolvedJavaMethod callee
        start local 3 // int bciCaller
        start local 4 // org.graalvm.compiler.graph.NodeInputList arguments
        start local 5 // int startIdx
         0: .line 82
            iconst_0
            istore 6 /* i */
        start local 6 // int i
         1: .line 83
            aload 4 /* arguments */
            invokevirtual org.graalvm.compiler.graph.NodeInputList.iterator:()Ljava/util/Iterator;
            astore 8
            goto 14
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaMethod int org.graalvm.compiler.graph.NodeInputList int int top java.util.Iterator
      StackMap stack:
         2: aload 8
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.graph.Node
            astore 7 /* arg */
        start local 7 // org.graalvm.compiler.graph.Node arg
         3: .line 84
            iload 6 /* i */
            iload 5 /* startIdx */
            if_icmplt 13
         4: .line 85
            aload 7 /* arg */
            checkcast org.graalvm.compiler.nodes.ValueNode
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            astore 9 /* argStamp */
        start local 9 // org.graalvm.compiler.core.common.type.Stamp argStamp
         5: .line 86
            aload 9 /* argStamp */
            instanceof org.graalvm.compiler.core.common.type.ObjectStamp
            ifeq 13
         6: .line 87
            aload 9 /* argStamp */
            checkcast org.graalvm.compiler.core.common.type.ObjectStamp
            astore 10 /* objectStamp */
        start local 10 // org.graalvm.compiler.core.common.type.ObjectStamp objectStamp
         7: .line 88
            aload 10 /* objectStamp */
            invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.type:()Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 11 /* argStampType */
        start local 11 // jdk.vm.ci.meta.ResolvedJavaType argStampType
         8: .line 89
            aload 11 /* argStampType */
            aload 0 /* constantNodeType */
            invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
            ifne 13
         9: .line 90
            aload 1 /* caller */
            iload 3 /* bciCaller */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.asStackTraceElement:(I)Ljava/lang/StackTraceElement;
            astore 12 /* e */
        start local 12 // java.lang.StackTraceElement e
        10: .line 91
            new org.graalvm.compiler.phases.VerifyPhase$VerificationError
            dup
            ldc "%s:Parameter %d in call to %s (which has effects on the graph) is not a constant and thus not safe to apply during speculative virtualization."
            iconst_3
            anewarray java.lang.Object
            dup
            iconst_0
        11: .line 92
            aload 12 /* e */
            aastore
            dup
            iconst_1
            iload 6 /* i */
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
            aastore
            dup
            iconst_2
            aload 2 /* callee */
            ldc "%H.%n(%p)"
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.format:(Ljava/lang/String;)Ljava/lang/String;
        12: .line 91
            aastore
            invokespecial org.graalvm.compiler.phases.VerifyPhase$VerificationError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
            athrow
        end local 12 // java.lang.StackTraceElement e
        end local 11 // jdk.vm.ci.meta.ResolvedJavaType argStampType
        end local 10 // org.graalvm.compiler.core.common.type.ObjectStamp objectStamp
        end local 9 // org.graalvm.compiler.core.common.type.Stamp argStamp
        13: .line 96
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaMethod int org.graalvm.compiler.graph.NodeInputList int int org.graalvm.compiler.graph.Node java.util.Iterator
      StackMap stack:
            iinc 6 /* i */ 1
        end local 7 // org.graalvm.compiler.graph.Node arg
        14: .line 83
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaMethod int org.graalvm.compiler.graph.NodeInputList int int top java.util.Iterator
      StackMap stack:
            aload 8
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 2
        15: .line 98
            return
        end local 6 // int i
        end local 5 // int startIdx
        end local 4 // org.graalvm.compiler.graph.NodeInputList arguments
        end local 3 // int bciCaller
        end local 2 // jdk.vm.ci.meta.ResolvedJavaMethod callee
        end local 1 // jdk.vm.ci.meta.ResolvedJavaMethod caller
        end local 0 // jdk.vm.ci.meta.ResolvedJavaType constantNodeType
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0   16     0  constantNodeType  Ljdk/vm/ci/meta/ResolvedJavaType;
            0   16     1            caller  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            0   16     2            callee  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            0   16     3         bciCaller  I
            0   16     4         arguments  Lorg/graalvm/compiler/graph/NodeInputList<+Lorg/graalvm/compiler/graph/Node;>;
            0   16     5          startIdx  I
            1   16     6                 i  I
            3   14     7               arg  Lorg/graalvm/compiler/graph/Node;
            5   13     9          argStamp  Lorg/graalvm/compiler/core/common/type/Stamp;
            7   13    10       objectStamp  Lorg/graalvm/compiler/core/common/type/ObjectStamp;
            8   13    11      argStampType  Ljdk/vm/ci/meta/ResolvedJavaType;
           10   13    12                 e  Ljava/lang/StackTraceElement;
    Signature: (Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/ResolvedJavaMethod;Ljdk/vm/ci/meta/ResolvedJavaMethod;ILorg/graalvm/compiler/graph/NodeInputList<+Lorg/graalvm/compiler/graph/Node;>;I)V
    MethodParameters:
                  Name  Flags
      constantNodeType  
      caller            
      callee            
      bciCaller         
      arguments         
      startIdx          

  protected boolean verify(org.graalvm.compiler.nodes.StructuredGraph, java.lang.Object);
    descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)Z
    flags: (0x1044) ACC_PROTECTED, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=3, locals=3, args_size=3
         0: .line 1
            aload 0
            aload 1
            aload 2
            checkcast org.graalvm.compiler.phases.tiers.PhaseContext
            invokevirtual org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage.verify:(Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/compiler/phases/tiers/PhaseContext;)Z
            ireturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature
}
Signature: Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/phases/tiers/PhaseContext;>;
SourceFile: "VerifyVirtualizableUsage.java"
InnerClasses:
  public VerificationError = org.graalvm.compiler.phases.VerifyPhase$VerificationError of org.graalvm.compiler.phases.VerifyPhase