https://openjdk.java.net/ 
public final class org.graalvm.compiler.lir.LIRVerifier
  minor version: 0
  major version: 59
  flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
  this_class: org.graalvm.compiler.lir.LIRVerifier
  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

  private final org.graalvm.compiler.lir.framemap.FrameMap frameMap;
    descriptor: Lorg/graalvm/compiler/lir/framemap/FrameMap;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private final boolean beforeRegisterAllocation;
    descriptor: Z
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private final java.util.BitSet[] blockLiveOut;
    descriptor: [Ljava/util/BitSet;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private final java.lang.Object[] variableDefinitions;
    descriptor: [Ljava/lang/Object;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private java.util.BitSet curVariablesLive;
    descriptor: Ljava/util/BitSet;
    flags: (0x0002) ACC_PRIVATE

  private jdk.vm.ci.meta.Value[] curRegistersLive;
    descriptor: [Ljdk/vm/ci/meta/Value;
    flags: (0x0002) ACC_PRIVATE

  private org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?> curBlock;
    descriptor: Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
    flags: (0x0002) ACC_PRIVATE
    Signature: Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;

  private java.lang.Object curInstruction;
    descriptor: Ljava/lang/Object;
    flags: (0x0002) ACC_PRIVATE

  private java.util.BitSet curRegistersDefined;
    descriptor: Ljava/util/BitSet;
    flags: (0x0002) ACC_PRIVATE

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

  private java.util.BitSet liveOutFor(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/util/BitSet;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.lir.LIRVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         0: .line 61
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.blockLiveOut:[Ljava/util/BitSet;
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            aaload
            areturn
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.LIRVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lorg/graalvm/compiler/lir/LIRVerifier;
            0    1     1  block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)Ljava/util/BitSet;
    MethodParameters:
       Name  Flags
      block  

  private void setLiveOutFor(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>, java.util.BitSet);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Ljava/util/BitSet;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.lir.LIRVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        start local 2 // java.util.BitSet liveOut
         0: .line 65
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.blockLiveOut:[Ljava/util/BitSet;
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            aload 2 /* liveOut */
            aastore
         1: .line 66
            return
        end local 2 // java.util.BitSet liveOut
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.LIRVerifier this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    2     0     this  Lorg/graalvm/compiler/lir/LIRVerifier;
            0    2     1    block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            0    2     2  liveOut  Ljava/util/BitSet;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;Ljava/util/BitSet;)V
    MethodParameters:
         Name  Flags
      block    
      liveOut  

  private int maxRegisterNum();
    descriptor: ()I
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.lir.LIRVerifier this
         0: .line 69
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.frameMap:Lorg/graalvm/compiler/lir/framemap/FrameMap;
            invokevirtual org.graalvm.compiler.lir.framemap.FrameMap.getTarget:()Ljdk/vm/ci/code/TargetDescription;
            getfield jdk.vm.ci.code.TargetDescription.arch:Ljdk/vm/ci/code/Architecture;
            invokevirtual jdk.vm.ci.code.Architecture.getRegisters:()Ljdk/vm/ci/code/RegisterArray;
            invokevirtual jdk.vm.ci.code.RegisterArray.size:()I
            ireturn
        end local 0 // org.graalvm.compiler.lir.LIRVerifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/lir/LIRVerifier;

  private boolean isAllocatableRegister(jdk.vm.ci.meta.Value);
    descriptor: (Ljdk/vm/ci/meta/Value;)Z
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.lir.LIRVerifier this
        start local 1 // jdk.vm.ci.meta.Value value
         0: .line 73
            aload 1 /* value */
            invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 1
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.frameMap:Lorg/graalvm/compiler/lir/framemap/FrameMap;
            invokevirtual org.graalvm.compiler.lir.framemap.FrameMap.getRegisterConfig:()Ljdk/vm/ci/code/RegisterConfig;
            invokeinterface jdk.vm.ci.code.RegisterConfig.getAttributesMap:()[Ljdk/vm/ci/code/RegisterAttributes;
            aload 1 /* value */
            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
            invokevirtual jdk.vm.ci.code.RegisterAttributes.isAllocatable:()Z
            ifeq 1
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         1: iconst_0
            ireturn
        end local 1 // jdk.vm.ci.meta.Value value
        end local 0 // org.graalvm.compiler.lir.LIRVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    2     0   this  Lorg/graalvm/compiler/lir/LIRVerifier;
            0    2     1  value  Ljdk/vm/ci/meta/Value;
    MethodParameters:
       Name  Flags
      value  

  public static boolean verify(org.graalvm.compiler.lir.LIRInstruction);
    descriptor: (Lorg/graalvm/compiler/lir/LIRInstruction;)Z
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.lir.LIRInstruction op
         0: .line 78
            aload 0 /* op */
            invokedynamic visitValue()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/LIRVerifier.allowed(Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V (6)
                  (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachInput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         1: .line 79
            aload 0 /* op */
            invokedynamic visitValue()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/LIRVerifier.allowed(Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V (6)
                  (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachAlive:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         2: .line 80
            aload 0 /* op */
            invokedynamic visitValue()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/LIRVerifier.allowed(Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V (6)
                  (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachState:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         3: .line 81
            aload 0 /* op */
            invokedynamic visitValue()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/LIRVerifier.allowed(Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V (6)
                  (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachTemp:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         4: .line 82
            aload 0 /* op */
            invokedynamic visitValue()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/LIRVerifier.allowed(Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V (6)
                  (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachOutput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         5: .line 84
            aload 0 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.verify:()V
         6: .line 85
            iconst_1
            ireturn
        end local 0 // org.graalvm.compiler.lir.LIRInstruction op
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    7     0    op  Lorg/graalvm/compiler/lir/LIRInstruction;
    MethodParameters:
      Name  Flags
      op    final

  public static boolean verify(boolean, org.graalvm.compiler.lir.LIR, org.graalvm.compiler.lir.framemap.FrameMap);
    descriptor: (ZLorg/graalvm/compiler/lir/LIR;Lorg/graalvm/compiler/lir/framemap/FrameMap;)Z
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=5, locals=4, args_size=3
        start local 0 // boolean beforeRegisterAllocation
        start local 1 // org.graalvm.compiler.lir.LIR lir
        start local 2 // org.graalvm.compiler.lir.framemap.FrameMap frameMap
         0: .line 89
            new org.graalvm.compiler.lir.LIRVerifier
            dup
            iload 0 /* beforeRegisterAllocation */
            aload 1 /* lir */
            aload 2 /* frameMap */
            invokespecial org.graalvm.compiler.lir.LIRVerifier.<init>:(ZLorg/graalvm/compiler/lir/LIR;Lorg/graalvm/compiler/lir/framemap/FrameMap;)V
            astore 3 /* verifier */
        start local 3 // org.graalvm.compiler.lir.LIRVerifier verifier
         1: .line 90
            aload 3 /* verifier */
            invokevirtual org.graalvm.compiler.lir.LIRVerifier.verify:()V
         2: .line 91
            iconst_1
            ireturn
        end local 3 // org.graalvm.compiler.lir.LIRVerifier verifier
        end local 2 // org.graalvm.compiler.lir.framemap.FrameMap frameMap
        end local 1 // org.graalvm.compiler.lir.LIR lir
        end local 0 // boolean beforeRegisterAllocation
      LocalVariableTable:
        Start  End  Slot                      Name  Signature
            0    3     0  beforeRegisterAllocation  Z
            0    3     1                       lir  Lorg/graalvm/compiler/lir/LIR;
            0    3     2                  frameMap  Lorg/graalvm/compiler/lir/framemap/FrameMap;
            1    3     3                  verifier  Lorg/graalvm/compiler/lir/LIRVerifier;
    MethodParameters:
                          Name  Flags
      beforeRegisterAllocation  
      lir                       
      frameMap                  

  private void <init>(boolean, org.graalvm.compiler.lir.LIR, org.graalvm.compiler.lir.framemap.FrameMap);
    descriptor: (ZLorg/graalvm/compiler/lir/LIR;Lorg/graalvm/compiler/lir/framemap/FrameMap;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=4, args_size=4
        start local 0 // org.graalvm.compiler.lir.LIRVerifier this
        start local 1 // boolean beforeRegisterAllocation
        start local 2 // org.graalvm.compiler.lir.LIR lir
        start local 3 // org.graalvm.compiler.lir.framemap.FrameMap frameMap
         0: .line 94
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 95
            aload 0 /* this */
            iload 1 /* beforeRegisterAllocation */
            putfield org.graalvm.compiler.lir.LIRVerifier.beforeRegisterAllocation:Z
         2: .line 96
            aload 0 /* this */
            aload 2 /* lir */
            putfield org.graalvm.compiler.lir.LIRVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
         3: .line 97
            aload 0 /* this */
            aload 3 /* frameMap */
            putfield org.graalvm.compiler.lir.LIRVerifier.frameMap:Lorg/graalvm/compiler/lir/framemap/FrameMap;
         4: .line 98
            aload 0 /* this */
            aload 2 /* lir */
            invokevirtual org.graalvm.compiler.lir.LIR.linearScanOrder:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            arraylength
            anewarray java.util.BitSet
            putfield org.graalvm.compiler.lir.LIRVerifier.blockLiveOut:[Ljava/util/BitSet;
         5: .line 99
            aload 0 /* this */
            aload 2 /* lir */
            invokevirtual org.graalvm.compiler.lir.LIR.numVariables:()I
            anewarray java.lang.Object
            putfield org.graalvm.compiler.lir.LIRVerifier.variableDefinitions:[Ljava/lang/Object;
         6: .line 100
            return
        end local 3 // org.graalvm.compiler.lir.framemap.FrameMap frameMap
        end local 2 // org.graalvm.compiler.lir.LIR lir
        end local 1 // boolean beforeRegisterAllocation
        end local 0 // org.graalvm.compiler.lir.LIRVerifier this
      LocalVariableTable:
        Start  End  Slot                      Name  Signature
            0    7     0                      this  Lorg/graalvm/compiler/lir/LIRVerifier;
            0    7     1  beforeRegisterAllocation  Z
            0    7     2                       lir  Lorg/graalvm/compiler/lir/LIR;
            0    7     3                  frameMap  Lorg/graalvm/compiler/lir/framemap/FrameMap;
    MethodParameters:
                          Name  Flags
      beforeRegisterAllocation  
      lir                       
      frameMap                  

  private void verify();
    descriptor: ()V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=12, args_size=1
        start local 0 // org.graalvm.compiler.lir.LIRVerifier this
         0: .line 110
            new org.graalvm.compiler.lir.LIRVerifier$1
            dup
            aload 0 /* this */
            invokespecial org.graalvm.compiler.lir.LIRVerifier$1.<init>:(Lorg/graalvm/compiler/lir/LIRVerifier;)V
            astore 1 /* useConsumer */
        start local 1 // org.graalvm.compiler.lir.ValueConsumer useConsumer
         1: .line 117
            new org.graalvm.compiler.lir.LIRVerifier$2
            dup
            aload 0 /* this */
            invokespecial org.graalvm.compiler.lir.LIRVerifier$2.<init>:(Lorg/graalvm/compiler/lir/LIRVerifier;)V
            astore 2 /* defConsumer */
        start local 2 // org.graalvm.compiler.lir.ValueConsumer defConsumer
         2: .line 125
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.lir.LIRVerifier.maxRegisterNum:()I
            istore 3 /* maxRegisterNum */
        start local 3 // int maxRegisterNum
         3: .line 126
            aload 0 /* this */
            new java.util.BitSet
            dup
            invokespecial java.util.BitSet.<init>:()V
            putfield org.graalvm.compiler.lir.LIRVerifier.curRegistersDefined:Ljava/util/BitSet;
         4: .line 127
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            invokevirtual org.graalvm.compiler.lir.LIR.linearScanOrder:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            dup
            astore 7
            arraylength
            istore 6
            iconst_0
            istore 5
            goto 35
      StackMap locals: org.graalvm.compiler.lir.LIRVerifier org.graalvm.compiler.lir.ValueConsumer org.graalvm.compiler.lir.ValueConsumer int top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
         5: aload 7
            iload 5
            aaload
            astore 4 /* block */
        start local 4 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         6: .line 128
            aload 0 /* this */
            aload 4 /* block */
            putfield org.graalvm.compiler.lir.LIRVerifier.curBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
         7: .line 129
            aload 0 /* this */
            new java.util.BitSet
            dup
            invokespecial java.util.BitSet.<init>:()V
            putfield org.graalvm.compiler.lir.LIRVerifier.curVariablesLive:Ljava/util/BitSet;
         8: .line 130
            aload 0 /* this */
            iload 3 /* maxRegisterNum */
            anewarray jdk.vm.ci.meta.Value
            putfield org.graalvm.compiler.lir.LIRVerifier.curRegistersLive:[Ljdk/vm/ci/meta/Value;
         9: .line 132
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getDominator:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            ifnull 11
        10: .line 133
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curVariablesLive:Ljava/util/BitSet;
            aload 0 /* this */
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getDominator:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            invokevirtual org.graalvm.compiler.lir.LIRVerifier.liveOutFor:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/util/BitSet;
            invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
        11: .line 136
      StackMap locals: org.graalvm.compiler.lir.LIRVerifier org.graalvm.compiler.lir.ValueConsumer org.graalvm.compiler.lir.ValueConsumer int org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
            getstatic org.graalvm.compiler.lir.LIRVerifier.$assertionsDisabled:Z
            ifne 12
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.lir.LIR.getLIRforBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/util/ArrayList;
            iconst_0
            invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
            instanceof org.graalvm.compiler.lir.StandardOp$LabelOp
            ifne 12
            new java.lang.AssertionError
            dup
            ldc "block must start with label"
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
        12: .line 138
      StackMap locals:
      StackMap stack:
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessorCount:()I
            ifle 15
        13: .line 139
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.lir.LIR.getLIRforBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/util/ArrayList;
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.lir.LIR.getLIRforBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/util/ArrayList;
            invokevirtual java.util.ArrayList.size:()I
            iconst_1
            isub
            invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.LIRInstruction
            astore 8 /* last */
        start local 8 // org.graalvm.compiler.lir.LIRInstruction last
        14: .line 140
            getstatic org.graalvm.compiler.lir.LIRVerifier.$assertionsDisabled:Z
            ifne 15
            aload 8 /* last */
            instanceof org.graalvm.compiler.lir.StandardOp$JumpOp
            ifne 15
            new java.lang.AssertionError
            dup
            ldc "block with successor must end with unconditional jump"
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
        end local 8 // org.graalvm.compiler.lir.LIRInstruction last
        15: .line 142
      StackMap locals:
      StackMap stack:
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getPredecessorCount:()I
            iconst_1
            if_icmple 17
        16: .line 143
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            aload 4 /* block */
            invokestatic org.graalvm.compiler.lir.ssa.SSAUtil.verifyPhi:(Lorg/graalvm/compiler/lir/LIR;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        17: .line 146
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.lir.LIR.getLIRforBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/util/ArrayList;
            invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
            astore 9
            goto 32
      StackMap locals: org.graalvm.compiler.lir.LIRVerifier org.graalvm.compiler.lir.ValueConsumer org.graalvm.compiler.lir.ValueConsumer int org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] top java.util.Iterator
      StackMap stack:
        18: aload 9
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.LIRInstruction
            astore 8 /* op */
        start local 8 // org.graalvm.compiler.lir.LIRInstruction op
        19: .line 147
            aload 0 /* this */
            aload 8 /* op */
            putfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
        20: .line 149
            aload 8 /* op */
            aload 1 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachInput:(Lorg/graalvm/compiler/lir/ValueConsumer;)V
        21: .line 150
            aload 8 /* op */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.destroysCallerSavedRegisters:()Z
            ifeq 26
        22: .line 151
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.frameMap:Lorg/graalvm/compiler/lir/framemap/FrameMap;
            invokevirtual org.graalvm.compiler.lir.framemap.FrameMap.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 11
            goto 25
      StackMap locals: org.graalvm.compiler.lir.LIRVerifier org.graalvm.compiler.lir.ValueConsumer org.graalvm.compiler.lir.ValueConsumer int org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] org.graalvm.compiler.lir.LIRInstruction java.util.Iterator top java.util.Iterator
      StackMap stack:
        23: aload 11
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast jdk.vm.ci.code.Register
            astore 10 /* register */
        start local 10 // jdk.vm.ci.code.Register register
        24: .line 152
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersLive:[Ljdk/vm/ci/meta/Value;
            aload 10 /* register */
            getfield jdk.vm.ci.code.Register.number:I
            aconst_null
            aastore
        end local 10 // jdk.vm.ci.code.Register register
        25: .line 151
      StackMap locals:
      StackMap stack:
            aload 11
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 23
        26: .line 155
      StackMap locals: org.graalvm.compiler.lir.LIRVerifier org.graalvm.compiler.lir.ValueConsumer org.graalvm.compiler.lir.ValueConsumer int org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] org.graalvm.compiler.lir.LIRInstruction java.util.Iterator
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersDefined:Ljava/util/BitSet;
            invokevirtual java.util.BitSet.clear:()V
        27: .line 156
            aload 8 /* op */
            aload 1 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachAlive:(Lorg/graalvm/compiler/lir/ValueConsumer;)V
        28: .line 157
            aload 8 /* op */
            aload 1 /* useConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachState:(Lorg/graalvm/compiler/lir/ValueConsumer;)V
        29: .line 158
            aload 8 /* op */
            aload 2 /* defConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachTemp:(Lorg/graalvm/compiler/lir/ValueConsumer;)V
        30: .line 159
            aload 8 /* op */
            aload 2 /* defConsumer */
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachOutput:(Lorg/graalvm/compiler/lir/ValueConsumer;)V
        31: .line 161
            aload 0 /* this */
            aconst_null
            putfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
        end local 8 // org.graalvm.compiler.lir.LIRInstruction op
        32: .line 146
      StackMap locals: org.graalvm.compiler.lir.LIRVerifier org.graalvm.compiler.lir.ValueConsumer org.graalvm.compiler.lir.ValueConsumer int org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] top java.util.Iterator
      StackMap stack:
            aload 9
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 18
        33: .line 164
            aload 0 /* this */
            aload 4 /* block */
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curVariablesLive:Ljava/util/BitSet;
            invokevirtual org.graalvm.compiler.lir.LIRVerifier.setLiveOutFor:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Ljava/util/BitSet;)V
        end local 4 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        34: .line 127
            iinc 5 1
      StackMap locals: org.graalvm.compiler.lir.LIRVerifier org.graalvm.compiler.lir.ValueConsumer org.graalvm.compiler.lir.ValueConsumer int top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
        35: iload 5
            iload 6
            if_icmplt 5
        36: .line 166
            return
        end local 3 // int maxRegisterNum
        end local 2 // org.graalvm.compiler.lir.ValueConsumer defConsumer
        end local 1 // org.graalvm.compiler.lir.ValueConsumer useConsumer
        end local 0 // org.graalvm.compiler.lir.LIRVerifier this
      LocalVariableTable:
        Start  End  Slot            Name  Signature
            0   37     0            this  Lorg/graalvm/compiler/lir/LIRVerifier;
            1   37     1     useConsumer  Lorg/graalvm/compiler/lir/ValueConsumer;
            2   37     2     defConsumer  Lorg/graalvm/compiler/lir/ValueConsumer;
            3   37     3  maxRegisterNum  I
            6   34     4           block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
           14   15     8            last  Lorg/graalvm/compiler/lir/LIRInstruction;
           19   32     8              op  Lorg/graalvm/compiler/lir/LIRInstruction;
           24   25    10        register  Ljdk/vm/ci/code/Register;

  private void use(jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.LIRInstruction$OperandMode, java.util.EnumSet<org.graalvm.compiler.lir.LIRInstruction$OperandFlag>);
    descriptor: (Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=6, locals=5, args_size=4
        start local 0 // org.graalvm.compiler.lir.LIRVerifier this
        start local 1 // jdk.vm.ci.meta.Value value
        start local 2 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        start local 3 // java.util.EnumSet flags
         0: .line 169
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
            aload 1 /* value */
            aload 2 /* mode */
            aload 3 /* flags */
            invokestatic org.graalvm.compiler.lir.LIRVerifier.allowed:(Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
         1: .line 171
            aload 1 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isVariable:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 11
         2: .line 172
            getstatic org.graalvm.compiler.lir.LIRVerifier.$assertionsDisabled:Z
            ifne 3
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.beforeRegisterAllocation:Z
            ifne 3
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         3: .line 174
      StackMap locals:
      StackMap stack:
            aload 1 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.asVariable:(Ljdk/vm/ci/meta/Value;)Lorg/graalvm/compiler/lir/Variable;
            getfield org.graalvm.compiler.lir.Variable.index:I
            istore 4 /* variableIdx */
        start local 4 // int variableIdx
         4: .line 175
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curVariablesLive:Ljava/util/BitSet;
            iload 4 /* variableIdx */
            invokevirtual java.util.BitSet.get:(I)Z
            ifne 20
         5: .line 176
            ldc "block %s  instruction %s"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            aastore
            dup
            iconst_1
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
         6: .line 177
            ldc "live variables: %s"
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curVariablesLive:Ljava/util/BitSet;
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
         7: .line 178
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.variableDefinitions:[Ljava/lang/Object;
            iload 4 /* variableIdx */
            aaload
            ifnull 9
         8: .line 179
            ldc "definition of %s: %s"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 1 /* value */
            aastore
            dup
            iconst_1
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.variableDefinitions:[Ljava/lang/Object;
            iload 4 /* variableIdx */
            aaload
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
         9: .line 181
      StackMap locals: int
      StackMap stack:
            ldc "ERROR: Use of variable %s that is not defined in dominator"
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 1 /* value */
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
        10: .line 182
            invokestatic org.graalvm.compiler.debug.GraalError.shouldNotReachHere:()Ljava/lang/RuntimeException;
            athrow
        end local 4 // int variableIdx
        11: .line 185
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* value */
            invokevirtual org.graalvm.compiler.lir.LIRVerifier.isAllocatableRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 20
        12: .line 186
            aload 1 /* value */
            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
            istore 4 /* regNum */
        start local 4 // int regNum
        13: .line 187
            aload 2 /* mode */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandMode.ALIVE:Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            if_acmpne 15
        14: .line 188
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersDefined:Ljava/util/BitSet;
            iload 4 /* regNum */
            invokevirtual java.util.BitSet.set:(I)V
        15: .line 191
      StackMap locals: int
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.beforeRegisterAllocation:Z
            ifeq 20
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersLive:[Ljdk/vm/ci/meta/Value;
            iload 4 /* regNum */
            aaload
            aload 1 /* value */
            invokevirtual jdk.vm.ci.meta.Value.equals:(Ljava/lang/Object;)Z
            ifne 20
        16: .line 192
            ldc "block %s  instruction %s"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            aastore
            dup
            iconst_1
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
        17: .line 193
            ldc "live registers: %s"
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersLive:[Ljdk/vm/ci/meta/Value;
            invokestatic java.util.Arrays.toString:([Ljava/lang/Object;)Ljava/lang/String;
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
        18: .line 194
            ldc "ERROR: Use of fixed register %s that is not defined in this block"
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 1 /* value */
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
        19: .line 195
            invokestatic org.graalvm.compiler.debug.GraalError.shouldNotReachHere:()Ljava/lang/RuntimeException;
            athrow
        end local 4 // int regNum
        20: .line 198
      StackMap locals:
      StackMap stack:
            return
        end local 3 // java.util.EnumSet flags
        end local 2 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        end local 1 // jdk.vm.ci.meta.Value value
        end local 0 // org.graalvm.compiler.lir.LIRVerifier this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0   21     0         this  Lorg/graalvm/compiler/lir/LIRVerifier;
            0   21     1        value  Ljdk/vm/ci/meta/Value;
            0   21     2         mode  Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            0   21     3        flags  Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;
            4   11     4  variableIdx  I
           13   20     4       regNum  I
    Signature: (Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;)V
    MethodParameters:
       Name  Flags
      value  
      mode   
      flags  

  private void def(jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.LIRInstruction$OperandMode, java.util.EnumSet<org.graalvm.compiler.lir.LIRInstruction$OperandFlag>);
    descriptor: (Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=6, locals=5, args_size=4
        start local 0 // org.graalvm.compiler.lir.LIRVerifier this
        start local 1 // jdk.vm.ci.meta.Value value
        start local 2 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        start local 3 // java.util.EnumSet flags
         0: .line 201
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
            aload 1 /* value */
            aload 2 /* mode */
            aload 3 /* flags */
            invokestatic org.graalvm.compiler.lir.LIRVerifier.allowed:(Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
         1: .line 203
            aload 1 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isVariable:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 16
         2: .line 204
            getstatic org.graalvm.compiler.lir.LIRVerifier.$assertionsDisabled:Z
            ifne 3
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.beforeRegisterAllocation:Z
            ifne 3
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         3: .line 206
      StackMap locals:
      StackMap stack:
            aload 1 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.asVariable:(Ljdk/vm/ci/meta/Value;)Lorg/graalvm/compiler/lir/Variable;
            getfield org.graalvm.compiler.lir.Variable.index:I
            istore 4 /* variableIdx */
        start local 4 // int variableIdx
         4: .line 207
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.variableDefinitions:[Ljava/lang/Object;
            iload 4 /* variableIdx */
            aaload
            ifnull 10
         5: .line 208
            ldc "block %s  instruction %s"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            aastore
            dup
            iconst_1
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
         6: .line 209
            ldc "live variables: %s"
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curVariablesLive:Ljava/util/BitSet;
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
         7: .line 210
            ldc "definition of %s: %s"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 1 /* value */
            aastore
            dup
            iconst_1
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.variableDefinitions:[Ljava/lang/Object;
            iload 4 /* variableIdx */
            aaload
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
         8: .line 211
            ldc "ERROR: Variable %s defined multiple times"
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 1 /* value */
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
         9: .line 212
            invokestatic org.graalvm.compiler.debug.GraalError.shouldNotReachHere:()Ljava/lang/RuntimeException;
            athrow
        10: .line 214
      StackMap locals: int
      StackMap stack:
            getstatic org.graalvm.compiler.lir.LIRVerifier.$assertionsDisabled:Z
            ifne 11
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
            ifnonnull 11
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        11: .line 215
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.variableDefinitions:[Ljava/lang/Object;
            iload 4 /* variableIdx */
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
            aastore
        12: .line 216
            getstatic org.graalvm.compiler.lir.LIRVerifier.$assertionsDisabled:Z
            ifne 13
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curVariablesLive:Ljava/util/BitSet;
            iload 4 /* variableIdx */
            invokevirtual java.util.BitSet.get:(I)Z
            ifeq 13
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        13: .line 217
      StackMap locals:
      StackMap stack:
            aload 2 /* mode */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandMode.DEF:Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            if_acmpne 28
        14: .line 218
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curVariablesLive:Ljava/util/BitSet;
            iload 4 /* variableIdx */
            invokevirtual java.util.BitSet.set:(I)V
        end local 4 // int variableIdx
        15: .line 221
            goto 28
      StackMap locals:
      StackMap stack:
        16: aload 0 /* this */
            aload 1 /* value */
            invokevirtual org.graalvm.compiler.lir.LIRVerifier.isAllocatableRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 28
        17: .line 222
            aload 1 /* value */
            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
            istore 4 /* regNum */
        start local 4 // int regNum
        18: .line 223
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersDefined:Ljava/util/BitSet;
            iload 4 /* regNum */
            invokevirtual java.util.BitSet.get:(I)Z
            ifeq 22
        19: .line 224
            ldc "block %s  instruction %s"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            aastore
            dup
            iconst_1
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curInstruction:Ljava/lang/Object;
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
        20: .line 225
            ldc "ERROR: Same register defined twice in the same instruction: %s"
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 1 /* value */
            aastore
            invokestatic org.graalvm.compiler.debug.TTY.println:(Ljava/lang/String;[Ljava/lang/Object;)V
        21: .line 226
            invokestatic org.graalvm.compiler.debug.GraalError.shouldNotReachHere:()Ljava/lang/RuntimeException;
            athrow
        22: .line 228
      StackMap locals: int
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersDefined:Ljava/util/BitSet;
            iload 4 /* regNum */
            invokevirtual java.util.BitSet.set:(I)V
        23: .line 230
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.beforeRegisterAllocation:Z
            ifeq 28
        24: .line 231
            aload 2 /* mode */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandMode.DEF:Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            if_acmpne 27
        25: .line 232
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersLive:[Ljdk/vm/ci/meta/Value;
            iload 4 /* regNum */
            aload 1 /* value */
            aastore
        26: .line 233
            goto 28
        27: .line 234
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.LIRVerifier.curRegistersLive:[Ljdk/vm/ci/meta/Value;
            iload 4 /* regNum */
            aconst_null
            aastore
        end local 4 // int regNum
        28: .line 238
      StackMap locals:
      StackMap stack:
            return
        end local 3 // java.util.EnumSet flags
        end local 2 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        end local 1 // jdk.vm.ci.meta.Value value
        end local 0 // org.graalvm.compiler.lir.LIRVerifier this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0   29     0         this  Lorg/graalvm/compiler/lir/LIRVerifier;
            0   29     1        value  Ljdk/vm/ci/meta/Value;
            0   29     2         mode  Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            0   29     3        flags  Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;
            4   15     4  variableIdx  I
           18   28     4       regNum  I
    Signature: (Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;)V
    MethodParameters:
       Name  Flags
      value  
      mode   
      flags  

  private static void allowed(, jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.LIRInstruction$OperandMode, java.util.EnumSet<org.graalvm.compiler.lir.LIRInstruction$OperandFlag>);
    descriptor: (Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=7, locals=4, args_size=4
        start local 0 // java.lang.Object op
        start local 1 // jdk.vm.ci.meta.Value value
        start local 2 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        start local 3 // java.util.EnumSet flags
         0: .line 242
            aload 1 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isVariable:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 1
            aload 3 /* flags */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandFlag.REG:Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;
            invokevirtual java.util.EnumSet.contains:(Ljava/lang/Object;)Z
            ifne 5
         1: .line 243
      StackMap locals:
      StackMap stack:
            aload 1 /* value */
            invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 2
            aload 3 /* flags */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandFlag.REG:Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;
            invokevirtual java.util.EnumSet.contains:(Ljava/lang/Object;)Z
            ifne 5
         2: .line 244
      StackMap locals:
      StackMap stack:
            aload 1 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isStackSlotValue:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 3
            aload 3 /* flags */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandFlag.STACK:Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;
            invokevirtual java.util.EnumSet.contains:(Ljava/lang/Object;)Z
            ifne 5
         3: .line 245
      StackMap locals:
      StackMap stack:
            aload 1 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isJavaConstant:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 4
            aload 3 /* flags */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandFlag.CONST:Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;
            invokevirtual java.util.EnumSet.contains:(Ljava/lang/Object;)Z
            ifeq 4
            aload 2 /* mode */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandMode.DEF:Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            if_acmpne 5
         4: .line 246
      StackMap locals:
      StackMap stack:
            aload 1 /* value */
            invokestatic jdk.vm.ci.code.ValueUtil.isIllegal:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 6
            aload 3 /* flags */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandFlag.ILLEGAL:Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;
            invokevirtual java.util.EnumSet.contains:(Ljava/lang/Object;)Z
            ifeq 6
         5: .line 247
      StackMap locals:
      StackMap stack:
            return
         6: .line 249
      StackMap locals:
      StackMap stack:
            new org.graalvm.compiler.debug.GraalError
            dup
            ldc "Invalid LIR%n  Instruction: %s%n  Mode: %s%n  Flags: %s%n  Unexpected value: %s %s"
            iconst_5
            anewarray java.lang.Object
            dup
            iconst_0
         7: .line 250
            aload 0 /* op */
            aastore
            dup
            iconst_1
            aload 2 /* mode */
            aastore
            dup
            iconst_2
            aload 3 /* flags */
            aastore
            dup
            iconst_3
            aload 1 /* value */
            invokevirtual java.lang.Object.getClass:()Ljava/lang/Class;
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
            aastore
            dup
            iconst_4
            aload 1 /* value */
         8: .line 249
            aastore
            invokespecial org.graalvm.compiler.debug.GraalError.<init>:(Ljava/lang/String;[Ljava/lang/Object;)V
            athrow
        end local 3 // java.util.EnumSet flags
        end local 2 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        end local 1 // jdk.vm.ci.meta.Value value
        end local 0 // java.lang.Object op
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    9     0     op  Ljava/lang/Object;
            0    9     1  value  Ljdk/vm/ci/meta/Value;
            0    9     2   mode  Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            0    9     3  flags  Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;
    Signature: (Ljava/lang/Object;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;)V
    MethodParameters:
       Name  Flags
      op     
      value  
      mode   
      flags  
}
SourceFile: "LIRVerifier.java"
NestMembers:
  org.graalvm.compiler.lir.LIRVerifier$1  org.graalvm.compiler.lir.LIRVerifier$2
InnerClasses:
  public final Lookup = java.lang.invoke.MethodHandles$Lookup of java.lang.invoke.MethodHandles
  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.LIRVerifier$1
  org.graalvm.compiler.lir.LIRVerifier$2
  public JumpOp = org.graalvm.compiler.lir.StandardOp$JumpOp of org.graalvm.compiler.lir.StandardOp
  public final LabelOp = org.graalvm.compiler.lir.StandardOp$LabelOp of org.graalvm.compiler.lir.StandardOp