public final class org.graalvm.compiler.phases.schedule.MemoryScheduleVerification extends org.graalvm.compiler.phases.graph.ReentrantBlockIterator$BlockIteratorClosure<jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode>>
minor version: 0
major version: 59
flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
this_class: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification
super_class: org.graalvm.compiler.phases.graph.ReentrantBlockIterator$BlockIteratorClosure
{
private final org.graalvm.compiler.core.common.cfg.BlockMap<java.util.List<org.graalvm.compiler.graph.Node>> blockToNodesMap;
descriptor: Lorg/graalvm/compiler/core/common/cfg/BlockMap;
flags: (0x0012) ACC_PRIVATE, ACC_FINAL
Signature: Lorg/graalvm/compiler/core/common/cfg/BlockMap<Ljava/util/List<Lorg/graalvm/compiler/graph/Node;>;>;
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=1, locals=0, args_size=0
0: ldc Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
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.phases.schedule.MemoryScheduleVerification.$assertionsDisabled:Z
return
LocalVariableTable:
Start End Slot Name Signature
public static boolean check(org.graalvm.compiler.nodes.cfg.Block, org.graalvm.compiler.core.common.cfg.BlockMap<java.util.List<org.graalvm.compiler.graph.Node>>);
descriptor: (Lorg/graalvm/compiler/nodes/cfg/Block;Lorg/graalvm/compiler/core/common/cfg/BlockMap;)Z
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=3, locals=2, args_size=2
start local 0 start local 1 0: new org.graalvm.compiler.phases.schedule.MemoryScheduleVerification
dup
aload 1
invokespecial org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.<init>:(Lorg/graalvm/compiler/core/common/cfg/BlockMap;)V
aload 0
invokestatic org.graalvm.compiler.phases.graph.ReentrantBlockIterator.apply:(Lorg/graalvm/compiler/phases/graph/ReentrantBlockIterator$BlockIteratorClosure;Lorg/graalvm/compiler/nodes/cfg/Block;)V
1: iconst_1
ireturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 startBlock Lorg/graalvm/compiler/nodes/cfg/Block;
0 2 1 blockToNodesMap Lorg/graalvm/compiler/core/common/cfg/BlockMap<Ljava/util/List<Lorg/graalvm/compiler/graph/Node;>;>;
Signature: (Lorg/graalvm/compiler/nodes/cfg/Block;Lorg/graalvm/compiler/core/common/cfg/BlockMap<Ljava/util/List<Lorg/graalvm/compiler/graph/Node;>;>;)Z
MethodParameters:
Name Flags
startBlock
blockToNodesMap
private void <init>(org.graalvm.compiler.core.common.cfg.BlockMap<java.util.List<org.graalvm.compiler.graph.Node>>);
descriptor: (Lorg/graalvm/compiler/core/common/cfg/BlockMap;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 0
invokespecial org.graalvm.compiler.phases.graph.ReentrantBlockIterator$BlockIteratorClosure.<init>:()V
1: aload 0
aload 1
putfield org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.blockToNodesMap:Lorg/graalvm/compiler/core/common/cfg/BlockMap;
2: return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
0 3 1 blockToNodesMap Lorg/graalvm/compiler/core/common/cfg/BlockMap<Ljava/util/List<Lorg/graalvm/compiler/graph/Node;>;>;
Signature: (Lorg/graalvm/compiler/core/common/cfg/BlockMap<Ljava/util/List<Lorg/graalvm/compiler/graph/Node;>;>;)V
MethodParameters:
Name Flags
blockToNodesMap
protected jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode> getInitialState();
descriptor: ()Ljdk/internal/vm/compiler/collections/EconomicSet;
flags: (0x0004) ACC_PROTECTED
Code:
stack=1, locals=1, args_size=1
start local 0 0: getstatic jdk.internal.vm.compiler.collections.Equivalence.IDENTITY:Ljdk/internal/vm/compiler/collections/Equivalence;
invokestatic jdk.internal.vm.compiler.collections.EconomicSet.create:(Ljdk/internal/vm/compiler/collections/Equivalence;)Ljdk/internal/vm/compiler/collections/EconomicSet;
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
Signature: ()Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
protected jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode> processBlock(org.graalvm.compiler.nodes.cfg.Block, jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode>);
descriptor: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljdk/internal/vm/compiler/collections/EconomicSet;)Ljdk/internal/vm/compiler/collections/EconomicSet;
flags: (0x0004) ACC_PROTECTED
Code:
stack=5, locals=11, args_size=3
start local 0 start local 1 start local 2 0: aload 1
invokevirtual org.graalvm.compiler.nodes.cfg.Block.getBeginNode:()Lorg/graalvm/compiler/nodes/AbstractBeginNode;
astore 3
start local 3 1: aload 3
instanceof org.graalvm.compiler.nodes.AbstractMergeNode
ifeq 9
2: aload 3
checkcast org.graalvm.compiler.nodes.AbstractMergeNode
astore 4
start local 4 3: aload 4
invokevirtual org.graalvm.compiler.nodes.AbstractMergeNode.phis:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.iterator:()Ljava/util/Iterator;
astore 6
goto 8
StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractMergeNode top java.util.Iterator
StackMap stack:
4: aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.PhiNode
astore 5
start local 5 5: aload 5
instanceof org.graalvm.compiler.nodes.memory.MemoryPhiNode
ifeq 8
6: aload 5
checkcast org.graalvm.compiler.nodes.memory.MemoryPhiNode
astore 7
start local 7 7: aload 2
aload 7
invokestatic org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.addFloatingReadUsages:(Ljdk/internal/vm/compiler/collections/EconomicSet;Lorg/graalvm/compiler/graph/Node;)V
end local 7 end local 5 8: StackMap locals:
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 4
end local 4 9: StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.AbstractBeginNode
StackMap stack:
aload 0
getfield org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.blockToNodesMap:Lorg/graalvm/compiler/core/common/cfg/BlockMap;
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.BlockMap.get:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/lang/Object;
checkcast java.util.List
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 5
goto 37
StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.AbstractBeginNode top java.util.Iterator
StackMap stack:
10: aload 5
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.graph.Node
astore 4
start local 4 11: aload 4
instanceof org.graalvm.compiler.nodes.memory.MemoryCheckpoint
ifeq 25
12: aload 4
instanceof org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single
ifeq 16
13: aload 4
checkcast org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single
astore 6
start local 6 14: aload 0
aload 4
aload 6
invokeinterface org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single.getLocationIdentity:()Ljdk/internal/vm/compiler/word/LocationIdentity;
aload 2
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.processLocation:(Lorg/graalvm/compiler/graph/Node;Ljdk/internal/vm/compiler/word/LocationIdentity;Ljdk/internal/vm/compiler/collections/EconomicSet;)V
end local 6 15: goto 23
StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.graph.Node java.util.Iterator
StackMap stack:
16: aload 4
instanceof org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi
ifeq 23
17: aload 4
checkcast org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi
astore 6
start local 6 18: aload 6
invokeinterface org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi.getLocationIdentities:()[Ljdk/internal/vm/compiler/word/LocationIdentity;
dup
astore 10
arraylength
istore 9
iconst_0
istore 8
goto 22
StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.graph.Node java.util.Iterator org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi top int int jdk.internal.vm.compiler.word.LocationIdentity[]
StackMap stack:
19: aload 10
iload 8
aaload
astore 7
start local 7 20: aload 0
aload 4
aload 7
aload 2
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.processLocation:(Lorg/graalvm/compiler/graph/Node;Ljdk/internal/vm/compiler/word/LocationIdentity;Ljdk/internal/vm/compiler/collections/EconomicSet;)V
end local 7 21: iinc 8 1
StackMap locals:
StackMap stack:
22: iload 8
iload 9
if_icmplt 19
end local 6 23: StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.graph.Node java.util.Iterator
StackMap stack:
aload 2
aload 4
invokestatic org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.addFloatingReadUsages:(Ljdk/internal/vm/compiler/collections/EconomicSet;Lorg/graalvm/compiler/graph/Node;)V
24: goto 37
StackMap locals:
StackMap stack:
25: aload 4
instanceof org.graalvm.compiler.nodes.memory.MemoryNode
ifeq 28
26: aload 2
aload 4
invokestatic org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.addFloatingReadUsages:(Ljdk/internal/vm/compiler/collections/EconomicSet;Lorg/graalvm/compiler/graph/Node;)V
27: goto 37
StackMap locals:
StackMap stack:
28: aload 4
instanceof org.graalvm.compiler.nodes.memory.FloatingReadNode
ifeq 37
29: aload 4
checkcast org.graalvm.compiler.nodes.memory.FloatingReadNode
astore 6
start local 6 30: aload 6
invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLastLocationAccess:()Lorg/graalvm/compiler/nodes/memory/MemoryNode;
ifnull 37
aload 6
invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLocationIdentity:()Ljdk/internal/vm/compiler/word/LocationIdentity;
invokevirtual jdk.internal.vm.compiler.word.LocationIdentity.isMutable:()Z
ifeq 37
31: aload 2
aload 6
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.contains:(Ljava/lang/Object;)Z
ifeq 34
32: aload 2
aload 6
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.remove:(Ljava/lang/Object;)V
33: goto 37
34: StackMap locals: org.graalvm.compiler.nodes.memory.FloatingReadNode
StackMap stack:
new java.lang.RuntimeException
dup
new java.lang.StringBuilder
dup
ldc "Floating read node "
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 4
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
ldc " was not found in the state, i.e., it was killed by a memory check point before its place in the schedule. Block="
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
35: aload 1
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
ldc ", block begin: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
aload 1
invokevirtual org.graalvm.compiler.nodes.cfg.Block.getBeginNode:()Lorg/graalvm/compiler/nodes/AbstractBeginNode;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
ldc " block loop: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
aload 1
invokevirtual org.graalvm.compiler.nodes.cfg.Block.getLoop:()Lorg/graalvm/compiler/core/common/cfg/Loop;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
ldc ", "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
aload 0
getfield org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.blockToNodesMap:Lorg/graalvm/compiler/core/common/cfg/BlockMap;
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.BlockMap.get:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/lang/Object;
checkcast java.util.List
iconst_0
invokeinterface java.util.List.get:(I)Ljava/lang/Object;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
36: invokespecial java.lang.RuntimeException.<init>:(Ljava/lang/String;)V
athrow
end local 6 end local 4 37: StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.AbstractBeginNode top java.util.Iterator
StackMap stack:
aload 5
invokeinterface java.util.Iterator.hasNext:()Z
ifne 10
38: aload 2
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 39 0 this Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
0 39 1 block Lorg/graalvm/compiler/nodes/cfg/Block;
0 39 2 currentState Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
1 39 3 beginNode Lorg/graalvm/compiler/nodes/AbstractBeginNode;
3 9 4 abstractMergeNode Lorg/graalvm/compiler/nodes/AbstractMergeNode;
5 8 5 phi Lorg/graalvm/compiler/nodes/PhiNode;
7 8 7 memoryPhiNode Lorg/graalvm/compiler/nodes/memory/MemoryPhiNode;
11 37 4 n Lorg/graalvm/compiler/graph/Node;
14 15 6 single Lorg/graalvm/compiler/nodes/memory/MemoryCheckpoint$Single;
18 23 6 multi Lorg/graalvm/compiler/nodes/memory/MemoryCheckpoint$Multi;
20 21 7 location Ljdk/internal/vm/compiler/word/LocationIdentity;
30 37 6 floatingReadNode Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;
Signature: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;)Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
MethodParameters:
Name Flags
block
currentState
private static void addFloatingReadUsages(jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode>, org.graalvm.compiler.graph.Node);
descriptor: (Ljdk/internal/vm/compiler/collections/EconomicSet;Lorg/graalvm/compiler/graph/Node;)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=4, args_size=2
start local 0 start local 1 0: aload 1
invokevirtual org.graalvm.compiler.graph.Node.usages:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
ldc Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;
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 3
goto 4
StackMap locals: jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.graph.Node top java.util.Iterator
StackMap stack:
1: aload 3
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.memory.FloatingReadNode
astore 2
start local 2 2: aload 2
invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLastLocationAccess:()Lorg/graalvm/compiler/nodes/memory/MemoryNode;
aload 1
if_acmpne 4
aload 2
invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLocationIdentity:()Ljdk/internal/vm/compiler/word/LocationIdentity;
invokevirtual jdk.internal.vm.compiler.word.LocationIdentity.isMutable:()Z
ifeq 4
3: aload 0
aload 2
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.add:(Ljava/lang/Object;)Z
pop
end local 2 4: StackMap locals:
StackMap stack:
aload 3
invokeinterface java.util.Iterator.hasNext:()Z
ifne 1
5: return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 6 0 currentState Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
0 6 1 n Lorg/graalvm/compiler/graph/Node;
2 4 2 read Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;
Signature: (Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;Lorg/graalvm/compiler/graph/Node;)V
MethodParameters:
Name Flags
currentState
n
private void processLocation(org.graalvm.compiler.graph.Node, jdk.internal.vm.compiler.word.LocationIdentity, jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode>);
descriptor: (Lorg/graalvm/compiler/graph/Node;Ljdk/internal/vm/compiler/word/LocationIdentity;Ljdk/internal/vm/compiler/collections/EconomicSet;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=5, locals=6, args_size=4
start local 0 start local 1 start local 2 start local 3 0: getstatic org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.$assertionsDisabled:Z
ifne 1
aload 1
ifnonnull 1
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
1: StackMap locals:
StackMap stack:
aload 2
invokevirtual jdk.internal.vm.compiler.word.LocationIdentity.isImmutable:()Z
ifeq 3
2: return
3: StackMap locals:
StackMap stack:
aload 0
aload 3
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.cloneState:(Ljdk/internal/vm/compiler/collections/EconomicSet;)Ljdk/internal/vm/compiler/collections/EconomicSet;
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.iterator:()Ljava/util/Iterator;
astore 5
goto 8
StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.graph.Node jdk.internal.vm.compiler.word.LocationIdentity jdk.internal.vm.compiler.collections.EconomicSet top java.util.Iterator
StackMap stack:
4: aload 5
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.memory.FloatingReadNode
astore 4
start local 4 5: aload 4
invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLocationIdentity:()Ljdk/internal/vm/compiler/word/LocationIdentity;
aload 2
invokevirtual jdk.internal.vm.compiler.word.LocationIdentity.overlaps:(Ljdk/internal/vm/compiler/word/LocationIdentity;)Z
ifeq 8
6: aload 4
invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getDebug:()Lorg/graalvm/compiler/debug/DebugContext;
iconst_3
ldc "%s removing %s from state"
aload 1
aload 4
invokevirtual org.graalvm.compiler.debug.DebugContext.log:(ILjava/lang/String;Ljava/lang/Object;Ljava/lang/Object;)V
7: aload 3
aload 4
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.remove:(Ljava/lang/Object;)V
end local 4 8: StackMap locals:
StackMap stack:
aload 5
invokeinterface java.util.Iterator.hasNext:()Z
ifne 4
9: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 10 0 this Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
0 10 1 n Lorg/graalvm/compiler/graph/Node;
0 10 2 location Ljdk/internal/vm/compiler/word/LocationIdentity;
0 10 3 currentState Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
5 8 4 r Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;
Signature: (Lorg/graalvm/compiler/graph/Node;Ljdk/internal/vm/compiler/word/LocationIdentity;Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;)V
MethodParameters:
Name Flags
n
location
currentState
protected jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode> merge(org.graalvm.compiler.nodes.cfg.Block, java.util.List<jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode>>);
descriptor: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/List;)Ljdk/internal/vm/compiler/collections/EconomicSet;
flags: (0x0004) ACC_PROTECTED
Code:
stack=3, locals=5, args_size=3
start local 0 start local 1 start local 2 0: aload 2
iconst_0
invokeinterface java.util.List.get:(I)Ljava/lang/Object;
checkcast jdk.internal.vm.compiler.collections.EconomicSet
astore 3
start local 3 1: iconst_1
istore 4
start local 4 2: goto 5
3: StackMap locals: jdk.internal.vm.compiler.collections.EconomicSet int
StackMap stack:
aload 3
aload 2
iload 4
invokeinterface java.util.List.get:(I)Ljava/lang/Object;
checkcast jdk.internal.vm.compiler.collections.EconomicSet
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.retainAll:(Ljdk/internal/vm/compiler/collections/EconomicSet;)V
4: iinc 4 1
StackMap locals:
StackMap stack:
5: iload 4
aload 2
invokeinterface java.util.List.size:()I
if_icmplt 3
end local 4 6: aload 3
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 7 0 this Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
0 7 1 merge Lorg/graalvm/compiler/nodes/cfg/Block;
0 7 2 states Ljava/util/List<Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;>;
1 7 3 result Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
2 6 4 i I
Signature: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/List<Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;>;)Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
MethodParameters:
Name Flags
merge
states
protected jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode> cloneState(jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode>);
descriptor: (Ljdk/internal/vm/compiler/collections/EconomicSet;)Ljdk/internal/vm/compiler/collections/EconomicSet;
flags: (0x0004) ACC_PROTECTED
Code:
stack=2, locals=3, args_size=2
start local 0 start local 1 0: getstatic jdk.internal.vm.compiler.collections.Equivalence.IDENTITY:Ljdk/internal/vm/compiler/collections/Equivalence;
invokestatic jdk.internal.vm.compiler.collections.EconomicSet.create:(Ljdk/internal/vm/compiler/collections/Equivalence;)Ljdk/internal/vm/compiler/collections/EconomicSet;
astore 2
start local 2 1: aload 1
ifnull 3
2: aload 2
aload 1
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.addAll:(Ljdk/internal/vm/compiler/collections/EconomicSet;)V
3: StackMap locals: jdk.internal.vm.compiler.collections.EconomicSet
StackMap stack:
aload 2
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
0 4 1 oldState Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
1 4 2 result Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
Signature: (Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;)Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
MethodParameters:
Name Flags
oldState
protected java.util.List<jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode>> processLoop(org.graalvm.compiler.core.common.cfg.Loop<org.graalvm.compiler.nodes.cfg.Block>, jdk.internal.vm.compiler.collections.EconomicSet<org.graalvm.compiler.nodes.memory.FloatingReadNode>);
descriptor: (Lorg/graalvm/compiler/core/common/cfg/Loop;Ljdk/internal/vm/compiler/collections/EconomicSet;)Ljava/util/List;
flags: (0x0004) ACC_PROTECTED
Code:
stack=3, locals=8, args_size=3
start local 0 start local 1 start local 2 0: aload 1
checkcast org.graalvm.compiler.nodes.cfg.HIRLoop
astore 3
start local 3 1: aload 3
invokevirtual org.graalvm.compiler.nodes.cfg.HIRLoop.getHeader:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
checkcast org.graalvm.compiler.nodes.cfg.Block
invokevirtual org.graalvm.compiler.nodes.cfg.Block.getBeginNode:()Lorg/graalvm/compiler/nodes/AbstractBeginNode;
checkcast org.graalvm.compiler.nodes.LoopBeginNode
invokevirtual org.graalvm.compiler.nodes.LoopBeginNode.memoryPhis:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.iterator:()Ljava/util/Iterator;
astore 5
goto 8
StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.core.common.cfg.Loop jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.cfg.HIRLoop top java.util.Iterator
StackMap stack:
2: aload 5
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.memory.MemoryPhiNode
astore 4
start local 4 3: aload 0
aload 2
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.cloneState:(Ljdk/internal/vm/compiler/collections/EconomicSet;)Ljdk/internal/vm/compiler/collections/EconomicSet;
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.iterator:()Ljava/util/Iterator;
astore 7
goto 7
StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.core.common.cfg.Loop jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.cfg.HIRLoop org.graalvm.compiler.nodes.memory.MemoryPhiNode java.util.Iterator top java.util.Iterator
StackMap stack:
4: aload 7
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.nodes.memory.FloatingReadNode
astore 6
start local 6 5: aload 6
invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLocationIdentity:()Ljdk/internal/vm/compiler/word/LocationIdentity;
aload 4
invokevirtual org.graalvm.compiler.nodes.memory.MemoryPhiNode.getLocationIdentity:()Ljdk/internal/vm/compiler/word/LocationIdentity;
invokevirtual jdk.internal.vm.compiler.word.LocationIdentity.overlaps:(Ljdk/internal/vm/compiler/word/LocationIdentity;)Z
ifeq 7
6: aload 2
aload 6
invokeinterface jdk.internal.vm.compiler.collections.EconomicSet.remove:(Ljava/lang/Object;)V
end local 6 7: StackMap locals:
StackMap stack:
aload 7
invokeinterface java.util.Iterator.hasNext:()Z
ifne 4
end local 4 8: StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.core.common.cfg.Loop jdk.internal.vm.compiler.collections.EconomicSet org.graalvm.compiler.nodes.cfg.HIRLoop top java.util.Iterator
StackMap stack:
aload 5
invokeinterface java.util.Iterator.hasNext:()Z
ifne 2
9: aload 0
aload 1
aload 2
invokestatic org.graalvm.compiler.phases.graph.ReentrantBlockIterator.processLoop:(Lorg/graalvm/compiler/phases/graph/ReentrantBlockIterator$BlockIteratorClosure;Lorg/graalvm/compiler/core/common/cfg/Loop;Ljava/lang/Object;)Lorg/graalvm/compiler/phases/graph/ReentrantBlockIterator$LoopInfo;
getfield org.graalvm.compiler.phases.graph.ReentrantBlockIterator$LoopInfo.exitStates:Ljava/util/List;
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 10 0 this Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
0 10 1 loop Lorg/graalvm/compiler/core/common/cfg/Loop<Lorg/graalvm/compiler/nodes/cfg/Block;>;
0 10 2 initialState Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
1 10 3 l Lorg/graalvm/compiler/nodes/cfg/HIRLoop;
3 8 4 memoryPhi Lorg/graalvm/compiler/nodes/memory/MemoryPhiNode;
5 7 6 r Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;
Signature: (Lorg/graalvm/compiler/core/common/cfg/Loop<Lorg/graalvm/compiler/nodes/cfg/Block;>;Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;)Ljava/util/List<Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;>;
MethodParameters:
Name Flags
loop
initialState
protected java.lang.Object processBlock(org.graalvm.compiler.nodes.cfg.Block, java.lang.Object);
descriptor: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/lang/Object;)Ljava/lang/Object;
flags: (0x1044) ACC_PROTECTED, ACC_BRIDGE, ACC_SYNTHETIC
Code:
stack=3, locals=3, args_size=3
0: aload 0
aload 1
aload 2
checkcast jdk.internal.vm.compiler.collections.EconomicSet
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.processBlock:(Lorg/graalvm/compiler/nodes/cfg/Block;Ljdk/internal/vm/compiler/collections/EconomicSet;)Ljdk/internal/vm/compiler/collections/EconomicSet;
areturn
LocalVariableTable:
Start End Slot Name Signature
protected java.lang.Object merge(org.graalvm.compiler.nodes.cfg.Block, java.util.List);
descriptor: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/List;)Ljava/lang/Object;
flags: (0x1044) ACC_PROTECTED, ACC_BRIDGE, ACC_SYNTHETIC
Code:
stack=3, locals=3, args_size=3
0: aload 0
aload 1
aload 2
checkcast java.util.List
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.merge:(Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/List;)Ljdk/internal/vm/compiler/collections/EconomicSet;
areturn
LocalVariableTable:
Start End Slot Name Signature
protected java.util.List processLoop(org.graalvm.compiler.core.common.cfg.Loop, java.lang.Object);
descriptor: (Lorg/graalvm/compiler/core/common/cfg/Loop;Ljava/lang/Object;)Ljava/util/List;
flags: (0x1044) ACC_PROTECTED, ACC_BRIDGE, ACC_SYNTHETIC
Code:
stack=3, locals=3, args_size=3
0: aload 0
aload 1
aload 2
checkcast jdk.internal.vm.compiler.collections.EconomicSet
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.processLoop:(Lorg/graalvm/compiler/core/common/cfg/Loop;Ljdk/internal/vm/compiler/collections/EconomicSet;)Ljava/util/List;
areturn
LocalVariableTable:
Start End Slot Name Signature
protected java.lang.Object getInitialState();
descriptor: ()Ljava/lang/Object;
flags: (0x1044) ACC_PROTECTED, ACC_BRIDGE, ACC_SYNTHETIC
Code:
stack=1, locals=1, args_size=1
0: aload 0
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.getInitialState:()Ljdk/internal/vm/compiler/collections/EconomicSet;
areturn
LocalVariableTable:
Start End Slot Name Signature
protected java.lang.Object cloneState(java.lang.Object);
descriptor: (Ljava/lang/Object;)Ljava/lang/Object;
flags: (0x1044) ACC_PROTECTED, ACC_BRIDGE, ACC_SYNTHETIC
Code:
stack=2, locals=2, args_size=2
0: aload 0
aload 1
checkcast jdk.internal.vm.compiler.collections.EconomicSet
invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.cloneState:(Ljdk/internal/vm/compiler/collections/EconomicSet;)Ljdk/internal/vm/compiler/collections/EconomicSet;
areturn
LocalVariableTable:
Start End Slot Name Signature
}
Signature: Lorg/graalvm/compiler/phases/graph/ReentrantBlockIterator$BlockIteratorClosure<Ljdk/internal/vm/compiler/collections/EconomicSet<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;>;
SourceFile: "MemoryScheduleVerification.java"
InnerClasses:
public abstract Multi = org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi of org.graalvm.compiler.nodes.memory.MemoryCheckpoint
public abstract Single = org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single of org.graalvm.compiler.nodes.memory.MemoryCheckpoint
public abstract BlockIteratorClosure = org.graalvm.compiler.phases.graph.ReentrantBlockIterator$BlockIteratorClosure of org.graalvm.compiler.phases.graph.ReentrantBlockIterator
public LoopInfo = org.graalvm.compiler.phases.graph.ReentrantBlockIterator$LoopInfo of org.graalvm.compiler.phases.graph.ReentrantBlockIterator