public class org.graalvm.compiler.core.test.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.core.test.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: iconst_3
anewarray java.lang.Class
dup
iconst_0
1: ldc Lorg/graalvm/compiler/lir/StandardOp$MoveOp;
aastore
dup
iconst_1
2: ldc Lorg/graalvm/compiler/lir/StandardOp$ValueMoveOp;
aastore
dup
iconst_2
3: ldc Lorg/graalvm/compiler/lir/StandardOp$LoadConstantOp;
aastore
4: putstatic org.graalvm.compiler.core.test.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
5: 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 0: aload 0
invokespecial org.graalvm.compiler.phases.VerifyPhase.<init>:()V
return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/core/test/VerifyInstanceOfUsage;
public boolean checkContract();
descriptor: ()Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: iconst_0
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/core/test/VerifyInstanceOfUsage;
protected void verify(org.graalvm.compiler.nodes.StructuredGraph, org.graalvm.compiler.phases.tiers.PhaseContext);
descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/compiler/phases/tiers/PhaseContext;)V
flags: (0x0004) ACC_PROTECTED
Code:
stack=8, locals=15, args_size=3
start local 0 start local 1 start local 2 0: getstatic org.graalvm.compiler.core.test.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
arraylength
anewarray jdk.vm.ci.meta.ResolvedJavaType
astore 3
start local 3 1: iconst_0
istore 4
start local 4 2: goto 5
3: StackMap locals: jdk.vm.ci.meta.ResolvedJavaType[] int
StackMap stack:
aload 3
iload 4
aload 2
invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
getstatic org.graalvm.compiler.core.test.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
iload 4
aaload
invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
aastore
4: iinc 4 1
StackMap locals:
StackMap stack:
5: iload 4
getstatic org.graalvm.compiler.core.test.VerifyInstanceOfUsage.FORBIDDEN_INSTANCE_OF_CHECKS:[Ljava/lang/Class;
arraylength
if_icmplt 3
end local 4 6: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
astore 4
start local 4 7: aload 4
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
astore 5
start local 5 8: aload 5
aload 2
invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
invokestatic org.graalvm.compiler.core.test.VerifyInstanceOfUsage.isTrustedInterface:(Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/MetaAccessProvider;)Z
ifne 23
9: aload 1
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.core.test.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
start local 6 11: aload 6
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
start local 8 12: aload 3
dup
astore 12
arraylength
istore 11
iconst_0
istore 10
goto 21
StackMap locals: org.graalvm.compiler.core.test.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
start local 9 14: aload 9
aload 8
invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
ifeq 20
15: aload 9
invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getUnqualifiedName:()Ljava/lang/String;
astore 13
start local 13 16: aload 9
invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getEnclosingType:()Ljdk/vm/ci/meta/ResolvedJavaType;
astore 14
start local 14 17: aload 14
ifnull 19
18: aload 13
aload 14
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
19: StackMap locals: org.graalvm.compiler.core.test.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
aastore
dup
iconst_1
aload 13
aastore
dup
iconst_2
aload 13
aastore
dup
iconst_3
aload 4
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 end local 13 end local 9 20: StackMap locals: org.graalvm.compiler.core.test.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 end local 6 22: StackMap locals: org.graalvm.compiler.core.test.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: StackMap locals: org.graalvm.compiler.core.test.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:
return
end local 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 24 0 this Lorg/graalvm/compiler/core/test/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 start local 1 0: getstatic org.graalvm.compiler.core.test.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
start local 2 2: aload 1
aload 2
invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
astore 6
start local 6 3: aload 6
aload 0
invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
ifeq 5
4: iconst_1
ireturn
end local 6 end local 2 5: StackMap locals:
StackMap stack:
iinc 3 1
StackMap locals:
StackMap stack:
6: iload 3
iload 4
if_icmplt 1
7: iconst_0
ireturn
end local 1 end local 0 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 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: aload 0
aload 1
aload 2
checkcast org.graalvm.compiler.phases.tiers.PhaseContext
invokevirtual org.graalvm.compiler.core.test.VerifyInstanceOfUsage.verify:(Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/compiler/phases/tiers/PhaseContext;)V
return
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