public class org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage 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.VerifyInstanceOfUsage
  super_class: org.graalvm.compiler.phases.VerifyPhase
{
  private static final java.lang.Class<?>[] FORBIDDEN_INSTANCE_OF_CHECKS;
    descriptor: [Ljava/lang/Class;
    flags: (0x001a) ACC_PRIVATE, ACC_STATIC, ACC_FINAL
    Signature: [Ljava/lang/Class<*>;

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=4, locals=0, args_size=0
         0: .line 44
            iconst_3
            anewarray java.lang.Class
            dup
            iconst_0
         1: .line 45
            ldc Lorg/graalvm/compiler/lir/StandardOp$MoveOp;
            aastore
            dup
            iconst_1
         2: .line 46
            ldc Lorg/graalvm/compiler/lir/StandardOp$ValueMoveOp;
            aastore
            dup
            iconst_2
         3: .line 47
            ldc Lorg/graalvm/compiler/lir/StandardOp$LoadConstantOp;
            aastore
         4: .line 44
            putstatic org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
         5: .line 48
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  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.VerifyInstanceOfUsage this
         0: .line 42
            aload 0 /* this */
            invokespecial org.graalvm.compiler.phases.VerifyPhase.<init>:()V
            return
        end local 0 // org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/phases/verify/VerifyInstanceOfUsage;

  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.VerifyInstanceOfUsage this
         0: .line 52
            iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/phases/verify/VerifyInstanceOfUsage;

  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=8, locals=15, args_size=3
        start local 0 // org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage this
        start local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        start local 2 // org.graalvm.compiler.phases.tiers.PhaseContext context
         0: .line 57
            getstatic org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
            arraylength
            anewarray jdk.vm.ci.meta.ResolvedJavaType
            astore 3 /* bailoutType */
        start local 3 // jdk.vm.ci.meta.ResolvedJavaType[] bailoutType
         1: .line 58
            iconst_0
            istore 4 /* i */
        start local 4 // int i
         2: goto 5
         3: .line 59
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType[] int
      StackMap stack:
            aload 3 /* bailoutType */
            iload 4 /* i */
            aload 2 /* context */
            invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
            getstatic org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
            iload 4 /* i */
            aaload
            invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
            aastore
         4: .line 58
            iinc 4 /* i */ 1
      StackMap locals:
      StackMap stack:
         5: iload 4 /* i */
            getstatic org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
            arraylength
            if_icmplt 3
        end local 4 // int i
         6: .line 61
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            astore 4 /* method */
        start local 4 // jdk.vm.ci.meta.ResolvedJavaMethod method
         7: .line 62
            aload 4 /* method */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 5 /* declaringClass */
        start local 5 // jdk.vm.ci.meta.ResolvedJavaType declaringClass
         8: .line 63
            aload 5 /* declaringClass */
            aload 2 /* context */
            invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
            invokestatic org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage.isTrustedInterface:(Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/MetaAccessProvider;)Z
            ifne 23
         9: .line 65
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.getNodes:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            ldc Lorg/graalvm/compiler/nodes/java/InstanceOfNode;
            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 7
            goto 22
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType[] jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaType top java.util.Iterator
      StackMap stack:
        10: aload 7
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.nodes.java.InstanceOfNode
            astore 6 /* io */
        start local 6 // org.graalvm.compiler.nodes.java.InstanceOfNode io
        11: .line 66
            aload 6 /* io */
            invokevirtual org.graalvm.compiler.nodes.java.InstanceOfNode.type:()Lorg/graalvm/compiler/core/common/type/TypeReference;
            invokevirtual org.graalvm.compiler.core.common.type.TypeReference.getType:()Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 8 /* type */
        start local 8 // jdk.vm.ci.meta.ResolvedJavaType type
        12: .line 67
            aload 3 /* bailoutType */
            dup
            astore 12
            arraylength
            istore 11
            iconst_0
            istore 10
            goto 21
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType[] jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.InstanceOfNode java.util.Iterator jdk.vm.ci.meta.ResolvedJavaType top int int jdk.vm.ci.meta.ResolvedJavaType[]
      StackMap stack:
        13: aload 12
            iload 10
            aaload
            astore 9 /* forbiddenType */
        start local 9 // jdk.vm.ci.meta.ResolvedJavaType forbiddenType
        14: .line 68
            aload 9 /* forbiddenType */
            aload 8 /* type */
            invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
            ifeq 20
        15: .line 69
            aload 9 /* forbiddenType */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getUnqualifiedName:()Ljava/lang/String;
            astore 13 /* name */
        start local 13 // java.lang.String name
        16: .line 71
            aload 9 /* forbiddenType */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getEnclosingType:()Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 14 /* enclosingType */
        start local 14 // jdk.vm.ci.meta.ResolvedJavaType enclosingType
        17: .line 72
            aload 14 /* enclosingType */
            ifnull 19
        18: .line 73
            aload 13 /* name */
            aload 14 /* enclosingType */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getUnqualifiedName:()Ljava/lang/String;
            invokevirtual java.lang.String.length:()I
            ldc "$"
            invokevirtual java.lang.String.length:()I
            iadd
            invokevirtual java.lang.String.substring:(I)Ljava/lang/String;
            astore 13 /* name */
        19: .line 75
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType[] jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.InstanceOfNode java.util.Iterator jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType int int jdk.vm.ci.meta.ResolvedJavaType[] java.lang.String jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            new org.graalvm.compiler.phases.VerifyPhase$VerificationError
            dup
            ldc "Using `op instanceof %s` is not allowed. Use `%s.is%s(op)` instead. (in %s)"
            iconst_4
            anewarray java.lang.Object
            dup
            iconst_0
            aload 13 /* name */
            aastore
            dup
            iconst_1
            aload 13 /* name */
            aastore
            dup
            iconst_2
            aload 13 /* name */
            aastore
            dup
            iconst_3
            aload 4 /* method */
            ldc "%H.%n(%p)"
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.format:(Ljava/lang/String;)Ljava/lang/String;
            aastore
            invokespecial org.graalvm.compiler.phases.VerifyPhase$VerificationError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
            athrow
        end local 14 // jdk.vm.ci.meta.ResolvedJavaType enclosingType
        end local 13 // java.lang.String name
        end local 9 // jdk.vm.ci.meta.ResolvedJavaType forbiddenType
        20: .line 67
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType[] jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.InstanceOfNode java.util.Iterator jdk.vm.ci.meta.ResolvedJavaType top int int jdk.vm.ci.meta.ResolvedJavaType[]
      StackMap stack:
            iinc 10 1
      StackMap locals:
      StackMap stack:
        21: iload 10
            iload 11
            if_icmplt 13
        end local 8 // jdk.vm.ci.meta.ResolvedJavaType type
        end local 6 // org.graalvm.compiler.nodes.java.InstanceOfNode io
        22: .line 65
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType[] jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaType top java.util.Iterator
      StackMap stack:
            aload 7
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 10
        23: .line 80
      StackMap locals: org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext jdk.vm.ci.meta.ResolvedJavaType[] jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            iconst_1
            ireturn
        end local 5 // jdk.vm.ci.meta.ResolvedJavaType declaringClass
        end local 4 // jdk.vm.ci.meta.ResolvedJavaMethod method
        end local 3 // jdk.vm.ci.meta.ResolvedJavaType[] bailoutType
        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.VerifyInstanceOfUsage this
      LocalVariableTable:
        Start  End  Slot            Name  Signature
            0   24     0            this  Lorg/graalvm/compiler/phases/verify/VerifyInstanceOfUsage;
            0   24     1           graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            0   24     2         context  Lorg/graalvm/compiler/phases/tiers/PhaseContext;
            1   24     3     bailoutType  [Ljdk/vm/ci/meta/ResolvedJavaType;
            2    6     4               i  I
            7   24     4          method  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            8   24     5  declaringClass  Ljdk/vm/ci/meta/ResolvedJavaType;
           11   22     6              io  Lorg/graalvm/compiler/nodes/java/InstanceOfNode;
           12   22     8            type  Ljdk/vm/ci/meta/ResolvedJavaType;
           14   20     9   forbiddenType  Ljdk/vm/ci/meta/ResolvedJavaType;
           16   20    13            name  Ljava/lang/String;
           17   20    14   enclosingType  Ljdk/vm/ci/meta/ResolvedJavaType;
    MethodParameters:
         Name  Flags
      graph    
      context  

  private static boolean isTrustedInterface(jdk.vm.ci.meta.ResolvedJavaType, jdk.vm.ci.meta.MetaAccessProvider);
    descriptor: (Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/MetaAccessProvider;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=7, args_size=2
        start local 0 // jdk.vm.ci.meta.ResolvedJavaType declaringClass
        start local 1 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
         0: .line 84
            getstatic org.graalvm.compiler.phases.verify.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
            dup
            astore 5
            arraylength
            istore 4
            iconst_0
            istore 3
            goto 6
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.MetaAccessProvider top int int java.lang.Class[]
      StackMap stack:
         1: aload 5
            iload 3
            aaload
            astore 2 /* trustedCls */
        start local 2 // java.lang.Class trustedCls
         2: .line 85
            aload 1 /* metaAccess */
            aload 2 /* trustedCls */
            invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 6 /* trusted */
        start local 6 // jdk.vm.ci.meta.ResolvedJavaType trusted
         3: .line 86
            aload 6 /* trusted */
            aload 0 /* declaringClass */
            invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
            ifeq 5
         4: .line 87
            iconst_1
            ireturn
        end local 6 // jdk.vm.ci.meta.ResolvedJavaType trusted
        end local 2 // java.lang.Class trustedCls
         5: .line 84
      StackMap locals:
      StackMap stack:
            iinc 3 1
      StackMap locals:
      StackMap stack:
         6: iload 3
            iload 4
            if_icmplt 1
         7: .line 90
            iconst_0
            ireturn
        end local 1 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        end local 0 // jdk.vm.ci.meta.ResolvedJavaType declaringClass
      LocalVariableTable:
        Start  End  Slot            Name  Signature
            0    8     0  declaringClass  Ljdk/vm/ci/meta/ResolvedJavaType;
            0    8     1      metaAccess  Ljdk/vm/ci/meta/MetaAccessProvider;
            2    5     2      trustedCls  Ljava/lang/Class<*>;
            3    5     6         trusted  Ljdk/vm/ci/meta/ResolvedJavaType;
    MethodParameters:
                Name  Flags
      declaringClass  
      metaAccess      

  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.VerifyInstanceOfUsage.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: "VerifyInstanceOfUsage.java"
InnerClasses:
  public abstract LoadConstantOp = org.graalvm.compiler.lir.StandardOp$LoadConstantOp of org.graalvm.compiler.lir.StandardOp
  public abstract MoveOp = org.graalvm.compiler.lir.StandardOp$MoveOp of org.graalvm.compiler.lir.StandardOp
  public abstract ValueMoveOp = org.graalvm.compiler.lir.StandardOp$ValueMoveOp of org.graalvm.compiler.lir.StandardOp
  public VerificationError = org.graalvm.compiler.phases.VerifyPhase$VerificationError of org.graalvm.compiler.phases.VerifyPhase