public final class org.graalvm.compiler.lir.ssi.SSIVerifier
  minor version: 0
  major version: 59
  flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
  this_class: org.graalvm.compiler.lir.ssi.SSIVerifier
  super_class: java.lang.Object
{
  private final org.graalvm.compiler.lir.LIR lir;
    descriptor: Lorg/graalvm/compiler/lir/LIR;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  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 49
            ldc Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
            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.ssi.SSIVerifier.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public static boolean verify(org.graalvm.compiler.lir.LIR);
    descriptor: (Lorg/graalvm/compiler/lir/LIR;)Z
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=3, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.lir.LIR lir
         0: .line 52
            new org.graalvm.compiler.lir.ssi.SSIVerifier
            dup
            aload 0 /* lir */
            invokespecial org.graalvm.compiler.lir.ssi.SSIVerifier.<init>:(Lorg/graalvm/compiler/lir/LIR;)V
            invokevirtual org.graalvm.compiler.lir.ssi.SSIVerifier.verify:()Z
            ireturn
        end local 0 // org.graalvm.compiler.lir.LIR lir
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0   lir  Lorg/graalvm/compiler/lir/LIR;
    MethodParameters:
      Name  Flags
      lir   

  private void <init>(org.graalvm.compiler.lir.LIR);
    descriptor: (Lorg/graalvm/compiler/lir/LIR;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
        start local 1 // org.graalvm.compiler.lir.LIR lir
         0: .line 57
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 58
            aload 0 /* this */
            aload 1 /* lir */
            putfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
         2: .line 59
            return
        end local 1 // org.graalvm.compiler.lir.LIR lir
        end local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
            0    3     1   lir  Lorg/graalvm/compiler/lir/LIR;
    MethodParameters:
      Name  Flags
      lir   

  private boolean verify();
    descriptor: ()Z
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=8, args_size=1
        start local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
         0: .line 63
            aconst_null
            astore 1
            aconst_null
            astore 2
         1: ldc "SSIVerifier"
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            invokestatic org.graalvm.compiler.debug.Debug.scope:(Ljava/lang/Object;Ljava/lang/Object;)Lorg/graalvm/compiler/debug/Debug$Scope;
            astore 3 /* s */
        start local 3 // org.graalvm.compiler.debug.Debug$Scope s
         2: .line 64
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            invokevirtual org.graalvm.compiler.lir.LIR.getControlFlowGraph:()Lorg/graalvm/compiler/core/common/cfg/AbstractControlFlowGraph;
            invokeinterface org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph.getBlocks:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            dup
            astore 7
            arraylength
            istore 6
            iconst_0
            istore 5
            goto 6
      StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Debug$Scope top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
         3: aload 7
            iload 5
            aaload
            astore 4 /* block */
        start local 4 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         4: .line 65
            aload 0 /* this */
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.lir.ssi.SSIVerifier.doBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        end local 4 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         5: .line 64
            iinc 5 1
      StackMap locals:
      StackMap stack:
         6: iload 5
            iload 6
            if_icmplt 3
         7: .line 67
            aload 3 /* s */
            ifnull 15
            aload 3 /* s */
            invokeinterface org.graalvm.compiler.debug.Debug$Scope.close:()V
            goto 15
      StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Debug$Scope
      StackMap stack: java.lang.Throwable
         8: astore 1
            aload 3 /* s */
            ifnull 9
            aload 3 /* s */
            invokeinterface org.graalvm.compiler.debug.Debug$Scope.close:()V
        end local 3 // org.graalvm.compiler.debug.Debug$Scope s
      StackMap locals:
      StackMap stack:
         9: aload 1
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        10: astore 2
            aload 1
            ifnonnull 11
            aload 2
            astore 1
            goto 12
      StackMap locals:
      StackMap stack:
        11: aload 1
            aload 2
            if_acmpeq 12
            aload 1
            aload 2
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        12: aload 1
            athrow
      StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier
      StackMap stack: java.lang.Throwable
        13: astore 1 /* e */
        start local 1 // java.lang.Throwable e
        14: .line 68
            aload 1 /* e */
            invokestatic org.graalvm.compiler.debug.Debug.handle:(Ljava/lang/Throwable;)Ljava/lang/RuntimeException;
            athrow
        end local 1 // java.lang.Throwable e
        15: .line 70
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0   16     0   this  Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
            2    9     3      s  Lorg/graalvm/compiler/debug/Debug$Scope;
            4    5     4  block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
           14   15     1      e  Ljava/lang/Throwable;
      Exception table:
        from    to  target  type
           2     7       8  any
           1    10      10  any
           0    13      13  Class java.lang.Throwable

  private void doBlock(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=6, args_size=2
        start local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         0: .line 74
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            dup
            astore 5
            arraylength
            istore 4
            iconst_0
            istore 3
            goto 4
      StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
         1: aload 5
            iload 3
            aaload
            astore 2 /* succ */
        start local 2 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase succ
         2: .line 75
            aload 0 /* this */
            aload 1 /* block */
            aload 2 /* succ */
            invokevirtual org.graalvm.compiler.lir.ssi.SSIVerifier.verifyEdge:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        end local 2 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase succ
         3: .line 74
            iinc 3 1
      StackMap locals:
      StackMap stack:
         4: iload 3
            iload 4
            if_icmplt 1
         5: .line 77
            aload 0 /* this */
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.lir.ssi.SSIVerifier.verifyInstructions:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
         6: .line 78
            return
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    7     0   this  Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
            0    7     1  block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            2    3     2   succ  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
    MethodParameters:
       Name  Flags
      block  

  private void verifyEdge(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>, org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=7, locals=12, args_size=3
        start local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase from
        start local 2 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase to
         0: .line 81
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            aload 1 /* from */
            invokestatic org.graalvm.compiler.lir.ssi.SSIUtil.outgoing:(Lorg/graalvm/compiler/lir/LIR;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Lorg/graalvm/compiler/lir/StandardOp$BlockEndOp;
            astore 3 /* out */
        start local 3 // org.graalvm.compiler.lir.StandardOp$BlockEndOp out
         1: .line 82
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            aload 2 /* to */
            invokestatic org.graalvm.compiler.lir.ssi.SSIUtil.incoming:(Lorg/graalvm/compiler/lir/LIR;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Lorg/graalvm/compiler/lir/StandardOp$LabelOp;
            astore 4 /* in */
        start local 4 // org.graalvm.compiler.lir.StandardOp$LabelOp in
         2: .line 83
            aload 3 /* out */
            invokeinterface org.graalvm.compiler.lir.StandardOp$BlockEndOp.getOutgoingSize:()I
            istore 5 /* outgoingSize */
        start local 5 // int outgoingSize
         3: .line 84
            aload 4 /* in */
            invokevirtual org.graalvm.compiler.lir.StandardOp$LabelOp.getIncomingSize:()I
            istore 6 /* incomingSize */
        start local 6 // int incomingSize
         4: .line 85
            getstatic org.graalvm.compiler.lir.ssi.SSIVerifier.$assertionsDisabled:Z
            ifne 5
            iload 5 /* outgoingSize */
            iload 6 /* incomingSize */
            if_icmpeq 5
            new java.lang.AssertionError
            dup
            ldc "Outgoing size %d and incoming size %d do not match"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            iload 5 /* outgoingSize */
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
            aastore
            dup
            iconst_1
            iload 6 /* incomingSize */
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         5: .line 87
      StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.lir.StandardOp$BlockEndOp org.graalvm.compiler.lir.StandardOp$LabelOp int int
      StackMap stack:
            iconst_0
            istore 7 /* i */
        start local 7 // int i
         6: goto 15
         7: .line 88
      StackMap locals: int
      StackMap stack:
            aload 4 /* in */
            iload 7 /* i */
            invokevirtual org.graalvm.compiler.lir.StandardOp$LabelOp.getIncomingValue:(I)Ljdk/vm/ci/meta/Value;
            astore 8 /* incomingValue */
        start local 8 // jdk.vm.ci.meta.Value incomingValue
         8: .line 89
            aload 3 /* out */
            iload 7 /* i */
            invokeinterface org.graalvm.compiler.lir.StandardOp$BlockEndOp.getOutgoingValue:(I)Ljdk/vm/ci/meta/Value;
            astore 9 /* outgoingValue */
        start local 9 // jdk.vm.ci.meta.Value outgoingValue
         9: .line 90
            aload 8 /* incomingValue */
            invokevirtual jdk.vm.ci.meta.Value.getValueKind:()Ljdk/vm/ci/meta/ValueKind;
            astore 10 /* inLIRKind */
        start local 10 // jdk.vm.ci.meta.ValueKind inLIRKind
        10: .line 91
            aload 9 /* outgoingValue */
            invokevirtual jdk.vm.ci.meta.Value.getValueKind:()Ljdk/vm/ci/meta/ValueKind;
            astore 11 /* outLIRKind */
        start local 11 // jdk.vm.ci.meta.ValueKind outLIRKind
        11: .line 92
            getstatic org.graalvm.compiler.lir.ssi.SSIVerifier.$assertionsDisabled:Z
            ifne 14
            aload 10 /* inLIRKind */
            aload 11 /* outLIRKind */
            invokestatic org.graalvm.compiler.core.common.LIRKind.verifyMoveKinds:(Ljdk/vm/ci/meta/ValueKind;Ljdk/vm/ci/meta/ValueKind;)Z
            ifne 14
            aload 8 /* incomingValue */
            getstatic jdk.vm.ci.meta.Value.ILLEGAL:Ljdk/vm/ci/meta/AllocatableValue;
            invokevirtual jdk.vm.ci.meta.Value.equals:(Ljava/lang/Object;)Z
            ifne 14
            new java.lang.AssertionError
            dup
            ldc "Outgoing LIRKind %s (%s) an and incoming LIRKind %s (%s) do not match"
            iconst_4
            anewarray java.lang.Object
            dup
            iconst_0
        12: .line 93
            aload 9 /* outgoingValue */
            aastore
            dup
            iconst_1
            aload 11 /* outLIRKind */
            aastore
            dup
            iconst_2
            aload 8 /* incomingValue */
            aastore
            dup
            iconst_3
            aload 10 /* inLIRKind */
            aastore
        13: .line 92
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
        end local 11 // jdk.vm.ci.meta.ValueKind outLIRKind
        end local 10 // jdk.vm.ci.meta.ValueKind inLIRKind
        end local 9 // jdk.vm.ci.meta.Value outgoingValue
        end local 8 // jdk.vm.ci.meta.Value incomingValue
        14: .line 87
      StackMap locals:
      StackMap stack:
            iinc 7 /* i */ 1
      StackMap locals:
      StackMap stack:
        15: iload 7 /* i */
            iload 5 /* outgoingSize */
            if_icmplt 7
        end local 7 // int i
        16: .line 95
            return
        end local 6 // int incomingSize
        end local 5 // int outgoingSize
        end local 4 // org.graalvm.compiler.lir.StandardOp$LabelOp in
        end local 3 // org.graalvm.compiler.lir.StandardOp$BlockEndOp out
        end local 2 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase to
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase from
        end local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   17     0           this  Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
            0   17     1           from  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            0   17     2             to  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            1   17     3            out  Lorg/graalvm/compiler/lir/StandardOp$BlockEndOp;
            2   17     4             in  Lorg/graalvm/compiler/lir/StandardOp$LabelOp;
            3   17     5   outgoingSize  I
            4   17     6   incomingSize  I
            6   16     7              i  I
            8   14     8  incomingValue  Ljdk/vm/ci/meta/Value;
            9   14     9  outgoingValue  Ljdk/vm/ci/meta/Value;
           10   14    10      inLIRKind  Ljdk/vm/ci/meta/ValueKind<*>;
           11   14    11     outLIRKind  Ljdk/vm/ci/meta/ValueKind<*>;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
    MethodParameters:
      Name  Flags
      from  
      to    

  private void verifyInstructions(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=5, locals=9, args_size=2
        start local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         0: .line 98
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir: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 2 /* instructions */
        start local 2 // java.util.List instructions
         1: .line 99
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            astore 3 /* defined */
        start local 3 // java.util.HashMap defined
         2: .line 101
            new org.graalvm.compiler.lir.ssi.SSIVerifier$1
            dup
            aload 0 /* this */
            aload 3 /* defined */
            aload 1 /* block */
            invokespecial org.graalvm.compiler.lir.ssi.SSIVerifier$1.<init>:(Lorg/graalvm/compiler/lir/ssi/SSIVerifier;Ljava/util/HashMap;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
            astore 4 /* useConsumer */
        start local 4 // org.graalvm.compiler.lir.InstructionValueConsumer useConsumer
         3: .line 110
            new org.graalvm.compiler.lir.ssi.SSIVerifier$2
            dup
            aload 0 /* this */
            aload 3 /* defined */
            aload 1 /* block */
            invokespecial org.graalvm.compiler.lir.ssi.SSIVerifier$2.<init>:(Lorg/graalvm/compiler/lir/ssi/SSIVerifier;Ljava/util/HashMap;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
            astore 5 /* stateConsumer */
        start local 5 // org.graalvm.compiler.lir.InstructionValueConsumer stateConsumer
         4: .line 124
            new org.graalvm.compiler.lir.ssi.SSIVerifier$3
            dup
            aload 0 /* this */
            aload 3 /* defined */
            aload 1 /* block */
            invokespecial org.graalvm.compiler.lir.ssi.SSIVerifier$3.<init>:(Lorg/graalvm/compiler/lir/ssi/SSIVerifier;Ljava/util/HashMap;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
            astore 6 /* defConsumer */
        start local 6 // org.graalvm.compiler.lir.InstructionValueConsumer defConsumer
         5: .line 134
            aload 2 /* instructions */
            invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
            astore 8
            goto 12
      StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.util.List java.util.HashMap org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer top java.util.Iterator
      StackMap stack:
         6: aload 8
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.LIRInstruction
            astore 7 /* op */
        start local 7 // org.graalvm.compiler.lir.LIRInstruction op
         7: .line 135
            aload 7 /* op */
            aload 4 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachAlive:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         8: .line 136
            aload 7 /* op */
            aload 4 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachInput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         9: .line 137
            aload 7 /* op */
            aload 5 /* stateConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachState:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        10: .line 139
            aload 7 /* op */
            aload 6 /* defConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachTemp:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        11: .line 140
            aload 7 /* op */
            aload 6 /* defConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachOutput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        end local 7 // org.graalvm.compiler.lir.LIRInstruction op
        12: .line 134
      StackMap locals:
      StackMap stack:
            aload 8
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 6
        13: .line 142
            return
        end local 6 // org.graalvm.compiler.lir.InstructionValueConsumer defConsumer
        end local 5 // org.graalvm.compiler.lir.InstructionValueConsumer stateConsumer
        end local 4 // org.graalvm.compiler.lir.InstructionValueConsumer useConsumer
        end local 3 // java.util.HashMap defined
        end local 2 // java.util.List instructions
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.ssi.SSIVerifier this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   14     0           this  Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
            0   14     1          block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            1   14     2   instructions  Ljava/util/List<Lorg/graalvm/compiler/lir/LIRInstruction;>;
            2   14     3        defined  Ljava/util/HashMap<Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction;>;
            3   14     4    useConsumer  Lorg/graalvm/compiler/lir/InstructionValueConsumer;
            4   14     5  stateConsumer  Lorg/graalvm/compiler/lir/InstructionValueConsumer;
            5   14     6    defConsumer  Lorg/graalvm/compiler/lir/InstructionValueConsumer;
            7   12     7             op  Lorg/graalvm/compiler/lir/LIRInstruction;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
    MethodParameters:
       Name  Flags
      block  

  private static boolean trackDefinition(jdk.vm.ci.meta.Value);
    descriptor: (Ljdk/vm/ci/meta/Value;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // jdk.vm.ci.meta.Value value
         0: .line 145
            aload 0 /* value */
            invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 2
         1: .line 147
            iconst_0
            ireturn
         2: .line 149
      StackMap locals:
      StackMap stack:
            aload 0 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isStackSlotValue:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 4
            aload 0 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isVirtualStackSlot:(Ljdk/vm/ci/meta/Value;)Z
            ifne 4
         3: .line 151
            iconst_0
            ireturn
         4: .line 153
      StackMap locals:
      StackMap stack:
            aload 0 /* value */
            getstatic jdk.vm.ci.meta.Value.ILLEGAL:Ljdk/vm/ci/meta/AllocatableValue;
            invokevirtual jdk.vm.ci.meta.Value.equals:(Ljava/lang/Object;)Z
            ifeq 6
         5: .line 155
            iconst_0
            ireturn
         6: .line 157
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 0 // jdk.vm.ci.meta.Value value
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    7     0  value  Ljdk/vm/ci/meta/Value;
    MethodParameters:
       Name  Flags
      value  

  private static boolean checkUsage(jdk.vm.ci.meta.Value);
    descriptor: (Ljdk/vm/ci/meta/Value;)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // jdk.vm.ci.meta.Value value
         0: .line 161
            aload 0 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isConstantValue:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 2
         1: .line 163
            iconst_0
            ireturn
         2: .line 165
      StackMap locals:
      StackMap stack:
            aload 0 /* value */
            invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 4
         3: .line 167
            iconst_0
            ireturn
         4: .line 169
      StackMap locals:
      StackMap stack:
            aload 0 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isStackSlotValue:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 6
         5: .line 171
            iconst_0
            ireturn
         6: .line 173
      StackMap locals:
      StackMap stack:
            aload 0 /* value */
            getstatic jdk.vm.ci.meta.Value.ILLEGAL:Ljdk/vm/ci/meta/AllocatableValue;
            invokevirtual jdk.vm.ci.meta.Value.equals:(Ljava/lang/Object;)Z
            ifeq 8
         7: .line 175
            iconst_0
            ireturn
         8: .line 177
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 0 // jdk.vm.ci.meta.Value value
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    9     0  value  Ljdk/vm/ci/meta/Value;
    MethodParameters:
       Name  Flags
      value  
}
SourceFile: "SSIVerifier.java"
NestMembers:
  org.graalvm.compiler.lir.ssi.SSIVerifier$1  org.graalvm.compiler.lir.ssi.SSIVerifier$2  org.graalvm.compiler.lir.ssi.SSIVerifier$3
InnerClasses:
  public abstract Scope = org.graalvm.compiler.debug.Debug$Scope of org.graalvm.compiler.debug.Debug
  public abstract BlockEndOp = org.graalvm.compiler.lir.StandardOp$BlockEndOp of org.graalvm.compiler.lir.StandardOp
  public final LabelOp = org.graalvm.compiler.lir.StandardOp$LabelOp of org.graalvm.compiler.lir.StandardOp
  org.graalvm.compiler.lir.ssi.SSIVerifier$1
  org.graalvm.compiler.lir.ssi.SSIVerifier$2
  org.graalvm.compiler.lir.ssi.SSIVerifier$3