public class org.graalvm.compiler.core.common.cfg.CFGVerifier
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: org.graalvm.compiler.core.common.cfg.CFGVerifier
super_class: java.lang.Object
{
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/core/common/cfg/CFGVerifier;
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.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
return
LocalVariableTable:
Start End Slot Name Signature
public void <init>();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
invokespecial java.lang.Object.<init>:()V
return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/core/common/cfg/CFGVerifier;
public static <T extends org.graalvm.compiler.core.common.cfg.AbstractBlockBase<T>, C extends org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph<T>> boolean verify();
descriptor: (Lorg/graalvm/compiler/core/common/cfg/AbstractControlFlowGraph;)Z
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=5, locals=14, args_size=1
start local 0 0: aload 0
invokeinterface org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph.getBlocks:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
dup
astore 4
arraylength
istore 3
iconst_0
istore 2
goto 59
StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
1: aload 4
iload 2
aaload
astore 1
start local 1 2: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 3
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
ifge 3
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
3: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 4
aload 0
invokeinterface org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph.getBlocks:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
aaload
aload 1
if_acmpeq 4
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
4: StackMap locals:
StackMap stack:
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getPredecessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
dup
astore 8
arraylength
istore 7
iconst_0
istore 6
goto 9
StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
5: aload 8
iload 6
aaload
astore 5
start local 5 6: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 7
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
invokestatic java.util.Arrays.asList:([Ljava/lang/Object;)Ljava/util/List;
aload 1
invokeinterface java.util.List.contains:(Ljava/lang/Object;)Z
ifne 7
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
7: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int 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:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 8
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
if_icmplt 8
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.isLoopEnd:()Z
ifne 8
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
end local 5 8: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
iinc 6 1
StackMap locals:
StackMap stack:
9: iload 6
iload 7
if_icmplt 5
10: aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
dup
astore 8
arraylength
istore 7
iconst_0
istore 6
goto 15
StackMap locals:
StackMap stack:
11: aload 8
iload 6
aaload
astore 5
start local 5 12: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 13
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getPredecessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
invokestatic java.util.Arrays.asList:([Ljava/lang/Object;)Ljava/util/List;
aload 1
invokeinterface java.util.List.contains:(Ljava/lang/Object;)Z
ifne 13
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
13: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int 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:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 14
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
if_icmpgt 14
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.isLoopHeader:()Z
ifne 14
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
end local 5 14: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
iinc 6 1
StackMap locals:
StackMap stack:
15: iload 6
iload 7
if_icmplt 11
16: aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getDominator:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
ifnull 25
17: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 18
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getDominator:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
if_icmplt 18
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
18: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getDominator:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getFirstDominated:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
astore 5
start local 5 19: goto 23
20: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractBlockBase
StackMap stack:
aload 5
aload 1
if_acmpne 22
21: goto 24
22: StackMap locals:
StackMap stack:
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getDominatedSibling:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
astore 5
23: StackMap locals:
StackMap stack:
aload 5
ifnonnull 20
24: StackMap locals:
StackMap stack:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 25
aload 5
ifnonnull 25
new java.lang.AssertionError
dup
ldc "dominators must contain block"
invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
athrow
end local 5 25: StackMap locals:
StackMap stack:
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getFirstDominated:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
astore 5
start local 5 26: goto 30
27: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractBlockBase
StackMap stack:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 28
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
if_icmpgt 28
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
28: StackMap locals:
StackMap stack:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 29
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getDominator:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
aload 1
if_acmpeq 29
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
29: StackMap locals:
StackMap stack:
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getDominatedSibling:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
astore 5
30: StackMap locals:
StackMap stack:
aload 5
ifnonnull 27
31: aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getPostdominator:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
astore 6
start local 6 32: aload 6
ifnull 57
33: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 34
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessorCount:()I
ifgt 34
new java.lang.AssertionError
dup
ldc "block has post-dominator block, but no successors"
invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
athrow
34: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractBlockBase
StackMap stack:
new org.graalvm.compiler.core.common.cfg.BlockMap
dup
aload 0
invokespecial org.graalvm.compiler.core.common.cfg.BlockMap.<init>:(Lorg/graalvm/compiler/core/common/cfg/AbstractControlFlowGraph;)V
astore 7
start local 7 35: aload 7
aload 1
iconst_1
invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
invokevirtual org.graalvm.compiler.core.common.cfg.BlockMap.put:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Ljava/lang/Object;)V
36: new java.util.ArrayDeque
dup
invokespecial java.util.ArrayDeque.<init>:()V
astore 8
start local 8 37: aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
dup
astore 12
arraylength
istore 11
iconst_0
istore 10
goto 42
StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.BlockMap java.util.Deque top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
38: aload 12
iload 10
aaload
astore 9
start local 9 39: aload 7
aload 9
iconst_1
invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
invokevirtual org.graalvm.compiler.core.common.cfg.BlockMap.put:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Ljava/lang/Object;)V
40: aload 8
aload 9
invokeinterface java.util.Deque.push:(Ljava/lang/Object;)V
end local 9 41: iinc 10 1
StackMap locals:
StackMap stack:
42: iload 10
iload 11
if_icmplt 38
43: goto 56
44: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.BlockMap java.util.Deque
StackMap stack:
aload 8
invokeinterface java.util.Deque.pop:()Ljava/lang/Object;
checkcast org.graalvm.compiler.core.common.cfg.AbstractBlockBase
astore 9
start local 9 45: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 46
aload 9
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
aload 6
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
if_icmple 46
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
46: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractBlockBase
StackMap stack:
aload 9
aload 6
if_acmpne 48
47: goto 56
48: StackMap locals:
StackMap stack:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 49
aload 9
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessorCount:()I
ifgt 49
new java.lang.AssertionError
dup
ldc "no path found"
invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
athrow
49: StackMap locals:
StackMap stack:
aload 9
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getSuccessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
dup
astore 13
arraylength
istore 12
iconst_0
istore 11
goto 55
StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.BlockMap java.util.Deque org.graalvm.compiler.core.common.cfg.AbstractBlockBase top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
50: aload 13
iload 11
aaload
astore 10
start local 10 51: aload 7
aload 10
invokevirtual org.graalvm.compiler.core.common.cfg.BlockMap.get:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;)Ljava/lang/Object;
ifnonnull 54
52: aload 7
aload 10
iconst_1
invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
invokevirtual org.graalvm.compiler.core.common.cfg.BlockMap.put:(Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;Ljava/lang/Object;)V
53: aload 8
aload 10
invokeinterface java.util.Deque.push:(Ljava/lang/Object;)V
end local 10 54: StackMap locals:
StackMap stack:
iinc 11 1
StackMap locals:
StackMap stack:
55: iload 11
iload 12
if_icmplt 50
end local 9 56: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[] org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.AbstractBlockBase org.graalvm.compiler.core.common.cfg.BlockMap java.util.Deque
StackMap stack:
aload 8
invokeinterface java.util.Deque.size:()I
ifgt 44
end local 8 end local 7 57: StackMap locals:
StackMap stack:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 58
aload 0
invokeinterface org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph.getLoops:()Ljava/util/Collection;
ifnull 58
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.isLoopHeader:()Z
ifeq 58
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getLoop:()Lorg/graalvm/compiler/core/common/cfg/Loop;
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getHeader:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
aload 1
if_acmpeq 58
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
end local 6 end local 5 end local 1 58: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
iinc 2 1
StackMap locals:
StackMap stack:
59: iload 2
iload 3
if_icmplt 1
60: aload 0
invokeinterface org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph.getLoops:()Ljava/util/Collection;
ifnull 91
61: aload 0
invokeinterface org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph.getLoops:()Ljava/util/Collection;
invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
astore 2
goto 90
StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph top java.util.Iterator
StackMap stack:
62: aload 2
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.core.common.cfg.Loop
astore 1
start local 1 63: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 64
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getHeader:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.isLoopHeader:()Z
ifne 64
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
64: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator
StackMap stack:
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getBlocks:()Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 4
goto 80
StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator top java.util.Iterator
StackMap stack:
65: aload 4
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.core.common.cfg.AbstractBlockBase
astore 3
start local 3 66: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 67
aload 3
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getHeader:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
if_icmpge 67
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
67: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.util.Iterator
StackMap stack:
aload 3
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getLoop:()Lorg/graalvm/compiler/core/common/cfg/Loop;
astore 5
start local 5 68: goto 71
69: StackMap locals: org.graalvm.compiler.core.common.cfg.Loop
StackMap stack:
getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 70
aload 5
ifnonnull 70
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
70: StackMap locals:
StackMap stack:
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getParent:()Lorg/graalvm/compiler/core/common/cfg/Loop;
astore 5
71: StackMap locals:
StackMap stack:
aload 5
aload 1
if_acmpne 69
72: aload 3
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.isLoopHeader:()Z
ifeq 73
aload 3
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getLoop:()Lorg/graalvm/compiler/core/common/cfg/Loop;
aload 1
if_acmpeq 80
73: StackMap locals:
StackMap stack:
aload 3
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getPredecessors:()[Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
dup
astore 9
arraylength
istore 8
iconst_0
istore 7
goto 79
StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.util.Iterator org.graalvm.compiler.core.common.cfg.Loop top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
74: aload 9
iload 7
aaload
astore 6
start local 6 75: aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getBlocks:()Ljava/util/List;
aload 6
invokeinterface java.util.List.contains:(Ljava/lang/Object;)Z
ifne 78
76: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 77
new java.lang.AssertionError
dup
new java.lang.StringBuilder
dup
ldc "Loop "
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 1
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
ldc " does not contain "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
aload 6
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
77: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.util.Iterator org.graalvm.compiler.core.common.cfg.Loop org.graalvm.compiler.core.common.cfg.AbstractBlockBase int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
iconst_0
ireturn
end local 6 78: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.util.Iterator org.graalvm.compiler.core.common.cfg.Loop top int int org.graalvm.compiler.core.common.cfg.AbstractBlockBase[]
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
79: iload 7
iload 8
if_icmplt 74
end local 5 end local 3 80: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator top java.util.Iterator
StackMap stack:
aload 4
invokeinterface java.util.Iterator.hasNext:()Z
ifne 65
81: aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getLoopExits:()Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 4
goto 89
StackMap locals:
StackMap stack:
82: aload 4
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.graalvm.compiler.core.common.cfg.AbstractBlockBase
astore 3
start local 3 83: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 84
aload 3
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
aload 1
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getHeader:()Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase;
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getId:()I
if_icmpge 84
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
84: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator org.graalvm.compiler.core.common.cfg.AbstractBlockBase java.util.Iterator
StackMap stack:
aload 3
invokevirtual org.graalvm.compiler.core.common.cfg.AbstractBlockBase.getLoop:()Lorg/graalvm/compiler/core/common/cfg/Loop;
astore 5
start local 5 85: goto 88
86: StackMap locals: org.graalvm.compiler.core.common.cfg.Loop
StackMap stack:
aload 5
invokevirtual org.graalvm.compiler.core.common.cfg.Loop.getParent:()Lorg/graalvm/compiler/core/common/cfg/Loop;
astore 5
87: getstatic org.graalvm.compiler.core.common.cfg.CFGVerifier.$assertionsDisabled:Z
ifne 88
aload 5
aload 1
if_acmpne 88
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
88: StackMap locals:
StackMap stack:
aload 5
ifnonnull 86
end local 5 end local 3 89: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph org.graalvm.compiler.core.common.cfg.Loop java.util.Iterator top java.util.Iterator
StackMap stack:
aload 4
invokeinterface java.util.Iterator.hasNext:()Z
ifne 82
end local 1 90: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph top java.util.Iterator
StackMap stack:
aload 2
invokeinterface java.util.Iterator.hasNext:()Z
ifne 62
91: StackMap locals: org.graalvm.compiler.core.common.cfg.AbstractControlFlowGraph
StackMap stack:
iconst_1
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 92 0 cfg TC;
2 58 1 block TT;
6 8 5 pred TT;
12 14 5 sux TT;
19 25 5 domChild Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<*>;
26 58 5 dominated TT;
32 58 6 postDominatorBlock TT;
35 57 7 visitedBlocks Lorg/graalvm/compiler/core/common/cfg/BlockMap<Ljava/lang/Boolean;>;
37 57 8 stack Ljava/util/Deque<TT;>;
39 41 9 sux TT;
45 56 9 tos TT;
51 54 10 sux TT;
63 90 1 loop Lorg/graalvm/compiler/core/common/cfg/Loop<TT;>;
66 80 3 block TT;
68 80 5 blockLoop Lorg/graalvm/compiler/core/common/cfg/Loop<*>;
75 78 6 pred TT;
83 89 3 block TT;
85 89 5 blockLoop Lorg/graalvm/compiler/core/common/cfg/Loop<*>;
Signature: <T:Lorg/graalvm/compiler/core/common/cfg/AbstractBlockBase<TT;>;C::Lorg/graalvm/compiler/core/common/cfg/AbstractControlFlowGraph<TT;>;>(TC;)Z
MethodParameters:
Name Flags
cfg
}
SourceFile: "CFGVerifier.java"