java/9 : jdk.internal.vm.compiler/org/graalvm/compiler/lir/ssa/SSAVerifier.class

SSAVerifier
https://openjdk.java.net/
GPLv2 + Classpath Exception
final class org.graalvm.compiler.lir.ssa.SSAVerifier
  minor version: 0
  major version: 59
  flags: flags: (0x0030) ACC_FINAL, ACC_SUPER
  this_class: org.graalvm.compiler.lir.ssa.SSAVerifier
  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 java.util.BitSet visited;
    descriptor: Ljava/util/BitSet;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private final java.util.HashMap<jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.ssa.SSAVerifier$Entry> defined;
    descriptor: Ljava/util/HashMap;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL
    Signature: Ljava/util/HashMap<Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/ssa/SSAVerifier$Entry;>;

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

  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/ssa/SSAVerifier;
            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.ssa.SSAVerifier.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  void <init>(org.graalvm.compiler.lir.LIR);
    descriptor: (Lorg/graalvm/compiler/lir/LIR;)V
    flags: (0x0000) 
    Code:
      stack=4, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
        start local 1 // org.graalvm.compiler.lir.LIR lir
         0: .line 62
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 63
            aload 0 /* this */
            aload 1 /* lir */
            putfield org.graalvm.compiler.lir.ssa.SSAVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
         2: .line 64
            aload 0 /* this */
            new java.util.BitSet
            dup
            aload 1 /* 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;
            arraylength
            invokespecial java.util.BitSet.<init>:(I)V
            putfield org.graalvm.compiler.lir.ssa.SSAVerifier.visited:Ljava/util/BitSet;
         3: .line 65
            aload 0 /* this */
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            putfield org.graalvm.compiler.lir.ssa.SSAVerifier.defined:Ljava/util/HashMap;
         4: .line 66
            return
        end local 1 // org.graalvm.compiler.lir.LIR lir
        end local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    5     0  this  Lorg/graalvm/compiler/lir/ssa/SSAVerifier;
            0    5     1   lir  Lorg/graalvm/compiler/lir/LIR;
    MethodParameters:
      Name  Flags
      lir   

  public boolean verify();
    descriptor: ()Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=8, args_size=1
        start local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
         0: .line 70
            aconst_null
            astore 1
            aconst_null
            astore 2
         1: ldc "SSAVerifier"
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.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 71
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.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.ssa.SSAVerifier 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 72
            aload 0 /* this */
            aload 4 /* block */
            invokevirtual org.graalvm.compiler.lir.ssa.SSAVerifier.doBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        end local 4 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         5: .line 71
            iinc 5 1
      StackMap locals:
      StackMap stack:
         6: iload 5
            iload 6
            if_icmplt 3
         7: .line 74
            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.ssa.SSAVerifier 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.ssa.SSAVerifier
      StackMap stack: java.lang.Throwable
        13: astore 1 /* e */
        start local 1 // java.lang.Throwable e
        14: .line 75
            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 77
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0   16     0   this  Lorg/graalvm/compiler/lir/ssa/SSAVerifier;
            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.ssa.SSAVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase b
         0: .line 82
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.visited:Ljava/util/BitSet;
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokevirtual java.util.BitSet.get:(I)Z
            ifeq 2
         1: .line 83
            return
         2: .line 85
      StackMap locals:
      StackMap stack:
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getPredecessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            dup
            astore 5
            arraylength
            istore 4
            iconst_0
            istore 3
            goto 7
      StackMap locals: org.graalvm.compiler.lir.ssa.SSAVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
         3: aload 5
            iload 3
            aaload
            astore 2 /* pred */
        start local 2 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase pred
         4: .line 86
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.isLoopHeader:()Z
            ifeq 5
            aload 2 /* pred */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.isLoopEnd:()Z
            ifne 6
         5: .line 87
      StackMap locals: org.graalvm.compiler.lir.ssa.SSAVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
            aload 0 /* this */
            aload 2 /* pred */
            invokevirtual org.graalvm.compiler.lir.ssa.SSAVerifier.doBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
        end local 2 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase pred
         6: .line 85
      StackMap locals: org.graalvm.compiler.lir.ssa.SSAVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
      StackMap stack:
            iinc 3 1
      StackMap locals:
      StackMap stack:
         7: iload 3
            iload 4
            if_icmplt 3
         8: .line 90
            aconst_null
            astore 2
            aconst_null
            astore 3
         9: iconst_2
            ldc "handle block %s"
            aload 1 /* b */
            invokestatic org.graalvm.compiler.debug.Debug.logAndIndent:(ILjava/lang/String;Ljava/lang/Object;)Lorg/graalvm/compiler/debug/Indent;
            astore 4 /* indent */
        start local 4 // org.graalvm.compiler.debug.Indent indent
        10: .line 91
            getstatic org.graalvm.compiler.lir.ssa.SSAVerifier.$assertionsDisabled:Z
            ifne 11
            aload 0 /* this */
            aload 1 /* b */
            invokevirtual org.graalvm.compiler.lir.ssa.SSAVerifier.verifyBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Z
            ifne 11
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        11: .line 92
      StackMap locals: org.graalvm.compiler.lir.ssa.SSAVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Indent
      StackMap stack:
            aload 4 /* indent */
            ifnull 17
            aload 4 /* indent */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
            goto 17
      StackMap locals:
      StackMap stack: java.lang.Throwable
        12: astore 2
            aload 4 /* indent */
            ifnull 13
            aload 4 /* indent */
            invokeinterface org.graalvm.compiler.debug.Indent.close:()V
        end local 4 // org.graalvm.compiler.debug.Indent indent
      StackMap locals:
      StackMap stack:
        13: aload 2
            athrow
      StackMap locals:
      StackMap stack: java.lang.Throwable
        14: astore 3
            aload 2
            ifnonnull 15
            aload 3
            astore 2
            goto 16
      StackMap locals:
      StackMap stack:
        15: aload 2
            aload 3
            if_acmpeq 16
            aload 2
            aload 3
            invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
      StackMap locals:
      StackMap stack:
        16: aload 2
            athrow
        17: .line 93
      StackMap locals:
      StackMap stack:
            return
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase b
        end local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0   18     0    this  Lorg/graalvm/compiler/lir/ssa/SSAVerifier;
            0   18     1       b  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            4    6     2    pred  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
           10   13     4  indent  Lorg/graalvm/compiler/debug/Indent;
      Exception table:
        from    to  target  type
          10    11      12  any
           9    14      14  any
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
    MethodParameters:
      Name  Flags
      b     

  private boolean verifyBlock(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
    descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Z
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=5, locals=4, args_size=2
        start local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
        start local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
         0: .line 96
            aload 0 /* this */
            aload 1 /* block */
            putfield org.graalvm.compiler.lir.ssa.SSAVerifier.currentBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
         1: .line 97
            getstatic org.graalvm.compiler.lir.ssa.SSAVerifier.$assertionsDisabled:Z
            ifne 2
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.visited:Ljava/util/BitSet;
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokevirtual java.util.BitSet.get:(I)Z
            ifeq 2
            new java.lang.AssertionError
            dup
            new java.lang.StringBuilder
            dup
            ldc "Block already visited: "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 1 /* block */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         2: .line 98
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.visited:Ljava/util/BitSet;
            aload 1 /* block */
            invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
            invokevirtual java.util.BitSet.set:(I)V
         3: .line 99
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.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;
            invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
            astore 3
            goto 10
      StackMap locals: org.graalvm.compiler.lir.ssa.SSAVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase top java.util.Iterator
      StackMap stack:
         4: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.LIRInstruction
            astore 2 /* op */
        start local 2 // org.graalvm.compiler.lir.LIRInstruction op
         5: .line 100
            aload 2 /* op */
            aload 0 /* this */
            invokedynamic visitValue(Lorg/graalvm/compiler/lir/ssa/SSAVerifier;)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/ssa/SSAVerifier.useConsumer(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
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachAlive:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         6: .line 101
            aload 2 /* op */
            aload 0 /* this */
            invokedynamic visitValue(Lorg/graalvm/compiler/lir/ssa/SSAVerifier;)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/ssa/SSAVerifier.useConsumer(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
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachState:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         7: .line 102
            aload 2 /* op */
            aload 0 /* this */
            invokedynamic visitValue(Lorg/graalvm/compiler/lir/ssa/SSAVerifier;)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/ssa/SSAVerifier.useConsumer(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
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachInput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         8: .line 104
            aload 2 /* op */
            aload 0 /* this */
            invokedynamic visitValue(Lorg/graalvm/compiler/lir/ssa/SSAVerifier;)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/ssa/SSAVerifier.defConsumer(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
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachTemp:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
         9: .line 105
            aload 2 /* op */
            aload 0 /* this */
            invokedynamic visitValue(Lorg/graalvm/compiler/lir/ssa/SSAVerifier;)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/ssa/SSAVerifier.defConsumer(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
            invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachOutput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
        end local 2 // org.graalvm.compiler.lir.LIRInstruction op
        10: .line 99
      StackMap locals:
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 4
        11: .line 108
            aload 0 /* this */
            aconst_null
            putfield org.graalvm.compiler.lir.ssa.SSAVerifier.currentBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
        12: .line 109
            iconst_1
            ireturn
        end local 1 // org.graalvm.compiler.core.common.cfg.AbstractBlockBase block
        end local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0   13     0   this  Lorg/graalvm/compiler/lir/ssa/SSAVerifier;
            0   13     1  block  Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
            5   10     2     op  Lorg/graalvm/compiler/lir/LIRInstruction;
    Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)Z
    MethodParameters:
       Name  Flags
      block  

  private void useConsumer(org.graalvm.compiler.lir.LIRInstruction, jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.LIRInstruction$OperandMode, java.util.EnumSet<org.graalvm.compiler.lir.LIRInstruction$OperandFlag>);
    descriptor: (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=7, locals=5, args_size=5
        start local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
        start local 1 // org.graalvm.compiler.lir.LIRInstruction inst
        start local 2 // jdk.vm.ci.meta.Value value
        start local 3 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        start local 4 // java.util.EnumSet flags
         0: .line 118
            aload 2 /* value */
            invokestatic org.graalvm.compiler.lir.ssa.SSAVerifier.shouldProcess:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 4
         1: .line 119
            getstatic org.graalvm.compiler.lir.ssa.SSAVerifier.$assertionsDisabled:Z
            ifne 4
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.defined:Ljava/util/HashMap;
            invokevirtual java.util.HashMap.keySet:()Ljava/util/Set;
            aload 2 /* value */
            invokeinterface java.util.Set.contains:(Ljava/lang/Object;)Z
            ifne 4
            aload 4 /* flags */
            getstatic org.graalvm.compiler.lir.LIRInstruction$OperandFlag.UNINITIALIZED:Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;
            invokevirtual java.util.EnumSet.contains:(Ljava/lang/Object;)Z
            ifne 4
            new java.lang.AssertionError
            dup
            ldc "Value %s used at instruction %s in block %s but never defined"
            iconst_3
            anewarray java.lang.Object
            dup
            iconst_0
            aload 2 /* value */
            aastore
            dup
            iconst_1
            aload 1 /* inst */
            aastore
            dup
            iconst_2
         2: .line 120
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.currentBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            aastore
         3: .line 119
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         4: .line 122
      StackMap locals:
      StackMap stack:
            return
        end local 4 // java.util.EnumSet flags
        end local 3 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        end local 2 // jdk.vm.ci.meta.Value value
        end local 1 // org.graalvm.compiler.lir.LIRInstruction inst
        end local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    5     0   this  Lorg/graalvm/compiler/lir/ssa/SSAVerifier;
            0    5     1   inst  Lorg/graalvm/compiler/lir/LIRInstruction;
            0    5     2  value  Ljdk/vm/ci/meta/Value;
            0    5     3   mode  Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            0    5     4  flags  Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;
    Signature: (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;)V
    MethodParameters:
       Name  Flags
      inst   
      value  
      mode   
      flags  

  private void defConsumer(org.graalvm.compiler.lir.LIRInstruction, jdk.vm.ci.meta.Value, org.graalvm.compiler.lir.LIRInstruction$OperandMode, java.util.EnumSet<org.graalvm.compiler.lir.LIRInstruction$OperandFlag>);
    descriptor: (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=8, locals=5, args_size=5
        start local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
        start local 1 // org.graalvm.compiler.lir.LIRInstruction inst
        start local 2 // jdk.vm.ci.meta.Value value
        start local 3 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        start local 4 // java.util.EnumSet flags
         0: .line 130
            aload 2 /* value */
            invokestatic org.graalvm.compiler.lir.ssa.SSAVerifier.shouldProcess:(Ljdk/vm/ci/meta/Value;)Z
            ifeq 5
         1: .line 131
            getstatic org.graalvm.compiler.lir.ssa.SSAVerifier.$assertionsDisabled:Z
            ifne 4
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.defined:Ljava/util/HashMap;
            invokevirtual java.util.HashMap.keySet:()Ljava/util/Set;
            aload 2 /* value */
            invokeinterface java.util.Set.contains:(Ljava/lang/Object;)Z
            ifeq 4
            new java.lang.AssertionError
            dup
            ldc "Value %s redefined at %s but never defined (previous definition %s in block %s)"
            iconst_4
            anewarray java.lang.Object
            dup
            iconst_0
            aload 2 /* value */
            aastore
            dup
            iconst_1
            aload 1 /* inst */
            aastore
            dup
            iconst_2
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.defined:Ljava/util/HashMap;
            aload 2 /* value */
            invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.ssa.SSAVerifier$Entry
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier$Entry.inst:Lorg/graalvm/compiler/lir/LIRInstruction;
            aastore
            dup
            iconst_3
         2: .line 132
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.defined:Ljava/util/HashMap;
            aload 2 /* value */
            invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.graalvm.compiler.lir.ssa.SSAVerifier$Entry
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier$Entry.block:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            aastore
         3: .line 131
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         4: .line 133
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.defined:Ljava/util/HashMap;
            aload 2 /* value */
            new org.graalvm.compiler.lir.ssa.SSAVerifier$Entry
            dup
            aload 1 /* inst */
            aload 0 /* this */
            getfield org.graalvm.compiler.lir.ssa.SSAVerifier.currentBlock:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
            invokespecial org.graalvm.compiler.lir.ssa.SSAVerifier$Entry.<init>:(Lorg/graalvm/compiler/lir/LIRInstruction;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
            invokevirtual java.util.HashMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
         5: .line 135
      StackMap locals:
      StackMap stack:
            return
        end local 4 // java.util.EnumSet flags
        end local 3 // org.graalvm.compiler.lir.LIRInstruction$OperandMode mode
        end local 2 // jdk.vm.ci.meta.Value value
        end local 1 // org.graalvm.compiler.lir.LIRInstruction inst
        end local 0 // org.graalvm.compiler.lir.ssa.SSAVerifier this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    6     0   this  Lorg/graalvm/compiler/lir/ssa/SSAVerifier;
            0    6     1   inst  Lorg/graalvm/compiler/lir/LIRInstruction;
            0    6     2  value  Ljdk/vm/ci/meta/Value;
            0    6     3   mode  Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;
            0    6     4  flags  Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;
    Signature: (Lorg/graalvm/compiler/lir/LIRInstruction;Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction$OperandMode;Ljava/util/EnumSet<Lorg/graalvm/compiler/lir/LIRInstruction$OperandFlag;>;)V
    MethodParameters:
       Name  Flags
      inst   
      value  
      mode   
      flags  

  private static boolean shouldProcess(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 138
            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
            ifne 1
            aload 0 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isJavaConstant:(Ljdk/vm/ci/meta/Value;)Z
            ifne 1
            aload 0 /* value */
            invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
            ifne 1
            aload 0 /* value */
            invokestatic org.graalvm.compiler.lir.LIRValueUtil.isStackSlotValue:(Ljdk/vm/ci/meta/Value;)Z
            ifne 1
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         1: iconst_0
            ireturn
        end local 0 // jdk.vm.ci.meta.Value value
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    2     0  value  Ljdk/vm/ci/meta/Value;
    MethodParameters:
       Name  Flags
      value  
}
SourceFile: "SSAVerifier.java"
NestMembers:
  org.graalvm.compiler.lir.ssa.SSAVerifier$Entry
InnerClasses:
  public final Lookup = java.lang.invoke.MethodHandles$Lookup of java.lang.invoke.MethodHandles
  public abstract Scope = org.graalvm.compiler.debug.Debug$Scope of org.graalvm.compiler.debug.Debug
  public final OperandFlag = org.graalvm.compiler.lir.LIRInstruction$OperandFlag of org.graalvm.compiler.lir.LIRInstruction
  public final OperandMode = org.graalvm.compiler.lir.LIRInstruction$OperandMode of org.graalvm.compiler.lir.LIRInstruction
  private Entry = org.graalvm.compiler.lir.ssa.SSAVerifier$Entry of org.graalvm.compiler.lir.ssa.SSAVerifier
/

java/ 9/ jdk.internal.vm.compiler/org/graalvm/compiler/lir/ssa/SSAVerifier.class
