java/9 : jdk.internal.vm.compiler/org/graalvm/compiler/lir/alloc/lsra/RegisterVerifier.class

RegisterVerifier
https://openjdk.java.net/
GPLv2 + Classpath Exception
final class org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier
  minor version: 0
  major version: 59
  flags: flags: (0x0030) ACC_FINAL, ACC_SUPER
  this_class: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier
  super_class: java.lang.Object
{
  org.graalvm.compiler.lir.alloc.lsra.LinearScan allocator;
    descriptor: Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
    flags: (0x0000) 

  java.util.List<org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>> workList;
    descriptor: Ljava/util/List;
    flags: (0x0000) 
    Signature: Ljava/util/List<Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;>;

  org.graalvm.compiler.core.common.util.ArrayMap<org.graalvm.compiler.lir.alloc.lsra.Interval[]> savedStates;
    descriptor: Lorg/graalvm/compiler/core/common/util/ArrayMap;
    flags: (0x0000) 
    Signature: Lorg/graalvm/compiler/core/common/util/ArrayMap<[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;>;

  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 48
            ldc Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            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.lir.alloc.lsra.RegisterVerifier.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  org.graalvm.compiler.lir.alloc.lsra.Interval intervalAt(jdk.vm.ci.meta.Value);
    descriptor: (Ljdk/vm/ci/meta/Value;)Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // jdk.vm.ci.meta.Value operand
         0: .line 56
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
            aload 1 /* operand */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.LinearScan.intervalFor:(Ljdk/vm/ci/meta/Value;)Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            areturn
        end local 1 // jdk.vm.ci.meta.Value operand
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    1     0     this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0    1     1  operand  Ljdk/vm/ci/meta/Value;
    MethodParameters:
         Name  Flags
      operand  

  int stateSize();
    descriptor: ()I
    flags: (0x0000) 
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
         0: .line 61
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.LinearScan.maxRegisterNumber:()I
            iconst_1
            iadd
            ireturn
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;

  org.graalvm.compiler.lir.alloc.lsra.Interval[] stateForBlock(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         0: .line 66
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.savedStates:Lorg/graalvm/compiler/core/common/util/ArrayMap;
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokevirtual org.graalvm.compiler.core.common.util.ArrayMap.get:(I)Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.alloc.lsra.Interval[]
            areturn
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0    1     1  block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
    MethodParameters:
       Name  Flags
      block  

  void setStateForBlock(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>, org.graalvm.compiler.lir.alloc.lsra.Interval[]);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
    flags: (0x0000) 
    Code:
      stack=3, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        start local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval[] savedState
         0: .line 70
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.savedStates:Lorg/graalvm/compiler/core/common/util/ArrayMap;
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            aload 2 /* savedState */
            invokevirtual org.graalvm.compiler.core.common.util.ArrayMap.put:(ILjava/lang/Object;)V
         1: .line 71
            return
        end local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval[] savedState
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    2     0        this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0    2     1       block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            0    2     2  savedState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
    MethodParameters:
            Name  Flags
      block       
      savedState  

  void addToWorkList(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         0: .line 74
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/List;
            aload 1 /* block */
            invokeinterface java.util.List.contains:(Ljava/lang/Object;)Z
            ifne 2
         1: .line 75
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/List;
            aload 1 /* block */
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
         2: .line 77
      StackMap locals:
      StackMap stack:
            return
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    3     0   this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0    3     1  block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
    MethodParameters:
       Name  Flags
      block  

  void <init>(org.graalvm.compiler.lir.alloc.lsra.LinearScan);
    descriptor: (Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;)V
    flags: (0x0000) 
    Code:
      stack=4, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.lir.alloc.lsra.LinearScan allocator
         0: .line 79
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 80
            aload 0 /* this */
            aload 1 /* allocator */
            putfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
         2: .line 81
            aload 0 /* this */
            new java.util.ArrayList
            dup
            bipush 16
            invokespecial java.util.ArrayList.<init>:(I)V
            putfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/List;
         3: .line 82
            aload 0 /* this */
            new org.graalvm.compiler.core.common.util.ArrayMap
            dup
            invokespecial org.graalvm.compiler.core.common.util.ArrayMap.<init>:()V
            putfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.savedStates:Lorg/graalvm/compiler/core/common/util/ArrayMap;
         4: .line 84
            return
        end local 1 // org.graalvm.compiler.lir.alloc.lsra.LinearScan allocator
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    5     0       this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0    5     1  allocator  Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
    MethodParameters:
           Name  Flags
      allocator  

  void verify(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
    flags: (0x0000) 
    Code:
      stack=3, locals=7, args_size=2
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase start
         0: .line 88
            aconst_null
            astore 2
            aconst_null
            astore 3
         1: ldc "RegisterVerifier"
            invokestatic org.graalvm.compiler.debug.Debug.scope:(Ljava/lang/Object;)Lorg/graalvm/compiler/debug/Debug$Scope;
            astore 4 /* s */
        start local 4 // org.graalvm.compiler.debug.Debug$Scope s
         2: .line 90
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.stateSize:()I
            anewarray org.graalvm.compiler.lir.alloc.lsra.Interval
            astore 5 /* inputState */
        start local 5 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         3: .line 91
            aload 0 /* this */
            aload 1 /* start */
            aload 5 /* inputState */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.setStateForBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
         4: .line 92
            aload 0 /* this */
            aload 1 /* start */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.addToWorkList:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
         5: .line 96
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Debug$Scope org.graalvm.compiler.lir.alloc.lsra.Interval[]
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/List;
            iconst_0
            invokeinterface java.util.List.get:(I)Ljava/lang/Object;
            checkcast org.graalvm.compiler.core.common.cfg.AbstractBlockBase
            astore 6 /* block */
        start local 6 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         6: .line 97
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/List;
            iconst_0
            invokeinterface java.util.List.remove:(I)Ljava/lang/Object;
            pop
         7: .line 99
            aload 0 /* this */
            aload 6 /* block */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.processBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        end local 6 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         8: .line 100
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/List;
            invokeinterface java.util.List.isEmpty:()Z
            ifeq 5
        end local 5 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         9: .line 101
            aload 4 /* s */
            ifnull 15
            aload 4 /* s */
            invokeinterface org.graalvm.compiler.debug.Debug$Scope.close:()V
            goto 15
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Debug$Scope
      StackMap stack: java.lang.Throwable
        10: astore 2
            aload 4 /* s */
            ifnull 11
            aload 4 /* s */
            invokeinterface org.graalvm.compiler.debug.Debug$Scope.close:()V
        end local 4 // org.graalvm.compiler.debug.Debug$Scope s
      StackMap locals:
      StackMap stack:
        11: aload 2
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        12: astore 3
            aload 2
            ifnonnull 13
            aload 3
            astore 2
            goto 14
      StackMap locals:
      StackMap stack:
        13: aload 2
            aload 3
            if_acmpeq 14
            aload 2
            aload 3
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        14: aload 2
            athrow
        15: .line 102
      StackMap locals:
      StackMap stack:
            return
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase start
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0   16     0        this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   16     1       start  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            2   11     4           s  Lorg/graalvm/compiler/debug/Debug$Scope;
            3    9     5  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            6    8     6       block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
      Exception table:
        from    to  target  type
           2     9      10  any
           1    12      12  any
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
    MethodParameters:
       Name  Flags
      start  

  private void processBlock(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=10, args_size=2
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         0: .line 106
            aconst_null
            astore 2
            aconst_null
            astore 3
         1: ldc "processBlock B%d"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokestatic org.graalvm.compiler.debug.Debug.logAndIndent:(Ljava/lang/String;I)Lorg/graalvm/compiler/debug/Indent;
            astore 4 /* indent */
        start local 4 // org.graalvm.compiler.debug.Indent indent
         2: .line 108
            aload 0 /* this */
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.stateForBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            invokestatic org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.copy:([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            astore 5 /* inputState */
        start local 5 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         3: .line 110
            aconst_null
            astore 6
            aconst_null
            astore 7
         4: ldc "Input-State of intervals:"
            invokestatic org.graalvm.compiler.debug.Debug.logAndIndent:(Ljava/lang/String;)Lorg/graalvm/compiler/debug/Indent;
            astore 8 /* indent2 */
        start local 8 // org.graalvm.compiler.debug.Indent indent2
         5: .line 111
            aload 0 /* this */
            aload 5 /* inputState */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.printState:([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
         6: .line 112
            aload 8 /* indent2 */
            ifnull 12
            aload 8 /* indent2 */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
            goto 12
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Indent org.graalvm.compiler.lir.alloc.lsra.Interval[] java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Indent
      StackMap stack: java.lang.Throwable
         7: astore 6
            aload 8 /* indent2 */
            ifnull 8
            aload 8 /* indent2 */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
        end local 8 // org.graalvm.compiler.debug.Indent indent2
      StackMap locals:
      StackMap stack:
         8: aload 6
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
         9: astore 7
            aload 6
            ifnonnull 10
            aload 7
            astore 6
            goto 11
      StackMap locals:
      StackMap stack:
        10: aload 6
            aload 7
            if_acmpeq 11
            aload 6
            aload 7
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        11: aload 6
            athrow
        12: .line 115
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* block */
            aload 5 /* inputState */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.processOperations:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        13: .line 117
            aconst_null
            astore 6
            aconst_null
            astore 7
        14: ldc "Output-State of intervals:"
            invokestatic org.graalvm.compiler.debug.Debug.logAndIndent:(Ljava/lang/String;)Lorg/graalvm/compiler/debug/Indent;
            astore 8 /* indent2 */
        start local 8 // org.graalvm.compiler.debug.Indent indent2
        15: .line 118
            aload 0 /* this */
            aload 5 /* inputState */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.printState:([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        16: .line 119
            aload 8 /* indent2 */
            ifnull 22
            aload 8 /* indent2 */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
            goto 22
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Indent org.graalvm.compiler.lir.alloc.lsra.Interval[] java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Indent
      StackMap stack: java.lang.Throwable
        17: astore 6
            aload 8 /* indent2 */
            ifnull 18
            aload 8 /* indent2 */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
        end local 8 // org.graalvm.compiler.debug.Indent indent2
      StackMap locals:
      StackMap stack:
        18: aload 6
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        19: astore 7
            aload 6
            ifnonnull 20
            aload 7
            astore 6
            goto 21
      StackMap locals:
      StackMap stack:
        20: aload 6
            aload 7
            if_acmpeq 21
            aload 6
            aload 7
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        21: aload 6
            athrow
        22: .line 122
      StackMap locals:
      StackMap stack:
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            dup
            astore 9
            arraylength
            istore 8
            iconst_0
            istore 7
            goto 26
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Indent org.graalvm.compiler.lir.alloc.lsra.Interval[] top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
        23: aload 9
            iload 7
            aaload
            astore 6 /* succ */
        start local 6 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase succ
        24: .line 123
            aload 0 /* this */
            aload 6 /* succ */
            aload 5 /* inputState */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.processSuccessor:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        end local 6 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase succ
        25: .line 122
            iinc 7 1
      StackMap locals:
      StackMap stack:
        26: iload 7
            iload 8
            if_icmplt 23
        end local 5 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        27: .line 125
            aload 4 /* indent */
            ifnull 33
            aload 4 /* indent */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
            goto 33
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Indent
      StackMap stack: java.lang.Throwable
        28: astore 2
            aload 4 /* indent */
            ifnull 29
            aload 4 /* indent */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
        end local 4 // org.graalvm.compiler.debug.Indent indent
      StackMap locals:
      StackMap stack:
        29: aload 2
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        30: astore 3
            aload 2
            ifnonnull 31
            aload 3
            astore 2
            goto 32
      StackMap locals:
      StackMap stack:
        31: aload 2
            aload 3
            if_acmpeq 32
            aload 2
            aload 3
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        32: aload 2
            athrow
        33: .line 126
      StackMap locals:
      StackMap stack:
            return
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0   34     0        this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   34     1       block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            2   29     4      indent  Lorg/graalvm/compiler/debug/Indent;
            3   27     5  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            5    8     8     indent2  Lorg/graalvm/compiler/debug/Indent;
           15   18     8     indent2  Lorg/graalvm/compiler/debug/Indent;
           24   25     6        succ  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
      Exception table:
        from    to  target  type
           5     6       7  any
           4     9       9  any
          15    16      17  any
          14    19      19  any
           2    27      28  any
           1    30      30  any
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
    MethodParameters:
       Name  Flags
      block  

  protected void printState(org.graalvm.compiler.lir.alloc.lsra.Interval[]);
    descriptor: ([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=5, locals=4, args_size=2
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         0: .line 129
            iconst_0
            istore 2 /* i */
        start local 2 // int i
         1: goto 9
         2: .line 130
      StackMap locals: int
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.LinearScan.getRegisters:()Ljdk/vm/ci/code/RegisterArray;
            iload 2 /* i */
            invokevirtual jdk.vm.ci.code.RegisterArray.get:(I)Ljdk/vm/ci/code/Register;
            astore 3 /* reg */
        start local 3 // jdk.vm.ci.code.Register reg
         3: .line 131
            getstatic org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.$assertionsDisabled:Z
            ifne 4
            aload 3 /* reg */
            getfield jdk.vm.ci.code.Register.number:I
            iload 2 /* i */
            if_icmpeq 4
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         4: .line 132
      StackMap locals: jdk.vm.ci.code.Register
      StackMap stack:
            aload 1 /* inputState */
            iload 2 /* i */
            aaload
            ifnull 7
         5: .line 133
            ldc " %6s %4d  --  %s"
            aload 3 /* reg */
            aload 1 /* inputState */
            iload 2 /* i */
            aaload
            getfield org.graalvm.compiler.lir.alloc.lsra.Interval.operandNumber:I
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
            aload 1 /* inputState */
            iload 2 /* i */
            aaload
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)V
         6: .line 134
            goto 8
         7: .line 135
      StackMap locals:
      StackMap stack:
            ldc " %6s   __"
            aload 3 /* reg */
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;Ljava/lang/Object;)V
        end local 3 // jdk.vm.ci.code.Register reg
         8: .line 129
      StackMap locals:
      StackMap stack:
            iinc 2 /* i */ 1
      StackMap locals:
      StackMap stack:
         9: iload 2 /* i */
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.stateSize:()I
            if_icmplt 2
        end local 2 // int i
        10: .line 138
            return
        end local 1 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0   11     0        this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   11     1  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            1   10     2           i  I
            3    8     3         reg  Ljdk/vm/ci/code/Register;
    MethodParameters:
            Name  Flags
      inputState  

  private void processSuccessor(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>, org.graalvm.compiler.lir.alloc.lsra.Interval[]);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=6, args_size=3
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        start local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         0: .line 141
            aload 0 /* this */
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.stateForBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            astore 3 /* savedState */
        start local 3 // org.graalvm.compiler.lir.alloc.lsra.Interval[] savedState
         1: .line 143
            aload 3 /* savedState */
            ifnull 18
         2: .line 147
            iconst_1
            istore 4 /* savedStateCorrect */
        start local 4 // boolean savedStateCorrect
         3: .line 148
            iconst_0
            istore 5 /* i */
        start local 5 // int i
         4: goto 11
         5: .line 149
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.Interval[] int int
      StackMap stack:
            aload 2 /* inputState */
            iload 5 /* i */
            aaload
            aload 3 /* savedState */
            iload 5 /* i */
            aaload
            if_acmpeq 10
         6: .line 152
            aload 3 /* savedState */
            iload 5 /* i */
            aaload
            ifnull 10
         7: .line 156
            iconst_0
            istore 4 /* savedStateCorrect */
         8: .line 157
            aload 3 /* savedState */
            iload 5 /* i */
            aconst_null
            aastore
         9: .line 159
            ldc "processSuccessor B%d: invalidating slot %d"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            iload 5 /* i */
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;II)V
        10: .line 148
      StackMap locals:
      StackMap stack:
            iinc 5 /* i */ 1
      StackMap locals:
      StackMap stack:
        11: iload 5 /* i */
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.stateSize:()I
            if_icmplt 5
        end local 5 // int i
        12: .line 164
            iload 4 /* savedStateCorrect */
            ifeq 15
        13: .line 166
            ldc "processSuccessor B%d: previous visit already correct"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;I)V
        14: .line 167
            goto 21
        15: .line 169
      StackMap locals:
      StackMap stack:
            ldc "processSuccessor B%d: must re-visit because input state changed"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;I)V
        16: .line 170
            aload 0 /* this */
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.addToWorkList:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        end local 4 // boolean savedStateCorrect
        17: .line 173
            goto 21
        18: .line 175
      StackMap locals:
      StackMap stack:
            ldc "processSuccessor B%d: initial visit"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;I)V
        19: .line 177
            aload 0 /* this */
            aload 1 /* block */
            aload 2 /* inputState */
            invokestatic org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.copy:([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.setStateForBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        20: .line 178
            aload 0 /* this */
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.addToWorkList:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        21: .line 180
      StackMap locals:
      StackMap stack:
            return
        end local 3 // org.graalvm.compiler.lir.alloc.lsra.Interval[] savedState
        end local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0   22     0               this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   22     1              block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            0   22     2         inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            1   22     3         savedState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            3   17     4  savedStateCorrect  Z
            4   12     5                  i  I
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
    MethodParameters:
            Name  Flags
      block       
      inputState  

  static org.graalvm.compiler.lir.alloc.lsra.Interval[] copy(org.graalvm.compiler.lir.alloc.lsra.Interval[]);
    descriptor: ([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         0: .line 183
            aload 0 /* inputState */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.Interval[].clone:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.alloc.lsra.Interval[]
            areturn
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    1     0  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
    MethodParameters:
            Name  Flags
      inputState  

  static void statePut(org.graalvm.compiler.lir.alloc.lsra.Interval[], jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.alloc.lsra.Interval);
    descriptor: ([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=3, locals=5, args_size=3
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        start local 1 // jdk.vm.ci.meta.Value location
        start local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
         0: .line 187
            aload 1 /* location */
            ifnull 9
            aload 1 /* location */
            invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 9
         1: .line 188
            aload 1 /* location */
            invokestatic jdk.vm.ci.code.ValueUtil.asRegister:(Ljdk/vm/ci/meta/Value;)Ljdk/vm/ci/code/Register;
            astore 3 /* reg */
        start local 3 // jdk.vm.ci.code.Register reg
         2: .line 189
            aload 3 /* reg */
            getfield jdk.vm.ci.code.Register.number:I
            istore 4 /* regNum */
        start local 4 // int regNum
         3: .line 190
            aload 2 /* interval */
            ifnull 6
         4: .line 191
            ldc "%s = %s"
            aload 3 /* reg */
            aload 2 /* interval */
            getfield org.graalvm.compiler.lir.alloc.lsra.Interval.operand:Ljdk/vm/ci/meta/AllocatableValue;
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;Ljava/lang/Object;Ljava/lang/Object;)V
         5: .line 192
            goto 8
      StackMap locals: jdk.vm.ci.code.Register int
      StackMap stack:
         6: aload 0 /* inputState */
            iload 4 /* regNum */
            aaload
            ifnull 8
         7: .line 193
            ldc "%s = null"
            aload 3 /* reg */
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;Ljava/lang/Object;)V
         8: .line 196
      StackMap locals:
      StackMap stack:
            aload 0 /* inputState */
            iload 4 /* regNum */
            aload 2 /* interval */
            aastore
        end local 4 // int regNum
        end local 3 // jdk.vm.ci.code.Register reg
         9: .line 198
      StackMap locals:
      StackMap stack:
            return
        end local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
        end local 1 // jdk.vm.ci.meta.Value location
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0   10     0  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            0   10     1    location  Ljdk/vm/ci/meta/Value;
            0   10     2    interval  Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            2    9     3         reg  Ljdk/vm/ci/code/Register;
            3    9     4      regNum  I
    MethodParameters:
            Name  Flags
      inputState  
      location    
      interval    

  static boolean checkState(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>, org.graalvm.compiler.lir.LIRInstruction, org.graalvm.compiler.lir.alloc.lsra.Interval[], jdk.vm.ci.meta.Value, jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.alloc.lsra.Interval);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Lorg/graalvm/compiler/lir/LIRInstruction;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Ljdk/vm/ci/meta/Value;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=8, locals=6, args_size=6
        start local 0 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        start local 1 // org.graalvm.compiler.lir.LIRInstruction op
        start local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        start local 3 // jdk.vm.ci.meta.Value operand
        start local 4 // jdk.vm.ci.meta.Value reg
        start local 5 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
         0: .line 201
            aload 4 /* reg */
            ifnull 6
            aload 4 /* reg */
            invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 6
         1: .line 202
            aload 2 /* inputState */
            aload 4 /* reg */
            invokestatic jdk.vm.ci.code.ValueUtil.asRegister:(Ljdk/vm/ci/meta/Value;)Ljdk/vm/ci/code/Register;
            getfield jdk.vm.ci.code.Register.number:I
            aaload
            aload 5 /* interval */
            if_acmpeq 6
         2: .line 203
            new org.graalvm.compiler.debug.GraalError
            dup
         3: .line 204
            ldc "Error in register allocation: operation (%s) in block %s expected register %s (operand %s) to contain the value of interval %s but data-flow says it contains interval %s"
            bipush 6
            anewarray java.lang.Object
            dup
            iconst_0
         4: .line 205
            aload 1 /* op */
            aastore
            dup
            iconst_1
            aload 0 /* block */
            aastore
            dup
            iconst_2
            aload 4 /* reg */
            aastore
            dup
            iconst_3
            aload 3 /* operand */
            aastore
            dup
            iconst_4
            aload 5 /* interval */
            aastore
            dup
            iconst_5
            aload 2 /* inputState */
            aload 4 /* reg */
            invokestatic jdk.vm.ci.code.ValueUtil.asRegister:(Ljdk/vm/ci/meta/Value;)Ljdk/vm/ci/code/Register;
            getfield jdk.vm.ci.code.Register.number:I
            aaload
         5: .line 203
            aastore
            invokespecial org.graalvm.compiler.debug.GraalError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
            athrow
         6: .line 208
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 5 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
        end local 4 // jdk.vm.ci.meta.Value reg
        end local 3 // jdk.vm.ci.meta.Value operand
        end local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        end local 1 // org.graalvm.compiler.lir.LIRInstruction op
        end local 0 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    7     0       block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            0    7     1          op  Lorg/graalvm/compiler/lir/LIRInstruction;
            0    7     2  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            0    7     3     operand  Ljdk/vm/ci/meta/Value;
            0    7     4         reg  Ljdk/vm/ci/meta/Value;
            0    7     5    interval  Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;Lorg/graalvm/compiler/lir/LIRInstruction;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Ljdk/vm/ci/meta/Value;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)Z
    MethodParameters:
            Name  Flags
      block       
      op          
      inputState  
      operand     
      reg         
      interval    

  void processOperations(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>, org.graalvm.compiler.lir.alloc.lsra.Interval[]);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
    flags: (0x0000) 
    Code:
      stack=5, locals=10, args_size=3
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        start local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         0: .line 212
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.LinearScan.getLIR:()Lorg/graalvm/compiler/lir/LIR;
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.lir.LIR.getLIRforBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/util/ArrayList;
            astore 3 /* ops */
        start local 3 // java.util.List ops
         1: .line 213
            new org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier$1
            dup
            aload 0 /* this */
            aload 1 /* block */
            aload 2 /* inputState */
            invokespecial org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier$1.<init>:(Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
            astore 4 /* useConsumer */
        start local 4 // org.graalvm.compiler.lir.InstructionValueConsumer useConsumer
         2: .line 229
            aload 0 /* this */
            aload 2 /* inputState */
            invokedynamic visitValue(Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)Lorg/graalvm/compiler/lir/InstructionValueConsumer;
              Bootstrap: invokestatic java.lang.invoke.LambdaMetafactory.metafactory:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;
                Method arguments:
                  (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
                  org/graalvm/compiler/lir/alloc/lsra/RegisterVerifier.lambda$0([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V (7)
                  (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
            astore 5 /* defConsumer */
        start local 5 // org.graalvm.compiler.lir.InstructionValueConsumer defConsumer
         3: .line 241
            iconst_0
            istore 6 /* i */
        start local 6 // int i
         4: goto 18
         5: .line 242
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.lir.alloc.lsra.Interval[] java.util.List org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer int
      StackMap stack:
            aload 3 /* ops */
            iload 6 /* i */
            invokeinterface java.util.List.get:(I)Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.LIRInstruction
            astore 7 /* op */
        start local 7 // org.graalvm.compiler.lir.LIRInstruction op
         6: .line 244
            invokestatic org.graalvm.compiler.debug.Debug.isLogEnabled:()Z
            ifeq 8
         7: .line 245
            ldc "%s"
            aload 7 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.toStringWithIdPrefix:()Ljava/lang/String;
            invokestatic org.graalvm.compiler.debug.Debug.log:(Ljava/lang/String;Ljava/lang/Object;)V
         8: .line 249
      StackMap locals: org.graalvm.compiler.lir.LIRInstruction
      StackMap stack:
            aload 7 /* op */
            aload 4 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachInput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         9: .line 251
            aload 7 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.destroysCallerSavedRegisters:()Z
            ifeq 14
        10: .line 252
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.LinearScan.getRegisterAllocationConfig:()Lorg/graalvm/compiler/core/common/alloc/RegisterAllocationConfig;
            invokevirtual org.graalvm.compiler.core.common.alloc.RegisterAllocationConfig.getRegisterConfig:()Ljdk/vm/ci/code/RegisterConfig;
            invokeinterface jdk.vm.ci.code.RegisterConfig.getCallerSaveRegisters:()Ljdk/vm/ci/code/RegisterArray;
            invokevirtual jdk.vm.ci.code.RegisterArray.iterator:()Ljava/util/Iterator;
            astore 9
            goto 13
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.lir.alloc.lsra.Interval[] java.util.List org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer int org.graalvm.compiler.lir.LIRInstruction top java.util.Iterator
      StackMap stack:
        11: aload 9
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast jdk.vm.ci.code.Register
            astore 8 /* r */
        start local 8 // jdk.vm.ci.code.Register r
        12: .line 253
            aload 2 /* inputState */
            aload 8 /* r */
            invokevirtual jdk.vm.ci.code.Register.asValue:()Ljdk/vm/ci/code/RegisterValue;
            aconst_null
            invokestatic org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.statePut:([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        end local 8 // jdk.vm.ci.code.Register r
        13: .line 252
      StackMap locals:
      StackMap stack:
            aload 9
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 11
        14: .line 256
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.lir.alloc.lsra.Interval[] java.util.List org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer int org.graalvm.compiler.lir.LIRInstruction
      StackMap stack:
            aload 7 /* op */
            aload 4 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachAlive:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        15: .line 259
            aload 7 /* op */
            aload 5 /* defConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachTemp:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        16: .line 261
            aload 7 /* op */
            aload 5 /* defConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachOutput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        end local 7 // org.graalvm.compiler.lir.LIRInstruction op
        17: .line 241
            iinc 6 /* i */ 1
      StackMap locals:
      StackMap stack:
        18: iload 6 /* i */
            aload 3 /* ops */
            invokeinterface java.util.List.size:()I
            if_icmplt 5
        end local 6 // int i
        19: .line 263
            return
        end local 5 // org.graalvm.compiler.lir.InstructionValueConsumer defConsumer
        end local 4 // org.graalvm.compiler.lir.InstructionValueConsumer useConsumer
        end local 3 // java.util.List ops
        end local 2 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0   20     0         this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   20     1        block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            0   20     2   inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            1   20     3          ops  Ljava/util/List<Lorg/graalvm/compiler/lir/LIRInstruction;>;
            2   20     4  useConsumer  Lorg/graalvm/compiler/lir/InstructionValueConsumer;
            3   20     5  defConsumer  Lorg/graalvm/compiler/lir/InstructionValueConsumer;
            4   19     6            i  I
            6   17     7           op  Lorg/graalvm/compiler/lir/LIRInstruction;
           12   13     8            r  Ljdk/vm/ci/code/Register;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
    MethodParameters:
            Name  Flags
      block       
      inputState  final

  private void lambda$0(org.graalvm.compiler.lir.alloc.lsra.Interval[], org.graalvm.compiler.lir.LIRInstruction, jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.LIRInstruction$OperandMode, java.util.EnumSet);
    descriptor: ([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
    flags: (0x1002) ACC_PRIVATE, ACC_SYNTHETIC
    Code:
      stack=4, locals=7, args_size=6
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 2 // org.graalvm.compiler.lir.LIRInstruction op
        start local 3 // jdk.vm.ci.meta.Value operand
        start local 4 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        start local 5 // java.util.EnumSet flags
         0: .line 230
            aload 3 /* operand */
            invokestatic org.graalvm.compiler.lir.alloc.lsra.LinearScan.isVariableOrRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 5
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
            aload 3 /* operand */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.LinearScan.isProcessed:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 5
         1: .line 231
            aload 0 /* this */
            aload 3 /* operand */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.intervalAt:(Ljdk/vm/ci/meta/Value;)Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            astore 6 /* interval */
        start local 6 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
         2: .line 232
            aload 2 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.id:()I
            iconst_m1
            if_icmpeq 4
         3: .line 233
            aload 6 /* interval */
            aload 2 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.id:()I
            aload 4 /* mode */
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.Interval.getSplitChildAtOpId:(ILorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;)Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            astore 6 /* interval */
         4: .line 236
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.Interval
      StackMap stack:
            aload 1
            aload 6 /* interval */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.Interval.location:()Ljdk/vm/ci/meta/AllocatableValue;
            aload 6 /* interval */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.Interval.splitParent:()Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            invokestatic org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.statePut:([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        end local 6 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
         5: .line 238
      StackMap locals:
      StackMap stack:
            return
        end local 5 // java.util.EnumSet flags
        end local 4 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        end local 3 // jdk.vm.ci.meta.Value operand
        end local 2 // org.graalvm.compiler.lir.LIRInstruction op
        end local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    6     0      this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0    6     2        op  Lorg/graalvm/compiler/lir/LIRInstruction;
            0    6     3   operand  Ljdk/vm/ci/meta/Value;
            0    6     4      mode  Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            0    6     5     flags  Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;
            2    5     6  interval  Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
}
SourceFile: "RegisterVerifier.java"
NestMembers:
  org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier$1
InnerClasses:
  public final Lookup = java.lang.invoke.MethodHandles$Lookup of java.lang.invoke.MethodHandles
  public abstract Scope = org.graalvm.compiler.debug.Debug$Scope of org.graalvm.compiler.debug.Debug
  public final OperandFlag = org.graalvm.compiler.lir.LIRInstruction$OperandFlag of org.graalvm.compiler.lir.LIRInstruction
  public final OperandMode = org.graalvm.compiler.lir.LIRInstruction$OperandMode of org.graalvm.compiler.lir.LIRInstruction
  org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier$1
/

java/ 9/ jdk.internal.vm.compiler/org/graalvm/compiler/lir/alloc/lsra/RegisterVerifier.class
