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.ArrayList<org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>> workList;
    descriptor: Ljava/util/ArrayList;
    flags: (0x0000) 
    Signature: Ljava/util/ArrayList<Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;>;

  org.graalvm.compiler.core.common.cfg.BlockMap<org.graalvm.compiler.lir.alloc.lsra.Interval[]> savedStates;
    descriptor: Lorg/graalvm/compiler/core/common/cfg/BlockMap;
    flags: (0x0000) 
    Signature: Lorg/graalvm/compiler/core/common/cfg/BlockMap<[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 46
            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 54
            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 59
            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 64
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.savedStates: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 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 68
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.savedStates:Lorg/graalvm/compiler/core/common/cfg/BlockMap;
            aload 1 /* block */
            aload 2 /* savedState */
            invokevirtual org.graalvm.compiler.core.common.cfg.BlockMap.put:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Ljava/lang/Object;)V
         1: .line 69
            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 72
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/ArrayList;
            aload 1 /* block */
            invokevirtual java.util.ArrayList.contains:(Ljava/lang/Object;)Z
            ifne 2
         1: .line 73
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/ArrayList;
            aload 1 /* block */
            invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
            pop
         2: .line 75
      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 77
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 78
            aload 0 /* this */
            aload 1 /* allocator */
            putfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.allocator:Lorg/graalvm/compiler/lir/alloc/lsra/LinearScan;
         2: .line 79
            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/ArrayList;
         3: .line 80
            aload 0 /* this */
            new org.graalvm.compiler.core.common.cfg.BlockMap
            dup
            aload 1 /* allocator */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.LinearScan.getLIR:()Lorg/graalvm/compiler/lir/LIR;
            invokevirtual org.graalvm.compiler.lir.LIR.getControlFlowGraph:()Lorg/graalvm/compiler/core/common/cfg/AbstractControlFlowGraph;
            invokespecial org.graalvm.compiler.core.common.cfg.BlockMap.<init>:(Lorg/graalvm/compiler/core/common/cfg/AbstractControlFlowGraph;)V
            putfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.savedStates:Lorg/graalvm/compiler/core/common/cfg/BlockMap;
         4: .line 82
            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=8, 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 86
            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.getDebug:()Lorg/graalvm/compiler/debug/DebugContext;
            astore 2 /* debug */
        start local 2 // org.graalvm.compiler.debug.DebugContext debug
         1: .line 87
            aconst_null
            astore 3
            aconst_null
            astore 4
         2: aload 2 /* debug */
            ldc "RegisterVerifier"
            invokevirtual org.graalvm.compiler.debug.DebugContext.scope:(Ljava/lang/Object;)Lorg/graalvm/compiler/debug/DebugContext$Scope;
            astore 5 /* s */
        start local 5 // org.graalvm.compiler.debug.DebugContext$Scope s
         3: .line 89
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.stateSize:()I
            anewarray org.graalvm.compiler.lir.alloc.lsra.Interval
            astore 6 /* inputState */
        start local 6 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         4: .line 90
            aload 0 /* this */
            aload 1 /* start */
            aload 6 /* 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
         5: .line 91
            aload 0 /* this */
            aload 1 /* start */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.addToWorkList:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
         6: .line 95
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.debug.DebugContext java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.DebugContext$Scope org.graalvm.compiler.lir.alloc.lsra.Interval[]
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/ArrayList;
            iconst_0
            invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
            checkcast org.graalvm.compiler.core.common.cfg.AbstractBlockBase
            astore 7 /* block */
        start local 7 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         7: .line 96
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/ArrayList;
            iconst_0
            invokevirtual java.util.ArrayList.remove:(I)Ljava/lang/Object;
            pop
         8: .line 98
            aload 0 /* this */
            aload 7 /* block */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.processBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        end local 7 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         9: .line 99
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.workList:Ljava/util/ArrayList;
            invokevirtual java.util.ArrayList.isEmpty:()Z
            ifeq 6
        end local 6 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        10: .line 100
            aload 5 /* s */
            ifnull 16
            aload 5 /* s */
            invokeinterface org.graalvm.compiler.debug.DebugContext$Scope.close:()V
            goto 16
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.debug.DebugContext java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.DebugContext$Scope
      StackMap stack: java.lang.Throwable
        11: astore 3
            aload 5 /* s */
            ifnull 12
            aload 5 /* s */
            invokeinterface org.graalvm.compiler.debug.DebugContext$Scope.close:()V
        end local 5 // org.graalvm.compiler.debug.DebugContext$Scope s
      StackMap locals:
      StackMap stack:
        12: aload 3
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        13: astore 4
            aload 3
            ifnonnull 14
            aload 4
            astore 3
            goto 15
      StackMap locals:
      StackMap stack:
        14: aload 3
            aload 4
            if_acmpeq 15
            aload 3
            aload 4
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        15: aload 3
            athrow
        16: .line 101
      StackMap locals:
      StackMap stack:
            return
        end local 2 // org.graalvm.compiler.debug.DebugContext debug
        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   17     0        this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   17     1       start  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            1   17     2       debug  Lorg/graalvm/compiler/debug/DebugContext;
            3   12     5           s  Lorg/graalvm/compiler/debug/DebugContext$Scope;
            4   10     6  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            7    9     7       block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
      Exception table:
        from    to  target  type
           3    10      11  any
           2    13      13  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=11, 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 105
            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.getDebug:()Lorg/graalvm/compiler/debug/DebugContext;
            astore 2 /* debug */
        start local 2 // org.graalvm.compiler.debug.DebugContext debug
         1: .line 106
            aconst_null
            astore 3
            aconst_null
            astore 4
         2: aload 2 /* debug */
            ldc "processBlock B%d"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokevirtual org.graalvm.compiler.debug.DebugContext.logAndIndent:(Ljava/lang/String;I)Lorg/graalvm/compiler/debug/Indent;
            astore 5 /* indent */
        start local 5 // org.graalvm.compiler.debug.Indent indent
         3: .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 6 /* inputState */
        start local 6 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
         4: .line 110
            aconst_null
            astore 7
            aconst_null
            astore 8
         5: aload 2 /* debug */
            ldc "Input-State of intervals:"
            invokevirtual org.graalvm.compiler.debug.DebugContext.logAndIndent:(Ljava/lang/String;)Lorg/graalvm/compiler/debug/Indent;
            astore 9 /* indent2 */
        start local 9 // org.graalvm.compiler.debug.Indent indent2
         6: .line 111
            aload 0 /* this */
            aload 6 /* inputState */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.printState:([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
         7: .line 112
            aload 9 /* indent2 */
            ifnull 13
            aload 9 /* indent2 */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
            goto 13
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.debug.DebugContext 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
         8: astore 7
            aload 9 /* indent2 */
            ifnull 9
            aload 9 /* indent2 */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
        end local 9 // org.graalvm.compiler.debug.Indent indent2
      StackMap locals:
      StackMap stack:
         9: aload 7
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        10: astore 8
            aload 7
            ifnonnull 11
            aload 8
            astore 7
            goto 12
      StackMap locals:
      StackMap stack:
        11: aload 7
            aload 8
            if_acmpeq 12
            aload 7
            aload 8
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        12: aload 7
            athrow
        13: .line 115
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* block */
            aload 6 /* 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
        14: .line 117
            aconst_null
            astore 7
            aconst_null
            astore 8
        15: aload 2 /* debug */
            ldc "Output-State of intervals:"
            invokevirtual org.graalvm.compiler.debug.DebugContext.logAndIndent:(Ljava/lang/String;)Lorg/graalvm/compiler/debug/Indent;
            astore 9 /* indent2 */
        start local 9 // org.graalvm.compiler.debug.Indent indent2
        16: .line 118
            aload 0 /* this */
            aload 6 /* inputState */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.printState:([Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        17: .line 119
            aload 9 /* indent2 */
            ifnull 23
            aload 9 /* indent2 */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
            goto 23
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.debug.DebugContext 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
        18: astore 7
            aload 9 /* indent2 */
            ifnull 19
            aload 9 /* indent2 */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
        end local 9 // org.graalvm.compiler.debug.Indent indent2
      StackMap locals:
      StackMap stack:
        19: aload 7
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        20: astore 8
            aload 7
            ifnonnull 21
            aload 8
            astore 7
            goto 22
      StackMap locals:
      StackMap stack:
        21: aload 7
            aload 8
            if_acmpeq 22
            aload 7
            aload 8
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        22: aload 7
            athrow
        23: .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 10
            arraylength
            istore 9
            iconst_0
            istore 8
            goto 27
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.debug.DebugContext 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:
        24: aload 10
            iload 8
            aaload
            astore 7 /* succ */
        start local 7 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase succ
        25: .line 123
            aload 0 /* this */
            aload 7 /* succ */
            aload 6 /* 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 7 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase succ
        26: .line 122
            iinc 8 1
      StackMap locals:
      StackMap stack:
        27: iload 8
            iload 9
            if_icmplt 24
        end local 6 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        28: .line 125
            aload 5 /* indent */
            ifnull 34
            aload 5 /* indent */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
            goto 34
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.debug.DebugContext java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Indent
      StackMap stack: java.lang.Throwable
        29: astore 3
            aload 5 /* indent */
            ifnull 30
            aload 5 /* indent */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
        end local 5 // org.graalvm.compiler.debug.Indent indent
      StackMap locals:
      StackMap stack:
        30: aload 3
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        31: astore 4
            aload 3
            ifnonnull 32
            aload 4
            astore 3
            goto 33
      StackMap locals:
      StackMap stack:
        32: aload 3
            aload 4
            if_acmpeq 33
            aload 3
            aload 4
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        33: aload 3
            athrow
        34: .line 126
      StackMap locals:
      StackMap stack:
            return
        end local 2 // org.graalvm.compiler.debug.DebugContext debug
        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   35     0        this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   35     1       block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            1   35     2       debug  Lorg/graalvm/compiler/debug/DebugContext;
            3   30     5      indent  Lorg/graalvm/compiler/debug/Indent;
            4   28     6  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            6    9     9     indent2  Lorg/graalvm/compiler/debug/Indent;
           16   19     9     indent2  Lorg/graalvm/compiler/debug/Indent;
           25   26     7        succ  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
      Exception table:
        from    to  target  type
           6     7       8  any
           5    10      10  any
          16    17      18  any
          15    20      20  any
           3    28      29  any
           2    31      31  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=6, locals=5, 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
            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.getDebug:()Lorg/graalvm/compiler/debug/DebugContext;
            astore 2 /* debug */
        start local 2 // org.graalvm.compiler.debug.DebugContext debug
         1: .line 130
            iconst_0
            istore 3 /* i */
        start local 3 // int i
         2: goto 10
         3: .line 131
      StackMap locals: org.graalvm.compiler.debug.DebugContext 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 3 /* i */
            invokevirtual jdk.vm.ci.code.RegisterArray.get:(I)Ljdk/vm/ci/code/Register;
            astore 4 /* reg */
        start local 4 // jdk.vm.ci.code.Register reg
         4: .line 132
            getstatic org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.$assertionsDisabled:Z
            ifne 5
            aload 4 /* reg */
            getfield jdk.vm.ci.code.Register.number:I
            iload 3 /* i */
            if_icmpeq 5
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         5: .line 133
      StackMap locals: jdk.vm.ci.code.Register
      StackMap stack:
            aload 1 /* inputState */
            iload 3 /* i */
            aaload
            ifnull 8
         6: .line 134
            aload 2 /* debug */
            ldc " %6s %4d  --  %s"
            aload 4 /* reg */
            aload 1 /* inputState */
            iload 3 /* 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 3 /* i */
            aaload
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)V
         7: .line 135
            goto 9
         8: .line 136
      StackMap locals:
      StackMap stack:
            aload 2 /* debug */
            ldc " %6s   __"
            aload 4 /* reg */
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;Ljava/lang/Object;)V
        end local 4 // jdk.vm.ci.code.Register reg
         9: .line 130
      StackMap locals:
      StackMap stack:
            iinc 3 /* i */ 1
      StackMap locals:
      StackMap stack:
        10: iload 3 /* i */
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.stateSize:()I
            if_icmplt 3
        end local 3 // int i
        11: .line 139
            return
        end local 2 // org.graalvm.compiler.debug.DebugContext debug
        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   12     0        this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   12     1  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            1   12     2       debug  Lorg/graalvm/compiler/debug/DebugContext;
            2   11     3           i  I
            4    9     4         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=4, locals=7, 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 142
            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.getDebug:()Lorg/graalvm/compiler/debug/DebugContext;
            astore 3 /* debug */
        start local 3 // org.graalvm.compiler.debug.DebugContext debug
         1: .line 143
            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 4 /* savedState */
        start local 4 // org.graalvm.compiler.lir.alloc.lsra.Interval[] savedState
         2: .line 145
            aload 4 /* savedState */
            ifnull 19
         3: .line 149
            iconst_1
            istore 5 /* savedStateCorrect */
        start local 5 // boolean savedStateCorrect
         4: .line 150
            iconst_0
            istore 6 /* i */
        start local 6 // int i
         5: goto 12
         6: .line 151
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.lir.alloc.lsra.Interval[] org.graalvm.compiler.debug.DebugContext org.graalvm.compiler.lir.alloc.lsra.Interval[] int int
      StackMap stack:
            aload 2 /* inputState */
            iload 6 /* i */
            aaload
            aload 4 /* savedState */
            iload 6 /* i */
            aaload
            if_acmpeq 11
         7: .line 154
            aload 4 /* savedState */
            iload 6 /* i */
            aaload
            ifnull 11
         8: .line 158
            iconst_0
            istore 5 /* savedStateCorrect */
         9: .line 159
            aload 4 /* savedState */
            iload 6 /* i */
            aconst_null
            aastore
        10: .line 161
            aload 3 /* debug */
            ldc "processSuccessor B%d: invalidating slot %d"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            iload 6 /* i */
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;II)V
        11: .line 150
      StackMap locals:
      StackMap stack:
            iinc 6 /* i */ 1
      StackMap locals:
      StackMap stack:
        12: iload 6 /* i */
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.stateSize:()I
            if_icmplt 6
        end local 6 // int i
        13: .line 166
            iload 5 /* savedStateCorrect */
            ifeq 16
        14: .line 168
            aload 3 /* debug */
            ldc "processSuccessor B%d: previous visit already correct"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;I)V
        15: .line 169
            goto 22
        16: .line 171
      StackMap locals:
      StackMap stack:
            aload 3 /* debug */
            ldc "processSuccessor B%d: must re-visit because input state changed"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;I)V
        17: .line 172
            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 5 // boolean savedStateCorrect
        18: .line 175
            goto 22
        19: .line 177
      StackMap locals:
      StackMap stack:
            aload 3 /* debug */
            ldc "processSuccessor B%d: initial visit"
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;I)V
        20: .line 179
            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
        21: .line 180
            aload 0 /* this */
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.addToWorkList:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        22: .line 182
      StackMap locals:
      StackMap stack:
            return
        end local 4 // org.graalvm.compiler.lir.alloc.lsra.Interval[] savedState
        end local 3 // org.graalvm.compiler.debug.DebugContext debug
        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   23     0               this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   23     1              block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            0   23     2         inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            1   23     3              debug  Lorg/graalvm/compiler/debug/DebugContext;
            2   23     4         savedState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            4   18     5  savedStateCorrect  Z
            5   13     6                  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 185
            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.debug.DebugContext, org.graalvm.compiler.lir.alloc.lsra.Interval[], jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.alloc.lsra.Interval);
    descriptor: (Lorg/graalvm/compiler/debug/DebugContext;[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=4, locals=6, args_size=4
        start local 0 // org.graalvm.compiler.debug.DebugContext debug
        start local 1 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        start local 2 // jdk.vm.ci.meta.Value location
        start local 3 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
         0: .line 189
            aload 2 /* location */
            ifnull 9
            aload 2 /* location */
            invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 9
         1: .line 190
            aload 2 /* location */
            invokestatic jdk.vm.ci.code.ValueUtil.asRegister:(Ljdk/vm/ci/meta/Value;)Ljdk/vm/ci/code/Register;
            astore 4 /* reg */
        start local 4 // jdk.vm.ci.code.Register reg
         2: .line 191
            aload 4 /* reg */
            getfield jdk.vm.ci.code.Register.number:I
            istore 5 /* regNum */
        start local 5 // int regNum
         3: .line 192
            aload 3 /* interval */
            ifnull 6
         4: .line 193
            aload 0 /* debug */
            ldc "%s = %s"
            aload 4 /* reg */
            aload 3 /* interval */
            getfield org.graalvm.compiler.lir.alloc.lsra.Interval.operand:Ljdk/vm/ci/meta/AllocatableValue;
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;Ljava/lang/Object;Ljava/lang/Object;)V
         5: .line 194
            goto 8
      StackMap locals: jdk.vm.ci.code.Register int
      StackMap stack:
         6: aload 1 /* inputState */
            iload 5 /* regNum */
            aaload
            ifnull 8
         7: .line 195
            aload 0 /* debug */
            ldc "%s = null"
            aload 4 /* reg */
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;Ljava/lang/Object;)V
         8: .line 198
      StackMap locals:
      StackMap stack:
            aload 1 /* inputState */
            iload 5 /* regNum */
            aload 3 /* interval */
            aastore
        end local 5 // int regNum
        end local 4 // jdk.vm.ci.code.Register reg
         9: .line 200
      StackMap locals:
      StackMap stack:
            return
        end local 3 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
        end local 2 // jdk.vm.ci.meta.Value location
        end local 1 // org.graalvm.compiler.lir.alloc.lsra.Interval[] inputState
        end local 0 // org.graalvm.compiler.debug.DebugContext debug
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0   10     0       debug  Lorg/graalvm/compiler/debug/DebugContext;
            0   10     1  inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            0   10     2    location  Ljdk/vm/ci/meta/Value;
            0   10     3    interval  Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            2    9     4         reg  Ljdk/vm/ci/code/Register;
            3    9     5      regNum  I
    MethodParameters:
            Name  Flags
      debug       
      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 203
            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 204
            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 205
            new org.graalvm.compiler.debug.GraalError
            dup
         3: .line 206
            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 207
            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 205
            aastore
            invokespecial org.graalvm.compiler.debug.GraalError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
            athrow
         6: .line 210
      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=11, 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 214
            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.ArrayList ops
         1: .line 215
            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.getDebug:()Lorg/graalvm/compiler/debug/DebugContext;
            astore 4 /* debug */
        start local 4 // org.graalvm.compiler.debug.DebugContext debug
         2: .line 216
            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 5 /* useConsumer */
        start local 5 // org.graalvm.compiler.lir.InstructionValueConsumer useConsumer
         3: .line 232
            aload 0 /* this */
            aload 4 /* debug */
            aload 2 /* inputState */
            invokedynamic visitValue(Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;Lorg/graalvm/compiler/debug/DebugContext;[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/debug/DebugContext;[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 6 /* defConsumer */
        start local 6 // org.graalvm.compiler.lir.InstructionValueConsumer defConsumer
         4: .line 244
            iconst_0
            istore 7 /* i */
        start local 7 // int i
         5: goto 19
         6: .line 245
      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.ArrayList org.graalvm.compiler.debug.DebugContext org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer int
      StackMap stack:
            aload 3 /* ops */
            iload 7 /* i */
            invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.LIRInstruction
            astore 8 /* op */
        start local 8 // org.graalvm.compiler.lir.LIRInstruction op
         7: .line 247
            aload 4 /* debug */
            invokevirtual org.graalvm.compiler.debug.DebugContext.isLogEnabled:()Z
            ifeq 9
         8: .line 248
            aload 4 /* debug */
            ldc "%s"
            aload 8 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.toStringWithIdPrefix:()Ljava/lang/String;
            invokevirtual org.graalvm.compiler.debug.DebugContext.log:(Ljava/lang/String;Ljava/lang/Object;)V
         9: .line 252
      StackMap locals: org.graalvm.compiler.lir.LIRInstruction
      StackMap stack:
            aload 8 /* op */
            aload 5 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachInput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        10: .line 254
            aload 8 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.destroysCallerSavedRegisters:()Z
            ifeq 15
        11: .line 255
            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 10
            goto 14
      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.ArrayList org.graalvm.compiler.debug.DebugContext org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer int org.graalvm.compiler.lir.LIRInstruction top java.util.Iterator
      StackMap stack:
        12: aload 10
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast jdk.vm.ci.code.Register
            astore 9 /* r */
        start local 9 // jdk.vm.ci.code.Register r
        13: .line 256
            aload 4 /* debug */
            aload 2 /* inputState */
            aload 9 /* 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/debug/DebugContext;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        end local 9 // jdk.vm.ci.code.Register r
        14: .line 255
      StackMap locals:
      StackMap stack:
            aload 10
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 12
        15: .line 259
      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.ArrayList org.graalvm.compiler.debug.DebugContext org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer int org.graalvm.compiler.lir.LIRInstruction
      StackMap stack:
            aload 8 /* op */
            aload 5 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachAlive:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        16: .line 262
            aload 8 /* op */
            aload 6 /* defConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachTemp:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        17: .line 264
            aload 8 /* op */
            aload 6 /* defConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachOutput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        end local 8 // org.graalvm.compiler.lir.LIRInstruction op
        18: .line 244
            iinc 7 /* i */ 1
      StackMap locals:
      StackMap stack:
        19: iload 7 /* i */
            aload 3 /* ops */
            invokevirtual java.util.ArrayList.size:()I
            if_icmplt 6
        end local 7 // int i
        20: .line 266
            return
        end local 6 // org.graalvm.compiler.lir.InstructionValueConsumer defConsumer
        end local 5 // org.graalvm.compiler.lir.InstructionValueConsumer useConsumer
        end local 4 // org.graalvm.compiler.debug.DebugContext debug
        end local 3 // java.util.ArrayList 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   21     0         this  Lorg/graalvm/compiler/lir/alloc/lsra/RegisterVerifier;
            0   21     1        block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            0   21     2   inputState  [Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            1   21     3          ops  Ljava/util/ArrayList<Lorg/graalvm/compiler/lir/LIRInstruction;>;
            2   21     4        debug  Lorg/graalvm/compiler/debug/DebugContext;
            3   21     5  useConsumer  Lorg/graalvm/compiler/lir/InstructionValueConsumer;
            4   21     6  defConsumer  Lorg/graalvm/compiler/lir/InstructionValueConsumer;
            5   20     7            i  I
            7   18     8           op  Lorg/graalvm/compiler/lir/LIRInstruction;
           13   14     9            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.debug.DebugContext, 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/debug/DebugContext;[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=8, args_size=7
        start local 0 // org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier this
        start local 3 // org.graalvm.compiler.lir.LIRInstruction op
        start local 4 // jdk.vm.ci.meta.Value operand
        start local 5 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        start local 6 // java.util.EnumSet flags
         0: .line 233
            aload 4 /* 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 4 /* operand */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.LinearScan.isProcessed:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 5
         1: .line 234
            aload 0 /* this */
            aload 4 /* operand */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.RegisterVerifier.intervalAt:(Ljdk/vm/ci/meta/Value;)Lorg/graalvm/compiler/lir/alloc/lsra/Interval;
            astore 7 /* interval */
        start local 7 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
         2: .line 235
            aload 3 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.id:()I
            iconst_m1
            if_icmpeq 4
         3: .line 236
            aload 7 /* interval */
            aload 3 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.id:()I
            aload 5 /* 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 7 /* interval */
         4: .line 239
      StackMap locals: org.graalvm.compiler.lir.alloc.lsra.Interval
      StackMap stack:
            aload 1
            aload 2
            aload 7 /* interval */
            invokevirtual org.graalvm.compiler.lir.alloc.lsra.Interval.location:()Ljdk/vm/ci/meta/AllocatableValue;
            aload 7 /* 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/debug/DebugContext;[Lorg/graalvm/compiler/lir/alloc/lsra/Interval;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/alloc/lsra/Interval;)V
        end local 7 // org.graalvm.compiler.lir.alloc.lsra.Interval interval
         5: .line 241
      StackMap locals:
      StackMap stack:
            return
        end local 6 // java.util.EnumSet flags
        end local 5 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        end local 4 // jdk.vm.ci.meta.Value operand
        end local 3 // 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     3        op  Lorg/graalvm/compiler/lir/LIRInstruction;
            0    6     4   operand  Ljdk/vm/ci/meta/Value;
            0    6     5      mode  Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            0    6     6     flags  Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;
            2    5     7  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.DebugContext$Scope of org.graalvm.compiler.debug.DebugContext
  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