public class org.graalvm.compiler.core.test.CheckGraalInvariants extends org.graalvm.compiler.test.GraalTest
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: org.graalvm.compiler.core.test.CheckGraalInvariants
super_class: org.graalvm.compiler.test.GraalTest
{
public void <init>();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
invokespecial org.graalvm.compiler.test.GraalTest.<init>:()V
return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/core/test/CheckGraalInvariants;
private static boolean shouldVerifyEquals(jdk.vm.ci.meta.ResolvedJavaMethod);
descriptor: (Ljdk/vm/ci/meta/ResolvedJavaMethod;)Z
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=2, args_size=1
start local 0 0: aload 0
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getName:()Ljava/lang/String;
ldc "identityEquals"
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ifeq 4
1: aload 0
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.getDeclaringClass:()Ljdk/vm/ci/meta/ResolvedJavaType;
astore 1
start local 1 2: aload 1
invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getName:()Ljava/lang/String;
ldc "Ljdk/vm/ci/meta/AbstractValue;"
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ifne 3
aload 1
invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getName:()Ljava/lang/String;
ldc "jdk/vm/ci/meta/Value"
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ifeq 4
3: StackMap locals: jdk.vm.ci.meta.ResolvedJavaType
StackMap stack:
iconst_0
ireturn
end local 1 4: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 m Ljdk/vm/ci/meta/ResolvedJavaMethod;
2 4 1 c Ljdk/vm/ci/meta/ResolvedJavaType;
MethodParameters:
Name Flags
m
private static boolean shouldProcess(java.lang.String);
descriptor: (Ljava/lang/String;)Z
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=3, locals=2, args_size=1
start local 0 0: aload 0
ldc ".jar"
invokevirtual java.lang.String.endsWith:(Ljava/lang/String;)Z
ifeq 4
1: new java.io.File
dup
aload 0
invokespecial java.io.File.<init>:(Ljava/lang/String;)V
invokevirtual java.io.File.getName:()Ljava/lang/String;
astore 1
start local 1 2: aload 1
ldc "jvmci"
invokevirtual java.lang.String.contains:(Ljava/lang/CharSequence;)Z
ifne 3
aload 1
ldc "graal"
invokevirtual java.lang.String.contains:(Ljava/lang/CharSequence;)Z
ifne 3
iconst_0
ireturn
StackMap locals: java.lang.String
StackMap stack:
3: iconst_1
ireturn
end local 1 4: StackMap locals:
StackMap stack:
iconst_0
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 classpathEntry Ljava/lang/String;
2 4 1 name Ljava/lang/String;
MethodParameters:
Name Flags
classpathEntry
public void test();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=1, args_size=1
start local 0 0: new java.lang.Error
dup
ldc "Unresolved compilation problems: \n\tTest cannot be resolved to a type\n\tAssume cannot be resolved\n\tAssert cannot be resolved\n\tAssert cannot be resolved\n\tAssert cannot be resolved\n\tAssert cannot be resolved\n"
invokespecial java.lang.Error.<init>:(Ljava/lang/String;)V
athrow
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/core/test/CheckGraalInvariants;
RuntimeInvisibleAnnotations:
Test()
private static java.util.List<java.lang.Class<?>> initializeClasses(java.util.List<java.lang.String>);
descriptor: (Ljava/util/List;)Ljava/util/List;
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=3, locals=5, args_size=1
start local 0 0: new java.util.ArrayList
dup
aload 0
invokeinterface java.util.List.size:()I
invokespecial java.util.ArrayList.<init>:(I)V
astore 1
start local 1 1: aload 0
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 3
goto 10
StackMap locals: java.util.List java.util.List top java.util.Iterator
StackMap stack:
2: aload 3
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast java.lang.String
astore 2
start local 2 3: aload 2
ldc "module-info"
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ifeq 5
4: goto 10
5: StackMap locals: java.util.List java.util.List java.lang.String java.util.Iterator
StackMap stack:
aload 2
iconst_1
ldc Lorg/graalvm/compiler/core/test/CheckGraalInvariants;
invokevirtual java.lang.Class.getClassLoader:()Ljava/lang/ClassLoader;
invokestatic java.lang.Class.forName:(Ljava/lang/String;ZLjava/lang/ClassLoader;)Ljava/lang/Class;
astore 4
start local 4 6: aload 1
aload 4
invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
pop
end local 4 7: goto 10
StackMap locals:
StackMap stack: java.lang.ClassNotFoundException
8: astore 4
start local 4 9: aload 4
invokevirtual java.lang.ClassNotFoundException.printStackTrace:()V
end local 4 end local 2 10: StackMap locals: java.util.List java.util.List top java.util.Iterator
StackMap stack:
aload 3
invokeinterface java.util.Iterator.hasNext:()Z
ifne 2
11: aload 1
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 12 0 classNames Ljava/util/List<Ljava/lang/String;>;
1 12 1 classes Ljava/util/List<Ljava/lang/Class<*>;>;
3 10 2 className Ljava/lang/String;
6 7 4 c Ljava/lang/Class<*>;
9 10 4 e Ljava/lang/ClassNotFoundException;
Exception table:
from to target type
5 7 8 Class java.lang.ClassNotFoundException
Signature: (Ljava/util/List<Ljava/lang/String;>;)Ljava/util/List<Ljava/lang/Class<*>;>;
MethodParameters:
Name Flags
classNames
private static void checkClass(java.lang.Class<?>, jdk.vm.ci.meta.MetaAccessProvider);
descriptor: (Ljava/lang/Class;Ljdk/vm/ci/meta/MetaAccessProvider;)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=7, locals=2, args_size=2
start local 0 start local 1 0: ldc Lorg/graalvm/compiler/graph/Node;
aload 0
invokevirtual java.lang.Class.isAssignableFrom:(Ljava/lang/Class;)Z
ifeq 3
1: aload 0
ldc Lorg/graalvm/compiler/nodeinfo/NodeInfo;
invokevirtual java.lang.Class.getAnnotation:(Ljava/lang/Class;)Ljava/lang/annotation/Annotation;
ifnonnull 3
2: new java.lang.AssertionError
dup
ldc "Node subclass %s requires %s annotation"
iconst_2
anewarray java.lang.Object
dup
iconst_0
aload 0
invokevirtual java.lang.Class.getName:()Ljava/lang/String;
aastore
dup
iconst_1
ldc Lorg/graalvm/compiler/graph/NodeClass;
invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
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
3: StackMap locals:
StackMap stack:
return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 c Ljava/lang/Class<*>;
0 4 1 metaAccess Ljdk/vm/ci/meta/MetaAccessProvider;
Signature: (Ljava/lang/Class<*>;Ljdk/vm/ci/meta/MetaAccessProvider;)V
MethodParameters:
Name Flags
c
metaAccess
private static void checkGraph(org.graalvm.compiler.phases.tiers.HighTierContext, org.graalvm.compiler.nodes.StructuredGraph);
descriptor: (Lorg/graalvm/compiler/phases/tiers/HighTierContext;Lorg/graalvm/compiler/nodes/StructuredGraph;)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=3, locals=2, args_size=2
start local 0 start local 1 0: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
invokestatic org.graalvm.compiler.core.test.CheckGraalInvariants.shouldVerifyEquals:(Ljdk/vm/ci/meta/ResolvedJavaMethod;)Z
ifeq 11
1: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Ljdk/vm/ci/meta/Value;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
2: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Ljdk/vm/ci/code/Register;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
3: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Ljdk/vm/ci/code/Register$RegisterCategory;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
4: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Ljdk/vm/ci/meta/JavaType;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
5: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Ljdk/vm/ci/meta/JavaMethod;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
6: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Ljdk/vm/ci/meta/JavaField;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
7: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Lorg/graalvm/compiler/core/common/LocationIdentity;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
8: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Lorg/graalvm/compiler/core/common/LIRKind;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
9: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Lorg/graalvm/compiler/core/common/type/ArithmeticOpTable;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
10: new org.graalvm.compiler.phases.verify.VerifyUsageWithEquals
dup
ldc Lorg/graalvm/compiler/core/common/type/ArithmeticOpTable$Op;
invokespecial org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.<init>:(Ljava/lang/Class;)V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUsageWithEquals.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
11: StackMap locals:
StackMap stack:
new org.graalvm.compiler.phases.verify.VerifyDebugUsage
dup
invokespecial org.graalvm.compiler.phases.verify.VerifyDebugUsage.<init>:()V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyDebugUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
12: new org.graalvm.compiler.phases.verify.VerifyCallerSensitiveMethods
dup
invokespecial org.graalvm.compiler.phases.verify.VerifyCallerSensitiveMethods.<init>:()V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyCallerSensitiveMethods.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
13: new org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage
dup
invokespecial org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage.<init>:()V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyVirtualizableUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
14: new org.graalvm.compiler.phases.verify.VerifyUpdateUsages
dup
invokespecial org.graalvm.compiler.phases.verify.VerifyUpdateUsages.<init>:()V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyUpdateUsages.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
15: new org.graalvm.compiler.phases.verify.VerifyBailoutUsage
dup
invokespecial org.graalvm.compiler.phases.verify.VerifyBailoutUsage.<init>:()V
aload 1
aload 0
invokevirtual org.graalvm.compiler.phases.verify.VerifyBailoutUsage.apply:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
16: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
invokeinterface jdk.vm.ci.meta.ResolvedJavaMethod.isBridge:()Z
ifeq 18
17: aload 1
invokevirtual org.graalvm.compiler.nodes.StructuredGraph.method:()Ljdk/vm/ci/meta/ResolvedJavaMethod;
invokestatic org.graalvm.compiler.bytecode.BridgeMethodUtils.getBridgedMethod:(Ljdk/vm/ci/meta/ResolvedJavaMethod;)Ljdk/vm/ci/meta/ResolvedJavaMethod;
pop
18: StackMap locals:
StackMap stack:
return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 19 0 context Lorg/graalvm/compiler/phases/tiers/HighTierContext;
0 19 1 graph Lorg/graalvm/compiler/nodes/StructuredGraph;
MethodParameters:
Name Flags
context
graph
private static boolean matches(java.lang.String[], java.lang.String);
descriptor: ([Ljava/lang/String;Ljava/lang/String;)Z
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=6, args_size=2
start local 0 start local 1 0: aload 0
ifnull 1
aload 0
arraylength
ifne 2
1: StackMap locals:
StackMap stack:
iconst_1
ireturn
2: StackMap locals:
StackMap stack:
aload 0
dup
astore 5
arraylength
istore 4
iconst_0
istore 3
goto 7
StackMap locals: java.lang.String[] java.lang.String top int int java.lang.String[]
StackMap stack:
3: aload 5
iload 3
aaload
astore 2
start local 2 4: aload 1
aload 2
invokevirtual java.lang.String.contains:(Ljava/lang/CharSequence;)Z
ifeq 6
5: iconst_1
ireturn
end local 2 6: StackMap locals:
StackMap stack:
iinc 3 1
StackMap locals:
StackMap stack:
7: iload 3
iload 4
if_icmplt 3
8: iconst_0
ireturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 filters [Ljava/lang/String;
0 9 1 s Ljava/lang/String;
4 6 2 filter Ljava/lang/String;
MethodParameters:
Name Flags
filters
s
private static java.lang.String printStackTraceToString(java.lang.Throwable);
descriptor: (Ljava/lang/Throwable;)Ljava/lang/String;
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=4, locals=2, args_size=1
start local 0 0: new java.io.StringWriter
dup
invokespecial java.io.StringWriter.<init>:()V
astore 1
start local 1 1: aload 0
new java.io.PrintWriter
dup
aload 1
invokespecial java.io.PrintWriter.<init>:(Ljava/io/Writer;)V
invokevirtual java.lang.Throwable.printStackTrace:(Ljava/io/PrintWriter;)V
2: aload 1
invokevirtual java.io.StringWriter.toString:()Ljava/lang/String;
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 t Ljava/lang/Throwable;
1 3 1 sw Ljava/io/StringWriter;
MethodParameters:
Name Flags
t
}
SourceFile: "CheckGraalInvariants.java"
NestMembers:
org.graalvm.compiler.core.test.CheckGraalInvariants$1
InnerClasses:
public RegisterCategory = jdk.vm.ci.code.Register$RegisterCategory of jdk.vm.ci.code.Register
public abstract Op = org.graalvm.compiler.core.common.type.ArithmeticOpTable$Op of org.graalvm.compiler.core.common.type.ArithmeticOpTable