public class org.graalvm.compiler.core.test.VerifyUpdateUsages 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.VerifyUpdateUsages
super_class: org.graalvm.compiler.phases.VerifyPhase
{
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/VerifyUpdateUsages;
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
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/core/test/VerifyUpdateUsages;
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=12, args_size=3
start local 0 start local 1 start local 2 0: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.isConstructor:()Z
ifeq 2
1: return
2: StackMap locals:
StackMap stack:
aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.getNodes:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
ldc Lorg/graalvm/compiler/nodes/java/StoreFieldNode;
invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.filter:(Ljava/lang/Class;)Lorg/graalvm/compiler/graph/iterators/NodeIterable;
invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.snapshot:()Ljava/util/List;
astore 3
start local 3 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 4
start local 4 4: aload 2
invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
ldc Lorg/graalvm/compiler/graph/NodeInputList;
invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
astore 5
start local 5 5: aconst_null
astore 6
start local 6 6: aconst_null
astore 7
start local 7 7: aload 3
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 9
goto 21
StackMap locals: org.graalvm.compiler.core.test.VerifyUpdateUsages org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext java.util.List jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode top java.util.Iterator
StackMap stack:
8: aload 9
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.java.StoreFieldNode
astore 8
start local 8 9: aload 0
aload 8
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
aload 4
aload 5
invokevirtual org.graalvm.compiler.core.test.VerifyUpdateUsages.isNodeInput:(Ljdk/vm/ci/meta/ResolvedJavaField;Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/ResolvedJavaType;)Z
ifeq 21
10: aload 6
ifnonnull 13
11: aload 8
astore 6
12: goto 21
StackMap locals: org.graalvm.compiler.core.test.VerifyUpdateUsages org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext java.util.List jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode java.util.Iterator
StackMap stack:
13: aload 7
ifnonnull 16
14: aload 8
astore 7
15: goto 21
16: StackMap locals:
StackMap stack:
new org.graalvm.compiler.phases.VerifyPhase$VerificationError
dup
ldc "More than 2 stores to %s or %s fields found in %s"
iconst_3
anewarray java.lang.Object
dup
iconst_0
17: ldc Lorg/graalvm/compiler/graph/Node$Input;
invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
aastore
dup
iconst_1
18: ldc Lorg/graalvm/compiler/graph/Node$OptionalInput;
invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
aastore
dup
iconst_2
19: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
ldc "%H.%n(%p)"
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.format:(Ljava/lang/String;)Ljava/lang/String;
20: aastore
invokespecial org.graalvm.compiler.phases.VerifyPhase$VerificationError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
athrow
end local 8 21: StackMap locals: org.graalvm.compiler.core.test.VerifyUpdateUsages org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext java.util.List jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode top java.util.Iterator
StackMap stack:
aload 9
invokeinterface java.util.Iterator.hasNext:()Z
ifne 8
22: aload 6
ifnonnull 24
23: return
24: StackMap locals: org.graalvm.compiler.core.test.VerifyUpdateUsages org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext java.util.List jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode
StackMap stack:
aload 7
ifnonnull 38
25: aload 2
invokevirtual org.graalvm.compiler.phases.tiers.PhaseContext.getMetaAccess:()Ljdk/vm/ci/meta/MetaAccessProvider;
ldc Lorg/graalvm/compiler/graph/Node;
invokeinterface jdk.vm.ci.meta.MetaAccessProvider.lookupJavaType:(Ljava/lang/Class;)Ljdk/vm/ci/meta/ResolvedJavaType;
astore 8
start local 8 26: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.getNodes:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
ldc Lorg/graalvm/compiler/nodes/java/MethodCallTargetNode;
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 10
goto 31
StackMap locals: org.graalvm.compiler.core.test.VerifyUpdateUsages org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext java.util.List jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode jdk.vm.ci.meta.ResolvedJavaType top java.util.Iterator
StackMap stack:
27: aload 10
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.java.MethodCallTargetNode
astore 9
start local 9 28: aload 9
invokevirtual org.graalvm.compiler.nodes.java.MethodCallTargetNode.targetMethod:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
astore 11
start local 11 29: aload 11
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
aload 8
invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
ifeq 31
aload 11
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getName:()Ljava/lang/String;
ldc "updateUsages"
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ifne 30
aload 11
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getName:()Ljava/lang/String;
ldc "updateUsagesInterface"
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ifeq 31
30: StackMap locals: org.graalvm.compiler.core.test.VerifyUpdateUsages org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext java.util.List jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.MethodCallTargetNode java.util.Iterator jdk.vm.ci.meta.ResolvedJavaMethod
StackMap stack:
return
end local 11 end local 9 31: StackMap locals: org.graalvm.compiler.core.test.VerifyUpdateUsages org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext java.util.List jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode jdk.vm.ci.meta.ResolvedJavaType top java.util.Iterator
StackMap stack:
aload 10
invokeinterface java.util.Iterator.hasNext:()Z
ifne 27
32: new org.graalvm.compiler.phases.VerifyPhase$VerificationError
dup
ldc "%s updates field '%s' without calling %s.updateUsages() or %s.updateUsagesInterface()"
iconst_4
anewarray java.lang.Object
dup
iconst_0
33: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
ldc "%H.%n(%p)"
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.format:(Ljava/lang/String;)Ljava/lang/String;
aastore
dup
iconst_1
34: aload 6
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
invokeinterface jdk.vm.ci.meta.ResolvedJavaField.getName:()Ljava/lang/String;
aastore
dup
iconst_2
35: ldc Lorg/graalvm/compiler/graph/Node;
invokevirtual java.lang.Class.getName:()Ljava/lang/String;
aastore
dup
iconst_3
36: ldc Lorg/graalvm/compiler/graph/Node;
invokevirtual java.lang.Class.getName:()Ljava/lang/String;
37: aastore
invokespecial org.graalvm.compiler.phases.VerifyPhase$VerificationError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
athrow
end local 8 38: StackMap locals: org.graalvm.compiler.core.test.VerifyUpdateUsages org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.phases.tiers.PhaseContext java.util.List jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType org.graalvm.compiler.nodes.java.StoreFieldNode org.graalvm.compiler.nodes.java.StoreFieldNode
StackMap stack:
aload 6
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.value:()Lorg/graalvm/compiler/nodes/ValueNode;
instanceof org.graalvm.compiler.nodes.java.LoadFieldNode
ifeq 47
aload 7
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.value:()Lorg/graalvm/compiler/nodes/ValueNode;
instanceof org.graalvm.compiler.nodes.java.LoadFieldNode
ifeq 47
39: aload 6
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.value:()Lorg/graalvm/compiler/nodes/ValueNode;
checkcast org.graalvm.compiler.nodes.java.LoadFieldNode
astore 8
start local 8 40: aload 7
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.value:()Lorg/graalvm/compiler/nodes/ValueNode;
checkcast org.graalvm.compiler.nodes.java.LoadFieldNode
astore 9
start local 9 41: aload 8
invokevirtual org.graalvm.compiler.nodes.java.LoadFieldNode.object:()Lorg/graalvm/compiler/nodes/ValueNode;
aload 6
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.object:()Lorg/graalvm/compiler/nodes/ValueNode;
if_acmpne 47
42: aload 9
invokevirtual org.graalvm.compiler.nodes.java.LoadFieldNode.object:()Lorg/graalvm/compiler/nodes/ValueNode;
aload 7
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.object:()Lorg/graalvm/compiler/nodes/ValueNode;
if_acmpne 47
43: aload 6
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.object:()Lorg/graalvm/compiler/nodes/ValueNode;
aload 7
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.object:()Lorg/graalvm/compiler/nodes/ValueNode;
if_acmpne 47
44: aload 8
invokevirtual org.graalvm.compiler.nodes.java.LoadFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
aload 7
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
ifeq 47
45: aload 9
invokevirtual org.graalvm.compiler.nodes.java.LoadFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
aload 6
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
ifeq 47
46: return
end local 9 end local 8 47: StackMap locals:
StackMap stack:
new org.graalvm.compiler.phases.VerifyPhase$VerificationError
dup
ldc "%s performs non-swap update to fields '%s' and '%s' without calling %s.updateUsages() or %s.updateUsagesInterface()"
iconst_5
anewarray java.lang.Object
dup
iconst_0
48: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
ldc "%H.%n(%p)"
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.format:(Ljava/lang/String;)Ljava/lang/String;
aastore
dup
iconst_1
49: aload 6
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
invokeinterface jdk.vm.ci.meta.ResolvedJavaField.getName:()Ljava/lang/String;
aastore
dup
iconst_2
50: aload 7
invokevirtual org.graalvm.compiler.nodes.java.StoreFieldNode.field:()Ljdk/vm/ci/meta/ResolvedJavaField;
invokeinterface jdk.vm.ci.meta.ResolvedJavaField.getName:()Ljava/lang/String;
aastore
dup
iconst_3
51: ldc Lorg/graalvm/compiler/graph/Node;
invokevirtual java.lang.Class.getName:()Ljava/lang/String;
aastore
dup
iconst_4
52: ldc Lorg/graalvm/compiler/graph/Node;
invokevirtual java.lang.Class.getName:()Ljava/lang/String;
53: aastore
invokespecial org.graalvm.compiler.phases.VerifyPhase$VerificationError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
athrow
end local 7 end local 6 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 54 0 this Lorg/graalvm/compiler/core/test/VerifyUpdateUsages;
0 54 1 graph Lorg/graalvm/compiler/nodes/StructuredGraph;
0 54 2 context Lorg/graalvm/compiler/phases/tiers/PhaseContext;
3 54 3 stores Ljava/util/List<Lorg/graalvm/compiler/nodes/java/StoreFieldNode;>;
4 54 4 declaringClass Ljdk/vm/ci/meta/ResolvedJavaType;
5 54 5 nodeInputList Ljdk/vm/ci/meta/ResolvedJavaType;
6 54 6 storeField1 Lorg/graalvm/compiler/nodes/java/StoreFieldNode;
7 54 7 storeField2 Lorg/graalvm/compiler/nodes/java/StoreFieldNode;
9 21 8 store Lorg/graalvm/compiler/nodes/java/StoreFieldNode;
26 38 8 nodeType Ljdk/vm/ci/meta/ResolvedJavaType;
28 31 9 call Lorg/graalvm/compiler/nodes/java/MethodCallTargetNode;
29 31 11 callee Ljdk/vm/ci/meta/ResolvedJavaMethod;
40 47 8 load1 Lorg/graalvm/compiler/nodes/java/LoadFieldNode;
41 47 9 load2 Lorg/graalvm/compiler/nodes/java/LoadFieldNode;
MethodParameters:
Name Flags
graph
context
boolean isNodeInput(jdk.vm.ci.meta.ResolvedJavaField, jdk.vm.ci.meta.ResolvedJavaType, jdk.vm.ci.meta.ResolvedJavaType);
descriptor: (Ljdk/vm/ci/meta/ResolvedJavaField;Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/ResolvedJavaType;)Z
flags: (0x0000)
Code:
stack=2, locals=4, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 2
aload 1
invokeinterface jdk.vm.ci.meta.ResolvedJavaField.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isAssignableFrom:(Ljdk/vm/ci/meta/ResolvedJavaType;)Z
ifeq 3
aload 1
ldc Lorg/graalvm/compiler/graph/Node$Input;
invokeinterface jdk.vm.ci.meta.ResolvedJavaField.getAnnotation:(Ljava/lang/Class;)Ljava/lang/annotation/Annotation;
ifnonnull 1
aload 1
ldc Lorg/graalvm/compiler/graph/Node$OptionalInput;
invokeinterface jdk.vm.ci.meta.ResolvedJavaField.getAnnotation:(Ljava/lang/Class;)Ljava/lang/annotation/Annotation;
ifnull 3
1: StackMap locals:
StackMap stack:
aload 1
invokeinterface jdk.vm.ci.meta.ResolvedJavaField.getType:()Ljdk/vm/ci/meta/JavaType;
aload 3
invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
ifne 3
2: iconst_1
ireturn
StackMap locals:
StackMap stack:
3: iconst_0
ireturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/core/test/VerifyUpdateUsages;
0 4 1 field Ljdk/vm/ci/meta/ResolvedJavaField;
0 4 2 declaringClass Ljdk/vm/ci/meta/ResolvedJavaType;
0 4 3 nodeInputList Ljdk/vm/ci/meta/ResolvedJavaType;
MethodParameters:
Name Flags
field
declaringClass
nodeInputList
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.VerifyUpdateUsages.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: "VerifyUpdateUsages.java"
InnerClasses:
public abstract Input = org.graalvm.compiler.graph.Node$Input of org.graalvm.compiler.graph.Node
public abstract OptionalInput = org.graalvm.compiler.graph.Node$OptionalInput of org.graalvm.compiler.graph.Node
public VerificationError = org.graalvm.compiler.phases.VerifyPhase$VerificationError of org.graalvm.compiler.phases.VerifyPhase