public class org.graalvm.compiler.nodes.test.ObjectStampMeetTest extends org.graalvm.compiler.nodes.test.AbstractObjectStampTest
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: org.graalvm.compiler.nodes.test.ObjectStampMeetTest
super_class: org.graalvm.compiler.nodes.test.AbstractObjectStampTest
{
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.nodes.test.AbstractObjectStampTest.<init>:()V
return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
public void testMeet0();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=1, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$B;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.check:(Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet1();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=5, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 2
start local 2 2: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$B;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$B;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 4
start local 4 4: aload 1
aload 2
aload 3
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
5: aload 2
aload 2
aload 4
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
6: return
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 7 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 7 1 a Lorg/graalvm/compiler/core/common/type/Stamp;
2 7 2 aNonNull Lorg/graalvm/compiler/core/common/type/Stamp;
3 7 3 b Lorg/graalvm/compiler/core/common/type/Stamp;
4 7 4 bNonNull Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet2();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 2
start local 2 2: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$B;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 1
aload 2
aload 3
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 5 1 a Lorg/graalvm/compiler/core/common/type/Stamp;
2 5 2 aExact Lorg/graalvm/compiler/core/common/type/Stamp;
3 5 3 b Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet3();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=1, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$C;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$D;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.check:(Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet4();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$D;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$C;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 2
start local 2 2: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 3
aload 2
aload 1
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 5 1 dExactNonNull Lorg/graalvm/compiler/core/common/type/Stamp;
2 5 2 cExactNonNull Lorg/graalvm/compiler/core/common/type/Stamp;
3 5 3 aNonNull Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet5();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$D;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$C;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 2
start local 2 2: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 3
aload 1
aload 2
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 5 1 dExact Lorg/graalvm/compiler/core/common/type/Stamp;
2 5 2 c Lorg/graalvm/compiler/core/common/type/Stamp;
3 5 3 a Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet6();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$D;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: invokestatic org.graalvm.compiler.core.common.type.StampFactory.alwaysNull:()Lorg/graalvm/compiler/core/common/type/Stamp;
astore 2
start local 2 2: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$D;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 3
aload 1
aload 2
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 5 1 dExactNonNull Lorg/graalvm/compiler/core/common/type/Stamp;
2 5 2 alwaysNull Lorg/graalvm/compiler/core/common/type/Stamp;
3 5 3 dExact Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet7();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$E;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 2
start local 2 2: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 3
aload 1
aload 2
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 5 1 aExact Lorg/graalvm/compiler/core/common/type/Stamp;
2 5 2 e Lorg/graalvm/compiler/core/common/type/Stamp;
3 5 3 a Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet8();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=1, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.check:(Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet9();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$Base1;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$ImplOrder1;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 2
start local 2 2: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$ImplOrder2;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 1
aload 2
aload 3
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 5 1 base1 Lorg/graalvm/compiler/core/common/type/Stamp;
2 5 2 ord1 Lorg/graalvm/compiler/core/common/type/Stamp;
3 5 3 ord2 Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeet10();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=1
start local 0 0: aload 0
ldc Ljava/lang/Object;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$Deep1;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 2
start local 2 2: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$Deep2;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 1
aload 2
aload 3
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 5 1 base1 Lorg/graalvm/compiler/core/common/type/Stamp;
2 5 2 ord1 Lorg/graalvm/compiler/core/common/type/Stamp;
3 5 3 ord2 Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeetInterface0();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=1, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$C;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$I;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$I;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.check:(Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeetInterface1();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=1, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$I;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$SubI1;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$I;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.check:(Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeetInterface2();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=1, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$SubI1;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$SubI2;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$I;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.check:(Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeetInterface3();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=1, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$SubI4;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$SubI5;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$SubI3;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.check:(Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testMeetInterface4();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=1, args_size=1
start local 0 0: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$SubI4;
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$SubI6;
ldc Ljava/lang/Object;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.check:(Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
1: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
RuntimeVisibleAnnotations:
org.junit.Test()
private void check(java.lang.Class<?>, java.lang.Class<?>, java.lang.Class<?>);
descriptor: (Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/Class;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=7, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
aload 1
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 4
start local 4 1: aload 0
aload 2
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 5
start local 5 2: aload 0
aload 3
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 6
start local 6 3: aload 6
aload 4
aload 5
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
4: 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 5 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
0 5 1 a Ljava/lang/Class<*>;
0 5 2 b Ljava/lang/Class<*>;
0 5 3 result Ljava/lang/Class<*>;
1 5 4 aStamp Lorg/graalvm/compiler/core/common/type/Stamp;
2 5 5 bStamp Lorg/graalvm/compiler/core/common/type/Stamp;
3 5 6 resultStamp Lorg/graalvm/compiler/core/common/type/ObjectStamp;
Signature: (Ljava/lang/Class<*>;Ljava/lang/Class<*>;Ljava/lang/Class<*>;)V
MethodParameters:
Name Flags
a
b
result
public void testMeetIllegal1();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=10, args_size=1
start local 0 0: bipush 7
anewarray java.lang.Class
dup
iconst_0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
aastore
dup
iconst_1
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$B;
aastore
dup
iconst_2
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$C;
aastore
dup
iconst_3
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$D;
aastore
dup
iconst_4
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$E;
aastore
dup
iconst_5
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$I;
aastore
dup
bipush 6
ldc Ljava/lang/Object;
aastore
dup
astore 4
arraylength
istore 3
iconst_0
istore 2
goto 11
StackMap locals: org.graalvm.compiler.nodes.test.ObjectStampMeetTest top int int java.lang.Class[]
StackMap stack:
1: aload 4
iload 2
aaload
astore 1
start local 1 2: aload 0
aload 1
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
astore 5
start local 5 3: iconst_4
anewarray org.graalvm.compiler.core.common.type.Stamp
dup
iconst_0
aload 5
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
aastore
dup
iconst_1
aload 5
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
aastore
dup
iconst_2
aload 5
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
aastore
dup
iconst_3
4: aload 5
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.objectNonNull:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
aastore
dup
astore 9
arraylength
istore 8
iconst_0
istore 7
goto 9
StackMap locals: org.graalvm.compiler.nodes.test.ObjectStampMeetTest java.lang.Class int int java.lang.Class[] org.graalvm.compiler.core.common.type.TypeReference top int int org.graalvm.compiler.core.common.type.Stamp[]
StackMap stack:
5: aload 9
iload 7
aaload
astore 6
start local 6 6: aload 5
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.getType:()Ljdk/vm/ci/meta/ResolvedJavaType;
invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isConcrete:()Z
ifne 7
aload 6
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isExactType:()Z
ifne 8
7: StackMap locals: org.graalvm.compiler.nodes.test.ObjectStampMeetTest java.lang.Class int int java.lang.Class[] org.graalvm.compiler.core.common.type.TypeReference org.graalvm.compiler.core.common.type.Stamp int int org.graalvm.compiler.core.common.type.Stamp[]
StackMap stack:
new java.lang.StringBuilder
dup
ldc "meeting empty and "
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 6
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
aload 6
getstatic jdk.vm.ci.meta.JavaKind.Object:Ljdk/vm/ci/meta/JavaKind;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.empty:(Ljdk/vm/ci/meta/JavaKind;)Lorg/graalvm/compiler/core/common/type/Stamp;
aload 6
invokestatic org.graalvm.compiler.nodes.test.ObjectStampMeetTest.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/String;Ljava/lang/Object;Ljava/lang/Object;)V
end local 6 8: StackMap locals: org.graalvm.compiler.nodes.test.ObjectStampMeetTest java.lang.Class int int java.lang.Class[] org.graalvm.compiler.core.common.type.TypeReference top int int org.graalvm.compiler.core.common.type.Stamp[]
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
9: iload 7
iload 8
if_icmplt 5
end local 5 end local 1 10: iinc 2 1
StackMap locals: org.graalvm.compiler.nodes.test.ObjectStampMeetTest top int int java.lang.Class[]
StackMap stack:
11: iload 2
iload 3
if_icmplt 1
12: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 13 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
2 10 1 clazz Ljava/lang/Class<*>;
3 10 5 type Lorg/graalvm/compiler/core/common/type/TypeReference;
6 8 6 test Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testAlwaysArray();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=7, args_size=1
start local 0 0: aload 0
ldc Ljava/lang/Object;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 1
start local 1 1: aload 0
ldc Ljava/lang/Object;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokevirtual org.graalvm.compiler.core.common.type.TypeReference.asExactReference:()Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 2
start local 2 2: aload 0
ldc [Ljava/lang/Object;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 3
start local 3 3: aload 0
ldc Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 4
start local 4 4: aload 0
ldc [Lorg/graalvm/compiler/nodes/test/AbstractObjectStampTest$A;
invokevirtual org.graalvm.compiler.nodes.test.ObjectStampMeetTest.getType:(Ljava/lang/Class;)Lorg/graalvm/compiler/core/common/type/TypeReference;
invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:(Lorg/graalvm/compiler/core/common/type/TypeReference;)Lorg/graalvm/compiler/core/common/type/ObjectStamp;
astore 5
start local 5 5: invokestatic org.graalvm.compiler.core.common.type.StampFactory.object:()Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.asAlwaysArray:()Lorg/graalvm/compiler/core/common/type/AbstractObjectStamp;
astore 6
start local 6 6: aload 1
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
7: aload 2
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
8: aload 3
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
9: aload 4
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
10: aload 5
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
11: aload 6
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
12: aload 1
aload 6
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
13: aload 2
aload 6
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
14: aload 3
aload 6
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
15: aload 4
aload 6
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
16: aload 5
aload 6
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
17: aload 1
aload 3
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
18: aload 2
aload 3
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
19: aload 4
aload 3
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
20: aload 5
aload 3
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
21: aload 6
aload 3
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
22: aload 1
aload 4
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
23: aload 2
aload 4
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
24: aload 3
aload 4
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
25: aload 5
aload 4
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
26: aload 6
aload 4
invokevirtual org.graalvm.compiler.core.common.type.Stamp.meet:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.isAlwaysArray:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
27: 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 28 0 this Lorg/graalvm/compiler/nodes/test/ObjectStampMeetTest;
1 28 1 object Lorg/graalvm/compiler/core/common/type/Stamp;
2 28 2 objectExact Lorg/graalvm/compiler/core/common/type/Stamp;
3 28 3 objectArray Lorg/graalvm/compiler/core/common/type/Stamp;
4 28 4 a Lorg/graalvm/compiler/core/common/type/Stamp;
5 28 5 aArray Lorg/graalvm/compiler/core/common/type/Stamp;
6 28 6 alwaysArray Lorg/graalvm/compiler/core/common/type/Stamp;
RuntimeVisibleAnnotations:
org.junit.Test()
}
SourceFile: "ObjectStampMeetTest.java"
InnerClasses:
protected A = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$A of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected B = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$B of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract Base1 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$Base1 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected C = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$C of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected D = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$D of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract Deep1 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$Deep1 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract Deep2 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$Deep2 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract E = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$E of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract I = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$I of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract ImplOrder1 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$ImplOrder1 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract ImplOrder2 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$ImplOrder2 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract SubI1 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$SubI1 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract SubI2 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$SubI2 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract SubI3 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$SubI3 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract SubI4 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$SubI4 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract SubI5 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$SubI5 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest
protected abstract SubI6 = org.graalvm.compiler.nodes.test.AbstractObjectStampTest$SubI6 of org.graalvm.compiler.nodes.test.AbstractObjectStampTest