java/9 : jdk.internal.vm.compiler/org/graalvm/compiler/phases/schedule/MemoryScheduleVerification.class

MemoryScheduleVerification
https://openjdk.java.net/
GPLv2 + Classpath Exception
public final class org.graalvm.compiler.phases.schedule.MemoryScheduleVerification extends org.graalvm.compiler.phases.graph.ReentrantBlockIterator$BlockIteratorClosure<java.util.Set<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: .line 46
            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 // org.graalvm.compiler.nodes.cfg.Block startBlock
        start local 1 // org.graalvm.compiler.core.common.cfg.BlockMap blockToNodesMap
         0: .line 51
            new org.graalvm.compiler.phases.schedule.MemoryScheduleVerification
            dup
            aload 1 /* blockToNodesMap */
            invokespecial org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.<init>:(Lorg/graalvm/compiler/core/common/cfg/BlockMap;)V
            aload 0 /* startBlock */
            invokestatic org.graalvm.compiler.phases.graph.ReentrantBlockIterator.apply:(Lorg/graalvm/compiler/phases/graph/ReentrantBlockIterator$BlockIteratorClosure;Lorg/graalvm/compiler/nodes/cfg/Block;)V
         1: .line 52
            iconst_1
            ireturn
        end local 1 // org.graalvm.compiler.core.common.cfg.BlockMap blockToNodesMap
        end local 0 // org.graalvm.compiler.nodes.cfg.Block startBlock
      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 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
        start local 1 // org.graalvm.compiler.core.common.cfg.BlockMap blockToNodesMap
         0: .line 55
            aload 0 /* this */
            invokespecial org.graalvm.compiler.phases.graph.ReentrantBlockIterator$BlockIteratorClosure.<init>:()V
         1: .line 56
            aload 0 /* this */
            aload 1 /* blockToNodesMap */
            putfield org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.blockToNodesMap:Lorg/graalvm/compiler/core/common/cfg/BlockMap;
         2: .line 57
            return
        end local 1 // org.graalvm.compiler.core.common.cfg.BlockMap blockToNodesMap
        end local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
      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 java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode> getInitialState();
    descriptor: ()Ljava/util/Set;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
         0: .line 61
            invokestatic org.graalvm.compiler.core.common.CollectionsFactory.newSet:()Ljava/util/Set;
            areturn
        end local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
    Signature: ()Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;

  protected java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode> processBlock(org.graalvm.compiler.nodes.cfg.Block, java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode>);
    descriptor: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/Set;)Ljava/util/Set;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=5, locals=11, args_size=3
        start local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
        start local 1 // org.graalvm.compiler.nodes.cfg.Block block
        start local 2 // java.util.Set currentState
         0: .line 66
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.nodes.cfg.Block.getBeginNode:()Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            astore 3 /* beginNode */
        start local 3 // org.graalvm.compiler.nodes.AbstractBeginNode beginNode
         1: .line 67
            aload 3 /* beginNode */
            instanceof org.graalvm.compiler.nodes.AbstractMergeNode
            ifeq 9
         2: .line 68
            aload 3 /* beginNode */
            checkcast org.graalvm.compiler.nodes.AbstractMergeNode
            astore 4 /* abstractMergeNode */
        start local 4 // org.graalvm.compiler.nodes.AbstractMergeNode abstractMergeNode
         3: .line 69
            aload 4 /* abstractMergeNode */
            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 java.util.Set 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 /* phi */
        start local 5 // org.graalvm.compiler.nodes.PhiNode phi
         5: .line 70
            aload 5 /* phi */
            instanceof org.graalvm.compiler.nodes.memory.MemoryPhiNode
            ifeq 8
         6: .line 71
            aload 5 /* phi */
            checkcast org.graalvm.compiler.nodes.memory.MemoryPhiNode
            astore 7 /* memoryPhiNode */
        start local 7 // org.graalvm.compiler.nodes.memory.MemoryPhiNode memoryPhiNode
         7: .line 72
            aload 2 /* currentState */
            aload 7 /* memoryPhiNode */
            invokestatic org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.addFloatingReadUsages:(Ljava/util/Set;Lorg/graalvm/compiler/graph/Node;)V
        end local 7 // org.graalvm.compiler.nodes.memory.MemoryPhiNode memoryPhiNode
        end local 5 // org.graalvm.compiler.nodes.PhiNode phi
         8: .line 69
      StackMap locals:
      StackMap stack:
            aload 6
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 4
        end local 4 // org.graalvm.compiler.nodes.AbstractMergeNode abstractMergeNode
         9: .line 76
      StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block java.util.Set org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.blockToNodesMap:Lorg/graalvm/compiler/core/common/cfg/BlockMap;
            aload 1 /* block */
            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 java.util.Set 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 /* n */
        start local 4 // org.graalvm.compiler.graph.Node n
        11: .line 77
            aload 4 /* n */
            instanceof org.graalvm.compiler.nodes.memory.MemoryCheckpoint
            ifeq 25
        12: .line 78
            aload 4 /* n */
            instanceof org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single
            ifeq 16
        13: .line 79
            aload 4 /* n */
            checkcast org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single
            astore 6 /* single */
        start local 6 // org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single single
        14: .line 80
            aload 0 /* this */
            aload 4 /* n */
            aload 6 /* single */
            invokeinterface org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single.getLocationIdentity:()Lorg/graalvm/compiler/core/common/LocationIdentity;
            aload 2 /* currentState */
            invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.processLocation:(Lorg/graalvm/compiler/graph/Node;Lorg/graalvm/compiler/core/common/LocationIdentity;Ljava/util/Set;)V
        end local 6 // org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Single single
        15: .line 81
            goto 23
      StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block java.util.Set org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.graph.Node java.util.Iterator
      StackMap stack:
        16: aload 4 /* n */
            instanceof org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi
            ifeq 23
        17: .line 82
            aload 4 /* n */
            checkcast org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi
            astore 6 /* multi */
        start local 6 // org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi multi
        18: .line 83
            aload 6 /* multi */
            invokeinterface org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi.getLocationIdentities:()[Lorg/graalvm/compiler/core/common/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 java.util.Set org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.graph.Node java.util.Iterator org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi top int int org.graalvm.compiler.core.common.LocationIdentity[]
      StackMap stack:
        19: aload 10
            iload 8
            aaload
            astore 7 /* location */
        start local 7 // org.graalvm.compiler.core.common.LocationIdentity location
        20: .line 84
            aload 0 /* this */
            aload 4 /* n */
            aload 7 /* location */
            aload 2 /* currentState */
            invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.processLocation:(Lorg/graalvm/compiler/graph/Node;Lorg/graalvm/compiler/core/common/LocationIdentity;Ljava/util/Set;)V
        end local 7 // org.graalvm.compiler.core.common.LocationIdentity location
        21: .line 83
            iinc 8 1
      StackMap locals:
      StackMap stack:
        22: iload 8
            iload 9
            if_icmplt 19
        end local 6 // org.graalvm.compiler.nodes.memory.MemoryCheckpoint$Multi multi
        23: .line 88
      StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block java.util.Set org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.graph.Node java.util.Iterator
      StackMap stack:
            aload 2 /* currentState */
            aload 4 /* n */
            invokestatic org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.addFloatingReadUsages:(Ljava/util/Set;Lorg/graalvm/compiler/graph/Node;)V
        24: .line 89
            goto 37
      StackMap locals:
      StackMap stack:
        25: aload 4 /* n */
            instanceof org.graalvm.compiler.nodes.memory.MemoryNode
            ifeq 28
        26: .line 90
            aload 2 /* currentState */
            aload 4 /* n */
            invokestatic org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.addFloatingReadUsages:(Ljava/util/Set;Lorg/graalvm/compiler/graph/Node;)V
        27: .line 91
            goto 37
      StackMap locals:
      StackMap stack:
        28: aload 4 /* n */
            instanceof org.graalvm.compiler.nodes.memory.FloatingReadNode
            ifeq 37
        29: .line 92
            aload 4 /* n */
            checkcast org.graalvm.compiler.nodes.memory.FloatingReadNode
            astore 6 /* floatingReadNode */
        start local 6 // org.graalvm.compiler.nodes.memory.FloatingReadNode floatingReadNode
        30: .line 93
            aload 6 /* floatingReadNode */
            invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLastLocationAccess:()Lorg/graalvm/compiler/nodes/memory/MemoryNode;
            ifnull 37
            aload 6 /* floatingReadNode */
            invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLocationIdentity:()Lorg/graalvm/compiler/core/common/LocationIdentity;
            invokevirtual org.graalvm.compiler.core.common.LocationIdentity.isMutable:()Z
            ifeq 37
        31: .line 94
            aload 2 /* currentState */
            aload 6 /* floatingReadNode */
            invokeinterface java.util.Set.contains:(Ljava/lang/Object;)Z
            ifeq 34
        32: .line 96
            aload 2 /* currentState */
            aload 6 /* floatingReadNode */
            invokeinterface java.util.Set.remove:(Ljava/lang/Object;)Z
            pop
        33: .line 97
            goto 37
        34: .line 98
      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 /* n */
            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: .line 99
            aload 1 /* block */
            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 /* block */
            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 /* block */
            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 /* this */
            getfield org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.blockToNodesMap:Lorg/graalvm/compiler/core/common/cfg/BlockMap;
            aload 1 /* block */
            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: .line 98
            invokespecial java.lang.RuntimeException.<init>:(Ljava/lang/String;)V
            athrow
        end local 6 // org.graalvm.compiler.nodes.memory.FloatingReadNode floatingReadNode
        end local 4 // org.graalvm.compiler.graph.Node n
        37: .line 76
      StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.nodes.cfg.Block java.util.Set org.graalvm.compiler.nodes.AbstractBeginNode top java.util.Iterator
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 10
        38: .line 105
            aload 2 /* currentState */
            areturn
        end local 3 // org.graalvm.compiler.nodes.AbstractBeginNode beginNode
        end local 2 // java.util.Set currentState
        end local 1 // org.graalvm.compiler.nodes.cfg.Block block
        end local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
      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  Ljava/util/Set<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  Lorg/graalvm/compiler/core/common/LocationIdentity;
           30   37     6   floatingReadNode  Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;
    Signature: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;)Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
    MethodParameters:
              Name  Flags
      block         
      currentState  

  private static void addFloatingReadUsages(java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode>, org.graalvm.compiler.graph.Node);
    descriptor: (Ljava/util/Set;Lorg/graalvm/compiler/graph/Node;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=4, args_size=2
        start local 0 // java.util.Set currentState
        start local 1 // org.graalvm.compiler.graph.Node n
         0: .line 109
            aload 1 /* n */
            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: java.util.Set 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 /* read */
        start local 2 // org.graalvm.compiler.nodes.memory.FloatingReadNode read
         2: .line 110
            aload 2 /* read */
            invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLastLocationAccess:()Lorg/graalvm/compiler/nodes/memory/MemoryNode;
            aload 1 /* n */
            if_acmpne 4
            aload 2 /* read */
            invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLocationIdentity:()Lorg/graalvm/compiler/core/common/LocationIdentity;
            invokevirtual org.graalvm.compiler.core.common.LocationIdentity.isMutable:()Z
            ifeq 4
         3: .line 111
            aload 0 /* currentState */
            aload 2 /* read */
            invokeinterface java.util.Set.add:(Ljava/lang/Object;)Z
            pop
        end local 2 // org.graalvm.compiler.nodes.memory.FloatingReadNode read
         4: .line 109
      StackMap locals:
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
         5: .line 114
            return
        end local 1 // org.graalvm.compiler.graph.Node n
        end local 0 // java.util.Set currentState
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0    6     0  currentState  Ljava/util/Set<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: (Ljava/util/Set<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, org.graalvm.compiler.core.common.LocationIdentity, java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode>);
    descriptor: (Lorg/graalvm/compiler/graph/Node;Lorg/graalvm/compiler/core/common/LocationIdentity;Ljava/util/Set;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=6, args_size=4
        start local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
        start local 1 // org.graalvm.compiler.graph.Node n
        start local 2 // org.graalvm.compiler.core.common.LocationIdentity location
        start local 3 // java.util.Set currentState
         0: .line 117
            getstatic org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.$assertionsDisabled:Z
            ifne 1
            aload 1 /* n */
            ifnonnull 1
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         1: .line 118
      StackMap locals:
      StackMap stack:
            aload 2 /* location */
            invokevirtual org.graalvm.compiler.core.common.LocationIdentity.isImmutable:()Z
            ifeq 3
         2: .line 119
            return
         3: .line 122
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 3 /* currentState */
            invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.cloneState:(Ljava/util/Set;)Ljava/util/Set;
            invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
            astore 5
            goto 7
      StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.graph.Node org.graalvm.compiler.core.common.LocationIdentity java.util.Set 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 /* r */
        start local 4 // org.graalvm.compiler.nodes.memory.FloatingReadNode r
         5: .line 123
            aload 4 /* r */
            invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLocationIdentity:()Lorg/graalvm/compiler/core/common/LocationIdentity;
            aload 2 /* location */
            invokevirtual org.graalvm.compiler.core.common.LocationIdentity.overlaps:(Lorg/graalvm/compiler/core/common/LocationIdentity;)Z
            ifeq 7
         6: .line 125
            aload 3 /* currentState */
            aload 4 /* r */
            invokeinterface java.util.Set.remove:(Ljava/lang/Object;)Z
            pop
        end local 4 // org.graalvm.compiler.nodes.memory.FloatingReadNode r
         7: .line 122
      StackMap locals:
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 4
         8: .line 128
            return
        end local 3 // java.util.Set currentState
        end local 2 // org.graalvm.compiler.core.common.LocationIdentity location
        end local 1 // org.graalvm.compiler.graph.Node n
        end local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0    9     0          this  Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
            0    9     1             n  Lorg/graalvm/compiler/graph/Node;
            0    9     2      location  Lorg/graalvm/compiler/core/common/LocationIdentity;
            0    9     3  currentState  Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
            5    7     4             r  Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;
    Signature: (Lorg/graalvm/compiler/graph/Node;Lorg/graalvm/compiler/core/common/LocationIdentity;Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;)V
    MethodParameters:
              Name  Flags
      n             
      location      
      currentState  

  protected java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode> merge(org.graalvm.compiler.nodes.cfg.Block, java.util.List<java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode>>);
    descriptor: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/List;)Ljava/util/Set;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=3, locals=5, args_size=3
        start local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
        start local 1 // org.graalvm.compiler.nodes.cfg.Block merge
        start local 2 // java.util.List states
         0: .line 132
            aload 2 /* states */
            iconst_0
            invokeinterface java.util.List.get:(I)Ljava/lang/Object;
            checkcast java.util.Set
            astore 3 /* result */
        start local 3 // java.util.Set result
         1: .line 133
            iconst_1
            istore 4 /* i */
        start local 4 // int i
         2: goto 5
         3: .line 134
      StackMap locals: java.util.Set int
      StackMap stack:
            aload 3 /* result */
            aload 2 /* states */
            iload 4 /* i */
            invokeinterface java.util.List.get:(I)Ljava/lang/Object;
            checkcast java.util.Collection
            invokeinterface java.util.Set.retainAll:(Ljava/util/Collection;)Z
            pop
         4: .line 133
            iinc 4 /* i */ 1
      StackMap locals:
      StackMap stack:
         5: iload 4 /* i */
            aload 2 /* states */
            invokeinterface java.util.List.size:()I
            if_icmplt 3
        end local 4 // int i
         6: .line 136
            aload 3 /* result */
            areturn
        end local 3 // java.util.Set result
        end local 2 // java.util.List states
        end local 1 // org.graalvm.compiler.nodes.cfg.Block merge
        end local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
      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<Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;>;
            1    7     3  result  Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
            2    6     4       i  I
    Signature: (Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/List<Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;>;)Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
    MethodParameters:
        Name  Flags
      merge   
      states  

  protected java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode> cloneState(java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode>);
    descriptor: (Ljava/util/Set;)Ljava/util/Set;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=2, locals=3, args_size=2
        start local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
        start local 1 // java.util.Set oldState
         0: .line 141
            invokestatic org.graalvm.compiler.core.common.CollectionsFactory.newSet:()Ljava/util/Set;
            astore 2 /* result */
        start local 2 // java.util.Set result
         1: .line 142
            aload 1 /* oldState */
            ifnull 3
         2: .line 143
            aload 2 /* result */
            aload 1 /* oldState */
            invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
            pop
         3: .line 145
      StackMap locals: java.util.Set
      StackMap stack:
            aload 2 /* result */
            areturn
        end local 2 // java.util.Set result
        end local 1 // java.util.Set oldState
        end local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    4     0      this  Lorg/graalvm/compiler/phases/schedule/MemoryScheduleVerification;
            0    4     1  oldState  Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
            1    4     2    result  Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
    Signature: (Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;)Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;
    MethodParameters:
          Name  Flags
      oldState  

  protected java.util.List<java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode>> processLoop(org.graalvm.compiler.core.common.cfg.Loop<org.graalvm.compiler.nodes.cfg.Block>, java.util.Set<org.graalvm.compiler.nodes.memory.FloatingReadNode>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/Loop;Ljava/util/Set;)Ljava/util/List;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=3, locals=8, args_size=3
        start local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
        start local 1 // org.graalvm.compiler.core.common.cfg.Loop loop
        start local 2 // java.util.Set initialState
         0: .line 150
            aload 1 /* loop */
            checkcast org.graalvm.compiler.nodes.cfg.HIRLoop
            astore 3 /* l */
        start local 3 // org.graalvm.compiler.nodes.cfg.HIRLoop l
         1: .line 151
            aload 3 /* l */
            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.phis:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            ldc Lorg/graalvm/compiler/nodes/memory/MemoryPhiNode;
            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 5
            goto 8
      StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.core.common.cfg.Loop java.util.Set 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 /* memoryPhi */
        start local 4 // org.graalvm.compiler.nodes.memory.MemoryPhiNode memoryPhi
         3: .line 152
            aload 0 /* this */
            aload 2 /* initialState */
            invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.cloneState:(Ljava/util/Set;)Ljava/util/Set;
            invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
            astore 7
            goto 7
      StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.core.common.cfg.Loop java.util.Set 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 /* r */
        start local 6 // org.graalvm.compiler.nodes.memory.FloatingReadNode r
         5: .line 153
            aload 6 /* r */
            invokevirtual org.graalvm.compiler.nodes.memory.FloatingReadNode.getLocationIdentity:()Lorg/graalvm/compiler/core/common/LocationIdentity;
            aload 4 /* memoryPhi */
            invokevirtual org.graalvm.compiler.nodes.memory.MemoryPhiNode.getLocationIdentity:()Lorg/graalvm/compiler/core/common/LocationIdentity;
            invokevirtual org.graalvm.compiler.core.common.LocationIdentity.overlaps:(Lorg/graalvm/compiler/core/common/LocationIdentity;)Z
            ifeq 7
         6: .line 154
            aload 2 /* initialState */
            aload 6 /* r */
            invokeinterface java.util.Set.remove:(Ljava/lang/Object;)Z
            pop
        end local 6 // org.graalvm.compiler.nodes.memory.FloatingReadNode r
         7: .line 152
      StackMap locals:
      StackMap stack:
            aload 7
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 4
        end local 4 // org.graalvm.compiler.nodes.memory.MemoryPhiNode memoryPhi
         8: .line 151
      StackMap locals: org.graalvm.compiler.phases.schedule.MemoryScheduleVerification org.graalvm.compiler.core.common.cfg.Loop java.util.Set org.graalvm.compiler.nodes.cfg.HIRLoop top java.util.Iterator
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 2
         9: .line 158
            aload 0 /* this */
            aload 1 /* loop */
            aload 2 /* initialState */
            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 // org.graalvm.compiler.nodes.cfg.HIRLoop l
        end local 2 // java.util.Set initialState
        end local 1 // org.graalvm.compiler.core.common.cfg.Loop loop
        end local 0 // org.graalvm.compiler.phases.schedule.MemoryScheduleVerification this
      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  Ljava/util/Set<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;>;Ljava/util/Set<Lorg/graalvm/compiler/nodes/memory/FloatingReadNode;>;)Ljava/util/List<Ljava/util/Set<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: .line 1
            aload 0
            aload 1
            aload 2
            checkcast java.util.Set
            invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.processBlock:(Lorg/graalvm/compiler/nodes/cfg/Block;Ljava/util/Set;)Ljava/util/Set;
            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: .line 1
            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;)Ljava/util/Set;
            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: .line 1
            aload 0
            aload 1
            aload 2
            checkcast java.util.Set
            invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.processLoop:(Lorg/graalvm/compiler/core/common/cfg/Loop;Ljava/util/Set;)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: .line 1
            aload 0
            invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.getInitialState:()Ljava/util/Set;
            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: .line 1
            aload 0
            aload 1
            checkcast java.util.Set
            invokevirtual org.graalvm.compiler.phases.schedule.MemoryScheduleVerification.cloneState:(Ljava/util/Set;)Ljava/util/Set;
            areturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature
}
Signature: Lorg/graalvm/compiler/phases/graph/ReentrantBlockIterator$BlockIteratorClosure<Ljava/util/Set<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
/

java/ 9/ jdk.internal.vm.compiler/org/graalvm/compiler/phases/schedule/MemoryScheduleVerification.class
