public class org.graalvm.compiler.phases.verify.VerifyGraphAddUsage 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.VerifyGraphAddUsage
super_class: org.graalvm.compiler.phases.VerifyPhase
{
private static final java.lang.reflect.Method ADD_OR_UNIQUE;
descriptor: Ljava/lang/reflect/Method;
flags: (0x001a) ACC_PRIVATE, ACC_STATIC, ACC_FINAL
private static final java.lang.reflect.Method CONSTRUCTOR_NEW_INSTANCE;
descriptor: Ljava/lang/reflect/Method;
flags: (0x001a) ACC_PRIVATE, ACC_STATIC, ACC_FINAL
private static final org.graalvm.util.EconomicSet<java.lang.Class<?>> ALLOWED_CLASSES;
descriptor: Lorg/graalvm/util/EconomicSet;
flags: (0x001a) ACC_PRIVATE, ACC_STATIC, ACC_FINAL
Signature: Lorg/graalvm/util/EconomicSet<Ljava/lang/Class<*>;>;
static void <clinit>();
descriptor: ()V
flags: (0x0008) ACC_STATIC
Code:
stack=6, locals=1, args_size=0
0: invokestatic org.graalvm.util.EconomicSet.create:()Lorg/graalvm/util/EconomicSet;
putstatic org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.ALLOWED_CLASSES:Lorg/graalvm/util/EconomicSet;
1: ldc Lorg/graalvm/compiler/graph/Graph;
ldc "addOrUnique"
iconst_1
anewarray java.lang.Class
dup
iconst_0
ldc Lorg/graalvm/compiler/graph/Node;
aastore
invokevirtual java.lang.Class.getDeclaredMethod:(Ljava/lang/String;[Ljava/lang/Class;)Ljava/lang/reflect/Method;
putstatic org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.ADD_OR_UNIQUE:Ljava/lang/reflect/Method;
2: ldc Ljava/lang/reflect/Constructor;
ldc "newInstance"
iconst_1
anewarray java.lang.Class
dup
iconst_0
ldc [Ljava/lang/Object;
aastore
invokevirtual java.lang.Class.getDeclaredMethod:(Ljava/lang/String;[Ljava/lang/Class;)Ljava/lang/reflect/Method;
putstatic org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.CONSTRUCTOR_NEW_INSTANCE:Ljava/lang/reflect/Method;
3: goto 6
StackMap locals:
StackMap stack: java.lang.NoSuchMethodException
4: astore 0
start local 0 5: new org.graalvm.compiler.debug.GraalError
dup
aload 0
invokespecial org.graalvm.compiler.debug.GraalError.<init>:(Ljava/lang/Throwable;)V
athrow
end local 0 6: StackMap locals:
StackMap stack:
getstatic org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.ALLOWED_CLASSES:Lorg/graalvm/util/EconomicSet;
ldc Lorg/graalvm/compiler/graph/Graph;
invokeinterface org.graalvm.util.EconomicSet.add:(Ljava/lang/Object;)Z
pop
7: getstatic org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.ALLOWED_CLASSES:Lorg/graalvm/util/EconomicSet;
ldc Lorg/graalvm/compiler/nodes/spi/LoweringProvider;
invokeinterface org.graalvm.util.EconomicSet.add:(Ljava/lang/Object;)Z
pop
8: return
LocalVariableTable:
Start End Slot Name Signature
5 6 0 e Ljava/lang/NoSuchMethodException;
Exception table:
from to target type
1 3 4 Class java.lang.NoSuchMethodException
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/phases/verify/VerifyGraphAddUsage;
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=5, locals=10, args_size=3
start local 0 start local 1 start local 2 0: iconst_0
istore 3
start local 3 1: getstatic org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.ALLOWED_CLASSES:Lorg/graalvm/util/EconomicSet;
invokeinterface org.graalvm.util.EconomicSet.iterator:()Ljava/util/Iterator;
astore 5
goto 6
StackMap locals: org.graalvm.compiler.phases.verify.VerifyGraphAddUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext int top java.util.Iterator
StackMap stack:
2: aload 5
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast java.lang.Class
astore 4
start local 4 3: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
astore 6
start local 6 4: aload 2
invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
aload 4
invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
aload 6
invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isAssignableFrom:(Ljdk/vm/ci/meta/ResolvedJavaType;)Z
ifeq 6
5: iconst_1
istore 3
end local 6 end local 4 6: StackMap locals:
StackMap stack:
aload 5
invokeinterface java.util.Iterator.hasNext:()Z
ifne 2
7: iload 3
ifne 17
8: aload 2
invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
getstatic org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.ADD_OR_UNIQUE:Ljava/lang/reflect/Method;
invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaMethod:(Ljava/lang/reflect/Executable;)Ljdk/vm/ci/meta/ResolvedJavaMethod;
astore 4
start local 4 9: aload 1
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 6
goto 16
StackMap locals: org.graalvm.compiler.phases.verify.VerifyGraphAddUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext int jdk.vm.ci.meta.ResolvedJavaMethod top java.util.Iterator
StackMap stack:
10: aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.java.MethodCallTargetNode
astore 5
start local 5 11: aload 5
invokevirtual org.graalvm.compiler.nodes.java.MethodCallTargetNode.targetMethod:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
astore 7
start local 7 12: aload 7
aload 4
invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
ifeq 16
13: aload 5
invokevirtual org.graalvm.compiler.nodes.java.MethodCallTargetNode.arguments:()Lorg/graalvm/compiler/graph/NodeInputList;
iconst_1
invokevirtual org.graalvm.compiler.graph.NodeInputList.get:(I)Lorg/graalvm/compiler/graph/Node;
checkcast org.graalvm.compiler.nodes.ValueNode
astore 8
start local 8 14: invokestatic org.graalvm.util.EconomicSet.create:()Lorg/graalvm/util/EconomicSet;
astore 9
start local 9 15: aload 0
aload 1
aload 9
aload 2
aload 8
invokevirtual org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.checkNonFactory:(Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/util/EconomicSet;Lorg/graalvm/compiler/phases/tiers/PhaseContext;Lorg/graalvm/compiler/nodes/ValueNode;)V
end local 9 end local 8 end local 7 end local 5 16: StackMap locals:
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 10
end local 4 17: StackMap locals: org.graalvm.compiler.phases.verify.VerifyGraphAddUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext int
StackMap stack:
iconst_1
ireturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 18 0 this Lorg/graalvm/compiler/phases/verify/VerifyGraphAddUsage;
0 18 1 graph Lorg/graalvm/compiler/nodes/StructuredGraph;
0 18 2 context Lorg/graalvm/compiler/phases/tiers/PhaseContext;
1 18 3 allowed Z
3 6 4 cls Ljava/lang/Class<*>;
4 6 6 declaringClass Ljdk/vm/ci/meta/ResolvedJavaType;
9 17 4 addOrUniqueMethod Ljdk/vm/ci/meta/ResolvedJavaMethod;
11 16 5 t Lorg/graalvm/compiler/nodes/java/MethodCallTargetNode;
12 16 7 callee Ljdk/vm/ci/meta/ResolvedJavaMethod;
14 16 8 nodeArgument Lorg/graalvm/compiler/nodes/ValueNode;
15 16 9 seen Lorg/graalvm/util/EconomicSet<Lorg/graalvm/compiler/graph/Node;>;
MethodParameters:
Name Flags
graph
context
private void checkNonFactory(org.graalvm.compiler.nodes.StructuredGraph, org.graalvm.util.EconomicSet<org.graalvm.compiler.graph.Node>, org.graalvm.compiler.phases.tiers.PhaseContext, org.graalvm.compiler.nodes.ValueNode);
descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/util/EconomicSet;Lorg/graalvm/compiler/phases/tiers/PhaseContext;Lorg/graalvm/compiler/nodes/ValueNode;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=7, locals=7, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 0: aload 2
aload 4
invokeinterface org.graalvm.util.EconomicSet.contains:(Ljava/lang/Object;)Z
ifeq 2
1: return
2: StackMap locals:
StackMap stack:
aload 2
aload 4
invokeinterface org.graalvm.util.EconomicSet.add:(Ljava/lang/Object;)Z
pop
3: aload 4
instanceof org.graalvm.compiler.nodes.ValuePhiNode
ifeq 9
4: aload 4
checkcast org.graalvm.compiler.nodes.ValuePhiNode
invokevirtual org.graalvm.compiler.nodes.ValuePhiNode.values:()Lorg/graalvm/compiler/graph/NodeInputList;
invokevirtual org.graalvm.compiler.graph.NodeInputList.iterator:()Ljava/util/Iterator;
astore 6
goto 7
StackMap locals: org.graalvm.compiler.phases.verify.VerifyGraphAddUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.util.EconomicSet org.graalvm.compiler.phases.tiers.PhaseContext org.graalvm.compiler.nodes.ValueNode top java.util.Iterator
StackMap stack:
5: aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.ValueNode
astore 5
start local 5 6: aload 0
aload 1
aload 2
aload 3
aload 5
invokevirtual org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.checkNonFactory:(Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/util/EconomicSet;Lorg/graalvm/compiler/phases/tiers/PhaseContext;Lorg/graalvm/compiler/nodes/ValueNode;)V
end local 5 7: StackMap locals:
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 5
8: goto 25
StackMap locals: org.graalvm.compiler.phases.verify.VerifyGraphAddUsage org.graalvm.compiler.nodes.StructuredGraph org.graalvm.util.EconomicSet org.graalvm.compiler.phases.tiers.PhaseContext org.graalvm.compiler.nodes.ValueNode
StackMap stack:
9: aload 4
instanceof org.graalvm.compiler.nodes.PiNode
ifeq 12
10: aload 0
aload 1
aload 2
aload 3
aload 4
checkcast org.graalvm.compiler.nodes.PiNode
invokevirtual org.graalvm.compiler.nodes.PiNode.object:()Lorg/graalvm/compiler/nodes/ValueNode;
invokevirtual org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.checkNonFactory:(Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/util/EconomicSet;Lorg/graalvm/compiler/phases/tiers/PhaseContext;Lorg/graalvm/compiler/nodes/ValueNode;)V
11: goto 25
StackMap locals:
StackMap stack:
12: aload 4
instanceof org.graalvm.compiler.nodes.ParameterNode
ifeq 14
13: return
14: StackMap locals:
StackMap stack:
aload 4
instanceof org.graalvm.compiler.nodes.ConstantNode
ifeq 16
15: return
16: StackMap locals:
StackMap stack:
aload 4
instanceof org.graalvm.compiler.nodes.ValueProxyNode
ifeq 19
17: aload 0
aload 1
aload 2
aload 3
aload 4
checkcast org.graalvm.compiler.nodes.ValueProxyNode
invokevirtual org.graalvm.compiler.nodes.ValueProxyNode.value:()Lorg/graalvm/compiler/nodes/ValueNode;
invokevirtual org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.checkNonFactory:(Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/util/EconomicSet;Lorg/graalvm/compiler/phases/tiers/PhaseContext;Lorg/graalvm/compiler/nodes/ValueNode;)V
18: goto 25
StackMap locals:
StackMap stack:
19: aload 4
instanceof org.graalvm.compiler.nodes.Invoke
ifeq 21
aload 4
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;
aload 3
invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
getstatic org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.CONSTRUCTOR_NEW_INSTANCE:Ljava/lang/reflect/Method;
invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaMethod:(Ljava/lang/reflect/Executable;)Ljdk/vm/ci/meta/ResolvedJavaMethod;
invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
ifeq 21
20: return
21: StackMap locals:
StackMap stack:
aload 4
instanceof org.graalvm.compiler.nodes.java.NewInstanceNode
ifne 25
22: new org.graalvm.compiler.phases.VerifyPhase$VerificationError
dup
ldc "Must add node '%s' with inputs in method '%s' of class '%s'."
iconst_3
anewarray java.lang.Object
dup
iconst_0
23: aload 4
aastore
dup
iconst_1
aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getName:()Ljava/lang/String;
aastore
dup
iconst_2
aload 1
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.getName:()Ljava/lang/String;
24: aastore
invokespecial org.graalvm.compiler.phases.VerifyPhase$VerificationError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
athrow
25: StackMap locals:
StackMap stack:
return
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 26 0 this Lorg/graalvm/compiler/phases/verify/VerifyGraphAddUsage;
0 26 1 graph Lorg/graalvm/compiler/nodes/StructuredGraph;
0 26 2 seen Lorg/graalvm/util/EconomicSet<Lorg/graalvm/compiler/graph/Node;>;
0 26 3 context Lorg/graalvm/compiler/phases/tiers/PhaseContext;
0 26 4 node Lorg/graalvm/compiler/nodes/ValueNode;
6 7 5 input Lorg/graalvm/compiler/nodes/ValueNode;
Signature: (Lorg/graalvm/compiler/nodes/StructuredGraph;Lorg/graalvm/util/EconomicSet<Lorg/graalvm/compiler/graph/Node;>;Lorg/graalvm/compiler/phases/tiers/PhaseContext;Lorg/graalvm/compiler/nodes/ValueNode;)V
MethodParameters:
Name Flags
graph
seen
context
node
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: aload 0
aload 1
aload 2
checkcast org.graalvm.compiler.phases.tiers.PhaseContext
invokevirtual org.graalvm.compiler.phases.verify.VerifyGraphAddUsage.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: "VerifyGraphAddUsage.java"
InnerClasses:
public VerificationError = org.graalvm.compiler.phases.VerifyPhase$VerificationError of org.graalvm.compiler.phases.VerifyPhase