public final class org.graalvm.compiler.lir.ssi.SSIVerifier
minor version: 0
major version: 59
flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
this_class: org.graalvm.compiler.lir.ssi.SSIVerifier
super_class: java.lang.Object
{
private final org.graalvm.compiler.lir.LIR lir;
descriptor: Lorg/graalvm/compiler/lir/LIR;
flags: (0x0012) ACC_PRIVATE, ACC_FINAL
static final boolean $assertionsDisabled;
descriptor: Z
flags: (0x1018) ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC
static void <clinit>();
descriptor: ()V
flags: (0x0008) ACC_STATIC
Code:
stack=1, locals=0, args_size=0
0: ldc Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
invokevirtual java.lang.Class.desiredAssertionStatus:()Z
ifne 1
iconst_1
goto 2
StackMap locals:
StackMap stack:
1: iconst_0
StackMap locals:
StackMap stack: int
2: putstatic org.graalvm.compiler.lir.ssi.SSIVerifier.$assertionsDisabled:Z
return
LocalVariableTable:
Start End Slot Name Signature
public static boolean verify(org.graalvm.compiler.lir.LIR);
descriptor: (Lorg/graalvm/compiler/lir/LIR;)Z
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=3, locals=1, args_size=1
start local 0 0: new org.graalvm.compiler.lir.ssi.SSIVerifier
dup
aload 0
invokespecial org.graalvm.compiler.lir.ssi.SSIVerifier.<init>:(Lorg/graalvm/compiler/lir/LIR;)V
invokevirtual org.graalvm.compiler.lir.ssi.SSIVerifier.verify:()Z
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 lir Lorg/graalvm/compiler/lir/LIR;
MethodParameters:
Name Flags
lir
private void <init>(org.graalvm.compiler.lir.LIR);
descriptor: (Lorg/graalvm/compiler/lir/LIR;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: aload 0
aload 1
putfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
2: return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
0 3 1 lir Lorg/graalvm/compiler/lir/LIR;
MethodParameters:
Name Flags
lir
private boolean verify();
descriptor: ()Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=8, args_size=1
start local 0 0: aconst_null
astore 1
aconst_null
astore 2
1: ldc "SSIVerifier"
aload 0
getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
invokestatic org.graalvm.compiler.debug.Debug.scope:(Ljava/lang/Object;Ljava/lang/Object;)Lorg/graalvm/compiler/debug/Debug$Scope;
astore 3
start local 3 2: aload 0
getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
invokevirtual org.graalvm.compiler.lir.LIR.getControlFlowGraph:()Lorg/graalvm/compiler/core/common/cfg/AbstractControlFlowGraph;
invokeinterface org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph.getBlocks:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
dup
astore 7
arraylength
istore 6
iconst_0
istore 5
goto 6
StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Debug$Scope top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
3: aload 7
iload 5
aaload
astore 4
start local 4 4: aload 0
aload 4
invokevirtual org.graalvm.compiler.lir.ssi.SSIVerifier.doBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
end local 4 5: iinc 5 1
StackMap locals:
StackMap stack:
6: iload 5
iload 6
if_icmplt 3
7: aload 3
ifnull 15
aload 3
invokeinterface org.graalvm.compiler.debug.Debug$Scope.close:()V
goto 15
StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier java.lang.Throwable java.lang.Throwable org.graalvm.compiler.debug.Debug$Scope
StackMap stack: java.lang.Throwable
8: astore 1
aload 3
ifnull 9
aload 3
invokeinterface org.graalvm.compiler.debug.Debug$Scope.close:()V
end local 3 StackMap locals:
StackMap stack:
9: aload 1
athrow
StackMap locals:
StackMap stack: java.lang.Throwable
10: astore 2
aload 1
ifnonnull 11
aload 2
astore 1
goto 12
StackMap locals:
StackMap stack:
11: aload 1
aload 2
if_acmpeq 12
aload 1
aload 2
invokevirtual java.lang.Throwable.addSuppressed:(Ljava/lang/Throwable;)V
StackMap locals:
StackMap stack:
12: aload 1
athrow
StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier
StackMap stack: java.lang.Throwable
13: astore 1
start local 1 14: aload 1
invokestatic org.graalvm.compiler.debug.Debug.handle:(Ljava/lang/Throwable;)Ljava/lang/RuntimeException;
athrow
end local 1 15: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 16 0 this Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
2 9 3 s Lorg/graalvm/compiler/debug/Debug$Scope;
4 5 4 block Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
14 15 1 e Ljava/lang/Throwable;
Exception table:
from to target type
2 7 8 any
1 10 10 any
0 13 13 Class java.lang.Throwable
private void doBlock(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=6, args_size=2
start local 0 start local 1 0: aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
dup
astore 5
arraylength
istore 4
iconst_0
istore 3
goto 4
StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
1: aload 5
iload 3
aaload
astore 2
start local 2 2: aload 0
aload 1
aload 2
invokevirtual org.graalvm.compiler.lir.ssi.SSIVerifier.verifyEdge:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
end local 2 3: iinc 3 1
StackMap locals:
StackMap stack:
4: iload 3
iload 4
if_icmplt 1
5: aload 0
aload 1
invokevirtual org.graalvm.compiler.lir.ssi.SSIVerifier.verifyInstructions:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
6: return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 7 0 this Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
0 7 1 block Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
2 3 2 succ Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
MethodParameters:
Name Flags
block
private void verifyEdge(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>, org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=7, locals=12, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
aload 1
invokestatic org.graalvm.compiler.lir.ssi.SSIUtil.outgoing:(Lorg/graalvm/compiler/lir/LIR;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Lorg/graalvm/compiler/lir/StandardOp$BlockEndOp;
astore 3
start local 3 1: aload 0
getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
aload 2
invokestatic org.graalvm.compiler.lir.ssi.SSIUtil.incoming:(Lorg/graalvm/compiler/lir/LIR;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Lorg/graalvm/compiler/lir/StandardOp$LabelOp;
astore 4
start local 4 2: aload 3
invokeinterface org.graalvm.compiler.lir.StandardOp$BlockEndOp.getOutgoingSize:()I
istore 5
start local 5 3: aload 4
invokevirtual org.graalvm.compiler.lir.StandardOp$LabelOp.getIncomingSize:()I
istore 6
start local 6 4: getstatic org.graalvm.compiler.lir.ssi.SSIVerifier.$assertionsDisabled:Z
ifne 5
iload 5
iload 6
if_icmpeq 5
new java.lang.AssertionError
dup
ldc "Outgoing size %d and incoming size %d do not match"
iconst_2
anewarray java.lang.Object
dup
iconst_0
iload 5
invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
aastore
dup
iconst_1
iload 6
invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
aastore
invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
athrow
5: StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.lir.StandardOp$BlockEndOp org.graalvm.compiler.lir.StandardOp$LabelOp int int
StackMap stack:
iconst_0
istore 7
start local 7 6: goto 15
7: StackMap locals: int
StackMap stack:
aload 4
iload 7
invokevirtual org.graalvm.compiler.lir.StandardOp$LabelOp.getIncomingValue:(I)Ljdk/vm/ci/meta/Value;
astore 8
start local 8 8: aload 3
iload 7
invokeinterface org.graalvm.compiler.lir.StandardOp$BlockEndOp.getOutgoingValue:(I)Ljdk/vm/ci/meta/Value;
astore 9
start local 9 9: aload 8
invokevirtual jdk.vm.ci.meta.Value.getValueKind:()Ljdk/vm/ci/meta/ValueKind;
astore 10
start local 10 10: aload 9
invokevirtual jdk.vm.ci.meta.Value.getValueKind:()Ljdk/vm/ci/meta/ValueKind;
astore 11
start local 11 11: getstatic org.graalvm.compiler.lir.ssi.SSIVerifier.$assertionsDisabled:Z
ifne 14
aload 10
aload 11
invokestatic org.graalvm.compiler.core.common.LIRKind.verifyMoveKinds:(Ljdk/vm/ci/meta/ValueKind;Ljdk/vm/ci/meta/ValueKind;)Z
ifne 14
aload 8
getstatic jdk.vm.ci.meta.Value.ILLEGAL:Ljdk/vm/ci/meta/AllocatableValue;
invokevirtual jdk.vm.ci.meta.Value.equals:(Ljava/lang/Object;)Z
ifne 14
new java.lang.AssertionError
dup
ldc "Outgoing LIRKind %s (%s) an and incoming LIRKind %s (%s) do not match"
iconst_4
anewarray java.lang.Object
dup
iconst_0
12: aload 9
aastore
dup
iconst_1
aload 11
aastore
dup
iconst_2
aload 8
aastore
dup
iconst_3
aload 10
aastore
13: invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
athrow
end local 11 end local 10 end local 9 end local 8 14: StackMap locals:
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
15: iload 7
iload 5
if_icmplt 7
end local 7 16: return
end local 6 end local 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 17 0 this Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
0 17 1 from Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
0 17 2 to Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
1 17 3 out Lorg/graalvm/compiler/lir/StandardOp$BlockEndOp;
2 17 4 in Lorg/graalvm/compiler/lir/StandardOp$LabelOp;
3 17 5 outgoingSize I
4 17 6 incomingSize I
6 16 7 i I
8 14 8 incomingValue Ljdk/vm/ci/meta/Value;
9 14 9 outgoingValue Ljdk/vm/ci/meta/Value;
10 14 10 inLIRKind Ljdk/vm/ci/meta/ValueKind<*>;
11 14 11 outLIRKind Ljdk/vm/ci/meta/ValueKind<*>;
Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
MethodParameters:
Name Flags
from
to
private void verifyInstructions(org.graalvm.compiler.core.common.cfg.AbstractBlockBase<?>);
descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=5, locals=9, args_size=2
start local 0 start local 1 0: aload 0
getfield org.graalvm.compiler.lir.ssi.SSIVerifier.lir:Lorg/graalvm/compiler/lir/LIR;
aload 1
invokevirtual org.graalvm.compiler.lir.LIR.getLIRforBlock:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/util/ArrayList;
astore 2
start local 2 1: new java.util.HashMap
dup
invokespecial java.util.HashMap.<init>:()V
astore 3
start local 3 2: new org.graalvm.compiler.lir.ssi.SSIVerifier$1
dup
aload 0
aload 3
aload 1
invokespecial org.graalvm.compiler.lir.ssi.SSIVerifier$1.<init>:(Lorg/graalvm/compiler/lir/ssi/SSIVerifier;Ljava/util/HashMap;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
astore 4
start local 4 3: new org.graalvm.compiler.lir.ssi.SSIVerifier$2
dup
aload 0
aload 3
aload 1
invokespecial org.graalvm.compiler.lir.ssi.SSIVerifier$2.<init>:(Lorg/graalvm/compiler/lir/ssi/SSIVerifier;Ljava/util/HashMap;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
astore 5
start local 5 4: new org.graalvm.compiler.lir.ssi.SSIVerifier$3
dup
aload 0
aload 3
aload 1
invokespecial org.graalvm.compiler.lir.ssi.SSIVerifier$3.<init>:(Lorg/graalvm/compiler/lir/ssi/SSIVerifier;Ljava/util/HashMap;Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)V
astore 6
start local 6 5: aload 2
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 8
goto 12
StackMap locals: org.graalvm.compiler.lir.ssi.SSIVerifier org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.util.List java.util.HashMap org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer org.graalvm.compiler.lir.InstructionValueConsumer top java.util.Iterator
StackMap stack:
6: aload 8
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.lir.LIRInstruction
astore 7
start local 7 7: aload 7
aload 4
invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachAlive:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
8: aload 7
aload 4
invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachInput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
9: aload 7
aload 5
invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachState:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
10: aload 7
aload 6
invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachTemp:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
11: aload 7
aload 6
invokevirtual org.graalvm.compiler.lir.LIRInstruction.visitEachOutput:(Lorg/graalvm/compiler/lir/InstructionValueConsumer;)V
end local 7 12: StackMap locals:
StackMap stack:
aload 8
invokeinterface java.util.Iterator.hasNext:()Z
ifne 6
13: return
end local 6 end local 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 14 0 this Lorg/graalvm/compiler/lir/ssi/SSIVerifier;
0 14 1 block Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
1 14 2 instructions Ljava/util/List<Lorg/graalvm/compiler/lir/LIRInstruction;>;
2 14 3 defined Ljava/util/HashMap<Ljdk/vm/ci/meta/Value;Lorg/graalvm/compiler/lir/LIRInstruction;>;
3 14 4 useConsumer Lorg/graalvm/compiler/lir/InstructionValueConsumer;
4 14 5 stateConsumer Lorg/graalvm/compiler/lir/InstructionValueConsumer;
5 14 6 defConsumer Lorg/graalvm/compiler/lir/InstructionValueConsumer;
7 12 7 op Lorg/graalvm/compiler/lir/LIRInstruction;
Signature: (Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;)V
MethodParameters:
Name Flags
block
private static boolean trackDefinition(jdk.vm.ci.meta.Value);
descriptor: (Ljdk/vm/ci/meta/Value;)Z
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=1, args_size=1
start local 0 0: aload 0
invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
ifeq 2
1: iconst_0
ireturn
2: StackMap locals:
StackMap stack:
aload 0
invokestatic org.graalvm.compiler.lir.LIRValueUtil.isStackSlotValue:(Ljdk/vm/ci/meta/Value;)Z
ifeq 4
aload 0
invokestatic org.graalvm.compiler.lir.LIRValueUtil.isVirtualStackSlot:(Ljdk/vm/ci/meta/Value;)Z
ifne 4
3: iconst_0
ireturn
4: StackMap locals:
StackMap stack:
aload 0
getstatic jdk.vm.ci.meta.Value.ILLEGAL:Ljdk/vm/ci/meta/AllocatableValue;
invokevirtual jdk.vm.ci.meta.Value.equals:(Ljava/lang/Object;)Z
ifeq 6
5: iconst_0
ireturn
6: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 7 0 value Ljdk/vm/ci/meta/Value;
MethodParameters:
Name Flags
value
private static boolean checkUsage(jdk.vm.ci.meta.Value);
descriptor: (Ljdk/vm/ci/meta/Value;)Z
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=1, args_size=1
start local 0 0: aload 0
invokestatic org.graalvm.compiler.lir.LIRValueUtil.isConstantValue:(Ljdk/vm/ci/meta/Value;)Z
ifeq 2
1: iconst_0
ireturn
2: StackMap locals:
StackMap stack:
aload 0
invokestatic jdk.vm.ci.code.ValueUtil.isRegister:(Ljdk/vm/ci/meta/Value;)Z
ifeq 4
3: iconst_0
ireturn
4: StackMap locals:
StackMap stack:
aload 0
invokestatic org.graalvm.compiler.lir.LIRValueUtil.isStackSlotValue:(Ljdk/vm/ci/meta/Value;)Z
ifeq 6
5: iconst_0
ireturn
6: StackMap locals:
StackMap stack:
aload 0
getstatic jdk.vm.ci.meta.Value.ILLEGAL:Ljdk/vm/ci/meta/AllocatableValue;
invokevirtual jdk.vm.ci.meta.Value.equals:(Ljava/lang/Object;)Z
ifeq 8
7: iconst_0
ireturn
8: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 value Ljdk/vm/ci/meta/Value;
MethodParameters:
Name Flags
value
}
SourceFile: "SSIVerifier.java"
NestMembers:
org.graalvm.compiler.lir.ssi.SSIVerifier$1 org.graalvm.compiler.lir.ssi.SSIVerifier$2 org.graalvm.compiler.lir.ssi.SSIVerifier$3
InnerClasses:
public abstract Scope = org.graalvm.compiler.debug.Debug$Scope of org.graalvm.compiler.debug.Debug
public abstract BlockEndOp = org.graalvm.compiler.lir.StandardOp$BlockEndOp of org.graalvm.compiler.lir.StandardOp
public final LabelOp = org.graalvm.compiler.lir.StandardOp$LabelOp of org.graalvm.compiler.lir.StandardOp
org.graalvm.compiler.lir.ssi.SSIVerifier$1
org.graalvm.compiler.lir.ssi.SSIVerifier$2
org.graalvm.compiler.lir.ssi.SSIVerifier$3