public class org.graalvm.compiler.core.test.VerifyUsageWithEquals extends org.graalvm.compiler.phases.VerifyPhase<org.graalvm.compiler.nodes.spi.CoreProviders>
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: org.graalvm.compiler.core.test.VerifyUsageWithEquals
  super_class: org.graalvm.compiler.phases.VerifyPhase
{
  private final java.lang.Class<?> restrictedClass;
    descriptor: Ljava/lang/Class;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL
    Signature: Ljava/lang/Class<*>;

  private static final java.lang.Class<?>[] trustedInterfaceTypes;
    descriptor: [Ljava/lang/Class;
    flags: (0x001a) ACC_PRIVATE, ACC_STATIC, ACC_FINAL
    Signature: [Ljava/lang/Class<*>;

  static final boolean $assertionsDisabled;
    descriptor: Z
    flags: (0x1018) ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=4, locals=0, args_size=0
         0: .line 54
            ldc Lorg/graalvm/compiler/core/test/VerifyUsageWithEquals;
            invokevirtual java.lang.Class.desiredAssertionStatus:()Z
            ifne 1
            iconst_1
            goto 2
      StackMap locals:
      StackMap stack:
         1: iconst_0
      StackMap locals:
      StackMap stack: int
         2: putstatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.$assertionsDisabled:Z
         3: .line 71
            iconst_3
            anewarray java.lang.Class
            dup
            iconst_0
            ldc Ljdk/vm/ci/meta/JavaType;
            aastore
            dup
            iconst_1
            ldc Ljdk/vm/ci/meta/JavaField;
            aastore
            dup
            iconst_2
            ldc Ljdk/vm/ci/meta/JavaMethod;
            aastore
            putstatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.trustedInterfaceTypes:[Ljava/lang/Class;
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

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

  public void <init>(java.lang.Class<?>);
    descriptor: (Ljava/lang/Class;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.core.test.VerifyUsageWithEquals this
        start local 1 // java.lang.Class restrictedClass
         0: .line 66
            aload 0 /* this */
            invokespecial org.graalvm.compiler.phases.VerifyPhase.<init>:()V
         1: .line 67
            aload 0 /* this */
            aload 1 /* restrictedClass */
            putfield org.graalvm.compiler.core.test.VerifyUsageWithEquals.restrictedClass:Ljava/lang/Class;
         2: .line 68
            getstatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.$assertionsDisabled:Z
            ifne 3
            aload 1 /* restrictedClass */
            invokevirtual java.lang.Class.isInterface:()Z
            ifeq 3
            aload 1 /* restrictedClass */
            invokestatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.isTrustedInterface:(Ljava/lang/Class;)Z
            ifne 3
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         3: .line 69
      StackMap locals: org.graalvm.compiler.core.test.VerifyUsageWithEquals java.lang.Class
      StackMap stack:
            return
        end local 1 // java.lang.Class restrictedClass
        end local 0 // org.graalvm.compiler.core.test.VerifyUsageWithEquals this
      LocalVariableTable:
        Start  End  Slot             Name  Signature
            0    4     0             this  Lorg/graalvm/compiler/core/test/VerifyUsageWithEquals;
            0    4     1  restrictedClass  Ljava/lang/Class<*>;
    Signature: (Ljava/lang/Class<*>;)V
    MethodParameters:
                 Name  Flags
      restrictedClass  

  private static boolean isTrustedInterface(java.lang.Class<?>);
    descriptor: (Ljava/lang/Class;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=5, args_size=1
        start local 0 // java.lang.Class cls
         0: .line 74
            getstatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.trustedInterfaceTypes:[Ljava/lang/Class;
            dup
            astore 4
            arraylength
            istore 3
            iconst_0
            istore 2
            goto 5
      StackMap locals: java.lang.Class top int int java.lang.Class[]
      StackMap stack:
         1: aload 4
            iload 2
            aaload
            astore 1 /* trusted */
        start local 1 // java.lang.Class trusted
         2: .line 75
            aload 1 /* trusted */
            aload 0 /* cls */
            invokevirtual java.lang.Class.isAssignableFrom:(Ljava/lang/Class;)Z
            ifeq 4
         3: .line 76
            iconst_1
            ireturn
        end local 1 // java.lang.Class trusted
         4: .line 74
      StackMap locals:
      StackMap stack:
            iinc 2 1
      StackMap locals:
      StackMap stack:
         5: iload 2
            iload 3
            if_icmplt 1
         6: .line 79
            iconst_0
            ireturn
        end local 0 // java.lang.Class cls
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    7     0      cls  Ljava/lang/Class<*>;
            2    4     1  trusted  Ljava/lang/Class<*>;
    Signature: (Ljava/lang/Class<*>;)Z
    MethodParameters:
      Name  Flags
      cls   

  private boolean isAssignableToRestrictedType(org.graalvm.compiler.nodes.ValueNode, jdk.vm.ci.meta.MetaAccessProvider);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Ljdk/vm/ci/meta/MetaAccessProvider;)Z
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=6, args_size=3
        start local 0 // org.graalvm.compiler.core.test.VerifyUsageWithEquals this
        start local 1 // org.graalvm.compiler.nodes.ValueNode node
        start local 2 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
         0: .line 86
            aload 1 /* node */
            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;
            instanceof org.graalvm.compiler.core.common.type.ObjectStamp
            ifeq 12
         1: .line 87
            aload 2 /* metaAccess */
            aload 0 /* this */
            getfield org.graalvm.compiler.core.test.VerifyUsageWithEquals.restrictedClass:Ljava/lang/Class;
            invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 3 /* restrictedType */
        start local 3 // jdk.vm.ci.meta.ResolvedJavaType restrictedType
         2: .line 88
            aload 1 /* node */
            invokestatic org.graalvm.compiler.nodes.type.StampTool.typeOrNull:(Lorg/graalvm/compiler/nodes/ValueNode;)Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 4 /* nodeType */
        start local 4 // jdk.vm.ci.meta.ResolvedJavaType nodeType
         3: .line 89
            aload 4 /* nodeType */
            ifnonnull 5
            aload 1 /* node */
            instanceof org.graalvm.compiler.nodes.java.LoadFieldNode
            ifeq 5
         4: .line 90
            aload 1 /* node */
            checkcast org.graalvm.compiler.nodes.java.LoadFieldNode
            invokevirtual org.graalvm.compiler.nodes.java.LoadFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaField.getType:()Ljdk/vm/ci/meta/JavaType;
            checkcast jdk.vm.ci.meta.ResolvedJavaType
            astore 4 /* nodeType */
         5: .line 92
      StackMap locals: jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            aload 4 /* nodeType */
            ifnonnull 8
            aload 1 /* node */
            instanceof org.graalvm.compiler.nodes.Invoke
            ifeq 8
         6: .line 93
            aload 1 /* node */
            checkcast org.graalvm.compiler.nodes.Invoke
            invokeinterface org.graalvm.compiler.nodes.Invoke.callTarget:()Lorg/graalvm/compiler/nodes/CallTargetNode;
            invokevirtual org.graalvm.compiler.nodes.CallTargetNode.targetMethod:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            astore 5 /* target */
        start local 5 // jdk.vm.ci.meta.ResolvedJavaMethod target
         7: .line 94
            aload 5 /* target */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getSignature:()Ljdk/vm/ci/meta/Signature;
            aload 5 /* target */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
            invokeinterface jdk.vm.ci.meta.Signature.getReturnType:(Ljdk/vm/ci/meta/ResolvedJavaType;)Ljdk/vm/ci/meta/JavaType;
            checkcast jdk.vm.ci.meta.ResolvedJavaType
            astore 4 /* nodeType */
        end local 5 // jdk.vm.ci.meta.ResolvedJavaMethod target
         8: .line 96
      StackMap locals:
      StackMap stack:
            aload 4 /* nodeType */
            ifnonnull 10
            aload 1 /* node */
            instanceof org.graalvm.compiler.nodes.spi.UncheckedInterfaceProvider
            ifeq 10
         9: .line 97
            aload 1 /* node */
            checkcast org.graalvm.compiler.nodes.spi.UncheckedInterfaceProvider
            invokeinterface org.graalvm.compiler.nodes.spi.UncheckedInterfaceProvider.uncheckedStamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            invokestatic org.graalvm.compiler.nodes.type.StampTool.typeOrNull:(Lorg/graalvm/compiler/core/common/type/Stamp;)Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 4 /* nodeType */
        10: .line 100
      StackMap locals:
      StackMap stack:
            aload 4 /* nodeType */
            ifnull 12
            aload 3 /* restrictedType */
            aload 4 /* nodeType */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isAssignableFrom:(Ljdk/vm/ci/meta/ResolvedJavaType;)Z
            ifeq 12
        11: .line 101
            iconst_1
            ireturn
        end local 4 // jdk.vm.ci.meta.ResolvedJavaType nodeType
        end local 3 // jdk.vm.ci.meta.ResolvedJavaType restrictedType
        12: .line 104
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        end local 2 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        end local 1 // org.graalvm.compiler.nodes.ValueNode node
        end local 0 // org.graalvm.compiler.core.test.VerifyUsageWithEquals this
      LocalVariableTable:
        Start  End  Slot            Name  Signature
            0   13     0            this  Lorg/graalvm/compiler/core/test/VerifyUsageWithEquals;
            0   13     1            node  Lorg/graalvm/compiler/nodes/ValueNode;
            0   13     2      metaAccess  Ljdk/vm/ci/meta/MetaAccessProvider;
            2   12     3  restrictedType  Ljdk/vm/ci/meta/ResolvedJavaType;
            3   12     4        nodeType  Ljdk/vm/ci/meta/ResolvedJavaType;
            7    8     5          target  Ljdk/vm/ci/meta/ResolvedJavaMethod;
    MethodParameters:
            Name  Flags
      node        
      metaAccess  

  private static boolean isNullConstant(org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.nodes.ValueNode node
         0: .line 108
            aload 0 /* node */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 1
            aload 0 /* node */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isNullConstant:()Z
            ifeq 1
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         1: iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.nodes.ValueNode node
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  node  Lorg/graalvm/compiler/nodes/ValueNode;
    MethodParameters:
      Name  Flags
      node  

  private static boolean isEqualsMethod(jdk.vm.ci.meta.ResolvedJavaMethod);
    descriptor: (Ljdk/vm/ci/meta/ResolvedJavaMethod;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=3, locals=3, args_size=1
        start local 0 // jdk.vm.ci.meta.ResolvedJavaMethod method
         0: .line 112
            aload 0 /* method */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getName:()Ljava/lang/String;
            ldc "equals"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifeq 7
         1: .line 113
            aload 0 /* method */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getSignature:()Ljdk/vm/ci/meta/Signature;
            astore 1 /* sig */
        start local 1 // jdk.vm.ci.meta.Signature sig
         2: .line 114
            aload 1 /* sig */
            invokeinterface jdk.vm.ci.meta.Signature.getReturnKind:()Ljdk/vm/ci/meta/JavaKind;
            getstatic jdk.vm.ci.meta.JavaKind.Boolean:Ljdk/vm/ci/meta/JavaKind;
            if_acmpne 7
         3: .line 115
            aload 1 /* sig */
            iconst_0
            invokeinterface jdk.vm.ci.meta.Signature.getParameterCount:(Z)I
            iconst_1
            if_icmpne 7
         4: .line 116
            aload 1 /* sig */
            iconst_0
            aload 0 /* method */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
            invokeinterface jdk.vm.ci.meta.Signature.getParameterType:(ILjdk/vm/ci/meta/ResolvedJavaType;)Ljdk/vm/ci/meta/JavaType;
            checkcast jdk.vm.ci.meta.ResolvedJavaType
            astore 2 /* ptype */
        start local 2 // jdk.vm.ci.meta.ResolvedJavaType ptype
         5: .line 117
            aload 2 /* ptype */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isJavaLangObject:()Z
            ifeq 7
         6: .line 118
            iconst_1
            ireturn
        end local 2 // jdk.vm.ci.meta.ResolvedJavaType ptype
        end local 1 // jdk.vm.ci.meta.Signature sig
         7: .line 124
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        end local 0 // jdk.vm.ci.meta.ResolvedJavaMethod method
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0    8     0  method  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            2    7     1     sig  Ljdk/vm/ci/meta/Signature;
            5    7     2   ptype  Ljdk/vm/ci/meta/ResolvedJavaType;
    MethodParameters:
        Name  Flags
      method  

  private static boolean isThisParameter(org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.nodes.ValueNode node
         0: .line 128
            aload 0 /* node */
            instanceof org.graalvm.compiler.nodes.ParameterNode
            ifeq 1
            aload 0 /* node */
            checkcast org.graalvm.compiler.nodes.ParameterNode
            invokevirtual org.graalvm.compiler.nodes.ParameterNode.index:()I
            ifne 1
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         1: iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.nodes.ValueNode node
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  node  Lorg/graalvm/compiler/nodes/ValueNode;
    MethodParameters:
      Name  Flags
      node  

  private boolean isIllegalUsage(jdk.vm.ci.meta.ResolvedJavaMethod, org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode, jdk.vm.ci.meta.MetaAccessProvider);
    descriptor: (Ljdk/vm/ci/meta/ResolvedJavaMethod;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Ljdk/vm/ci/meta/MetaAccessProvider;)Z
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=5, args_size=5
        start local 0 // org.graalvm.compiler.core.test.VerifyUsageWithEquals this
        start local 1 // jdk.vm.ci.meta.ResolvedJavaMethod method
        start local 2 // org.graalvm.compiler.nodes.ValueNode x
        start local 3 // org.graalvm.compiler.nodes.ValueNode y
        start local 4 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
         0: .line 136
            aload 0 /* this */
            aload 2 /* x */
            aload 4 /* metaAccess */
            invokevirtual org.graalvm.compiler.core.test.VerifyUsageWithEquals.isAssignableToRestrictedType:(Lorg/graalvm/compiler/nodes/ValueNode;Ljdk/vm/ci/meta/MetaAccessProvider;)Z
            ifeq 5
            aload 3 /* y */
            invokestatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.isNullConstant:(Lorg/graalvm/compiler/nodes/ValueNode;)Z
            ifne 5
         1: .line 137
            aload 1 /* method */
            invokestatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.isEqualsMethod:(Ljdk/vm/ci/meta/ResolvedJavaMethod;)Z
            ifeq 2
            aload 2 /* x */
            invokestatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.isThisParameter:(Lorg/graalvm/compiler/nodes/ValueNode;)Z
            ifne 3
      StackMap locals:
      StackMap stack:
         2: aload 3 /* y */
            invokestatic org.graalvm.compiler.core.test.VerifyUsageWithEquals.isThisParameter:(Lorg/graalvm/compiler/nodes/ValueNode;)Z
            ifeq 4
         3: .line 138
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
         4: .line 140
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
         5: .line 142
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        end local 4 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        end local 3 // org.graalvm.compiler.nodes.ValueNode y
        end local 2 // org.graalvm.compiler.nodes.ValueNode x
        end local 1 // jdk.vm.ci.meta.ResolvedJavaMethod method
        end local 0 // org.graalvm.compiler.core.test.VerifyUsageWithEquals this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    6     0        this  Lorg/graalvm/compiler/core/test/VerifyUsageWithEquals;
            0    6     1      method  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            0    6     2           x  Lorg/graalvm/compiler/nodes/ValueNode;
            0    6     3           y  Lorg/graalvm/compiler/nodes/ValueNode;
            0    6     4  metaAccess  Ljdk/vm/ci/meta/MetaAccessProvider;
    MethodParameters:
            Name  Flags
      method      
      x           
      y           
      metaAccess  

  protected void verify(org.graalvm.compiler.nodes.StructuredGraph, org.graalvm.compiler.nodes.spi.CoreProviders);
    descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/compiler/nodes/spi/CoreProviders;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=5, locals=7, args_size=3
        start local 0 // org.graalvm.compiler.core.test.VerifyUsageWithEquals this
        start local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        start local 2 // org.graalvm.compiler.nodes.spi.CoreProviders context
         0: .line 147
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.getNodes:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            ldc Lorg/graalvm/compiler/nodes/calc/ObjectEqualsNode;
            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 4
            goto 9
      StackMap locals: org.graalvm.compiler.core.test.VerifyUsageWithEquals org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.nodes.spi.CoreProviders top java.util.Iterator
      StackMap stack:
         1: aload 4
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.nodes.calc.ObjectEqualsNode
            astore 3 /* cn */
        start local 3 // org.graalvm.compiler.nodes.calc.ObjectEqualsNode cn
         2: .line 149
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
            astore 5 /* method */
        start local 5 // jdk.vm.ci.meta.ResolvedJavaMethod method
         3: .line 150
            aload 2 /* context */
            invokeinterface org.graalvm.compiler.nodes.spi.CoreProviders.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
            aload 0 /* this */
            getfield org.graalvm.compiler.core.test.VerifyUsageWithEquals.restrictedClass:Ljava/lang/Class;
            invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
            astore 6 /* restrictedType */
        start local 6 // jdk.vm.ci.meta.ResolvedJavaType restrictedType
         4: .line 152
            aload 5 /* method */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
            aload 6 /* restrictedType */
            invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
            ifne 9
         5: .line 154
            aload 0 /* this */
            aload 5 /* method */
            aload 3 /* cn */
            invokevirtual org.graalvm.compiler.nodes.calc.ObjectEqualsNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 3 /* cn */
            invokevirtual org.graalvm.compiler.nodes.calc.ObjectEqualsNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 2 /* context */
            invokeinterface org.graalvm.compiler.nodes.spi.CoreProviders.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
            invokevirtual org.graalvm.compiler.core.test.VerifyUsageWithEquals.isIllegalUsage:(Ljdk/vm/ci/meta/ResolvedJavaMethod;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Ljdk/vm/ci/meta/MetaAccessProvider;)Z
            ifne 6
            aload 0 /* this */
            aload 5 /* method */
            aload 3 /* cn */
            invokevirtual org.graalvm.compiler.nodes.calc.ObjectEqualsNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 3 /* cn */
            invokevirtual org.graalvm.compiler.nodes.calc.ObjectEqualsNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 2 /* context */
            invokeinterface org.graalvm.compiler.nodes.spi.CoreProviders.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
            invokevirtual org.graalvm.compiler.core.test.VerifyUsageWithEquals.isIllegalUsage:(Ljdk/vm/ci/meta/ResolvedJavaMethod;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Ljdk/vm/ci/meta/MetaAccessProvider;)Z
            ifeq 9
         6: .line 155
      StackMap locals: org.graalvm.compiler.core.test.VerifyUsageWithEquals org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.nodes.spi.CoreProviders org.graalvm.compiler.nodes.calc.ObjectEqualsNode java.util.Iterator jdk.vm.ci.meta.ResolvedJavaMethod jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            new org.graalvm.compiler.phases.VerifyPhase$VerificationError
            dup
            new java.lang.StringBuilder
            dup
            ldc "Verification of "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            getfield org.graalvm.compiler.core.test.VerifyUsageWithEquals.restrictedClass:Ljava/lang/Class;
            invokevirtual java.lang.Class.getName:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            ldc " usage failed: Comparing "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 3 /* cn */
            invokevirtual org.graalvm.compiler.nodes.calc.ObjectEqualsNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc " and "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 3 /* cn */
            invokevirtual org.graalvm.compiler.nodes.calc.ObjectEqualsNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc " in "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 5 /* method */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
         7: .line 156
            ldc " must use .equals() for object equality, not '==' or '!='"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
         8: .line 155
            invokespecial org.graalvm.compiler.phases.VerifyPhase$VerificationError.<init>:(Ljava/lang/String;)V
            athrow
        end local 6 // jdk.vm.ci.meta.ResolvedJavaType restrictedType
        end local 5 // jdk.vm.ci.meta.ResolvedJavaMethod method
        end local 3 // org.graalvm.compiler.nodes.calc.ObjectEqualsNode cn
         9: .line 147
      StackMap locals: org.graalvm.compiler.core.test.VerifyUsageWithEquals org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.nodes.spi.CoreProviders top java.util.Iterator
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
        10: .line 159
            return
        end local 2 // org.graalvm.compiler.nodes.spi.CoreProviders context
        end local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 0 // org.graalvm.compiler.core.test.VerifyUsageWithEquals this
      LocalVariableTable:
        Start  End  Slot            Name  Signature
            0   11     0            this  Lorg/graalvm/compiler/core/test/VerifyUsageWithEquals;
            0   11     1           graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            0   11     2         context  Lorg/graalvm/compiler/nodes/spi/CoreProviders;
            2    9     3              cn  Lorg/graalvm/compiler/nodes/calc/ObjectEqualsNode;
            3    9     5          method  Ljdk/vm/ci/meta/ResolvedJavaMethod;
            4    9     6  restrictedType  Ljdk/vm/ci/meta/ResolvedJavaType;
    MethodParameters:
         Name  Flags
      graph    
      context  

  protected void verify(org.graalvm.compiler.nodes.StructuredGraph, java.lang.Object);
    descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
    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.nodes.spi.CoreProviders
            invokevirtual org.graalvm.compiler.core.test.VerifyUsageWithEquals.verify:(Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/compiler/nodes/spi/CoreProviders;)V
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature
}
Signature: Lorg/graalvm/compiler/phases/VerifyPhase<Lorg/graalvm/compiler/nodes/spi/CoreProviders;>;
SourceFile: "VerifyUsageWithEquals.java"
InnerClasses:
  public VerificationError = org.graalvm.compiler.phases.VerifyPhase$VerificationError of org.graalvm.compiler.phases.VerifyPhase